Did you know there's an entire field of computer science barely yet explored? Join me at the entrance to a deep rabbit hole as we take a look at Robust-First Computation.
Practical Foundations for Programming Languages
IBM's "Man & Computer" (1967)
When did Computer Science Theory Get so Hard?
I posted on When did Math get so hard? a commenter pointed out that one can also ask When did Computer Science Theory Get so Hard? For t...
Composure
On yet another foray into the list of opinions I have that I’m sure are making me progressively more unemployable by the day, I asked some people on the internet: who is doing interesting work on software composability these days and where do I find them?
The Story of C++: The World's Most Consequential Programming Language | The Official Story
The Man Who Revolutionized Computer Science With Math
Intro to Data Oriented Design for Games
"An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
Theory Beyond Theorems and Proofs: A Guest Post
Scott’s foreword: I’m extremely grateful to my brilliant colleagues, Pravesh Kothari, Raghu Meka, and Prasad Raghavendra, for sharing the guest post below about how theoretical computer…
Bret Victor - Media for Thinking the Unthinkable
Humanities in the Machine - Blain Smith
There is something quietly remarkable about the people who built the foundations of modern computing. Not their technical achievements, though those are extraordinary. What is remarkable is where they came from before they ever touched a machine.
microsoft/FastContext-1.0-4B-SFT · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
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.
Computational reproducibility
The why and how of making scientific computations reproducible
The future of programming and computing
Trends and adjacent possibles for the future of how computers are used and programmed
Konrad Hinsen's blog
Home Page - Software Heritage
GNU Guix transactional package manager and distribution — GNU Guix
Keynote: Reproducibility and replicability of computer simulations | Canal U
Reproducible research: methodological principles for transparent…
Reproducible Research II: Practices and tools for managing compu…
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
Message from our CEO: After co-inventing ChatGPT, I kept asking myself: why have superhuman chat models not led to AGI? I’ve spent the last…
On-device intelligence for every product