Hacker News
- Case against OOP is understated, not overstated (2020) https://boxbase.org/entries/2020/aug/3/case-against-oop/ 528 comments
- Dialogical logic programming http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ 19 comments
- Syntax is the last thing you should design https://boxbase.org/entries/2017/feb/6/syntax-advice/ 73 comments
Lobsters
- Case against OOP is understated, not overstated https://boxbase.org/entries/2020/aug/3/case-against-oop/ 14 comments programming , rant
- Plan 9 on epaper (SPI driver) https://boxbase.org/entries/2021/jan/1/plan9-on-epaper/ 6 comments hardware , osdev
- Don't clone that GUI (how about this instead?) http://boxbase.org/entries/2020/sep/23/dont-clone-that-gui/ 10 comments practices , programming
- How a Haskell programmer wrote a tris in Purescript http://boxbase.org/entries/2020/aug/5/how-a-haskell-programmer-wrote-a-tris-in-haskell/ 2 comments haskell
- Flaws in structured programming http://boxbase.org/entries/2019/oct/4/flaws-in-structured-programming/ 7 comments plt
- Explaining formal proofs http://boxbase.org/entries/2019/apr/15/explaining-formal-proofs/ 10 comments formalmethods , plt
- Contradiction in divide by zero http://boxbase.org/entries/2019/mar/11/contradiction-in-divide-by-zero/ 2 comments compsci , plt
- Null references was a mistake, but what's the take-away? http://boxbase.org/entries/2019/feb/4/null/ 7 comments culture , plt , programming , rant
- Types and Indeterminates http://boxbase.org/entries/2018/mar/19/types-and-indeterminates/ 2 comments ml , plt
- Happy extra rare new year + solution to leap second problem http://boxbase.org/entries/2018/jan/1/rare_new_year/ 2 comments compsci , historical , practices , programming
- How should the addition -expression behave? http://boxbase.org/entries/2017/nov/6/addition-expression/ 5 comments compilers , programming
- In Defense of Details http://boxbase.org/entries/2017/oct/9/in-defense-of-details/ 2 comments programming
- Plan 9 on epaper (SPI driver) https://boxbase.org/entries/2021/jan/1/plan9-on-epaper/ 2 comments plan9
- For people who are in favor of DMCA on youtube-dl http://boxbase.org/entries/2020/oct/24/youtube-dl/ 14 comments programming
- Tutorial: Transparent interfaces in Haskell http://boxbase.org/entries/2020/jul/29/hasked/ 3 comments haskell
- boxbase.org: Hierarchical Free Monads: Myopic alternative to Tagless Final https://boxbase.org/entries/2020/jun/29/hierarchical-free-monads-criticism/ 10 comments haskell
- Dialogical logic programming http://boxbase.org/entries/2019/feb/11/dialogical-logic-programming/ 4 comments prolog
- Optimizing Lever's PNG loading http://boxbase.org/entries/2017/may/8/optimizing_lever_png/ 5 comments programming
- Marpa: Parsing Revolution http://boxbase.org/entries/2015/jun/15/marpa-parsing-revolution/ 5 comments programming