timorl @timorl@qoto.org

We are about to launch a small #makerspace for #Ukrainian #refugees, #maker.s and #craftperson.s
Do I know anyone keen and able to help us get sponsored by some serious toolmaking company?
Initial list includes #makitatools #boschtools #milwaukeetools #BlackAndDecker, but I am open to suggestions.

What do people do for trans day of visibility? I’m so new to this! Do I learn Rust? Light a police car on fire? Become a cryptid and local folk legend?

Am Sonntag ging es in der Sendung mit der Maus 🐭 um #trans Menschen. Das hat bei manchen Eltern die Frage ausgelöst wie sie trans sein ihren Kindern erklären sollen, aber keine Sorge, da hab ich eine Lösung für euch: https://leah.is/posts/trans-sein-erklaert-fuer-kinder/

So I (and by "I" I mean @robryk , thanks!) fixed the machine and now it's working. Still looking for a good home, same caveats as before, except the part about being broken ofc.

Hi, Fedi.

I need your help. This project is based around the fundamental ideal of driving audio over a layer 3 IP network, *open source*. No Dante, no AES50, none of that. Open source only. To that end, I have run across Ravenna and AES67 as the only serious contenders, and I have Questions that need answers from people who understand the underlying protocol and possible implementations.

So, one... are there any other *serious* options for a/v-over-IP that i have missed (AVB doesn't count)?

Two, can anyone put me in touch with somebody who actually understands AES67/Ravenna in more than a passing way?

Please boost this and help me find answers.

Thank you.

Someone added a bunch of random overflow & underflow checks to my code while changing something else. I think it's just a habit and all of these extra range checks are completely unnecessary - they're already checked elsewhere...

To make a point in the argument, I put the code into CBMC, removed those checks, and started a formal verification run.

The verification failed... 🤡
with a counterexample... 🤡

I'm somewhat amused that I now own a noticeably loud lightbulb.

Woot! I fixed a policy limitation at work by simply refusing to apply the policy as written and standing my ground. "Family" for purposes of sick/bereavement/etc. leave now includes anyone with which the employee has a "family-like relationship", not just "blood and law relatives"

I got into a little trouble by signing off on family leave for an employee whose dear friend ("she's like a sister to me") needed some medical support, but I stood my ground on the basis that we shouldn't be defining family in a way that excludes people our employees consider family. And I signed it off twice more.

HR threatened to fire me over it, but a whole bunch of my peers and a good chunk of my team basically went together to HR and my VP and said "he goes over this, we quit". Solidarity works!

Very proud to announce our first event. With the fantastic Mireille Hildebrandt and Wendy Chun, moderation by Felix Stalder. Part of our new research project "Latent Spaces – Performing ambiguous Data".
Details: https://latentspaces.zhdk.ch/general/public-event-1