Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Typechecker Zoo - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Prism: An Impure Functional Language With Typed Effects - Stephen Diehl
Personal blog of Stephen Diehl - Software engineer writing about technology, programming, and the future
Andrew Blinn
I use programming language theory as a lens on UI design, trying to make engagement with abstractions more fluid, tangible, and fun
Modular: The Claude C Compiler: What It Reveals About the Future of Software
Compilers occupy a special place in computer science. They're a canonical course in computer science education. Building one is a rite of passage. It forces you to confront how software actually works, by examining languages, abstractions, hardware, and the boundary between human intent and machine execution.
A small matter of programming: perspectives on end user computing
A Small Matter of Programming asks why it has been so dā¦
Forgotten Programming Ideas That Could Change Everything #shorts
Hello Systems by Loris Cro
Getting started with Claude for software development
Blog post: Getting started with Claude for software development by Steve Klabnik
"An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
Communicating in Types ā¢ Kris Jenkins ā¢ GOTO 2024
Convivial design heuristics for software systems
The theme of this workshop is the proliferation of ideas about calling into question the cultural roots of our current programming languages, and the search for alternative paradigms with other cultural bases.
A Philosophy of Software Design
This book addresses the topic of software design: how to decompose complex software systems into modules (such as classes and methods) that can be implemented relatively independently. The book first introduces the fundamental problem in software design, which is managing complexity. It then d...
Future of Programming
The future of programming and computing
Trends and adjacent possibles for the future of how computers are used and programmed
Kanjun š on Twitter / X
Hiring and firing a DBA
LLMs and performative productivity
Collaborative AI Engineering: One Dev, Two Dozen Agents, Zero Alignment ā Maggie Appleton, GitHub
We are Changing our Developer Productivity Experiment Design
Agents want flexible schemas
What Even Is An OS Now?
Maybe We Should Stop Investing in GUI-Centric Software Companies
LIMITS 2026 -- Workshop on Computing within Limits
vit ā open source is social
Humans approve intent, machines prove conformance
Introducing System One Models and Jev - TypeSafe AI Blog