I work at Well-Typed as part of the Glasgow Haskell Compiler Team. I've got a Master's degree from Faculdade de Ciências e Tecnologia in Lisbon -- the thesis was on type-checking linear types in GHC's Core and throughout its optimisation pipeline. This work eventually turned into a POPL26 paper.
I try to write interdisciplinary articles, am a Haskell enthusiast, and a GHC contributor. Besides work, I'm developing a language to design distributed algorithms, a shader-centric and type-heavy 3d renderer / game engine, trying to get e-graphs into GHC, and recently have been working on a deck of cards to learn Japanese. You can find below my latest posts.
I want to go over the initial side project, how that turned into a more ambitious idea, manufacturing and testing a physical product, setting up a company, spreadsheets, setting up the digital infrastructure for the business, marketing and ads, burn-out, launching, and reaching out for help as a solo entrepreneur.
Announcing the brand new Haskell Debugger, which I've been working on for the past year. It is first compatible with GHC 9.14.
A brief announcement about my first paper published to the POPL conference
Announcing xcframework or: the happy path for wiring a Haskell dependency to your Swift app
Implementing a calculator with normal ranges, embedded in Haskell, using a simplified probability monad.
A lightning post on logic programming in Haskell to construct a workout weekly schedule given the set of exercises, days and constraints.
Crossing the language boundary between Haskell and Swift. This is the second part of an in-depth guide into developing native applications using Haskell with Swift.
Adding computed properties to Haskell record types -- probably a new Haskell anti-pattern!