news
Software Foundations Series
8 pointsposted a day ago
by iamanatomShow HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code
114 pointsposted 3 days ago
by permuteA Texture Lookup Approach to Bézier Curve Evaluation on the GPU (JCGT)
38 pointsposted 2 days ago
by ibobevZig's Incremental Compilation Internals
273 pointsposted 3 days ago
by garyhtouDoes Speaking to Agents Like Cavemen Save 65% of Tokens? We Test
44 pointsposted 3 days ago
by Sandman"the very foundation of modern academia has been blown to bits"
47 pointsposted 12 hours ago
by telotortiumHow real are real numbers? (2004)
96 pointsposted 4 days ago
by surprisetalkALP: Adaptive lossless floating-point compression
34 pointsposted 6 days ago
by fanf2'My life's screwed': Korean investors stress out after AI bubble bursts
56 pointsposted a day ago
by scrlkNew HIV vaccine shows unprecedented success in preclinical study
656 pointsposted 3 days ago
by codebyadityaSelf-contained highly-portable Python distributions
164 pointsposted 4 days ago
by jcbhmrOpenDerm – Open-source robotic 3D skin imaging
18 pointsposted 2 days ago
by avyfainShow HN: RunNburn – Run a 295B Moe from a 98GB GGUF on a 64GB RAM Desktop
11 pointsposted 2 days ago
by coderredlabThe motion-sickness cure hidden in iPhone settings
55 pointsposted 2 days ago
by saikatsgMicrosoft's $450B Jump Is Biggest in Stock Market History
18 pointsposted 18 hours ago
by signatoremoShow HN: XQL, a query language for screening market data
4 pointsposted a day ago
by guzzulShow HN: Dreeve, a self-hosted dashboard for your sports and fitness data
16 pointsposted 2 days ago
by frogfuhrerHandling environment variables in Emacs on OS X and Linux
6 pointsposted 21 hours ago
by speckxThe iPhone Upgrade Program is being replaced by Apple Upgrade
206 pointsposted 3 days ago
by lkurtzHow your software will fail at scale [video]
6 pointsposted 11 hours ago
by azhenleyAI Agent Authentication and Authorization (IETF Internet-Draft)
4 pointsposted 21 hours ago
by jhgaylorCan AI agents conduct open-ended AI research?
5 pointsposted 21 hours ago
by randomwalkerPGSimCity - How PostgreSQL Works
926 pointsposted 5 days ago
by jonbaerExploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles
163 pointsposted 4 days ago
by EatonZThe only road in London where you have to drive on the right
38 pointsposted 2 days ago
by theanonymousoneVLC for Unity now supported on Linux
168 pointsposted 4 days ago
by martzAnthropic says Claude hacked three companies during tests
17 pointsposted 14 hours ago
by nerder92Sam Altman is now talking to the White House about decelerating AI
44 pointsposted a day ago
by abhishekdev