from Hacker News

madmax96

joined 8/29/13, 6:29 PM has 806 karma

• Rust: Generics Considered Colorful

  by madmax96 on 9/1/23, 1:56 PM, with 0 comments

• A Concept and Template Metaprogramming Approach to Session Types in C++

  by madmax96 on 8/20/23, 12:28 PM, with 0 comments

• Using F* to Formally Verify Programs

  by madmax96 on 5/27/23, 10:57 AM, with 0 comments

• A Lisp REPL Inside ChatGPT

  by madmax96 on 12/5/22, 6:51 PM, with 4 comments