| 1. | | Rust: Generics Considered Colorful (maxtaylor.dev) |
|
3 points by madmax96 on Sept 1, 2023 | past
|
|
| 2. | | A Concept and Template Metaprogramming Approach to Session Types in C++ (maxtaylor.dev) |
|
1 point by madmax96 on Aug 20, 2023 | past
|
|
| 3. | | Using F* to Formally Verify Programs (maxtaylor.dev) |
|
1 point by madmax96 on May 27, 2023 | past
|
|
| 4. | | A Lisp REPL Inside ChatGPT (maxtaylor.dev) |
|
10 points by madmax96 on Dec 5, 2022 | past | 4 comments
|
|
| 5. | | Reconciling modern machine learning practice and the bias-variance trade-off (arxiv.org) |
|
2 points by madmax96 on Feb 4, 2020 | past
|
|
| 6. | | Efficient Scalable Thread-Safety-Violation Detection [pdf] (microsoft.com) |
|
1 point by madmax96 on Nov 19, 2019 | past
|
|
| 7. | | Show HN: Clsh – a simple way to compose and execute *nix programs from CL (github.com/obicons) |
|
2 points by madmax96 on June 18, 2018 | past
|
|
| 8. | | R6RS Monads (github.com/jhidding) |
|
3 points by madmax96 on Dec 29, 2017 | past
|
|
| 9. | | Alex – catch inconsiderate, offensive writing (alexjs.com) |
|
2 points by madmax96 on Nov 17, 2016 | past | 2 comments
|
|
| 10. | | Clojure Breadth-first search and A* Pathfinder (tickstales.com) |
|
1 point by madmax96 on June 3, 2016 | past
|
|
| 11. | | Clojure – spec Guide (clojure.org) |
|
7 points by madmax96 on May 24, 2016 | past
|
|
| 12. | | Functors in Scheme (reddit.com) |
|
2 points by madmax96 on March 17, 2016 | past
|
|
| 13. | | Ernest Mandel An Introduction to Marxist Economic Theory (marxists.org) |
|
2 points by madmax96 on May 16, 2014 | past
|
|
| 14. | | What compiler does HN use? |
|
3 points by madmax96 on Nov 4, 2013 | past | 1 comment
|
|
