Stories by surprisetalk

Synthetic Intelligence (2019)

Planist.app – printable no-nonsense weekly planner

Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean (2019) [video]

Theorem Proving in Lean 4

Lorem Picsum: The Lorem Ipsum for Photos

Ask HN: Let's hang in Silicon Valley? (June 1-2)

Determining an Upper Limit on the Number Density of Chickens in the Universe

The seven programming ur-languages (2021)

Lifestyle design from first principles

Type Inference from Scratch (2019) [video]

A Big Table of Software License Comparisons

Stannous Fluoride – Oral Health Benefits

Pokegb: A gameboy emulator that only plays Pokémon Blue, in 68 lines of C++

Show HN: ScrapScript – A tiny functional language for sharable software

“I Just Can't”: Sauron's Darkest Moment

Show HN: Outland 2023 – I started a tiny tech conference in Southern California

On AutoGPT

Bananas Will Become Smartphones

Armageddon

Thundersnow