Top New Best Ask Show Jobs

max-amb

28 karma · joined September 20, 2025

submissions comments

An introduction to formal proof verification and the Curry-Howard Correspondence

max-amb.github.io·27 pts·max-amb·

Curry-Howard Correspondence – How proof assistants work [pdf]

cklixx.people.wm.edu·1 pts·max-amb·

Zero Knowledge Tolstoyan Art

max-amb.github.io·40 pts·max-amb·

Some Intuition Behind the Contrapositive

max-amb.github.io·1 pts·max-amb·

Celebrated British artist David Hockney dies aged 88

bbc.co.uk·6 pts·max-amb·

Turing Machines and Formal Computation

max-amb.github.io·1 pts·max-amb·