25 days ago|discuss
user: madmax96
809 karma | created 12 years ago
recent submissions
6 months ago|discuss
1 year ago|discuss
1 year ago|discuss
1 year ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
Rust: Generics Considered Colorful
(maxtaylor.dev)
3 pts|2 years ago|discuss
1 pts|2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
Using F* to Formally Verify Programs
(maxtaylor.dev)
1 pts|2 years ago|discuss
2 years ago|discuss
2 years ago|discuss
3 years ago|discuss