- π» I'm a big fan of Functional Programming as a way to deliver correct software
- π° I love to think about the product / service aspects of software
- πΊ I favor working remotely, this can be very effective
- π· Besides my keyboard I regularly exercise my fingers on my saxophone
- specs2 a BDD library for Scala
- registry a dependency injection library for Haskell (or a typeclass alternative depending on how you see it)
- potions a command-line arguments parsing library for Unison
- What Haskell taught us when we were not looking!
- The many faces of modularity
- The Eff monad, one monad to rule them all
- Streams, effects, and beautiful folds, a winning trilogy
- Down to the wire
- Wire once, rewire twice
- Specs2, from starters to dessert and ... a look in the kitchen
- What is so unique about Unison?
- Tagless final, for real
- The application toolbok
- specs2, the next 10 years
- Becoming reasonable
- Scrap your typeclasses
- When FP does not save us
- Do we need effects to get abstraction?
- A balancing act
- Freer doesn't come from free
- A better add operator for HLists
- Processing CSV files in Haskell
- A neat trick from ICFP 2016
- The essence of the iterator pattern
β‘ Recent GitHub Activity
- π Merged PR #8696 in build-trust/ockam
- π£ Commented on #4463 in unisonweb/unison
- πͺ Opened PR #8696 in build-trust/ockam
- π£ Commented on #1192 in build-trust/ockam-website
- β Closed PR #1192 in build-trust/ockam-website