My plan to sit at home and wait for the gym to become less crowded was a success. The gym was empty. Now working on a revised plan that specifies the gym should be open.
We fork Mumble server. We change the chat to be IRC. We use Obsidian IRC (web irc clone of discord) as the client. IRCv3 SASL EXTERNAL will let us auth the user using the same key identity mumble uses. Convert the Obsidian web to Tauri for cross platform desktop app.
That's it. Self-hosted Discord, now just improve the UI and invite people to rewrite in Rust and add storage backends for the chat history and nobody needs Discord ever again.
the call quality of discords calls isn't even close when compared to mumble. with mumbles echoey hell unless you know to configure noise cancelling, random n number of second delays with 50 - 80 ping, hell I've even had problems getting mics recognized on arm macs, it just isn't pleasant if you're not prepared for unexpected issues to arise at basically any time. aaaagh
@kirby all you have to do is spark enthusiasm and these problems will be worked out. Mumble is a perfect foundation but has like zero contributors, it's crazy. Imagine what could be done with a little funding. They already have stuff like hooking games for positional audio and the video overlays ... so much potential
@neopolitan I covered persistent accounts. Your mumble certificate is used for the TLS client certificate and then IRCv3 uses SASL EXTERNAL auth to log you in with that reserved account for chatting meanwhile regular mumble works fine at the voice connection like it currently does for identifying registered users
@anna Getting this onto the front page of HN would probably attract so many interested people that this would go from theory to prototype in like two weeks
especially if you could get some kind of normal account system bolted on to it (nobody wants to deal with certificates, if any pervert wants to do that shit they can already use matrix)
@anna the certificates would still exist, I don't know if that can easily be ripped out as Mumble is using TLS client auth essentially to identify you. But we could hide it better and streamline account backup / admin capability to help people recover accounts.
I just proved De Morgan's law (~(p&q)->(~p|~q)) intuitionistically, which I thought couldn't be done in this direction, by adding (p|~p) & (q|~q) to the antecedent. It's an absurdly tiny proof but I am so glad that I can do it and it's machine-verified.
Then intro the hypothesis, destruct the two ands and get:
H : p /\ q -> False
H0 : p \/ (p -> False)
H1 : q \/ (q -> False)
===
(p -> False) \/ (q -> False)
From there, destruct H0, which opens two subproofs by disjunction elimination, one with P and one with P -> false.
For case P, prove the right branch of the goal's disjunction, Q -> false. Introduce Q (assume the hypothesis). Then apply H, to the goal, which by now is False, and it becomes P /\ Q. Split and prove each branch by assumption, since we have both P and Q.
For case P -> False, prove the left branch of the goal, by assumption, since p -> False proves P -> False.
Remember that there are elections tomorrow all across the USA.
Yes, in many places (including mine) there are no *candidates* on the ballot.
But that's exactly when they try to sneak underhanded stuff through in propositions or referenda -- in low-turnout odd-year elections.
Among the fun things on my ballot:
A tax break for people who privately contribute to a "border wall" with Mexico.
A referendum to block the legislature from ever taxing financial instruments (i.e. the rich).
There were also good things, of course. They wanted to fund a new medical center to specialize on dementia research. And they're improving water infrastructure.
By request of the listeners, a replay of @Derek and Robin's adventure to the haunted house known as ‘Wicked World’ in Nicholasville, Kentucky is airing on HKC Radio as we speak.
Both patches in the November 2025 Android Security Bulletin have been included since our September 2nd release. It's now known that our 2025090200 and later releases provided the 2025-11-05 Android security patch level early due to shipping extra patches.
It's because these two patches were included in the full September 2025 bulletin patches we shipped but were made optional until November 2025.
Later in September, we started our security preview releases able to provide Android Security Bulletin patches around 2-3 months early.
Our security preview releases currently have the December 2025 and January 2026 patches.
December 2025 has a huge set of patches due to being a quarterly patch level. January 2026 will likely be empty.
We should have quarterly March 2026 patches to ship within a couple weeks.
Due to having early access to the patches which we can use for our security preview releases, we've been able to determine that a subset were pushed to AOSP and other projects prior to the official embargo ending which means we'll be including those in our regular releases soon.
Our security preview releases shipped all available December 2025 security patches in September 2025 and have continued adding the remaining patches. It should be frozen soon, but most of the patches have remained the same since September. Some were deferred to future bulletins.
The new security patch system being used by Android is confusing for users and bad for the security of anyone not using GrapheneOS with our security preview releases. We could have set the patch level string to 2025-11-01 in early September but in this case we didn't do that.
I was visiting Austin, Texas over the weekend. A totally accidental Facebook ad told me that Jacob Collier was in town with a solo show and that the tickets were available. I could not believe my ears. NOt only the tickets were available, but the show was an absolute top-notch! I think he will be in Australia, India, China, in December, among other places. Catch him if you can! It's a real treat for anyone who loves harmonies and highly-skilful musicianship!
[Blog Post] Apple Releases iOS 26.1 and iPadOS 26.1 with accessibility enhancements, new language support for Live Translation, and more applevis.com/blog/apple-releas…
Apple has today released iOS 26.1 and iPadOS 26.1 to the public, bringing several enhancements to VoiceOver and braille, various visual changes to interface elements throughout the operating systems, expanded language support for Live Translation, an…
This isn't related to my work, but personally I'm a bit obsessed with space-related topics, so I really enjoyed the presentation on the challenges of streaming Netflix over Starlink.
It's good that you still follow your interest and have got a bit of time. Usually when we grow older things , family etc you don't have much time for these things !
If I wrote a blog post to document every stupid bug/hack/fix that was needed to accomplish something because the docs were wrong/absent I'd never get anything else done
IN THIS HOUSE, WE BELIEVE - passwords should be random - data should be backed up - anonymity should be the default - dishwashers don’t need wifi - the drivetrain should be airgapped from the Internet
Swedes watch foreign movies with Swedish subtitles Poles watch foreign movies with Polish voiceover Germans watch foreign movies with German dubbing Americans watch foreign movies with American remake
The longer I look at five-star reviews for objectively terrible #litrpg books on Kindle unlimited, the more I think: "I could do that better!" Is spite an appropriate reason to #write a book? Samuel Proulx: published #author, but only because he was irritated into it.
This release adds a "cancel" button for downloads, provides better update scheduling (especially on Android 14+), and includes a handful of UI improvements and bug fixes.
Changed
Perform gentle up...
I grew up being told, 'The older you get, the more conservative you become.'
I'm discovering that the older I get, the more I want our society to be tolerant, charitable, kind, and peaceful, and to ensure that everyone has what they need to survive and thrive.
I wonder if 200 years from now when they uncover the digital wreckage of 2025 if they’ll find the Mariah Carey memes and assume that she was a dread harbinger worshiped by cults of that age.
Okay actually after writing that down I’m not entirely convinced that this isn’t an accurate representation.
As an art teacher I was worried AI would come up as an issue of "why should I learn how to draw when I can use AI instead."
But the real issue is that my middle schoolers CONSTANTLY believe all art I show them is AI. Digital art. Photography. Oil paintings from the Western canon. "A human couldn't do that"
Being convinced that humans can't make great art is kind of terrifying
Sometimes it's useful to watch a talk about a topic you kind of know, because you are maybe missing some interesting detail. For example I just discovered @mangroveReviews thanks to @aikencz peertube.skorpil.cz/w/ii96wUi1…
is there already some useable integration into popular clients such as OsmAnd? We need open data review system badly, but I haven't really found ways to use this one.
can we just stop wasting time trying to rescue people who are hell bent on trying to play chicken with death? what kind of message does this send to the next batch of idiots?
well that sucks. I thought chef's kitchen-hyperv would be useful and i could turn a Windows box into a useful hypervisor to run tests against, but this thing is so hobbled and useless. It can't fetch images and run them or anything. Absolute trash.
I feel like we could all use a color wheel right about now. I painted this with watercolor, black ink, and colored pencils on 12” square cotton paper. #mathart #watercolor #color
Security fixes for Windows, make the test suite work with libxml2 >= 2.15.0, fix the rsvg-convert test suite for build systems that don't have fonts installed; fix the rsvg-convert build when Cairo has PDF support disabled.
Congratulations. The ads attacking Zohran Mandani have solidified my position even more. That's what you wanted, right? Oops, not for the guy you are promoting, though.
About 31% of Steam gamers still run Windows 10 despite Microsoft ending support. Linux, however, topped 3% for the first time in October. pcmag.com/news/windows-10-stil…
kirby
in reply to feld • • •feld
in reply to kirby • • •Neopolitan
in reply to feld • • •feld
in reply to Neopolitan • • •anna, a criticality incident at the gender accelerator
in reply to feld • • •feld
in reply to anna, a criticality incident at the gender accelerator • • •anna, a criticality incident at the gender accelerator
in reply to feld • • •feld
in reply to anna, a criticality incident at the gender accelerator • • •