Blog Archive

☰

Curriculum Vitae

SHA 256 Calculator

1. Version Control for the Uninigiated

Published on <2020-10-16 Fri 11:40>.

2. Competing with Unicorns

Published on <2020-12-19 Sat 16:30>.

3. Idris' most important Feature

Published on <2021-02-01 Mon 15:40>.

4. Wishlist for verified Programming

Published on <2021-03-28 Sun 17:00>.

5. Towers of Complexity

Published on <2021-05-22 Sat 19:30>.