July 2026 Archive
2461.
Combinatorial Games in Lean
(github.com)
2462.
2463.
Olive – Lisp VSCode Extension (Alternative to Alive)
(github.com)
2464.
Emacs and AI, the combination you've been missing
(getsmall.xyz)
2465.
Eliza Archaeology Project
(sites.google.com)
2466.
2467.
2468.
The whole premise of checking for human writing is daft
(mohammedshehu.com)
2469.
The only road in London where you have to drive on the right
(mylondon.news)
2470.
2471.
Capitalism Gone Wrong
(kasperjunge.com)
2473.
Reverse-engineering is cheap now
(simonwillison.net)
2474.
Tune Code Before Your Garbage Collector
(blog.vanillajava.blog)
2475.
2476.
A verification loop 4x'd DeepSeek's intelligence, matching Opus at 1/7 the cost
(ironbee.medium.com)
2477.
Cache-Conscious Data Layout in Rust: Field Zoning, False Sharing, 128-Byte Rule
(debasishg.github.io)
2478.
Firefox 12.58% for Desktop Browser Market Share in North America June 2026
(gs.statcounter.com)
2479.
What does "playing politics" mean for software engineers?
(seangoedecke.com)
2480.
The AI Whale Fall and Open Source
(minor.gripe)
2483.
Join Me in Jamverse
(contraptions.venkateshrao.com)
2484.
Counting ArXiv Delays
(fi-le.net)
2485.
We put a Redis server inside our runtime
(encore.dev)
2486.
Fibonacci's Real Mathematical Legacy
(blogs.nature.com)
2487.
Building an Arch Linux Aarch64 Port for Holo Core
(collabora.com)
2489.
The AI hype is a mass psychosis echo chamber of incompetent individuals
(aob2f.substack.com)
2490.