Top all-time · #3645
Boxbase
Personal blog · boxbase.org/entriesprogrammingsystems
Boxbase is a personal blog at boxbase.org about programming and systems. Since 2015, 21 different Hacker News readers have linked it 29 times, most often “Case against OOP is understated, not overstated (2020)”. No feed was found, so read it on the site itself.
Too few sampled comments (7) to say how often HN recommends it.?
Why HN links it
HN readers link Boxbase for its posts on type systems, including Hindley-Milner inference and string diagrams, and an argument against OOP. Commenters mostly link these posts as references.
Summarised by Claude from a sample of 7 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Case against OOP is understated, not overstated (2020)3 people · 3 mentions · first linked 2022-02-10
- Null references was a mistake, but what's the take-away?2 people · 2 mentions · first linked 2019-02-05
- /entries/2018/mar/5/hindley-milner/2 people · 2 mentions · first linked 2021-09-29
What Hacker News says?
Would you expect someone selling a product to give an accurate review? They have a conflict of interest. Give me a review from someone who does not have a conflict of interest. I'll show you what I'm looking for: https://labs.tomasino.org/mechanical-keyboards/ https://www.paritybit.ca/blog/vortex-vibe-keyboard https://wiki.installgentoo.com/wiki/Mechanical_keyboards https://www.vegard.net/the-ultimate-keyboard-part-…
Comment linking /entries/2015/nov/30/ergodox/
on “The web starts on page four”Submitted Case against OOP is understated, not overstated (2020) as a story · 460 points
HN discussion> "Trait/Typeclass"-style compositional inheritance as in Rust and Haskell is sublime. It's similar to Java interfaces in terms of flexibility, and it doesn't enforce hierarchical rules. Yes-and-no. Interfaces still participate in inheritance hierarchies (`interface Bar extends Foo`), and that's in a way that prohibits removing/subtracting type members (so interfaces are not in any way a substitute for mixins). Comp…
Comment linking /entries/2020/aug/3/case-against-oop/
on “Inheritance was invented as a performance hack (2021)”Submitted Dialogical logic programming as a story · 85 points
HN discussionhttps://boxbase.org/entries/2019/jul/15/chu-construction/ Strings is the canonical example for Chu spaces.
Comment linking /entries/2019/jul/15/chu-construction/
on “String Diagrams for Linear Algebra”Submitted Syntax is the last thing you should design as a story · 74 points
HN discussionThe quoted paragraph is correct as written. E.g. if f: ∀A, B. A -> B -> A Then we have poly type π = "∀A, B. A -> B -> A". The monotype μ = Str -> Int -> Str is a specialization of π, so we are also permitted to judge that f has type μ. The type specialization operator "looks backwards", where we write sorta "π ≤ μ" because there's a kind of "subtyping" relationship (though most HM type systems don't actually contai…
Comment linking /entries/2018/mar/5/hindley-milner/
on “A reckless introduction to Hindley-Milner type inference (2019)”Submitted Easy text rendering with Vulkan as a story · 18 points
HN discussionFrom some searching, this apparently is easier said than done[1] (read: there doesn't appear to be a way to guarantee that the decorator wouldn't break due to various meta-programming etc). Relevant links: The RPython sub-set used to implement pypy (and other languages on the rpython run-time) has a decorator for @always_inline, and does automagic inlining: https://mail.python.org/pipermail/pypy-commit/2014-November…
Comment linking /entries/2015/apr/20/rpython-jit-optimizations/
on “Python's Web Framework Benchmarks”Submitted Unix Hater's Handbook Stinks as a story · 9 points
HN discussionI'll just leave this link right here: https://boxbase.org/entries/2020/aug/3/case-against-oop and wait for the lively informed debate to ensue... (The article was a popular link when it was posted to HN back in 2020: https://news.ycombinator.com/item?id=30293622 )
Comment linking /entries/2020/aug/3/case-against-oop
on “People Don't Understand OOP”Submitted Dialogical logic programming as a story · 5 points
HN discussionhttps://boxbase.org/entries/2018/mar/5/hindley-milner/
Comment linking /entries/2018/mar/5/hindley-milner/
on “Ask HN: Accessible resources on making a modern static type system?”Submitted The case against OOP is understated, not overstated as a story · 4 points
HN discussionSubmitted Plan 9 on E-Paper as a story · 4 points
HN discussionSubmitted Return to Plan 9 as a story · 4 points
HN discussionSubmitted “Porting” of kapow to Plan 9 as a story · 3 points
HN discussionSubmitted Case against OOP is understated, not overstated as a story · 3 points
HN discussionSubmitted A Haskell programmer wrote a tris in PureScript as a story · 2 points
HN discussionSubmitted Contradiction in Divide by Zero as a story · 2 points
HN discussionSubmitted RISC-V can be fun if they don't mess it up as a story · 2 points
HN discussionSubmitted Relational Parsing, part 0, recognizer as a story · 1 points
HN discussionSubmitted How to read code: the next generation as a story · 1 points
HN discussionSubmitted How to Stop/Help Progress as a story · 1 points
HN discussionSubmitted Null references was a mistake, but what's the take-away? as a story · 1 points
HN discussionSubmitted Null references was a mistake, but what's the take-away? as a story · 1 points
HN discussionSubmitted What programming language should a beginner learn in 2017 – 20XX? as a story · 1 points
HN discussionSubmitted Syntax is the last thing you should design as a story · 1 points
HN discussionSubmitted JavaScript continent and the callback pyramids of hell as a story · 1 points
HN discussion