| | Rust: Generics Considered Colorful (maxtaylor.dev) |
| 3 points by madmax96 on Sept 1, 2023 | past |
|
| | A Concept and Template Metaprogramming Approach to Session Types in C++ (maxtaylor.dev) |
| 1 point by madmax96 on Aug 20, 2023 | past |
|
| | Using F* to Formally Verify Programs (maxtaylor.dev) |
| 1 point by madmax96 on May 27, 2023 | past |
|
| | A Lisp REPL Inside ChatGPT (maxtaylor.dev) |
| 10 points by madmax96 on Dec 5, 2022 | past | 4 comments |
|
