* eloquence: audio ducking now works thanks to akj: github.com/fastfinge/eloquence_64/releases/tag/v5* unspoken-ng: if you use this addon, you also need to update, or audio ducking will remain broken, because someone (glares at himself) didn't quite understand NVWavePlayer: github.com/fastfinge/unspoken-ng/releases/tag/v1.0.3
Release v1.0.3: fix audio ducking · fastfinge/unspoken-ng
This release fixes audio ducking: we now call sync and idle on NVWavePlayer.GitHub
Zach Bennoui reshared this.
Matt Campbell reshared this.
Great software is free software.
Out of the many brilliant #FOSS tools out there, ZDNet’s Jack Wallen picks seven he considers so good he’d gladly “throw down some cash“.
And guess what? Nextcloud is one of them. Well, we wouldn’t settle for less 😉
zdnet.com/article/7-open-sourc…
7 open-source apps I'd easily pay money for because they're that good
These apps are free, but I'd be willing to throw down some cash for them. Here's why.Jack Wallen (ZDNET)
Můj první toot na GrapheneOS. Začínám se pomalu zabydlovat.
Co používáte za aplikace na soukromém (bez googlu) účtu? Hlavně náhradu těch googlových, jako jsou
Kontakty
Kalendář
E-mail
Jaké další aplikace si do toho hlavního účtu má smysl přidat? Na starém mobilu jich mám tunu, spíš občasně poużívaných 🙇
@Milu FairEmail umí také více účtu, ale Thunderbird není špatný.
Já porad nevím co je špatného na Owner profilu mít Google play, které běží v sandboxu. Nemá v systému žádná práva, je to jak běžná aplikace.Sice teď mám také víc profilů, ale stále si říkám, jestli mi za to stojí.
Newpipe mně momentálně nepřehraje žádné video.
Na počasí mam BreezyWeatheer
f-droid.org/packages/org.breez…
A ještě přidám Syncthing - fork
f-droid.org/packages/com.githu…
Syncthing-Fork | F-Droid - Free and Open Source Android App Repository
Wrapper for Syncthing - Open and decentralized file synchronizationf-droid.org
@Milu @nacelnik01
@schmaker
Já mám taky Aurora store na apky co na fdroid nejsou a potřebuji je.
Jinak mě asi ta jejich kamera stačí. Nejsem zas nějaký fotící maniak a pro mě je to dobrá kvalita. Skromná jsem 🥸
Na počasí mě asi nejvíce vyhovuje Cirrus. Vyzkoušela jsem jich hodně a toto rozložení mi vyhovuje.
Jinak asi máte Zdeňku pravdu, že u GOS ty apky z play nebudou problém ale za mě osobně se mi líp dýchá čím míň jich tam mám. Jen pocit.
A ted mi při mé hlouposti došlo, že už máte Milane ten pixel s GOSem? Já myslela až po novém roce? 🙃
@archos @nacelnik01
A navigaci používáš jakou ?
No, nevyhovuje mi to, ale tahat 2 mobily nechci.
V 🍎 snad nějak jde oddělit práce a soukromí.
@Milu @schmaker @nacelnik01
I'm a bit worried about the discourse around #ai.
It's totally OK to have strong opinions either way, but I feel like in certain circles it's becoming a purity test.
Do you hold the RIGHT opinions about AI, how it's trained and how it's used?
I think pointing out the dangers is important. Pointing out the risks is important, but recognizing that the situation is nuanced and complex is important as well.
@matt
To make an analogy to something much less divisive: it was clear to me that at some point, we would want to move away from subversion to some other version control system. It was also clear that the market would eventually settle down, and whatever won would have a clear upgrade path from subversion -- but that couldn't be said for all of the intermediate contenders.
So it was prudent to avoid moving until the winner clearly emerged.
I am letting people play with LLMs in controlled circumstances, wtihout ever putting their results into production and clearly marking what they do and how they got there. Someday it may crash and burn; someday it might produce something worthwhile and sustainable. But until then, the responsible thing to do is not to do it.
@dashdsrdash @matt You are absolutely correct for any situation where correctness cannot be trivially and unarguably verified.
There are situations however where correctness is a binary toggle and as plain as the nose on my face.
Does the web interface look like how I want?
Did this Python code build the correct bag of infrastructure needed to run the site?
These are trivially answerable questions.
@matt
Gosh, no. "The web interface looks the way I want" is not "the web interface is correct", and the entire history of software development as a craft slowly working its way into an engineering discipline is the story of why those things are different.
There are things which have provably correct answers, and beyond the trivial ones, they tend to be things like "use this well-tested theorem prover".
The problem with repeatedly feeding LLM output to a theorem prover and checking for correctness is the same problem as with bogosort, the canonically worst of all possible sorting algorithms.
(In case you have forgotten bogosort:
10 LIST.randomize-order
20 if LIST.sorted != true then goto 10
@dashdsrdash
> "The web interface looks the way I want" is not "the web interface is correct"
Case in point: accessibility.
With the ever increasing number of IOT devices in my house, I'm looking to migrate to a more secure networking strategy with 0 trust approach using segmented VLANs. Does anyone have experience with Firewalla vs. equivalent Ubiquiti gear?
I'm currently running an Eero POE gateway with an Eero 7 Max mesh. The network functions well enough, however I'm finding the lack of control over basic routing functionality on the Eero maddening.
Könnte man der #Nextclout mitteilen, dass man das *High-performance backend* nicht benötigt, und bekäme dann wieder einen grünen Haken im Admin-Panel, fände ich das sehr schön.
Rust 1.92.0 has been released! 🌈 🦀
This version adds RwLockWriteGuard::downgrade(), adds Location::file_as_c_str(), improves diagnostic and validation for various attributes, no longer warns for unused Result<(), Infallible>, and more!
Check out the announcement: blog.rust-lang.org/2025/12/11/…
Announcing Rust 1.92.0 | Rust Blog
Empowering everyone to build reliable and efficient software.blog.rust-lang.org
Found on public.monster, "If you're testing, then dance!"
I'm happy that my proposal for an introductory course on Homotopy Type Theory / Univalent Foundations at the European Summer School in Logic, Language and Information 2026 in Prague was accepted!
A great opportunity to make use of @egbertrijke's recently published book, @MartinEscardo's lecture notes (in Agda!) and @danielgratzer and @carloangiuli's book draft!
Links for the curious:
- Egbert's book: doi.org/10.1017/9781108933568 & arxiv.org/abs/2212.11082
- Martín's notes: cs.bham.ac.uk/~mhe/HoTT-UF-in-…
- Daniel and Carlo's book draft: danielgratzer.com/papers/type-…
Introduction to Homotopy Type Theory
This is an introductory textbook to univalent mathematics and homotopy type theory, a mathematical foundation that takes advantage of the structural nature of mathematical definitions and constructions.arXiv.org
All channels - search.jabber.network
The top 25 public chat rooms on the Jabber network.search.jabber.network
“Donate to open source projects to support their maintainers!”
[project asks for donations with a notification]
“How dare you?! What’s next, taking my pets hostage?! Shame on you for having the gall of asking me money!”
WhatsApp Desktop Faces Major Update: Users Warned of Forced Logout and Resource-Hungry Upgrade
WhatsApp is preparing to log users out of its PC applications with a sweeping update set to begin on December 9, 2025. This comes as part of Meta’s plan to replace the older native Windows WhatsApp with a Chromium-based version—a move that promises new features but significantly increases system resource usage. While this is not the first warning, it signals a major shift in…
undercodenews.com/whatsapp-des…
WhatsApp Desktop Faces Major Update: Users Warned of Forced Logout and Resource-Hungry Upgrade - UNDERCODE
Recently, WhatsApp began sending notifications to desktop users, alerting them that they will be logged out to complete the upcoming update. Some users firstHumanoid Deep Analyser (UNDERCODE NEWS)
I noticed the upcoming chatmail ‘relays’ feature in #deltachat. Changing the relay in the app (version 2.33) seems really easy, fantastic!
@delta I was wondering (for a friend) if there will be any publicly available relays published as a *#tor #onion service* as well? In combination with the app’s proxy support this would be awesome for any user’s #privacy.
Internet Mail 2000
We want to be able to accept mails from .onion domain. We cannot have DKIM authentication as there is no support for DNS (see https://forum.torproject.org/t/mock-dns-records-for-onion-services/4671...link2xt (GitHub)
“Flutter 3.38.0: How an accessibility upgrade broke Android headings”
abra.ai/blog/flutter-3-38-0-ho…
PR that should fix it:
github.com/flutter/flutter/pul…
from Jan Jaap de Groot (@jjdg.bsky.social).
Flutter 3.38.0: How an accessibility upgrade broke Android headings — Abra
During a recent re-audit of one of our client's Flutter applications, we discovered something alarming. Headings were no longer being announced as headings by TalkBack on Android.abra.ai
reshared this
AI shopping assistants now pick sizes and fill carts for you.
WebExpo 2023 speaker @tink asked a bold question. If agents browse for us, what even is the web now?
She zoomed in on what this means for accessibility and why the next UX challenge may involve non-human users.
tetralogical.com/blog/2025/08/…
Accessibility and the agentic web - TetraLogical
Imagine being in a department store that sells clothes from multiple brands and having a personal shopping assistant to help you select the clothes you want to buy.TetraLogical
Krátce po jmenování Andreje Babiše premiérem došlo v Ústí nad Labem k tragédii. Pětapadesátiletý muž se stal první obětí nové éry blahobytu, když zemřel na následky udušení poté, co mu dokřupava upečený holub vletěl rovnou do huby a zasekl se mu v krku. az247.cz/muz-v-usti-s...
My si v redakci zatím žádných pečených holubů nevšimli. Budeme nám ale stačit, když nás pozvete jen na kafe! ☕️ buymeacoffee.com/az247
With 20 days left to next #curl release
Stats so far this cycle:
Commits: 530 (total 37258)
Commit authors: 27, 9 new (total 1425)
Contributors: 52, 24 new (total 3559)
Bugfixes logged: 290 (7.99 per day)
Some of you have asked if Cadence uses a membrane or film over dots, and the answer is no. I'm told this was a deliberate choice, to make the cells feel more crisp and sharp. Indeed, their rigidity reminds me of Orbit cells, but you can push down on them and when you lift your finger they spring back up. While you lose out on uninterrupted graphics (since Cadence uses Braille spacing, meaning there's a gap every 2 columns,) you get a pocketable reading device that's prioritized for that task. I was thinking to myself how most of these companies approached the multiline Braille concept purely from the graphic side, not so much making reading portable. For many of these companies Braille is another product alongside magnifiers or screen readers, or big-name medical groups sponsor them. (Dot Inc is an exception here.) So they didn't have the creativity to think, "what if we made smaller versions of this? 4 lines of 12 or 20?" Still find this a bit astounding and sad, until Cadence came along. They took a lost opportunity and made it real.
heads-up ArcaneChat users:
the previous poll is over, the winner was:
"allow to set subject in classic email chats" next poll 👇
📊 POLL: What should be done next?
you can influence what is the next thing that should happen in the ArcaneChat ecosystem!
#ArcaneChat supporters can vote here:
ko-fi.com/polls/ArcaneChat-Wha…
🔮choose your own adventure! ✨️
ArcaneChat: What should I work on next? - Click to view on Ko-fi
adb added a poll for monthly subscribers!Ko-fi
Archos
in reply to Jaroslav Kraif • • •