reasonablypolymorphic.com 18. 5. 2024Jujutsu Strategies – reasonablypolymorphic.com 26. 12. 2023FRP in Yampa: Part 4: Routing – reasonablypolymorphic.com 24. 12. 2023FRP in Yampa: Part 3: Switching – reasonablypolymorphic.com 22. 12. 2023FRP in Yampa: Part 2: Arrowized FRP – reasonablypolymorphic.com 21. 12. 2023FRP in Yampa: Part 1 – reasonablypolymorphic.com 30. 10. 2023Certainty by Construction: Done! – reasonablypolymorphic.com 12. 10. 2023Certainty by Construction Progress Report 10 – reasonablypolymorphic.com 2. 9. 2023Certainty by Construction Progress Report 9 – reasonablypolymorphic.com 23. 8. 2023Certainty by Construction Progress Report 8 – reasonablypolymorphic.com 12. 8. 2023Certainty by Construction Progress Report 7 – reasonablypolymorphic.com 14. 7. 2023Certainty by Construction Progress Report 6 – reasonablypolymorphic.com 20. 6. 2023Certainty by Construction Progress Report 5 – reasonablypolymorphic.com 16. 6. 2023Certainty by Construction Progress Report 4 – reasonablypolymorphic.com 25. 5. 2023Certainty by Construction Progress Report 3 – reasonablypolymorphic.com 18. 5. 2023Certainty by Construction Progress Report 2 – reasonablypolymorphic.com 12. 5. 2023Certainty by Construction Progress Report 1 – reasonablypolymorphic.com 24. 3. 2023The Co-Blub Paradox – reasonablypolymorphic.com 3. 1. 2023Abusing Constraints for Automatic Documentation – reasonablypolymorphic.com 4. 8. 2022Why Is the Web So Monotonous? Google. – reasonablypolymorphic.com 22. 3. 2022Review: Proof-Carrying Code – reasonablypolymorphic.com 19. 3. 2022Review: Syntax-Guided Synthesis – reasonablypolymorphic.com 12. 3. 2022Review: Generic Parallel Functional Programming – reasonablypolymorphic.com 6. 3. 2022Review: Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures – reasonablypolymorphic.com 27. 2. 2022Review: A Very Elementary Introduction to Sheaves – reasonablypolymorphic.com 16. 2. 2022Automatic Ring Solving – reasonablypolymorphic.com 10. 2. 2022Review: Codata in Action – reasonablypolymorphic.com 8. 2. 2022Followup to Sorting with Bialgebras – reasonablypolymorphic.com 5. 2. 2022Review: Sorting with Bialgebras and Distributive Laws – reasonablypolymorphic.com 31. 1. 2022Underlining the Bugs – reasonablypolymorphic.com 29. 1. 2022Review: Copatterns – reasonablypolymorphic.com 23. 1. 2022Review: Clowns to the Left of Me, Jokers to the Right – reasonablypolymorphic.com 20. 1. 2022Automating Wordle – reasonablypolymorphic.com 14. 1. 2022Review: Shall We Vote on Values, But Bet on Beliefs? – reasonablypolymorphic.com 7. 1. 2022Review: Adders and Arrows – reasonablypolymorphic.com 21. 11. 2021Automatically Migrating Eq of No (/=) – reasonablypolymorphic.com 12. 11. 2021Dragging Haskell Kicking and Screaming into the Century of the Fruitbat – reasonablypolymorphic.com 21. 10. 2021Proving Commutativity of Polysemy Interpreters – reasonablypolymorphic.com 16. 10. 2021Proving Equivalence of Polysemy Interpreters – reasonablypolymorphic.com 9. 10. 2021Testing Polysemy With polysemy-check – reasonablypolymorphic.com 3. 10. 2021Porting to Polysemy – reasonablypolymorphic.com 8. 2. 2021Exploring Case Law – reasonablypolymorphic.com 23. 1. 2021I Built a Terrible Roomba – reasonablypolymorphic.com 25. 11. 2020Haskell in the Real World – reasonablypolymorphic.com 9. 11. 2020Separate Your Views; Reify Your Reasoning – reasonablypolymorphic.com 12. 10. 2020Towards Tactic Metaprogramming in Haskell – reasonablypolymorphic.com 10. 9. 2020Algebra-Driven Design – reasonablypolymorphic.com 15. 6. 2020Polysemy: Mea Culpa – reasonablypolymorphic.com 13. 2. 2020A Working Linux DAW – reasonablypolymorphic.com 27. 11. 2019Low-Tech AST Extensibility with Extension Patterns – reasonablypolymorphic.com 1. 11. 2019Haskell2020 Is Dead, but All Hope Is Not Lost – reasonablypolymorphic.com 13. 10. 2019New Book: Design and Interpretation of Haskell Programs – reasonablypolymorphic.com 15. 7. 2019Nimic: A language about nothing – reasonablypolymorphic.com 11. 7. 2019How I Intend to Help Steer GHC – reasonablypolymorphic.com 26. 6. 2019Polysemy Internals: The Effect-Interpreter Effect – reasonablypolymorphic.com 25. 6. 2019Implement With Types, Not Your Brain! – reasonablypolymorphic.com 31. 5. 2019Polysemy Internals: Freer Interpretations of Higher-Order Effects – reasonablypolymorphic.com 25. 5. 2019Faking Fundeps with Typechecker Plugins – reasonablypolymorphic.com 22. 5. 2019Writing Custom Optimization Passes – reasonablypolymorphic.com 18. 5. 2019GHC's Specializer: Much More Than You Wanted to Know – reasonablypolymorphic.com 10. 4. 2019Announcing Polysemy – reasonablypolymorphic.com 12. 3. 2019Freer, yet Too Costly Higher-order Effects – reasonablypolymorphic.com 18. 2. 2019Freer Monads: Too Fast, Too Free – reasonablypolymorphic.com 13. 2. 2019Freer Monads, More Better Programs – reasonablypolymorphic.com 7. 2. 2019How to Write Technical Posts (so people will read them) – reasonablypolymorphic.com 14. 11. 2018Thinking with Types – reasonablypolymorphic.com 10. 10. 2018Protobuffers Are Wrong – reasonablypolymorphic.com 8. 7. 2018Gauging Interest in a Type-Level Programming Book – reasonablypolymorphic.com 7. 7. 2018Static Analysis of Free Monads – reasonablypolymorphic.com 26. 6. 2018Coercions and Roles for Dummies – reasonablypolymorphic.com
18. 5. 2024Jujutsu Strategies – reasonablypolymorphic.com 26. 12. 2023FRP in Yampa: Part 4: Routing – reasonablypolymorphic.com 24. 12. 2023FRP in Yampa: Part 3: Switching – reasonablypolymorphic.com 22. 12. 2023FRP in Yampa: Part 2: Arrowized FRP – reasonablypolymorphic.com 21. 12. 2023FRP in Yampa: Part 1 – reasonablypolymorphic.com 30. 10. 2023Certainty by Construction: Done! – reasonablypolymorphic.com 12. 10. 2023Certainty by Construction Progress Report 10 – reasonablypolymorphic.com 2. 9. 2023Certainty by Construction Progress Report 9 – reasonablypolymorphic.com 23. 8. 2023Certainty by Construction Progress Report 8 – reasonablypolymorphic.com 12. 8. 2023Certainty by Construction Progress Report 7 – reasonablypolymorphic.com 14. 7. 2023Certainty by Construction Progress Report 6 – reasonablypolymorphic.com 20. 6. 2023Certainty by Construction Progress Report 5 – reasonablypolymorphic.com 16. 6. 2023Certainty by Construction Progress Report 4 – reasonablypolymorphic.com 25. 5. 2023Certainty by Construction Progress Report 3 – reasonablypolymorphic.com 18. 5. 2023Certainty by Construction Progress Report 2 – reasonablypolymorphic.com 12. 5. 2023Certainty by Construction Progress Report 1 – reasonablypolymorphic.com 24. 3. 2023The Co-Blub Paradox – reasonablypolymorphic.com 3. 1. 2023Abusing Constraints for Automatic Documentation – reasonablypolymorphic.com 4. 8. 2022Why Is the Web So Monotonous? Google. – reasonablypolymorphic.com 22. 3. 2022Review: Proof-Carrying Code – reasonablypolymorphic.com 19. 3. 2022Review: Syntax-Guided Synthesis – reasonablypolymorphic.com 12. 3. 2022Review: Generic Parallel Functional Programming – reasonablypolymorphic.com 6. 3. 2022Review: Lightweight Semiformal Time Complexity Analysis for Purely Functional Data Structures – reasonablypolymorphic.com 27. 2. 2022Review: A Very Elementary Introduction to Sheaves – reasonablypolymorphic.com 16. 2. 2022Automatic Ring Solving – reasonablypolymorphic.com 10. 2. 2022Review: Codata in Action – reasonablypolymorphic.com 8. 2. 2022Followup to Sorting with Bialgebras – reasonablypolymorphic.com 5. 2. 2022Review: Sorting with Bialgebras and Distributive Laws – reasonablypolymorphic.com 31. 1. 2022Underlining the Bugs – reasonablypolymorphic.com 29. 1. 2022Review: Copatterns – reasonablypolymorphic.com 23. 1. 2022Review: Clowns to the Left of Me, Jokers to the Right – reasonablypolymorphic.com 20. 1. 2022Automating Wordle – reasonablypolymorphic.com 14. 1. 2022Review: Shall We Vote on Values, But Bet on Beliefs? – reasonablypolymorphic.com 7. 1. 2022Review: Adders and Arrows – reasonablypolymorphic.com 21. 11. 2021Automatically Migrating Eq of No (/=) – reasonablypolymorphic.com 12. 11. 2021Dragging Haskell Kicking and Screaming into the Century of the Fruitbat – reasonablypolymorphic.com 21. 10. 2021Proving Commutativity of Polysemy Interpreters – reasonablypolymorphic.com 16. 10. 2021Proving Equivalence of Polysemy Interpreters – reasonablypolymorphic.com 9. 10. 2021Testing Polysemy With polysemy-check – reasonablypolymorphic.com 3. 10. 2021Porting to Polysemy – reasonablypolymorphic.com 8. 2. 2021Exploring Case Law – reasonablypolymorphic.com 23. 1. 2021I Built a Terrible Roomba – reasonablypolymorphic.com 25. 11. 2020Haskell in the Real World – reasonablypolymorphic.com 9. 11. 2020Separate Your Views; Reify Your Reasoning – reasonablypolymorphic.com 12. 10. 2020Towards Tactic Metaprogramming in Haskell – reasonablypolymorphic.com 10. 9. 2020Algebra-Driven Design – reasonablypolymorphic.com 15. 6. 2020Polysemy: Mea Culpa – reasonablypolymorphic.com 13. 2. 2020A Working Linux DAW – reasonablypolymorphic.com 27. 11. 2019Low-Tech AST Extensibility with Extension Patterns – reasonablypolymorphic.com 1. 11. 2019Haskell2020 Is Dead, but All Hope Is Not Lost – reasonablypolymorphic.com 13. 10. 2019New Book: Design and Interpretation of Haskell Programs – reasonablypolymorphic.com 15. 7. 2019Nimic: A language about nothing – reasonablypolymorphic.com 11. 7. 2019How I Intend to Help Steer GHC – reasonablypolymorphic.com 26. 6. 2019Polysemy Internals: The Effect-Interpreter Effect – reasonablypolymorphic.com 25. 6. 2019Implement With Types, Not Your Brain! – reasonablypolymorphic.com 31. 5. 2019Polysemy Internals: Freer Interpretations of Higher-Order Effects – reasonablypolymorphic.com 25. 5. 2019Faking Fundeps with Typechecker Plugins – reasonablypolymorphic.com 22. 5. 2019Writing Custom Optimization Passes – reasonablypolymorphic.com 18. 5. 2019GHC's Specializer: Much More Than You Wanted to Know – reasonablypolymorphic.com 10. 4. 2019Announcing Polysemy – reasonablypolymorphic.com 12. 3. 2019Freer, yet Too Costly Higher-order Effects – reasonablypolymorphic.com 18. 2. 2019Freer Monads: Too Fast, Too Free – reasonablypolymorphic.com 13. 2. 2019Freer Monads, More Better Programs – reasonablypolymorphic.com 7. 2. 2019How to Write Technical Posts (so people will read them) – reasonablypolymorphic.com 14. 11. 2018Thinking with Types – reasonablypolymorphic.com 10. 10. 2018Protobuffers Are Wrong – reasonablypolymorphic.com 8. 7. 2018Gauging Interest in a Type-Level Programming Book – reasonablypolymorphic.com 7. 7. 2018Static Analysis of Free Monads – reasonablypolymorphic.com 26. 6. 2018Coercions and Roles for Dummies – reasonablypolymorphic.com