Elektrine lite

← Feed

Sebastian Ullrich

kha@functional.cafe

<p>makes Lean at Lean FRO</p><p>Munich, Germany</p>

Posts

  • View post

    The real numbers are the friends we made along the way

  • View post

    For your consideration: not one but TWO cute &amp;amp; delightful puzzle games https://store.steampowered.com/bundle/58864/CAToo/

  • View post

    Munich🚄Eindhoven for the Dutch Formal Methods Day! I made sure to have at least one reference to the Netherlands in my talk just to be on the safe side...

  • View post

    So many people complaining about the YouTube Algorithm yet my front page could not be more superbly blursed https://youtu.be/JH3mYQaSA7I

  • View post

    Someone on the Internet misspelled &amp;quot;altitude sickness&amp;quot; as &amp;quot;latitude sickness&amp;quot; which I think is an orthogonal issue