Darius Foo
Blog
Research
Work
Other
1 Aug, 2023
Jump-to-definition in PL papers
3 Jun, 2023
Ordering events across live loops in Sonic Pi
16 May, 2022
Trees with holes
21 Mar, 2021
Visualizing Z3's proofs
7 Feb, 2021
Pretty stack-and-heap diagrams
29 Sep, 2020
Mouseover Minesweeper
30 Jul, 2020
Transparent iOS backups
25 Nov, 2017
Bags of puzzle pieces in ASP