Stanford CS336 | Language Modeling from Scratch (Spring 2025 Archive)

Archived course website for Stanford CS336: Language Modeling from Scratch (Spring 2025), including schedule, assignments, logistics, and materials.

Circuit Tracing: Revealing Computational Graphs in Language Models

We describe an approach to tracing the “step-by-step” computation involved when a model responds to a single prompt.

Aaron Steven White

computational semanticist. into modular synths and tiki. https://aaronstevenwhite.io

. · openai/ten-proofs@94bc0fe

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe

Cheatsheet - DSPy

The framework for programming—rather than prompting—language models.

Notes on the Synthesis of Form

Notes on Notes on the Synthesis of Form.

. · openai/ten-proofs@d0e1ae7

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7

. · openai/ten-proofs@5a102c1

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1

Issue 084: Spreadsheets

Welcome to the 84th issue of De Programmatica Ipsum, about Spreadsheets. In this edition, we declare spreadsheets the most popular software programming environment of all time; in the Library section, we learn how to use Lotus 1-2-3 for science reading "Spreadsheet Physics" by Charles Misner and Patrick Cooney; and in our Vidéothèque section, we discover that Excel is a Turing-complete, functional programming language through the eyes of Dr. Felienne Hermans.

The Turing Collapse | Jason G. Butterfield | Offprint

When we can no longer tell who's real online

Aaron Steven White

computational semanticist. into modular synths and rum. https://aaronstevenwhite.io