Speaking of bread, I spent a lot of time thinking about why I simply don’t like the breads that many people like. I’ve come to a few conclusions:

1. Soft bread isn’t always terrible outside the U.S.
2. Since I eat a mainly East and SE Asian diet, wheat just isn’t a primary grain
3. Between noodles and rice dishes, there is realistically only space for crusty spreads sometimes (when I cook other cuisines)
4. The main cuisine I cook outside of those is Mediterranean so soft flatbreads work too

I'm happy so many people liked my first article!

Now I wrote about why focus outlines deserve better treatment in web design, and how to make them both beautiful and accessible ✍️

medienbaecker.com/articles/foc…

#accessibility #webdev #webdesign #indieweb

Beautiful focus outlines

Baker’s son turned web developer, kneading pixels and code for 15+ years. I help you bake your ideas into websites 🥨.

^{Thomas Günther (medienbaecker.com)}

Is it just me or is @Tutanota down currently?

#tuta #tutanota

#TechCrunch said it perfectly, "Encrypted Gmail Alternative" 💪 💪

And unlike Gmail we are proud to:

✅ Not serve you ads
✅ Not collect your data (or profit from it)
✅ Not have access to your end-to-end encrypted mailbox

This year @igalia has contributed in a number of ways to encourage discussions and efforts aimed at improving the Linux display stack.

In the first half of the year, we hosted the 2024 Linux Display Next Hackfest, and in the second half, with a gathering of developers at XDC 2024, I co-organized the Display/KMS Meeting.

This blog post details what we discussed during those 3 hours together:
melissawen.github.io/blog/2024…

I think my paper on Dummett, proof assistants and pluralism has shaped up rather nicely, and it will be good to see it out in the Proceedings of the Aristotelian Society in a few months’ time. You can read the preprint now.

Thanks to everyone who gave me feedback on earlier drafts, and discussed these issues along the way.

There's more to be done, but I hope to have clarified some issues around how we can think about the relationship between constructive and classical reasoning, and how philosophers might engage with what is going on in the application of dependent type theory in proof assistants, programming language design, and the formalisation and mechanisation of reasoning.

consequently.org/writing/what-…

#logic #prooftheory #typetheory #philosophy

Mám už hodně dlouho účet na #Bluesky. Občas se tam teď podívám, ale přijde mi to jako nudnej koncept nucené zábavy: tapeta příspěvků s obrázky od cizích lidí?

Vlastně nevím, proč bych tam měl někoho hledat nebo sledovat. Je to příznak deprese, duševní vyrovnanosti, dospělosti, nastupujícího stáří?

Should #Conversations_im add stun.conversations.im as a fallback for #XMPP servers missing XEP-0215: External Service Discovery?

I’ve hesitated to add anything resembling "calling home" (no update checker, no metrics).

However, the main goal here wouldn’t be improving A/V call success (though it helps) but making P2P file transfers more reliable. Many servers still lack HTTP Upload, and the refactored Jingle File Transfer would benefit greatly from a fallback STUN server.

• Yes (72%, 62 votes)
• No (27%, 24 votes)

Matrix is coming to FOSDEM in full force this year, with no less than a community event, a booth and a devroom!

Find all the details, including the CfP at matrix.org/blog/2024/11/matrix… and join us!

Matrix in full force at FOSDEM

Matrix, the open protocol for secure decentralised communications

^{Thib (matrix.org)}

Fellow Whovians, I'd like some recommendations for some #BigFinish audios that are 'happy'. Something like The Great Sontaran War or The Veiled Leopard. Something that doesn't have deep issues or lots of dreariness. I wanna get back into the audios but *waves around at everything* the dark stuff isn't really for me right now.

#DoctorWho #DrWho

#homelessness has been an emergency for decades! But let's debate it some more, eh.

Montréal councillors debating whether to declare state of emergency on homelessness: cbc.ca/news/canada/montreal/no… #polMTL #MTLpoli #polQC #QCpoli #assnat #cdnpoli #polcan

Sensitive content Click to open/close

Sensitive content Click to open/close

Happy international men's day!

Reminder to be more like Black men!

Black men:
* Are seen as more masculine
* See themselves as more masculine
* But we do more stuff considered feminine?🙂🙃
* And no one says a damn thing!

Because this whole masculinity thing is made up and a scam. Stop hurting yourself!

hachyderm.io/@mekkaokereke/113…

No seriously, stop hurting yourself. Black men have one of the lowest age adjusted suicide rates.👍🏿 White men? One of the highest.

