Joachim Breitner

On stage
Welcome!
Currently I have the priviledge to be working on the Lean theorem prover, as a Principle Research Software Engineer with the Lean FRO. Before that I did a lot of things with Haskell and Isabelle, as a PhD student in Karlsruhe and as a post-doc at UPenn.
But maybe you are here because of my Tiptoi hacking project.
Beyond my technical work you will find me on standup-comedy stages (in particular in Freiburg, where I am hosting a regular show), on swing and tango dance floors and paragliding up in the air.
Latest blog entries
- 2025-03-10: Extrinsic termination proofs for well-founded recursion in Lean
- 2025-02-02: Coding on my eInk Tablet
- 2024-06-30: Do surprises get larger?
- 2024-05-31: Blogging on Lean
- 2024-03-11: Convenient sandboxed development environment
- 2024-01-25: GHC Steering Committee Retrospective
- 2023-12-22: The Haskell Interlude Podcast
- 2023-11-01: Joining the Lean FRO
- 2023-10-29: Squash your Github PRs with one click
- 2023-09-10: Left recursive parser combinators via sharing
- … View all blog posts