Hacker News new | ask | show | jobs
user: madmax96
created: 2013-08-29
karma: 809

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Rust: Generics Considered Colorful
3 points | 0 comments
A Concept and Template Metaprogramming Approach to Session Types in C++
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Using F* to Formally Verify Programs
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
A Lisp REPL Inside ChatGPT
10 points | 4 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments