Skip to content

Top New Best Ask Show Jobs

madmax96

809 karmaJoined August 29, 2013320 submissions

madmax96 | Better HN

Recent submissions

1

Rust: Generics Considered Colorful (opens in new tab)

(maxtaylor.dev)

3madmax962y ago0

2

A Concept and Template Metaprogramming Approach to Session Types in C++ (opens in new tab)

(maxtaylor.dev)

1madmax962y ago0

3

Using F* to Formally Verify Programs (opens in new tab)

(maxtaylor.dev)

1madmax962y ago0

4

A Lisp REPL Inside ChatGPT (opens in new tab)

(maxtaylor.dev)

10madmax963y ago4