Reading these short self-descriptions makes me weirdly disappointed in my own life. You know, undergrad while living with parents while being a repressing queer while having crippling ADHD.
Having lived in Munich my entire life, I feel comfortable characterizing it as somewhere inbetween Zurich and Vienna. Transit is amazing in all three cities, the Alps are nearby in all three cities, although Vienna is rather "liberal" while Zurich is rather "conservative". Likewise, cost-of-living is Vienna < Munich < Zurich.
If you like weekend / multi-day hikes, I really strongly recommend checking out the Alpenvereinshütten. No such thing as camping on longer hikes when there's a (very affordable) mountain cabin with warm food on your way.
The main upside Isabelle has over other proof assistants is the existence of Sledgehammer: invoke it, and your current proof state gets handed off to a SMT solver like cvc4, veriT, z3, vampire, etc. If the SMT solver finds a solution, Isabelle then reconstructs the proof.
It's essentially a brute-force button that no other proof assistant (aside from Coq) has.
An approach I've had to EU elections is that tiny, single-seat parties often do invaluable opposition work through parliamentary requests and access to internal documents.
It's why it's sad to see Pirates lose their representation, even though their program isn't great.
It's still quite commonplace in Germany in 2024. Typically, they claim around 1000€ in said letters, and refusing will have the case go to court, which usually rules in favor of said legal firms.
y'know, the GDPR has known a Right To Be Forgotten since 2018, and yet in Discord there's no way to delete your messages in bulk (instead they're being pseudonymized upon account deletion)
I've never put any stock in this point, your writings cannot be made distinct from you.
How many messages do you need before you can accrue enough personally identifying information to reveal who that person was? Every time they mention where they live, how old they are, what happens about that?
None of that goes away if you only soft delete the user's profile, leaving all the content and context for anyone to rebuild at their leisure.
Pretty sure the original account id is still tied to the message and sent to clients even after deletion. People can easily correlate it if they can prove just one of the messages belonged to you.
Madoka is heavily inspired by Goethe's Faust [0]! Walpurgisnacht is a (rather irrelevant) scene in the latter, iirc one episode had random quotes on the wall, and the thematic similarities are very hard to not notice.
I like the idea of mashing up Nietzsche's Abyss with Moore's Rorschach: "None of you abysses understand. I'm not stuck here gazing into you. You're stuck here gazing into me."
Lagniappe:
Radio Yerevan was asked: "Is it true that the Capitalists are standing on the edge of an abyss?"
Radio Yerevan answers: "Yes, true. And our goal: to catch up and go beyond them!"
PS. If there were a bounty, my entry would be not DE:Boba Nacht, but rather FR:Boba Fête...
There is nuance to this. Being queer and living with a homophobic family means suppressing your personality in everyday life in myriad ways, way beyond "being gay". Moving out removes this tension entirely, well without any need to abandon one's family altogether.
[0] https://news.ycombinator.com/item?id=39824191