mastodon - Link to source
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

mastodon - Link to source

Archos

@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

@Milu P. Pragerova @Milan Hubáček
in reply to Archos

mastodon - Link to source

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…

Syncthing-Fork | F-Droid - Free and Open Source Android App Repository

Wrapper for Syncthing - Open and decentralized file synchronization
f-droid.org
@Milu P. Pragerova
in reply to Schmaker

mastodon - Link to source

Milu P. Pragerova

@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

@Archos @Schmaker @Milan Hubáček
in reply to Milu P. Pragerova

mastodon - Link to source

Archos

@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
@Schmaker @Milu P. Pragerova @Milan Hubáček

glitchsoc - Link to source

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

mastodon - Link to source

-dsr- (hypoparenthetically)

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

@Matt Campbell
in reply to -dsr- (hypoparenthetically)

glitchsoc - Link to source

Feoh

@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 Campbell @-dsr- (hypoparenthetically)
in reply to Feoh

mastodon - Link to source

-dsr- (hypoparenthetically)

@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

@Matt Campbell

mastodon - Link to source
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.

mastodon - Link to source

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

mastodon - Link to source

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


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
#typetheory #logic @Martin Escardo @daniel gratzer @Egbert Rijke @Carlo Angiuli
This entry was edited (2 weeks ago)

mastodon - Link to source

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 first
Humanoid Deep Analyser (UNDERCODE NEWS)

mastodon - Link to source

“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

mastodon - Link to source

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
@Léonie Watson

bridgy-fed - Link to source

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


Muž v Ústí se udusil, když mu po jmenování Babiše premiérem vletěl pečený holub do huby - AZ247.cz - víc než

Redakce (AZ247.cz - víc než jen pravda)

mastodon - Link to source
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)

mastodon - Link to source

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
#arcanechat
This entry was edited (2 weeks ago)

mastodon - Link to source
"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….

a11y freedom beaver - HTMHell

A collection of bad practices in HTML, copied from real websites.
a11y freedom beaver - HTMHell
@Steve Faulkner

mastodon - Link to source

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

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

#фалыстыннаш

mastodon - Link to source
health issues... again

Sensitive content

in reply to Estelle

gotosocial - Link to source

Winter blue tardis

health issues... again

Sensitive content

mastodon - Link to source
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?

mastodon - Link to source

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

jack-sparrow-sinking-ship meme with three text parts: the sinking boat: "nine's discs failing" Sparrow stepping on to the harbor: "Nine's admins" The safe harbor: "New Nine server / 2.33 Multi-relay releases rolling"

How to migrate your profile to another relay (version 2.33)

Let’s say you have initially created a profile on the default relay and want to migrate away from it. Update at least to 2.33 on all your devices: Help testing upcoming Delta Chat 2.33.
Delta Chat
#deltachat
in reply to devSJR

mastodon - Link to source

Delta Chat (39c3)

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

mastodon - Link to source

Delta Chat (39c3)

@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 :)
@devSJR
in reply to Delta Chat (39c3)

mastodon - Link to source

devSJR

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)

mastodon - Link to source

