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/
free sewing machine, working!
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.
@ghost New development - it turned out my original judgement was... correct?! After I upgraded my distro, the original failing example passed the verification, there's no OOB read anymore, so it was likely a bug in CBMC...
"You've become the very thing you swore to destroy"...
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... 🤡
free sewing machine, working!
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.
@cwebber I really think this is something more people need to consider with WFH.
We're comfortable considering split shifts for in-person work, but I don't see many people taking that mentality when working from home even though it is way more suited for split shifts (particularly for people who have distributed teams across multiple time zones or people who are also doing care work on top of WFH)
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
free sewing machine, probably broken
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.
free sewing machine, probably broken
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.
Programmer and researcher,. Ended up working with all the current buzzwords: #ai #aisafety #ml #deeplearning #cryptocurrency
Other interests include #sewing, being #lesswrong, reading #hardsf, playing #boardgames and omitting stuff on lists.
Oh, and trans rights, duh.
Header image by @WhiteShield@livellosegreto.it .
Heheh, gentoo, heh, nonbinary, heheheh... I'm so easily amused sometimes.