madmax96

Karma: 809
Created: 12 years ago

Recent Submissions

1. ▲ Rust: Generics Considered Colorful (maxtaylor.dev) 3 points · 2 years ago · 0 comments
2. ▲ A Concept and Template Metaprogramming Approach to Session Types in C++ (maxtaylor.dev) 1 point · 2 years ago · 0 comments
3. ▲ Using F* to Formally Verify Programs (maxtaylor.dev) 1 point · 2 years ago · 0 comments
4. ▲ A Lisp REPL Inside ChatGPT (maxtaylor.dev) 10 points · 3 years ago · 4 comments

All submissions on HN · View profile on HN