• Proving a stupid sort algorithm with Dafny https://unnamed.website/posts/i-can-prove-it-can-sort/ 0 comments 23/4/2025
• Haskelling My Python https://unnamed.website/posts/haskelling-my-python/ 68 comments 18/4/2025
• Dodecahedra https://unnamed.website/projects/dodecahedra/ 2 comments 17/1/2025

• ICanProveItCanSort https://unnamed.website/posts/i-can-prove-it-can-sort/ 6 comments 24/2/2025 compsci
• Fenwick Trees are Awesome https://unnamed.website/posts/fenwick-trees-awesome/ 6 comments 15/1/2025 programming

• Haskelling My Python https://unnamed.website/posts/haskelling-my-python/ 5 comments 21/4/2025 functionalprogramming