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/โฆ
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-โฆ
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
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โฆ
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)
โ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).
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/โฆ
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
Nejpravdivฤjลกรญ vymyลกlenรฉ zpravodajstvรญ ve stลednรญ a vรฝchodnรญ Evropฤ.Buy Me a Coffee
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)
Why does sphinx search suck?
I would think that something developed by software people would search literal strings when using a "dash" in the search team. Like `some-key` and not pop `some` or `key` as most relevant.
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! โจ๏ธ
adb added a poll for monthly subscribers!Ko-fi
People think disability is something you can โtry harderโ your way out of.
They think itโll never happen to them, or if it does they will overcome.
They refuse to listen to disabled voices.
They refuse to help build better safety nets.
They refuse to care.
Itโs a minority group you can join anytime
From the time when CDs were still a thing. On this day 11 years ago 200kg of #Fedora 21 arrived to our office.
Andy has reminded me that our Black Friday every-layout.dev/ sale is still on โผ๏ธ
If you're interested in having a massive epiphany, followed by an unbelievable endorphin rush, knowing that you suddenly, really, ACTUALLY understand CSS, you owe us an astonishingly meagre $34.50. Let's all have a good Xmas, cheers!
A collection of bad practices in HTML, copied from real websites.a11y freedom beaver - HTMHell
reshared this
#ัะฐะปััััะฝะฝะฐั
ั ะฒะพั ััั ััะณะฐั ะตะฒัะพะฟั ะทะฐ ัะพ ััะพ ะพะฝะธ ะทะฐ ั
ะฐะผะฐั. ะฐ ะฒะตะดั ะพะฝะธ ะฟะพ ัะฐะบัั ะทะฐัะบะฝัะปะธ ะดััั ััะตัะบะธ ะผะพะทะณะพะฒ. ะฏ ะฟััะผะพ ะทะฝะฐั ะฝะต ะพะดะฝะพะณะพ ะธ ะฝะต ะดะฒัั
ะฟััะผะพ ัะพะฟะพะฒัั
ััะฒะฐะบะพะฒ ะบะพัะพััะต ะฝะต ะฟัะธะฝัะปะธ ะฟัะตะดะปะพะถะตะฝะธั ะฒ ะตั ะธะท ะทะฐ ััะพะน ะฒะพั ะฒัะตะน ะตะฑะฐะฝะธะฝั.
ัะฐะบ ััะพ ะฒะพะทะผะพะถะฝะพ ะฟะพะปัะทั ะพั ััะพะณะพ ะะทัะฐะธะปั ะฑะพะปััะต ัะตะผ ะฒัะตะดะฐ.
Sensitive content
#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โฆ
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
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.
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.
True peer-to-peer email using Yggdrasil network. No central servers required.IzzyOnDroid Repo Browser
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
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.
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โฆ
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 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 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
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
Jonathan reshared this.
reshared this
Listen now on your favorite streaming service. Powered by Songlink/Odesli, an on-demand, customizable smart link service to help you share songs, albums, podcasts and more.Songlink/Odesli
Jonathan reshared this.
Instagram collects scary amounts of your data ๐ซฃ Mastodon on the other hand - None! โ
What do we learn? There are great services available that do not abuse your data.
Give your friend the nudge they need - they deserve better than Meta's constant surveillance ๐๐ผ tuta.com/blog/how-to-delete-anโฆ
Whether youโre tired of Instagram's negative algorithm, the ads, or need a break from social media, youโve come to the right place. In this guide, we show you how to delete an Instagram account on any device - iPhone, Android, PC.Tuta
@kbruen well I guess that is a matter of opinion? because this other person is saying totally the opposite:
mastodont.cat/@spla/1156953525โฆ
and besides that, setup is something you do only once, the real struggle comes next, I have never self-hosted matrix but see people complaining or even de-federating due to server burden, while I do host a #chatmail server with +8k users in a 5eur VPS using 1.2gb of ram and 19gb of disk, now try the same with #matrix
I am total noob self-hoster btw
He provat tres programaris de #MissatgeriaInstantร nia, tant com administrador com usuari. El meu resum. - #Matrix, servidor complexe d'instalยทlar i configurar, molt lent federant sales. Menja forรงa recursos de mร quina.mastodont.cat, cultura catalana.
@kbruen for example, here you have an article of someone that has been selfhosting matrix for 5 years:
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
Chatmail provides FOSS infrastructure for interoperable, secure, speedy and reliable end-to-end encrypted messaging. Check out clients as Arcane Chat, Bots or Delta Chat today!chatmail.at
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
Giving this morningโs gold medal in U8 gymnastics to the lady, who:
- standing at the edge of the wobbly bit that connects cars
- held a tote bag with her 90ยฐ angled arm
- held an apple core in her mouth
- while the train started from a station into a particularly wobbly stretch
- standing on one foot โฆ
โฆsuccessfully tied the laces of the shoe on her other foot.
๐ฅ
Archos
in reply to Daniel ล nor • • •