timorl @timorl@qoto.org

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

“Europe cried about a 'migrant crisis' in 2015 against 1.4m refugees fleeing war in Syria and yet quickly absorbed some 2m Ukrainians within days, complete with flags and piano music. Europe never had a migrant crisis. It has a racism crisis.” - Ayo Sogunro

So I've got a Singer 834 #sewing machine that I would gladly give away. It broke down yesterday again and I expect I could fix it again, but I am kind of tired of this happening so often, so I want to get a more reliable one.

The thing that is broken is the spinny thing that is supposed to tangle the lower thread with the upper (as you can see I'm clearly a professional who knows all the terms) -- it isn't properly synchronized with the needle. I suspect you want it only if you like tinkering with such devices or you want it for parts.

I can send it anywhere from Switzerland, but if the postal costs are too high I might ask you to chip in.