[ July 9, 2025 - July 11, 2025] Conference or similar: Workshop on Walter Benjamin’s “theory of fascism” https://philevents.org/event/show/127314
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…
Bag making in progress. Joining ends to bodies for some tube/duffel shaped purses. Drinking tea, settling into the studio, and getting on with it #handmade #sewing #bagsewing
«Pegasus-Spyware lässt sich mit Tool um einen Dollar aufspüren:
Ein Cybersicherheitsunternehmen hat eine Software entwickelt, die Smartphones sehr preiswert auf das umstrittene Spionageprogramm überprüft»
Ich kenne und nutzte es nie, deswegen habe ich diesbezüglich kA, evt. wer von euch und ist es zu empfehlen?
🔍
Series B, Episode 05 - Pressure Point
BLAKE: We'll pull out. Give it another hour.
[Inside the Security station]
https://blake.torpidity.net/m/205/168 B7B2
One week to go with last places up for grabs! Join us at DINAcon 2024 next week in Bern to hear about:
💠 AI in Parliament: A Roadmap for the Parliamentary Library { Jacqueline Kucera }
🌸 How can large language models be used for sustainable procurement? { Marcel Gygli, Luca Rolshoven }
🌿 Source code sovereignty: local alternatives for an independent digital future { Tobias Brunner }
🧑⚖️ My workshop on open source contracts with Simon Schlauri
🌃