madmax96
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Rust: Generics Considered Colorful (maxtaylor.dev)
- Using F* to Formally Verify Programs (maxtaylor.dev)
- A Lisp REPL Inside ChatGPT (maxtaylor.dev)
- Efficient Scalable Thread-Safety-Violation Detection [pdf] (microsoft.com)
- R6RS Monads (github.com)
- Alex – catch inconsiderate, offensive writing (alexjs.com)
- Clojure Breadth-first search and A* Pathfinder (tickstales.com)
- Clojure – spec Guide (clojure.org)
- Functors in Scheme (reddit.com)
- Ernest Mandel An Introduction to Marxist Economic Theory (marxists.org)