Stories by downboots

Lean Theorem Prover Mathlib

Mission Decoded

2025 Desmos Art Contest

Landauer's Principle

Garden of Eden

Lecture Summarization by Extracting Content from Whiteboards (2018)

DARPA LifeLog

Age of the Captain

De Bruijn Graph

Things that aren't doing the thing

Form Follows Function

Hallucination

The lab where robots run their own experiments (2020) [video]

Desmond Doss

The Purring Test

Birth of a Bee [video]

List of existing technologies predicted in science fiction

Michel Levin – Natural and Artificial forms of life [video]

Hawala

Popular Reinforcement Learning algorithms and their implementation (2023)

1
2
3
4
5
6
7
8
9
10