The first article in one of our national newspapers this morning about the launch of the European Digital Infrastructure Consortium (#EDIC) today 🍾🇪🇺

Title: "Europe takes first step towards digital independence. Four European countries are taking on the American tech giants, taking the lead in developing European software." 🇳🇱🇫🇷🇩🇪🇮🇹

#digitalsovereignty #eupolicy #opensource

Article in Dutch newspaper Trouw about the launch the EDIC
#opensource #digitalsovereignty #EUPolicy #edic

mastodon - Link to source
Seufz, da ziehe ich vor einigen Monaten aus Gründen meine Podcasts endlich zu einem deutschen Podcast-Hoster um, bin aber mit der Oberfläche in vielen Belangen nicht wirklich glücklich. Außerdem ist das Modell so, dass ich den zweithöchsten Tarif buchen musste, ohne wirklich alle Features zu brauchen. Und dann spült mir heute Morgen bei einer Diskussion auf FB ein Bekannter den Tipp zu @letscastfm in meine persönliche Wissensdatenbank. So ein sympathischer erster Eindruck! CC @quentara
@Daniel Flege @letscastfm
in reply to Marco Zehe

mastodon - Link to source

Marco Zehe

Ich bin tariflich jetzt auf jeden Fall bis September kommenden Jahres festgelegt bzw. habe das schon bezahlt, ich werde aber definitiv mal einen Testpodcast bei @letscastfm starten, um zu testen, wie mir die Oberfläche des Backends gefällt und diese mit Screen Readern zusammenarbeitet. Die Website selbst macht schon mal einen guten Eindruck. Und wenn's mir gefällt, ziehe ich die Podcasts eben nochmal um. ;-)
@LetsCast.fm
in reply to Marco Zehe

mastodon - Link to source

LetsCast.fm

Danke Dir, lieber @marcozehe 😊 Wir freuen uns, dass Dir der erste Eindruck gefällt, und hoffen, dass Dein Test dem in nichts nachstehen wird.

Bislang haben wir positives Feedback von Menschen mit Sehbeeinträchtigungen zur Nutzung mit Screenreadern erhalten. Wir lernen aber gerne weiter dazu. Solltest Du also Feedback oder Fragen haben, lass uns das gerne zukommen.

@Marco Zehe
in reply to Marco Zehe

mastodon - Link to source

Marco Zehe

Ich habe jetzt mal einen Account und einen ersten Podcast bei @letscastfm eingerichtet, aber noch keine Episode hochgeladen. Das kommt im nächsten Schritt. Die Tabs pro Podcast oder so sind zwar technisch noch nicht richtig ausgezeichnet, konzeptionell aber gut erreichbar, und vor allem ist das mit Überschriften alles schön aufgeteilt, sodass ich schnell zu den richtigen Bereichen der Seite komme. Bisher gefällt's mir gut.
@LetsCast.fm
in reply to Marco Zehe

mastodon - Link to source

Marco Zehe

So, und das ist meine Nullnummer. ;-) Noch habe ich sie bei keinen anderen Podcast-Diensten eingereicht, das kommt dann im nächsten Schritt. Bisher bin ich auf keine nennenswerten Barrieren gestoßen. marco-erzaehlt.letscast.fm/epi…

ME000 Vorstellung

Dies startet ein neues Podcast-Projekt, das ein bisschen angelehnt ist an die alten Audio Booms, die ich in den frühen 2010er Jahren viel veröffentlicht habe.
Marco erzählt
in reply to Marco Zehe

mastodon - Link to source

Marco Zehe

Und jetzt ist der Podcast zumindest schon mal bei Apple und Spotify angemeldet. Und natürlich gibt's auf der Seite auch den RSS-Feed zum Abonnieren. marco-erzaehlt.letscast.fm/

Marco erzählt

In diesem Podcast hört ihr Alltägliches aus meinem Leben, Gedanken, faszinierende Audioeindrücke, die ich zwischendurch einfange, und vieles mehr, was schwer in irgend eine Schublade zu packen ist.
Marco erzählt
in reply to Marco Zehe

mastodon - Link to source

Marco Zehe

Nach viel Kopieren, Einfügen und anderem Jonglieren von Daten habe ich inzwischen diverse weitere Dienste hinzugefügt. Bei keinem Punkt bin ich auf Barrieren gestoßen, die Anleitungen für jeden unterstützten Dienst sind sehr eindeutig und geradlinig. Unten auf der Seite sind jetzt viel mehr Dienste zu finden: marco-erzaehlt.letscast.fm/

Marco erzählt

In diesem Podcast hört ihr Alltägliches aus meinem Leben, Gedanken, faszinierende Audioeindrücke, die ich zwischendurch einfange, und vieles mehr, was schwer in irgend eine Schublade zu packen ist.
Marco erzählt
in reply to Marco Zehe

mastodon - Link to source

Marco Zehe

gefällt mir so gut, und die @auphonic Integration läuft so prima, dass ich jetzt vorzeitig meine beiden anderen Podcasts umgezogen habe. Ob ich das jetzt mache oder erst kurz vor Ablauf der Laufzeit beim alten Hoster, ist ja gehüpft wie gesprungen, wie man bei uns so sagt. Auch die Verdrahtung mit den Ausspielern scheint soweit gut zu laufen. Nur Spotify und YouTube Music brauchen wirklich Handarbeit, weil sie den 301 Redirect ignorieren. Aber auch das lief gut. Happy Podcaster. :-)
@Auphonic

mastodon - Link to source
Two things I want for Christmas, but which probably don't exist. 1. A wireless keyboard as much as possible like the Logitech G613, all 104 keys, but it doesn't have the palm rest or the macro keys going down the left side. 2. Sennheiser Ambeo binaural ear/microphones, but rather than working with an iPhone with a Lightning port, they have two mini (3.5 millimeter) plugs, one for the earphones, the other for the microphones.

Jonathan reshared this.

⇧