HNHacker News
TopNewBestAskShowJobs

madmax96

809 karma · joined August 29, 2013

submissionscomments

Rust: Generics Considered Colorful

maxtaylor.dev·3 pts·madmax96·
0

A Concept and Template Metaprogramming Approach to Session Types in C++

maxtaylor.dev·1 pts·madmax96·
0

Using F* to Formally Verify Programs

maxtaylor.dev·1 pts·madmax96·
0

A Lisp REPL Inside ChatGPT

maxtaylor.dev·10 pts·madmax96·
4

Reconciling modern machine learning practice and the bias-variance trade-off

arxiv.org·2 pts·madmax96·
0

Efficient Scalable Thread-Safety-Violation Detection [pdf]

microsoft.com·1 pts·madmax96·
0

Show HN: Clsh – a simple way to compose and execute *nix programs from CL

github.com·2 pts·madmax96·
0

R6RS Monads

github.com·3 pts·madmax96·
0

Alex – catch inconsiderate, offensive writing

alexjs.com·2 pts·madmax96·
2

Clojure Breadth-first search and A* Pathfinder

tickstales.com·1 pts·madmax96·
0

Clojure – spec Guide

clojure.org·7 pts·madmax96·
0

Functors in Scheme

reddit.com·2 pts·madmax96·
0

Ernest Mandel An Introduction to Marxist Economic Theory

marxists.org·2 pts·madmax96·
0

What compiler does HN use?

3 pts·madmax96·
1