Stories by surprisetalk

Modeling Git Internals in Alloy, Part 3: Operations on Blobs and Trees

Don’t start a business until people are asking you to (2016)

If considered harmful (2015) [video]

Apple Will Win the AR/VR Wars

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

62
63
64
65
66
67
68
69
70