Johannes Hostert
@jhostert@mathstodon.xyz
Ph.D. Student @ ETH Zürich, working on Rust and Separation Logic. Excited about practical applications of formal methods. Type theorist at heart.
mathstodon.xyz
Replying to
@taschenorakel@mastodon.green
@taschenorakel@mastodon.green @crabby@mastodon.world @artcafe@troet.cafe @hllizi@hespere.de @musevg@23.social @chrisstoecker@mastodon.social Nein. Sein Handeln als Minister (damals) verantwortet er nicht vor den Bürgern seines Wahlkreises, sondern vor uns allen. Er eher vor niemandem, denn als Minister wird man nicht gewählt, sondern ernannt.