Stories by deterministic

The Unison Language – The Big Idea

Why AI won't wipe out white-collar jobs (YouTube) [video]

AI Fails at 96% of Jobs (New Study)

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