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
-
Post #1959049
I hate it when this happens in my #rocq proofs...
-
Post #1959047
I don&#39;t know the difference in meaning between all the differently colored heart emojis ♥️ 💙 🩶 🩷 🖤 🤎 💚 🤍 🧡 💜 💛 🩵 and at this point I am too afraid to ask (except on mastodon)
-
Post #1959045
@skewray I think they do, don&#39;t they? The black one 🖤 i&#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&#39;s very situational.
-
Post #1959043
The state of balcony solar in Zurich 🇨🇭 (2025 colorized)
-
Post #1959042
Zulip&#39;s little timezone aware time widget is one of the greatest advances in texting of the last few years.
-
Post #1959041
@fragdenstaat Habt ihr solche Dark Patterns wirklich notwendig?