Recent Posts

• Safety in an Unsafe World
  by gadmmon 11/14/2024, 10:12:42 AM with 0 comments
• Memory Management with Stephen Dolan (OCaml)
  by gadmmon 1/7/2022, 6:52:11 PM with 0 comments
• Does the Bronze GC Make Rust Easier to Use? A Controlled Experiment
  by gadmmon 10/5/2021, 10:38:57 AM with 2 comments
• A program for the full axiom of choice
  by gadmmon 9/1/2021, 3:42:41 PM with 0 comments
• Featherweight Go (A generics design for Go)
  by gadmmon 5/26/2020, 12:09:45 PM with 0 comments