I extracted the sxmo notification logic from my other project. So if you want to write #sxmo software in #rust (why?!) now you can using what is here: https://codeberg.org/timorl/sxmotify
Oh goodness, I got it, if I create and fill the file in one go it gets ignored, I have to fiddle with it afterwards to trigger #sxmo scripts... how silly.
I'm quite confused about notifications in #sxmo, I create the files as specified and they actually make the phone buzz only very rarely (but sometimes!) and only then the diode turns green. They do show up in the notification menu though, so they are not completely wrong.
I know that the monitoring script has quite obvious async bugs, but it seems to work for smses and some other sxmo-initiated notifications pretty consistently, so I'm confused...
Anyway, anyone encountered similar problems?
We've been steadily working away at P2P Matrix over the last few years & while there's still lots of work left, we're starting to see distant light at the end of the tunnel! So if you want to track our past & present progress, we're proud to present: ✨ https://arewep2pyet.com ✨
Ursula K. Le Guin on "technology"
"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..."
@timorl I really should have announced this two days ago, would have felt much more appropriate. <_<
Since it can now be marginally useful for people other than me...
Announcing MaRNE – Matrix Rust Notifier Extraordinaire. A #matrix notification widget mostly intended for use with #sxmo on a #pinephone. It produces notifications for messages in Matrix rooms you joined, the notifications can be filtered on a per room basis and are only created with a specified frequency to lower the strain on your attention. It can also easily be temporarily silenced. You can find it here: https://codeberg.org/timorl/marne
MaRNE – the quality is in the name!
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.
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.