Ever since Joachim Breitner got infected with the Haskell fever in 2005, he has been an active part of the community, with many contributions to GHC, and currently most active driving the GHC proposal process. He obtained a PhD in Karlsruhe, Germany, for the inception and formal verification of the Call Arity program transformation, has worked as a post-doc with Stephanie Weirich at the University of Pennsylvania to make formal verification of Haskell practical, and is currently a Senior Researcher and Engineer at the DFINITY Foundation. If this year’s Haskell eXchange were live in London, you might stumble across him in the evening dancing Swing or Tango Argentino, or performing at a stand-up comedy open mic.
Talks I've Given
-
Winter is Coming – Even Faster
Featuring Joachim Breitner
Winter is a WebAssembly interpreter. It was too slow for my use-case, so this is the tale of how I made it 700 faster, with 7 different optimizations.
haskell optimisation webassembly -
A Promise Checked is a Promise Kept: Inspection Testing
Featuring Joachim Breitner
Some high-quality Haskell libraries, including old friends like
haskell library-design optimization testingtext
and new kinds on the block likegeneric-lens
, promise that the abstractions provided by these libraries are actually free and will be completely dissolved by the compiler. In the case oftext
the promise is that certain...
My Work
@nomeata has not provided any work info yet.
Social and Blogging
@nomeata has not provided social links yet.