Hacker News
- My students made zines, and so can you(rs) http://composition.al/blog/2019/06/29/my-students-made-zines-and-so-can-yours/ 7 comments
- Time is Partial: distributed consistency models and weak memory models http://composition.al/CMPS290S-2018-09/2018/11/17/time-is-partial-or-why-do-distributed-consistency-models-and-weak-memory-models-look-so-similar-anyway.html 3 comments
- What do people mean when they say “transpiler”? http://composition.al/blog/2017/07/30/what-do-people-mean-when-they-say-transpiler/ 74 comments
- My first fifteen compilers http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/ 76 comments
- Why does a Turing-complete type system make type checking undecidable? http://composition.al/blog/2017/02/27/why-does-a-turing-complete-type-system-make-type-checking-undecidable/ 22 comments
- Yet another blog post about how parallelism is not concurrency http://composition.al/blog/2014/11/24/yet-another-blog-post-about-how-parallelism-is-not-concurrency/ 7 comments
- Browser extensions are kernel modules for browsers http://composition.al/blog/2015/02/27/browser-extensions-are-kernel-modules-for-browsers/index.html 12 comments
Lobsters
- Time is Partial, or: why do distributed consistency models and weak memory models look so similar, anyway? http://composition.al/CMPS290S-2018-09/2018/11/17/time-is-partial-or-why-do-distributed-consistency-models-and-weak-memory-models-look-so-similar-anyway.html 2 comments programming
- My first fifteen compilers http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/ 4 comments compilers , compsci , programming
- Why does a Turing-complete type system make type checking undecidable? http://composition.al/blog/2017/02/27/why-does-a-turing-complete-type-system-make-type-checking-undecidable 3 comments compsci
- Why review papers? http://composition.al/blog/2016/01/31/why-review-papers 4 comments practices
- New paper draft: “Joining Forces: Toward a Unified Account of LVars and CRDTs" http://composition.al/blog/2014/01/10/new-paper-draft-joining-forces/ 4 comments distributed
- My first fifteen compilers http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/ 25 comments programming
- Refactoring as a way to understand code http://composition.al/blog/2015/12/29/refactoring-as-a-way-to-understand-code/ 11 comments programming
- Lattice-Based Data Structures for Deterministic Parallel and Distributed Programming (related to CRDTs; implementation in Haskell) http://composition.al/blog/2014/09/29/my-thesis-defense-talk/ 9 comments haskell
- The LVar that wasn't http://composition.al/blog/2013/12/24/the-lvar-that-wasnt/ 13 comments haskell
- Default methods and negative diffstats http://composition.al/blog/2013/08/26/default-methods-and-negative-diffstats/ 11 comments rust
- Fizzbuzz revisited (using Rust) http://composition.al/blog/2013/03/02/fizzbuzz-revisited/ 86 comments programming
- Lindsey Kuper: FizzBuzz revisited http://composition.al/blog/2013/03/02/fizzbuzz-revisited/ 12 comments rust