2
3
Compiler Education Deserves a Revolution (thunderseethe.dev)
1
Instantiating UI Components with Distinguishing Variations [pdf] (barik.net)
7
RRB-Trees: Efficient Immutable Vectors (2012) [pdf] (epfl.ch)
1
Arguzz: Testing ZkVMs for Soundness and Completeness Bugs (arxiv.org)
3
OCaml 5.5 Released (ocaml.org)
3
I am dreading our LLM-written incident report future (surfingcomplexity.blog)
1
Knowledge workers don't need frontier models (mukulsingh105.github.io)
2
Optimizing for Decision Points (narphorium.com)
3
My agent stack for automating my personal life (nicolasbustamante.com)
7
Vim Creator Bram Moolenaar's Forgotten Programming Language, Zimbu (2023) (thenewstack.io)
2
Dear Researchers: Help me deal with incidents [pdf] (surfingcomplexity.blog)
3
GitHub Copilot Is Down (twitter.com/githubstatus)
2
Dear Researchers: The Invisible Work (elsevier.com)
2
Fun with an indecisive AI coding agent (benhoyt.com)
2
Solving a chess puzzle with Claude and Prolog (johndcook.com)
3
Automating my job away (austinhenley.com)
4
Python 3.14 garbage collection rigamarole (theconsensus.dev)
1
What we learned shipping VS Code weekly [video] (youtube.com)
2
Shrubbery syntax for Racket (racket-lang.org)
3
Why a Project May Have Low Cognitive Debt and High Intent Debt (margaretstorey.com)
2
AI, Jobs, and the Next Generation (blogs.microsoft.com)
3
The Legend of Zelda: Ocarina of Time Remake [video] (youtube.com)
2
Sycophantic LLMs Mislead Novices in Problem-Solving Tasks [pdf] (acm.org)
1
Automating my job away (austinhenley.com)
8
The Demon of the Gaps (surfingcomplexity.blog)
2
That's enough about AI replacing users in user research [pdf] (ianarawjo.com)
2
The Anatomy of a Learning Stall (tagide.com)
1
Crashing cars and improving hover detection (motion.dev)
1
Wordplay: Accessible, Multilingual, Programmable Typography (wordplay.dev)
1
That Time I Brought Down Millions of WordPress Sites (2016) (jeremyaboyd.com)
2
A Brief, Incomplete, and Mostly Wrong History of Programming Languages (2009) (james-iry.blogspot.com)
1
How Excel got agentic (commandline.microsoft.com)
1
The AI Efficiency Plateau (getdx.com)
4
The End of Coding as a Profession (mikkersten.substack.com)
2
Advancing mathematics research with AI-driven formal proof search (arxiv.org)
1
The Coming Coordination Calamity (surfingcomplexity.blog)
2
Destiny 2's Final Update (bungie.net)
22
Bytecode VMs in surprising places (2024) (dubroy.com)
1
Destiny 2 will no longer be updated (twitter.com/destinythegame)
1
Software engineering is the tipping point [video] (youtube.com)
58
Haskell Foundation 2026 Update (haskell.org)
1
Customizing an LLM for Enterprise Software Engineering (arxiv.org)
2
Academia, startups, big tech, and back again (austinhenley.com)
1
Fastconstmap: A faster map from strings to integers in Python (twitter.com/lemire)
2
MCP Is Not Enough (mukulsingh105.github.io)
1
The room where it happens (certiv.ai)
1
Resilience Engineering Papers (github.com/lorin)
34
7 lines of code, 3 minutes: Implement a programming language (2010) (might.net)
8
[flagged] 2026 is the year you stop reading code (iunknown.com)
2
Model-Harness-Fit (nicolasbustamante.com)
1
On Fundraising (natetucker.com)
164
For thirty years I programmed with Phish on, every day (christophermeiklejohn.com)
1
Intelligence Buying Intelligence (stevekrouse.com)
1
Treat Agent Output Like Compiler Output (skiplabs.io)
1
Virtual Scrolling (nicbarker.com)
2
Illegal vs. Unwanted States (buttondown.com/hillelwayne)
3
PEP 661: Sentinel values, has been accepted 5 years later (python.org)
1
Illegal vs. Unwanted States (buttondown.com/hillelwayne)
1
The Normal Work of Creating Reliability (surfingcomplexity.blog)
1
PuzzleScript (puzzlescript.net)
3
Cognitive debt: The hidden risk in AI-driven software development (getdx.com)
2
Opt-In Isn't a Guardrail (christophermeiklejohn.com)
1
C# that looks like Go (makarchie.com)
1
Productivity gains with an AI-based IDE at Google (arxiv.org)
1
Output Isn't Design (twitter.com/karrisaarinen)
17
The simple geometry behind any road (sandboxspirit.com)
2
PEP 831: Frame Pointers Everywhere (python.org)
2
A general technique for automating NES games (tom7.org)
2
The Lean Programming Language and Theorem Prover (leodemoura.github.io)
2
The structural engineer's other job (christophermeiklejohn.com)
2
RoboPhD: Evolving complex agents under tight budgets (arxiv.org)
2
Inferring user actions from screen recordings to recommend better workflows [pdf] (yanlitao.github.io)
5
Keychron has open sourced its hardware (github.com/keychron)
3
Harnessing Hype to Teach Empirical Thinking with AI (arxiv.org)
1
Slap: Functional Concatenative Language with a Borrow Checker? (taylor.town)
2
Program analysis using random interpretation (2005) [pdf] (sigplan.org)
2
Multi-agent systems have a distributed systems problem (christophermeiklejohn.com)
2
Generalized Linear Model (wikipedia.org)
2
What do I teach now? (prithvi081099.github.io)
8
Ohm's Peg-to-WASM Compiler (ohmjs.org)
2
Inkstravaganza (inkandswitch.com)
2
ChatGPT's optimal route to cross the US in the 1800s (twitter.com/austinzhenley)
2
Choose Boring Technology and Innovative Practices (buttondown.com/hillelwayne)
29
Teaching Claude to QA a mobile app (christophermeiklejohn.com)
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