1. X
  2. Joachim Breitner
Log inSign up
Joachim Breitner
1,717 posts
Joachim Breitner profile banner
user avatar

Joachim Breitner

@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Freiburg, Germany
joachim-breitner.de
Joined June 2009
1
Following
2,502
Followers
RepliesRepliesMediaMedia
  • user avatar
    Joachim Breitner
    @nomeata
    Jun 29
    Do you find probabilities hard to grasp? Ever wondered whether you are more likely to be struck by lightning, a shark or a car? My brother built a nice website to explore such statistics and probabilities, and test your expectations (heh): verisimilitude.thms.de
  • user avatar
    Joachim Breitner
    @nomeata
    Mar 28
    Very nicely done video by @dwrensha explaining some of my work on #leanprover and well-founded recursion: https://
  • user avatar
    Joachim Breitner
    @nomeata
    Mar 14
    Very nice post. Makes me draw connections to how humans behave on the stock market. And of course the whole idea behind insurances.
    user avatar
    Chris Smith
    @cdsmithus
    Mar 14
    I just published To Flip Or Not To Flip medium.com/p/to-flip-or-n…
  • user avatar
    Joachim Breitner
    @nomeata
    Dec 11, 2025
    Very much enjoying meeting so many enthusiastic Lean users! I got a Lean-themed t-shirt printed in time for this event, it’s the blue one at the back of the group photo. Do you get the “visual pun” on it?
    user avatar
    Pietro Monticone
    @PietroMonticone
    Dec 11, 2025
    Day 3 at #ItaLean2025 here in Bologna! Great talks this morning and now the project work session is buzzing: so many new ideas everywhere and exciting collaborative projects taking shape. What a fantastic atmosphere! #LeanLang #FormalMath #AI4Math
    Image
    Image
  • user avatar
    Joachim Breitner
    @nomeata
    Nov 11, 2025
    My talk “Report from the FRO” from the Lean Workshop at ITP'25, where I highlight select improvements to Lean from the last year, was recorded and is now online: youtu.be/d3uJk6LkD80&li… #lean
    Image
    Teaching Programming using Lean | Luc Duponcheel
    From youtube.com

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement