Hacker News
- Why Is the Web So Monotonous? Google (2022) https://reasonablypolymorphic.com/blog/monotonous-web/index.html 22 comments
- Why Is the Web So Monotonous? Google https://reasonablypolymorphic.com/blog/monotonous-web/index.html 245 comments
- Towards Tactic Metaprogramming in Haskell https://reasonablypolymorphic.com/blog/towards-tactics/index.html 46 comments
- Implement with types, not your brain (2019) https://reasonablypolymorphic.com/blog/typeholes/index.html 119 comments
Lobsters
- How to Write Technical Posts (so people will read them) https://reasonablypolymorphic.com/blog/writing-technical-posts/ 21 comments practices
- Higher-Kinded Data http://reasonablypolymorphic.com/blog/higher-kinded-data 3 comments haskell , programming
- Modeling Music http://reasonablypolymorphic.com/blog/modeling-music 3 comments haskell
- Elm Is Wrong http://reasonablypolymorphic.com/blog/elm-is-wrong 15 comments elm , haskell
- Automatically Migrating Eq of No (/=) :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/comby 5 comments haskell
- Dragging Haskell Kicking and Screaming into the Century of the Fruitbat :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/century-of-the-fruitbat/ 152 comments haskell
- Proving Commutativity (not equivalence) of Polysemy Interpreters :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/proving-commutativity/ 3 comments haskell
- Porting to Polysemy :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/porting-to-polysemy/ 15 comments haskell
- Separate your Views; Reify Your Reasoning :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/separate-your-views-reify-your-reasoning/ 3 comments haskell
- Towards Tactic Metaprogramming in Haskell :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/towards-tactics/ 22 comments haskell
- Implement with Types, Not Your Brain https://reasonablypolymorphic.com/blog/typeholes/index.html 50 comments programming
- Protobuffers are wrong http://reasonablypolymorphic.com/blog/protos-are-wrong/index.html 330 comments programming
- Low-Tech AST Extensibility with Extension Patterns :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/extension-patterns/ 32 comments haskell
- Haskell2020 Is Dead, but All Hope Is Not Lost :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/haskell202x/ 55 comments haskell
- How I Intend to Help Steer GHC :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/steering/ 37 comments haskell
- Polysemy Internals: The Effect-Interpreter Effect :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/tactics/ 5 comments haskell
- Polysemy Internals: Freer Interpretations of Higher-Order Effects :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/freer-higher-order-effects/ 9 comments haskell
- Writing Custom Optimization Passes :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/writing-custom-optimizations/ 20 comments haskell
- GHC's Specializer: Much More Than You Wanted to Know :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/specialization/ 14 comments haskell
- Review: Theorems for Free :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/theorems-for-free/ 4 comments compsci
- Freer Monads: Too Fast, Too Free :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/too-fast-too-free/ 25 comments haskell
- Freer Monads, More Better Programs :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/freer-monads/ 37 comments haskell
- How to Write Technical Posts (so people will read them) :: Reasonably Polymorphic https://reasonablypolymorphic.com/blog/writing-technical-posts/ 9 comments haskell
- Protobuffers Are Wrong http://reasonablypolymorphic.com/blog/protos-are-wrong/ 195 comments programming
- Static Analysis of Free Monads :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/prospecting-free-monads/ 16 comments haskell
- Coercions and Roles for Dummies :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/roles/ 17 comments haskell
- Performance and Feature Case Studies in Ecstasy :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/ecstasy-case-study/ 6 comments haskell
- Follow the Denotation :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/follow-the-denotation/ 5 comments haskell
- Algorithmically Scrapping Your Typeclasses :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/algorithmic-sytc 3 comments haskell
- Higher-Kinded Data :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/higher-kinded-data 32 comments haskell
- Why (and how) I wrote my own Entity Component System http://reasonablypolymorphic.com/blog/why-take-ecstasy 12 comments haskell
- Classic paper review: Bananas, Lenses, Envelopes and Barbed Wire http://reasonablypolymorphic.com/blog/recursion-schemes 29 comments haskell
- Modeling basic music theory in Haskell http://reasonablypolymorphic.com/blog/modeling-music 18 comments haskell
- Haskell types are great. Where are the copycats? http://reasonablypolymorphic.com/blog/elm-is-wrong 72 comments haskell
- Elm Is Wrong :: Reasonably Polymorphic (xpost from /r/programming) http://reasonablypolymorphic.com/blog/elm-is-wrong 40 comments elm
- Elm Is Wrong :: Reasonably Polymorphic http://reasonablypolymorphic.com/blog/elm-is-wrong 97 comments programming