Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
-
A story about my dad discovering Google Docs, and why it makes me excited to be working with the developers of the Lean programming language and theorem prover.
-
Our heroes embark upon a thrilling journey through the mathematics of a new kind of logic programming.
-
In which I attempt to do Advent of Code in the weird programming language I designed, again.
-
A year of creating Dusa and writing a paper about it.
-
Absolute minimal LaTeX template using the acmart style in 2024.
-
Observing, and trying to address, a particular niche that has bugged me for several decades: a webpage that lets you edit some text, and then do something interesting with that text
-
I repeated my 2019 survey of what the letters in “API” meant in 2024.
-
Answering the question “what do the letters in API stand for?”