timorl @timorl@qoto.org

"Technology is the active human interface with the material world.

But the word is consistently misused to mean only the enormously complex and specialised technologies of the past few decades, supported by massive exploitation both of natural and human resources.

This is not an acceptable use of the word. "Technology" and "hi tech" are not synonymous, and a technology that isn't "hi," isn't necessarily "low" in any meaningful sense.

We have been so desensitized by a hundred and fifty years of ceaselessly expanding technical prowess that we think nothing less complex and showy than a computer or a jet bomber deserves to be called "technology " at all. As if linen were the same thing as flax — as if paper, ink, wheels, knives, clocks, chairs, aspirin pills, were natural objects, born with us like our teeth and fingers -- as if steel saucepans with copper bottoms and fleece vests spun from recycled glass grew on trees, and we just picked them when they were ripe..."

http://ursulakleguinarchive.com/Note-Technology.html

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.

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