Show newer
timorl boosted

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: leah.is/posts/trans-sein-erkla

timorl boosted

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.

Show thread
timorl boosted

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.

timorl boosted

@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"...

timorl boosted

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.

Show thread

old quote, general child abuse 

"It is unhappily, to a painful degree, apparent throughout the whole of evidence, that against no persons do the children of both sexes so much require protection as against their parents."

timorl boosted

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

timorl boosted

@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)

timorl boosted

Another thing that changed since 10y ago when I used Blender: I used to have to convince people who are interested in 3d artwork "you should really try Blender, no really, it's worth your time"

Nowadays, everyone I talk to already is. Blender seems to be the 3d default.

timorl boosted

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!

timorl boosted

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: latentspaces.zhdk.ch/general/p

timorl boosted

European Politics 

“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

timorl boosted

free sewing machine, probably broken 

So I've got a Singer 834 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 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.

timorl boosted

i need more mathematician friends on mastodon. can you boost this for visibility, please?

timorl boosted
Facial Feminization Surgery
>$10,000~
>go to a consultation so some cis person can describe everything wrong with your face in excruciating detail
>insurance thinks it's cosmetic
>cis people: "ah yes that person is a cis afab adult human female, I can entrust her with my private opinions about the trannies"
>neurotypicals: "this human said with words that she likes me, but according to her facial expressions, she actually hates me. I will respond as such but not explain why."

Mask
>you can steal one for free
>hot-swappable to different types for different threats: pathogens from the deadly endemic forever plague, allergens from the ever growing creep of spring back into winter territory, dust from the dead world post-climate apocalypse, smoke from the world being on fire, chemical weapons from the accelerating fascist regime, you can be ready for anything
>cis people: "I cannot judge this human's entire personality and life history by a quick glance at their face, they must be one of those weirdo nonbinaries, I will avoid"
>neurotypicals: "cannot read the facial expression that tells me everything I ever want to know about this person, I have no choice but to judge them by their voice tone instead"
>they also look cool
>mask wearers are 200% more hot
>facial recognition software now thinks you are "the infamous Grey Fox, confidence: 99.87%"
timorl boosted
timorl boosted

the thing about trying to restrict what code runs on a computer is that computers just love to run code, it's their favorite thing to do and if you show them code they just want to run it so bad

Show older
CleverLibre Social

CleverLibre Social is an inclusive social instance for open discussion, learning, and community.
All cultures welcome.
Hate speech and harassment strictly forbidden.