Last Entries
- 2023-09-25Sometimes Prolog can think for you
- 2023-03-08Understanding balanced binary trees
- 2022-11-02Managing concurrency in JavaScript
- 2021-04-03You have to deal with the consequences of microservices in your monolith
- 2020-11-25React Hooks Context Patterns
- 2020-05-283 Common Advanced React/Redux mistakes
- 2020-05-273 Common Intermediate React/Redux mistakes
- 2020-05-263 Common Beginner React/Redux mistakes
- 2020-03-21Code equivalences from The Little Prover
- 2020-03-14Dependent Types in Typescript
- 2019-12-08Type Families in Typescript
- 2019-10-22Types and correctness as an afterthought
- 2019-08-12The Rule of Seven: how to overload the brain of a programmer for no good reason
- 2019-07-25Constructing a Generic Data Loader Component with good typechecking in Typescript
- 2019-07-12Typechecking state transitions in a React/Redux app
- 2019-07-07Using Typescript to make invalid states irrepresentable
- 2019-07-01Improving your React with Typescript ADTs
- 2019-06-25Sensible path to Microservices
- 2019-06-18Patterns of Functional Programming: Functional Core - Imperative Shell
- 2019-05-24Codata in action, or how to connect Functional Programming and Object Oriented Programming
- 2019-05-22SAT solving: a sample scheduler
- 2019-04-22Book review: The Little Prover
- 2019-04-09Plutus Smart Contracts II: Pay $10 in ADA
- 2019-03-12Types versus Tests: two approaches for writing correct software
- 2019-03-05Plutus Smart Contracts I: Understanding Cardano and Plutus
- 2018-11-27The Tyranny of the 'new' keyword (I)
- 2018-11-26Book review: War of Art
- 2018-11-12Axioms
- 2018-11-11Deconstructing Common Sayings I: "A Good Craftsman Never Blames His Tools"
- 2017-07-20Connecting a Haskell Backend to a PureScript Frontend