mekka okereke :verified: (@mekkaokereke@hachyderm.io)

@paulc@mstdn.social If you look at political surveys of how people feel about big issues, Black men align much more closely to women, than men overall.

^Hachyderm.io

A čo tak urobiť taký článok aj o Mastodone? Ale o jeho existencii určite ani nevedia.

closer.sme.sk/c/23412592/utece…

Utečencov z Twitteru prichýlila sieť Bluesky. Ako z nej vyťažiť čo najviac

Povedzte nie algoritmu a utečte z Twitteru. Nájdete zaujímavejších ľudí.

^{Ondrej Podstupka (SME.sk)}

Thinking of switching back to Linux from Windows but I have some questions on the state of accessibility these days:

1. Is full Wayland accessibility any closer? I know xorg is still supported but that going away is only a matter of time.
2. Is there any way to duck non-screen-reader audio when the screen reader is speaking? This is so integral to my workflows now that I'm having a hard time doing without it, even only on the media PC which does run Linux.
3. Is there a plugin mechanism for Orca yet? I have a long-standing wontfix annoyance where pressing enter on a clickable HTML element that doesn't support keyboard handling doesn't send a click like it does on NVDA, so a bunch of times I press enter to click a thing and spend a bit searching for changes only to realize that I have to use capslock-7 to click the left mouse instead, and I was told 20 or so years back that wouldn't be changed.

I have more but those are the big ones.

V rámci dnešní prokrastinace jsem dal unfollow účtům, které jsou 1) víc jak rok mrtvé a 2) nesledují mne. Udělalo mi to radost a cítím se trochu volněji

Odslednul jsem i pár mlčících Pirátů. Ti sice jistě dostanou za pár měsíců příkaz ke kampani na všech sítích a obživnou, ale o takové nucené účty nestojím. Nešel jsem na #fediverse, abych byl produktem pro cílenou kampaň.

Providing a license for package sources

archlinux.org/news/providing-a…

#ArchLinux #Linux #FOSS #licensing

Remembering William Russell, who played one of the earliest (and one of my very favourite) of the Doctor's companions, Ian Chesterton, on what would have been his 100th birthday.

#DoctorWho #WilliamRussell

Pro nově příchozí je dobré čas od času zopakovat některé #tipy, jak chápat svoji přítomnost na Mastodonu:

- není tu žádný algoritmus, vůbec žádný. Vaše příšpěvky ručně přepisují na psacích strojích sektretářky najaté provozovateli instancí. Občas se používá i OCR a AI na přepis mluveného slova.

- Mastodon nepatří miliardářům, ale bezdomovcům. Normálně se instance zakládá tak, že vyšlete bezdomovce na sběrný dvůr nasbírat nějaký vyřazený hardware. Současně prohlásíte, že jim ten hardware patří, kvůli ochraně před GDPR. Mastodon je tak složitá aplikace na administrování, že ji zásadně necháte spravovat někoho jiného. Zodpovědní admini toto bezpečnostní dilema řeší tak, že instance neaktualizují vůbec.

- používat Mastodon je nesrozumitelně složité. Především musíte mít chytrý telefon a na něj nainstalovat hloupou aplikaci, která se jmenuje jinak, než Mastodon. Dále musíte mít účet, který si vytvoříte ve webovém prohlížeči, což se naposledy používalo v éře vlaků, tažených parními lokomotivami. Nakonec musíte do appky napsat náhodné bláboly a zmáčknout "Tootnout", což je zase nepřekonatelná překážka pro introverty.

- Mastodon vůbec nefunguje! Pokud vidíte odpovědi na svoje statusy, tak se vám to jen zdá. Nikdy nevidíte všechny odpovědi - počet odpovědí o kterých nevíte, tedy narůstá exponenciálně. S čím větší přesností znáte počet odpovědí na svůj status, tím méně vám zbývá času na to, si ty odpovědi přečíst. Navíc v řadě statusů se ukrývají fotky koček (i když jejich počet v čase klesá...)

- Mastodon nemá žádné uživatele. Pokud někdo váš status boostuje nebo favuje, tak jen předstírá, že je uživatel. Divní autisté na Mastodonu pouze předstírají, že jsou uživatelé, ve snaze vytvořit honeypot na lov trollů (trollové se loví do kbelíčků, jejichž vnitřní stěny jsou namazané sádlem, což je mimochodem přiléhavá metafora pro celý ekosystém Fediverse).