Hacker News
- Programming language syntax that I don’t like https://maniagnosis.crsr.net/2017/08/programming-language-syntax-complaints.html 4 comments
- On Complete Gibberish: Programming language syntax that I don’t like https://maniagnosis.crsr.net/2017/08/programming-language-syntax-complaints.html 56 comments programming
- Applied Formal Logic: Verifying Quicksort https://maniagnosis.crsr.net/2017/08/afl-verifying-quicksort.html 4 comments programming
- Verifying Quick Search https://maniagnosis.crsr.net/2017/07/afl-correctness-of-quicksearch.html 3 comments programming
- Maniagnosis - Abstracted Algebra in Rust http://maniagnosis.crsr.net/2015/07/abstracted-algebra-in-rust.html 6 comments rust
- Quicksort (and why knowing a little about theory is a good thing) http://maniagnosis.crsr.net/2016/02/quicksort.html 19 comments programming
- Delegating methods and abusing macros. At the same time! http://maniagnosis.crsr.net/2016/01/another-rust-spot-delegation.html 3 comments rust
- Generic programming a la Alexander Stepanov and the STL: More Abstracted Algebra in Rust http://maniagnosis.crsr.net/2015/07/more-abstracted-algebra-in-rust.html 5 comments rust
- Replacing a (really simple) Java web service with Rustful http://maniagnosis.crsr.net/2015/07/reimplementing-ashurbanipalweb-in-rust.html 16 comments rust
- Help with writing an iterator? http://maniagnosis.crsr.net/2013/10/rust-08-external-iterators.html 9 comments rust
- mmap, the dictionary, and borrowed pointers http://maniagnosis.crsr.net/2013/06/letterpress-cheating-in-rust-mmap.html 6 comments rust
- Operator overloading in Rust http://maniagnosis.crsr.net/2013/04/operator-overloading-in-rust.html 6 comments rust
- Operator overloading in Rust http://maniagnosis.crsr.net/2013/04/operator-overloading-in-rust.html 38 comments programming
- Request for suggestions, comments, flames: parallelized program slower than sequential version http://maniagnosis.crsr.net/2013/04/letterpress-cheating-in-rust-parallelism.html 6 comments rust
- Fun with Rust traits http://maniagnosis.crsr.net/2013/03/creating-letterpress-cheating-program_26.html 17 comments programming
- Some Lisp suggestions http://maniagnosis.crsr.net/2011/06/some-lisp-suggestions.html 12 comments lisp
- Subclassing and Java Generics, revisited http://maniagnosis.crsr.net/2010/11/subclassing-and-java-generics-revisited.html 14 comments java
- Misconceptions about the CAP theorem: it may not be as proved as you think it is http://maniagnosis.crsr.net/2010/09/some-misconceptions-about-cap-theorem.html 7 comments programming