Elektrine lite

← Feed

Johannes Hostert

jhostert@mathstodon.xyz

<p>Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Excited about practical applications of formal methods. Type theorist at heart.</p>

Posts

  • View post

    I hate it when this happens in my #rocq proofs...

  • View post

    @skewray I think they do, don&amp;#39;t they? The black one 🖤 i&amp;#39;d only use when grieving for someone; and it seems that there are meanings to the others some of the colors as well but probably it&amp;#39;s very situational.

  • View post

    The state of balcony solar in Zurich 🇨🇭 (2025 colorized)

  • View post

    @fragdenstaat Habt ihr solche Dark Patterns wirklich notwendig?

  • View post

    @dnkboston &gt; But do you know what&#39;s already happening in the name of getting the Rare Earth Elements needed for solar? I can imagine but probably you have some more resources for me to read up on it?