25
1
Accessibility and the AI autumn (2020) [video] (youtube.com)
1
Proof SDK: Editor, collab server, provenance model, and agent HTTP bridge (github.com/everyinc)
2
Game Modding with GenAI: A Case Study of Stardew Valley Character Maker (arxiv.org)
2
PEP 827: Type Manipulation (python.org)
4
Re-engineering our flow state (twitter.com/wattenberger)
1
jc: CLI tool that converts the output of popular command-line tools to JSON (kellyjonbrazil.github.io)
1
How to Recalculate a Spreadsheet (2020) (lord.io)
2
Coding agents wrote a chess engine in pure TeX (mathieuacher.com)
2
Proposal for Union Types in C# (github.com/dotnet)
1
Xkcd: The General Problem (xkcd.com)
2
Drink the Radioactive Gatorade (essaysbyandy.substack.com)
1
Cambridge Battlecode: Code bots that compete in a turn-based strategy game (battlecode.cam)
47
MonoGame: A .NET framework for making cross-platform games (github.com/monogame)
2
Grow Fast and Overload Things (surfingcomplexity.blog)
1
Some Words on WigglyPaint (beyondloom.com)
1
A Dual-LLM Policy for Reducing Noise in Agentic Program Repair (arxiv.org)
2
What every CS major should know (might.net)
13
Guido van Rossum Interviews Thomas Wouters (Python Core Dev) (gvanrossum.github.io)
1
ACM's Expression of Concern on a 2024 paper (acm.org)
1
Coding Agents Wrote a Chess Engine in Pure TeX (mathieuacher.com)
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