1
1
Memory 2.0: Attentive Memory (2012) (ninlabs.com)
3
US Executive Order: Improving Oversight of Federal Grantmaking (whitehouse.gov)
1
Developers, Reinvented (ashtom.github.io)
32
Names are not type safety (2020) (lexi-lambda.github.io)
4
Degrees are merely the receipts for the money you spent (rahulpandita.me)
1
Safer AI Agents Through Understanding and Evaluating Mobile UI Operation Impacts (arxiv.org)
4
Programming Language Escape Hatches (buttondown.com/hillelwayne)
10
Why concatenative programming matters (2012) (evincarofautumn.blogspot.com)
3
There is no "Three Mile Island" event coming for software (surfingcomplexity.blog)
1
AI Culture: The Next Evolution of Intelligence (iunknown.com)
2
Agents Built from Alloys (xbow.com)
1
Undone Computer Science (undonecs.org)
21
Hazel: A live functional programming environment with typed holes (github.com/hazelgrove)
39
Mostly dead influential programming languages (2020) (hillelwayne.com)
1
The AI Remote Has Arrived: Let Go of the Knob (rahulpandita.me)
2
Ask HN: What happened to W3C's PROV initiative to add provenance to the Web?
1
Why Your Open Source Startup Is Going to Fail (2023) (scarf.sh)
2
Usability barriers for liquid types [pdf] (catarinagamboa.github.io)
4
What a $500k grants looks like (2022) (austinhenley.com)
3
Gameboy Camera Photography (ekeler.com)
2
Migrating Code at Scale with LLMs at Google (arxiv.org)
1
YAML Tool Calls (jeremyaboyd.com)
1
Gamer Games for Non-Gamers (hillelwayne.com)
1
What do professional so ware developers need to know to succeed in an age of AI? (arxiv.org)
1
Casio F-91W (wikipedia.org)
3
Stanford CS336: Language Modeling from Scratch [video] (youtube.com)
2
LLMs: The Missing Compiler for Unix Tools (tselai.com)
2
"What went well" is more than just a pat on the back (surfingcomplexity.blog)
2
What makes a good side project? (austinhenley.com)
1
Ohm.js Grammar Generator (gcrois.github.io)
2
It must be worth it even if it doesn't work (2021) (world.hey.com)
6
Python 3.13.5 is now available (python.org)
41
Solving LinkedIn Queens with SMT (buttondown.com/hillelwayne)
1
Continuous AI from GitHub Next (githubnext.com)
63
AI at Amazon: A case study of brittleness (surfingcomplexity.blog)
1
"This is not vis" (niklaselmqvist.medium.com)
3
Subtype Inference by Example (polybdenum.com)
4
Lightweight Diagramming for Lightweight Formal Methods (brownplt.org)
3
AI at Amazon: A case study of brittleness (surfingcomplexity.blog)
4
105 Vibe-Coded Tools (simonwillison.net)
33
Mapping latitude and longitude to country, state, or city (austinhenley.com)
2
Dijkstra never took a biology course (surfingcomplexity.blog)
1
Securing a Form on the Internet: Still Pretty Difficult (serverascode.com)
19
What works (and doesn't) selling formal methods (galois.com)
2
GitHub Copilot Spaces (github.blog)
2
What Works (and Doesn't) Selling Formal Methods (galois.com)
1
The Zen of Polymorphism [video] (youtube.com)
1
How React server components work: an in-depth guide (plasmic.app)
1
Use VS Code to build AI apps and agents [video] (youtube.com)
1
Error Messages as Rationale Reconstructions [Dissertation] [pdf] (barik.net)
1
Why I Use WebAssembly (nasso.dev)
1
A Garbage Collection Strategy (irreal.org)
43
Hyper Typing (pscanf.com)
1
Labeling a root cause is predicting the future, poorly (surfingcomplexity.blog)
1
Hyper Typing (pscanf.com)
1
When a bad analysis is worse than none at all (surfingcomplexity.blog)
1
Python Internals (2010) (thegreenplace.net)
2
Taking Learning Seriously (dubroy.com)
3
PEG Parsing Series by Guido von Rossum (2019) (medium.com/gvanrossum_83706)
1
Where are the proactive AI coding tools? (austinhenley.com)
2
Discovery Agent: Agentic Setup, Build, and Testing of Repositories (githubnext.com)
1
Progressive Dehancement (dbushell.com)
1
You can't prevent your last outage, no matter how hard you try (surfingcomplexity.blog)
2
My first experience using Swift, SwiftUI, and Xcode (2023) (austinhenley.com)
2
Agentic Bug Reproduction for Effective Automated Program Repair at Google (arxiv.org)
3
Good models protect us from bad models (surfingcomplexity.blog)
2
The design of software engineering course projects (austinhenley.com)
3
Machine Learning in Production: From Models to Products (Free Textbook) (mlip-cmu.github.io)
1
The world of compiler backends (medium.com/packt-hub)
90
Programming languages should have a tree traversal primitive (tylerglaiel.com)
18
Requirements change until they don't (buttondown.com/hillelwayne)
2
The design of software engineering course projects (austinhenley.com)
1
Prompts Are Programs Too: How Developers Build Software Containing Prompts (arxiv.org)
3
Requirements change until they don't (buttondown.com/hillelwayne)
3
Microsoft's Platform Engineering Guide (microsoft.com)
2
A Comprehensive Benchmark for C-to-Safe-Rust Transpilation (arxiv.org)
1
Assistance or Disruption? Evaluating the Design of Proactive AI Programming (arxiv.org)
1
All Models Are Wrong, Some Are Useful: Model Selection with Limited Labels (blackhc.net)
1
When is round-trip floating point radix conversion exact? (johndcook.com)
4
Microsoft's Platform Engineering Guide (microsoft.com)
1
Teach Scrum with Minecraft (2022) (medium.com/agileinsider)
2
"All Roads Lead to ChatGPT": How AI Is Eroding Social Interactions (arxiv.org)
1
Avoiding and Exploiting JavaScript's Warts (might.net)
2
Three Years of Investing in Games (robin-guo.com)
3
All Databases Are Just Files (tselai.com)
1
The Aspire Compiler (medium.com/davidfowl)
1
What is Service-level Fault Injection Testing? (2021) (christophermeiklejohn.com)
2
Miscellaneous Mathematical Symbols (johndcook.com)
26
Calypso: LLMs as Dungeon Masters' Assistants [pdf] (andrewhead.info)
2
We are not bits: AI and dehumanization (medium.com/bits-and-behavior)
3
Why AI Still Struggles with What Isn't There (utk.edu)
1
Ivie: Lightweight Anchored Explanations of Just-Generated Code [pdf] (andrewhead.info)
3
Bespoke GUIs on the Fly (2023) (austinhenley.com)
2
Model Error (surfingcomplexity.blog)
4
Rust 1.86.0 (rust-lang.org)
3
Evaluating Agent-Based Program Repair at Google (arxiv.org)
4
Intuiting TLS (kprotty.me)
2
Models, models every where, so let's have a think (surfingcomplexity.blog)
1