Weekly Best
4891.
All Words, No Mornings
(jonadas.com)
4892.
A Plea for Lean Software (Niklaus Wirth)
(liam-on-linux.dreamwidth.org)
4894.
4895.
The Wait Equation
(en.wikipedia.org)
4896.
I'm Going to Be Silent
(departure.blog)
4897.
Doing Okay-ish with AI at the AI-proof competition
(blog.greg.technology)
4899.
How I would implement an SSA-based compiler
(gist.github.com)
4900.
4901.
4902.
Navigating the solution space with agents
(vimota.me)
4903.
Performance Has Layers
(oxide.computer)
4904.
Show HN: A Website Introducing Flux 3
(flux-3.io)
4905.
Obfuscation (Part II): Diamond IO
(vitalik.eth.limo)
4906.
Running a persistent AI agent at the far end of a satellite text link
(suthakamal.substack.com)
4907.
4908.
OVSwrap: Another Linux LPE
(heyitsas.im)
4909.
Siggraph 2026 Advances in Real-Time Rendering in Games Course
(advances.realtimerendering.com)
4910.
Clues about whether genes or environment influence our health more
(seattletimes.com)
4911.
Microsoft's AI Security Leap Signals a New Era in Cyber Defense
(predx-article.fika.bar)
4912.
Counterexample to the Lean Conjecture (Soundness Bug)
(leanprover.zulipchat.com)
4913.
4914.
Claire Blackshaw: Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem
(claire-blackshaw.com)
4915.
Tighter on-device Cleanup with Epilude Model 4.1
(epilude.com)
4916.
4917.
AI value alignment for evolving social norms
(arxiv.org)
4918.
4919.
A Semioethical Framework for Artificial Intelligence
(lyceum.institute)
4920.
A Closed-Loop Framework for Scored Text Synthesis
(github.com)