madmax96

Rust: Generics Considered Colorful

3 points by madmax96 1 year ago | 0 comments

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

1 point by madmax96 1 year ago | 0 comments

Using F* to Formally Verify Programs

1 point by madmax96 2 years ago | 0 comments

A Lisp REPL Inside ChatGPT

10 points by madmax96 2 years ago | 4 comments