2023
-
Using A Theorem Prover
2023-10-27 07:49:17-04:00 (EDT)
I reccomend the Lean4 Natural Number Game.
2022
- September 12, 2022 2022-09-12 14:44:17-04:00 (EDT)
2013
- Surface Viewing 2013-04-20 20:00:26-05:00 (CDT)
2012
- reading book The Architecture of Open Source Applications 2012-08-23 11:32:34-05:00 (CDT)
2010
- REAL10 2010-12-09 00:20:44-06:00 (CST)
- simple mergesort 2010-05-08 07:55:23-05:00 (CDT)
- dynamic arrays 2010-03-17 09:00:38-05:00 (CDT)
- algorithms matter 2010-03-11 18:48:25-06:00 (CST)