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…

#foss

When I tried to tell my mom about me wanting to change my name, she made an absolutely massive deal about how people would think it's unprofessional or that I was trying to hide my identity (whatever that means, never mind my legal name is on invoices and anything relating to finances). She hammered it into my head that I wouldn't get a job if I put anything other than my legal name on my resume. But would you look at that, first try putting my authentic self out there and I work at a company with some of the most supportive and awesome coworkers ever, and I love my job. So TLDR, my mom was wrong as is pretty much the norm for any queer issue, and supportive work environments are terrific things.
in reply to Milu P. Pragerova

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

@nacelnik01

in reply to Archos

@Milu Já jen ještě dodám. Třeba originální Grapheneos kamera je nic moc. Ja mám klasickou pixel kameru a vypnutý u ní internet. Zase když už má člověk trochu dražší telefon, chci ho pořádně využít. Jinak k tomu Google play, samozřejmě nechci nikoho nutit co a jak má používat, jen si říkám, jestli se někdy zbytečně netrápíme 😀
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…
in reply to GuloGulo

@GuloGulo Jo, chápu 🙂 Každý to má nastavené jinak. Když to korporát dovolí a vyhovuje ti to, tak proč ne. Apple má výhodu v tom, že spoustu věcí řeší za tebe a nemusíš se v tom tolik vrtat, ale na druhou stranu jsi tam víc zamčený. Hlavní je, aby tě ten telefon neotravoval víc, než musí.@Milu @nacelnik01
in reply to Schmaker

@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

in reply to Milu P. Pragerova

@Milu Přesně tak — u GrapheneOS je to hodně i o pocitu. Technicky ty aplikace z Play problém nejsou, ale když jich má člověk míň, prostě se mu líp dýchá. Hlavně má každý jiné potřeby — já se v práci bez WhatsAppu neobejdu a pravidelně potřebuju navigaci. Pro mě je důležité, aby kalendář, kontakty, e-mail a další věci neměl Google, stejně tak vyhledávání. To, jestli mám Google Play v sandboxu, je mi v zásadě jedno.@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.

#AI
in reply to Matt Campbell

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

in reply to -dsr- (hypoparenthetically)

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

in reply to Feoh

@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

In case anyone is standing next to the computer help desk...
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.

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/…

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-…

#logic #typetheory

This entry was edited (2 weeks ago)

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…

“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).

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/…

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

Muž v Ústí se udusil, když mu ...

Was just thinking realistically, are you going to pull out your DotPad, Monarch, other larger graphic Braille display at the airport to check your Uber ride status? Or look at a transit /navigation app at directions? Was looking at the dimensions for the DotPad, the smallest of them all, and it's still the size of an iPad 11-inch, slightly larger and thicker. Good to pull out at your gate or in-flight, bad when walking around as it's too large.
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.
This entry was edited (2 weeks ago)

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! ✨️

This entry was edited (2 weeks ago)

"Do not introduce more ARIA into your code in an effort to please the knowledge ghouls of OpenAI and their new browser. Although you wouldn't know it from the bumpf OpenAI published—It is not needed." @SteveFaulkner on the HTMHell advent calendar: htmhell.dev/adventcalendar/202….

#фалыстыннаш
я вот тут ругаю европу за то что они за хамас. а ведь они по факту заткнули дыру утечки мозгов. Я прямо знаю не одного и не двух прямо топовых чуваков которые не приняли предложения в ес из за этой вот всей ебанины.

так что возможно пользы от этого Израилю больше чем вреда.

health issues... again

Sensitive content

in reply to Estelle

health issues... again

Sensitive content

Informal Masto poll: What do y’all think of the name Nayshawn? Pronounced ‘Nay Shawn.’ For context, I was telling my s.o earlier that if we were to have a kid, I would want them to have a name that doesn’t get them picked on in school. And, he was like, if it’s a boy, we should name him Nayshawn. I think this name is ridiculous. He thinks it’s kick-ass. What do you think, fediverse folks?

#deltachat PSAs regarding the last 24 hours:

1) If you messaged someone about 20-30 hours ago, and did not get an expected response/receipt better "resend" (long-tap or right-click the message to resend). Unfortunately, not all queued messages at the crashing nine.testrun.org server made it to the new one.

2) 2.33+ app releases are rolling out, supporting using "multiple relays" so that failing relays (like happened above) will not cause lost messages anymore. See support.delta.chat/t/how-to-mi…

in reply to devSJR

there is a blog post coming. bear with us :)

but roughly the current first multi-relay release introduces the ability to have more than one relay associated to your chat profile. You can choose what is your primary device, but will receive messages also on all secondaries. This is just an intermediate step towards another release where the outcome will be: if any relay works, the message will get through. single relays failing don't matter.

This entry was edited (2 weeks ago)
in reply to devSJR

@devSJR yes, that's the plan that you can exit from gmail or other big providers if you started with them. It's just that the last weeks were a lot of work for everyone involved, and we still need to stay attentive/co-ordinate about any issues in conjunction with rolling 2.33 releaeses (it's more complicated than you might think). Originally, we only wanted to publically talk/educate about it when the releases are fully available for people. Maybe just check back next week :)
in reply to Delta Chat (39c3)

You are certainly right when you say “it's more complicated than you might think”. I am fine with waiting.

BTW, I always like these non-noisy updates. The last one included "calls" which is a big deal. However, it seemed to have the same importance as “we fixed this one bug that affect one person in a hypothetical scenario”. In this release, there is yet another big feature.

Keep up the good work.

This entry was edited (2 weeks ago)