• 27 The Proof Machine (2016) (incredible.pm)
  by BenoitP a day ago | 4 comments
• 213 LLM Usage in Debian: Three Proposals (debian.org)
  by zdw 3 days ago | 212 comments
• 17 Private mission launches to extend life of out-of-gas communication satellites (phys.org)
  by jnord 5 days ago | 5 comments
• 1122 Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample (chatgpt.com)
  by gmays 6 days ago | 635 comments
• 390 Em dashes are amazing (psychotechnology.substack.com)
  by surprisetalk 4 days ago | 314 comments
• 255 Building a Tiny 3D Renderer for a Tiny Handheld (saffroncr.itch.io)
  by g0xA52A2A 6 days ago | 20 comments
• 75 The Silurian Hypothesis (2020) (theparisreview.org)
  by andsoitis 3 days ago | 125 comments
• 40 My web version of Mars MIPS, now has built-in C compiler (webmars.nfiles.top)
  by nenepbl 3 days ago | 10 comments
• 5 Professor Created a Trap in His Midterm to Catch Students Using AI (today.com)
  by curmudgeon22 9 hours ago | discuss
• 226 The Dark Night of Mathematics (kirwinhampshire.substack.com)
  by rmdmphilosopher 3 days ago | 304 comments
• 53 Becoming a Research Engineer at a Big LLM Lab (maxmynter.com)
  by felixdoerp 3 days ago | 21 comments
• 191 Why I Left Google DeepMind (lesswrong.com)
  by eatitraw a day ago | 56 comments
• 4 How IMAX 70MM Film is Projected! (youtube.com)
  by saikatsg 9 hours ago | 1 comments
• 270 Kimi K3 exploited the latest Redis server (twitter.com)
  by Alifatisk 5 days ago | 98 comments
• 540 Be skeptical of OpenAI's rogue hacker agent story (theguardian.com)
  by rwmj 4 days ago | 295 comments
• 53 Show HN: Writemark, a dependency free web component for inline Markdown editing (undefined)
  by _boffin_ 3 days ago | 27 comments
• 123 SpaceX Starship Flight 13 livestream [video] (spacex.com)
  by cryptoz 4 days ago | 197 comments
• 15 Show HN: Dozenal – A Game of Spatial Arithmetic (dozenal.game)
  by sarreph a day ago | 9 comments
• 7 Framework Laptop 13 Pro review: better battery, worse price (arstechnica.com)
  by signa11 9 hours ago | 2 comments
• 570 Flux 3 (bfl.ai)
  by ThouYS 4 days ago | 132 comments
• 4 CTO / Head of Eng / VPE folks at startups are leaving / burning out (twitter.com)
  by tosh 9 hours ago | 3 comments
• 7 A Russian phone number, WhatsApp, and 140 outbound SSH alerts (nox.sh)
  by mattredact 14 hours ago | 1 comments
• 341 IRGC claims it destroyed Amazon's Bahrain data center (houseofsaud.com)
  by thisislife2 4 days ago | 473 comments
• 38 Show HN: Descript wanted $24/mo, I built an open-source alternative in a weekend (github.com)
  by wassimgr a day ago | 37 comments
• 94 Elevated Errors for Opus 5 (status.claude.com)
  by TimCTRL 2 days ago | 87 comments
• 3 API Testing Chrome Extension(REST, Soap, WebSockets, SSE) (chromewebstore.google.com)
  by info-chirila 10 hours ago | discuss
• 92 How AST-grep Rewrote Tree-sitter in Rust and Made It 30% Faster (astgrep.com)
  by herrington_d 2 days ago | 15 comments
• 585 OpenAI’s accidental attack against Hugging Face is science fiction that happened (simonwillison.net)
  by abhisek 6 days ago | 448 comments
• 12 Show HN: Paper – A Journaling CLI for Developers (paper.rewrlution.com)
  by dmsehuang 2 days ago | 15 comments
• 134 Producing ammonia and fertiliser using wind power in Morris, Minnesota (ammoniaenergy.org)
  by gritzko 3 days ago | 121 comments