Mark Dominus (陶敏修)
12 recent entries
Guess what this does (solution) / Guess what this does / Types are theorems; programs are proofs / My brush with Oulipo / Placeholder texts / Proof by contradiction / 2banner, which tells you when someone else is looking at the same web page / The perfect machine / Everything needs an ID / Why I like Java / Twingler, a generic data structure munger / Notes on a system for abbreviating SQL queries
Today, my younger daughter Lila is 73 days old, and her
elder sister Iris is 123 days old.
Happy birthday, girls.
[Other articles in category /math]