Stories by deterministic

Ask HN: How do you deal with eye strain as a developer?

New Navy Device Learns by Doing (1958)

When Computers Write Proofs, What's the Point of Mathematicians?

The Hylo Programming Language

Fat: Why It Matters and What to Do About It

HACL: A High-Assurance Cryptographic Library

Milawa is a "self-verifying" theorem prover for an ACL2-like logic

How to Build a Satellite

Book notes: A Philosophy of Software Design (2021)

Unity Backtracking

How Amazon built Cedar with automated reasoning

Interview with an Emacs Enthusiast in 2023

Thorium Molten Salt Reactors

Theorem Proving in Lean 4

An Introduction to Model-Based Systems Engineering (MBSE)

Kevin Buzzard: The rise of formalism in mathematics

Constructor Theory of Information (2014)

Forty-Five Things I Learned in the Gulag (2018)

Replatform in a Year or Die: The Tale of a Turnaround (2021)