An Introduction To Robust-First Computation

malleable computing

By Devine Lu Linvega

Practical Foundations for Programming Languages

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?

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.