1
1
Edge Case Poisoning (buttondown.com/hillelwayne)
1
QED in Context: An Observation Study of Proof Assistant Users [pdf] (andrewhead.info)
60
Racket v9.1 (racket-lang.org)
4
Compiler Education Deserves a Revolution (thunderseethe.dev)
4
Claude for Government (claude.com)
5
Some silly Z3 scripts I wrote (hillelwayne.com)
1
Ohm v18 (ohmjs.org)
1
Metabolism (Architecture) (wikipedia.org)
1
Code City: A visualization of large codebases that you can explore (wettel.github.io)
2
PEP 747 – Annotating Type Forms (python.org)
2
PEP 814 – Add frozendict built-in type (python.org)
2
Lots of AI SRE, no AI incident management (twitter.com/norootcause)
2
Generative Agents: Interactive Simulacra of Human Behavior (2023) [pdf] (acm.org)
105
Nobody knows how the whole system works (surfingcomplexity.blog)
2
Rewriting Pycparser with the Help of an LLM (thegreenplace.net)
3
AgentBuilder: Scaffolds for Prototyping User Experiences of Interface Agents (arxiv.org)
2
Ashby taught us we have to fight fire with fire (surfingcomplexity.blog)
3
Because Coordination Is Expensive (surfingcomplexity.blog)
1
What's New in Python 3.15 (python.org)
2
Fighter Mafia (wikipedia.org)
5
Building a JavaScript runtime in one month (themackabu.dev)
0
Creating a Domain Specific Language with Roslyn (themacaque.com)
2
Intro to Genomics for Engineers (learngenomics.dev)
1
Another Way to Rate Incidents (surfingcomplexity.blog)
8
Simulating the Ladybug Clock Puzzle (austinhenley.com)
1
Microsoft killing tech debt with agents [audio] (podcasts.apple.com)
4
Fast Client-Side Search with Rust and WebAssembly (visualstudio.com)
53
My Gripes with Prolog (buttondown.com/hillelwayne)
1
Coding on a Phone: What I Learned Building Software on Mobile (rahulpandita.me)
1
Workflow Description Language (WDL) 1.3 (openwdl.org)
1
Agent Native Architectures (every.to/guides)
5
The coolest feature in Python 3.14 (savannah.dev)
1
Wrapping up my third time at Microsoft (den.dev)
2
Coming Up with Startup Ideas (khakidrew.substack.com)
3
The most influential game design articles (reddit.com)
1
The Simplest yet Most Elusive Perfect Information Game (medium.com/sadasant)
1
The Story of Realpomo (romalpani.github.io)
3
Bayesian A/B testing is not immune to peeking (alexmolas.com)
1
Bokehlicious Selfies in Python (2020) (rahulrav.com)
210
I canceled my book deal (austinhenley.com)
1
Most Cited Papers in Software Engineering 2013-2023 [pdf] (diva-portal.org)
1
The challenges of synthetic users in UX research (acm.org)
2
Kaizen: A Factory Story (A Programming Game from Zach Barth) (coincidence.games)
2
On LLMs in Programming (blog.danieljanus.pl)
38
The Dangers of SSL Certificates (surfingcomplexity.blog)
9
V8 Natives Syntax (github.com/pdubroy)
1
The Empiricism Gap in Computer Science (manoel.xyz)
2
.NET R&D Digest (December 2025) (olegkarasik.wordpress.com)
2
Yendor: A Zach-like, rogue-like game and language made in 7 days (github.com/olifog)
3
Another Way to Rate Incidents (surfingcomplexity.blog)
1
Nvidia Bought the Bouncer (distributedthoughts.org)
2
Olaf: Bringing an Animated Character to Life in the Physical World (arxiv.org)
2
Why I don't like "correction of error" (surfingcomplexity.blog)
3
PLISS 2026: Programming Language Implementation Summer School (pliss.org)
2
Shriram Krishnamurthi's Pedagogy Recommendations (parentheticallyspeaking.org)
2
Using Pong as a stress test for compiler development (reddit.com)
1
Making a game on a custom bytecode VM in 7 days and 3kB (laurentlb.itch.io)
2
Clip: Utility that copies to the clipboard for easy context for AI chats (github.com/jflam)
20
What's New in Python 3.15 (python.org)
2
L5: A Processing Library in Lua for Interactive Artwork (l5lua.org)
1
Fungeoid (esolangs.org)
1
A VC's 2026 Crystal Ball (medium.com/bread-and-butter-ventures)
1
Seven Architectural Decision Making Fallacies (and Ways Around Them) (ozimmer.ch)
6
Science Communications on YouTube (memphis.edu)
1
Mechanisms as Types (spacechimplives.substack.com)
3
December Coding Diary (sheeeeeeeep.art)
2
When you give a manager a chatbot (disgruntleddeveloper.substack.com)
1
The Rulefit Algorithm (christophm.github.io)
1
Why do most new languages fail? (2012) (pointersgonewild.com)
1
Compiler Explorer now supports Racket (godbolt.org)
2
Evolution Strategies at the Hyperscale (arxiv.org)
2
Incidents: The Exceptional as Routine (surfingcomplexity.blog)
4
Langjam Gamejam: Build a programming language and then use it to make a game (austinhenley.com)
1
Can Advanced Type Systems Be Usable? [pdf] (cmu.edu)
1
When You Give a Manager a Chatbot (disgruntleddeveloper.substack.com)
1
The weird technical limitations of the Nintendo 64 [video] (youtube.com)
15
Bonsai_term: A library for building dynamic terminal apps by Jane Street (github.com/janestreet)
4
How stealth addresses work in Monero (johndcook.com)
1
Measuring developer experience beyond system metrics (resources.github.com)
38
Build a Compiler in Five Projects (kmicinski.com)
1
Comparing My Techstars Experiences (substack.com)
5
Extra: The Pinterest team is making an email client (extra.email)
1
How We Built and Launched an MVP During Techstars (substack.com)
1
Polarized Subtyping [pdf] (zee.town)
2
The weekly CEO email (2018) (medium.com/gokulrajaram)
2
The AI Scientist: Towards Automated Open-Ended Scientific Discovery (sakana.ai)
3
A 6502 Emulator in LabVIEW (crossover-eng.it)
1
The Verse Programming Language (epicgames.com)
16
I implemented an ISO 42001-certified AI Governance program in 6 months (beabytes.com)
1
You're a computer science major, don't panic (nytimes.com)
18
Don't turn your brain off (computingeducationthings.substack.com)
1
The State Machine Professor (niklaselmqvist.medium.com)
4
Visual Studio 2026 (microsoft.com)
1
Weighting an Average to Minimize Variance (johndcook.com)
3
You're a computer science major. Don't panic (nytimes.com)
2
Wordplay: A language-inclusive programming language for interactive typography (github.com/wordplaydev)
2
Command Line Interfaces and Progressive Enhancement (2011) (lukew.com)
2
That time I girl-bossed too hard at my tech job (beabytes.com)
1