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!
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.
Es gibt eine #Liste von öffentlichen #Chatgruppen in #XMPP. Leider finde ich die #URL dieser Liste nicht mehr. Weiß jemand, was ich meine und kann mir helfen?
for some reason a lot of people are convinced that it's the same as Microsoft's nagging and that such projects would somehow end up the same way, except they would have nothing to gain as they have nothing to sell.
You usually see the response at the bottom on social media; then you scroll their comment history and, just like clockwork, you'll find the first sentence somewhere
hyprland asked me to do that and I was tempted to go full theo t3 and offer them money in exchange for removing vaxry and replacing him with a security expert
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…
Recently, WhatsApp began sending notifications to desktop users, alerting them that they will be logged out to complete the upcoming update. Some users first
I noticed the upcoming chatmail ‘relays’ feature in #deltachat. Changing the relay in the app (version 2.33) seems really easy, fantastic!
@delta I was wondering (for a friend) if there will be any publicly available relays published as a *#tor #onion service* as well? In combination with the app’s proxy support this would be awesome for any user’s #privacy.
We want to be able to accept mails from .onion domain. We cannot have DKIM authentication as there is no support for DNS (see https://forum.torproject.org/t/mock-dns-records-for-onion-services/4671...
the "IM2000" description is somewhat dense and trying to account for a lot of past efforts in modifying SMTP, but the im2000 issue is just background for a mechanism that will likely be quite straightforward and simple. 😅
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.
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.
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...
I got invited to submit a proposal for the social web dev room thing to talk about Smithereen but unfortunately I'm not coming because I can't get a sensible Schengen visa any more. Every country I looked up now only issues single-entry visas. Belgium itself stopped issuing non-immigrant visas to Russians in 2022.
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.
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.
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!
"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….
#фалыстыннаш я вот тут ругаю европу за то что они за хамас. а ведь они по факту заткнули дыру утечки мозгов. Я прямо знаю не одного и не двух прямо топовых чуваков которые не приняли предложения в ес из за этой вот всей ебанины.
так что возможно пользы от этого Израилю больше чем вреда.
More than 50 organisations report sites being restricted or removed, with abortion hotlines blocked and posts showing non-explicit nudity triggering warnings
In fucking agony because of my stomach again. At this point, I'm thinking it's something as simple as coffee. I'm using lactose free milk. I'm not really having that much with lactose in it. Maybe it's sugar. Maybe it's gluten getting worse. I don't know, I just know it hurts, and I can't stand it.
Oof! This is awful, I am sorry to hear. I also have issues with some brands. Here I thought! I had it worse I am unable to go to the bathroom in any way, I can't even drink water or coffee without the hole of me hurting in protest. I send you my warmest, most comfortable hug, and hope and wish you figure it out soon, and get better. It is definitely no fun. And it's chrissmas almost, so health issues, kindly, go away and let people enjoy the holidays.
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?
Today's reddit amusement, from an erotic scripts community, a script entitled: "grandma got bent over by a raindeer." Noone else hearing the song in their head now? Just me then? ok fine.
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.
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.
Thanks. Still hard to imagine. Would it mean that is also a way to change a severer without losing the connections? Say somebody started 2018 with Gmail but now wants to be recognized on their own server (e.g., own company …)?
@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 :)
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.
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." 🇳🇱🇫🇷🇩🇪🇮🇹
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
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.
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.
Vielen Dank, das werde ich dann sehr gern machen! Das erwähnte übrigens auch der Bekannte, dass ihr bei Verbesserungsvorschlägen, was die Zugänglichkeit für Blinde und Sehbehinderte angeht, sehr aufgeschlossen seid. Deshalb habe ich mir eure Website überhaupt angeschaut.
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.
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…
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.
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/
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.
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/
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.
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.
@ComPod Ach sieh mal einer guck, die haben mich gar nicht darüber informiert, dass sie ihn freigeschaltet haben. Gleich mal bei meinen Podcast-Dienste-Links eintragen. Danke für den Hinweis!
@ComPod Ja, ich bin vor kurzem auf LetsCast.fm aufmerksam geworden, und finde den Dienst viel sympathischer als Podigee. Und dies ist ein Projekt, das ich eh immer mal wieder starten wollte. Und meine anderen beiden Podcasts werde ich auch hierhin umziehen.
@SunDial79 Whisper in Auphonic. Das macht mehrere Ausgabeformate, unter anderem VTT, und das kann man dann bei LetsCast hochladen auf dem entsprechenden Reiter einer Episode, und dann wird es angezeigt, mit Zeitindizierung. Das einzige, was ich korrigieren musste, war ein Grammatikfehler beim Screenreader JAWS. Selbst das Wort JAWS hat er richtig erkannt.
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.
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.
The microphone parts could be had by getting Roland CS-10EM which are in-ear headphones with a mic on the back side. Not quite Ambeos but pretty good. 3.5MM jacks on the end of the cable.
I remember not being too keen on the sound but it was many, many years ago since I used them. Maybe things changed, or the recorder I was using didn't fit well etc. Could be anything. Anyway, would recommend giving them a look.
Gerade wieder Kontrolltermin nach Augen-OP gehabt. Heilung geht sehr gut voran, Linsen sitzen perfekt und meine Sehstärke (Fernsicht) ist von 30%(R) und 60%(L) bereits jetzt auf 100%(R) und 90%(L) angestiegen. Für mich ist das ein Wunder!!! Mitte Januar schauen wir auf die Nahsicht: Lesebrille 👍🏼👎🏼?
the g in gobject stands for glib, and the g in glib stands for gtk, and the g in gtk stands for gimp, however the g in gimp stands for gnu, so really the g in glib stands for gnu, but you shouldn't confuse it with gnulib, which is developed by the gnu project, who shouldn't be confused as the developers of glib, which is the gnome project, in which the g also stands for gnu
PepperTheVixen ΘΔ
in reply to Thomas 🔭🕹️ • • •Andre Louis
in reply to PepperTheVixen ΘΔ • • •