Monthly Highlights
4111.
RAPx: A static analysis tool for Rust programs
(github.com)
4112.
The Accidental Architect of the Internet's Brain
(newyorker.com)
4113.
4114.
4116.
4117.
Muse Glimmer: Meta's open model built for always-on local agents. 30B parameters
(developer.meta.com)
4118.
Ant teams beat gravity-based puzzle solvers
(phys.org)
4119.
American Airlines 737s with the Same Callsign Flew Straight at Each Other
(simpleflying.com)
4120.
See what solar eclipses would look like from other planets
(benmccarthy.com.au)
4121.
Meta projected to spend $10B on Anthropic AI
(nytimes.com)
4122.
Program images and portable Scheme back ends for Jolt
(yogthos.net)
4123.
OpenAI COO Resigns
(xcancel.com)
4124.
Software is now user-generated content
(valentinewatkins.com)
4125.
Omarchy distro gains serious backing
(theregister.com)
4126.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
(thezvi.substack.com)
4127.
4128.
4129.
The Java Story – The official documentary [video]
(youtube.com)
4130.
4132.
The Anniversary of the 1968 Invasion of Czechoslovakia
(komando1.substack.com)
4133.
Necropolitics
(en.wikipedia.org)
4134.
Show HN: Timber (iOS) and Timber Tabs (Mac) – best offline read-aloud LLMs
(timberreader.com)
4135.
They don't make 'em like Sublime Text anymore
(dbushell.com)
4136.
Germany's gas gamble puts Europe's winter at risk
(politico.eu)
4137.
Continuous Diffusion Language Models (CDLM's)
(sander.ai)
4138.
How do functions like alloca allocate memory from the stack?
(devblogs.microsoft.com)
4139.
I'm leaving OpenAI to build Jurassic Park
(taylor.town)
4140.
I'm done coding with AI [video]
(youtube.com)