I highly recommend the Midlands Graduate School in the Foundations of Computing Science. And so do tell me many previous students, some of whom are now well-established academics, including LICS invited speakers.
The courses for 2026 are:
1. Type theory using Agda
2. Category theory
3. Lambda calculus and combinatory logic.
4. Effects and Call-by-Push-Value.
5. Synthetic Homotopy Theory.
6. Categorical Algebra and Logic.
7. Inductive and coindictuve Reasoning with Isabelle/HOL
(4) is to be delivered by the winner of the 2025 Alonzo Church Award, my colleague Paul Levy.
For more details, see
tinyurl.com/MGS-2026
Huzzah, I'm online!
The problem was that there is a password for the coffee shop wifi, but I couldn't discover that from ifconfig until I pulled it upon my phone and saw it was asking for a password.
So, dear #FreeBSD fam, how was I supposed to know? There was no mention of WPA or WPS in the CAPS flags:
rld@Intrepid:~$ ifconfig wlan0 list scan |grep -e ^SSID -e ^The.Book
SSID/MESH ID BSSID CHAN RATE S:N INT CAPS
The Book Shoppe 50:e4:e0:b7:b8:e2 6 54M -53:-96 100 EPS RSN BSSLOAD APCHANREP HTCAP WME
The Book Shoppe 50:e4:e0:b7:7b:c2 11 54M -54:-96 100 EPS RSN BSSLOAD APCHANREP HTCAP WME
The Book Shoppe 50:e4:e0:b7:b8:f2 36 54M -59:-96 100 EP RSN BSSLOAD APCHANREP APCHANREP APCHANREP APCHANREP HTCAP VHTCAP VHTOPMODE VHTPWRENV WME
The Book Shoppe 50:e4:e0:b7:7b:d2 149 54M -57:-96 100 EP RSN BSSLOAD APCHANREP APCHANREP APCHANREP APCHANREP HTCAP VHTCAP VHTOPMODE VHTPWRENV WMEI've had a hard time finding/figuring out what all of those various CAPS flags mean. :P
Zach Bennoui reshared this.
That said, when you power it on for the first time, you can just skip the wi-fi setup. At this point, the wi-fi is disabled but it otherwise functions normally.
When you first power on the Move, it shows a "Welcome, press wheel to get started" prompt. When you press the wheel, you'll be asked if you want to set up wi-fi, and you can turn the wheel to the right and press it again to select "skip".
You can then go to move.local/development/ssh and add a public key. Worth noting that the page prompts you to "confirm with the wheel"; just press the wheel and the key should be added.
After that, you can set up the network according to this audio file, but you need to type "enable wifi" from the connmanctl prompt before you can scan for networks.
So, as long as you know what to expect, independent setup seems to be possible.
Also, I see a "Beta" tab in the development section. Has anyone tried joining that?
Edit: I'm on version 1.2 and the current stable version is 1.8. I'm installing the update now, but I can't guarantee everything will work exactly the same way on the new version. I assume 1.2 is somewhat old.
Generally speaking, during an active cycle, you'll get one beta build per week until release. Then it goes quiet for a bit, then more betas. The current 1.8.5 looks like mostly just miner bugfixes. Most of them add obvious features.
« En Chine, les économies de CO₂ obtenues grâce au TGV sont sans commune mesure avec celles de la voiture électrique »
Contrairement aux idées reçues, ce n’est pas grâce aux véhicules électriques, mais par le développement des trains à grande vitesse que les Chinois ont réussi à limiter leur consommation de pétrole, constate dans sa chronique au « Monde » Jean-Baptis…Jean-Baptiste Fressoz (Le Monde)
Il était encore là à Québec?!?! haha
--
"Québec était la plus importante municipalité dans la province à encore arborer un crucifix dans sa salle de conseil. C’était aussi l’une des dernières."
lapresse.ca/actualites/regiona…
Laïcité | Le crucifix sera retiré de l’hôtel de ville de Québec d’ici Noël
La retraite a sonné pour le crucifix de l’hôtel de ville de Québec. Le symbole religieux sera retiré d’ici Noël de la salle du conseil municipal pour se conformer au principe de laïcité, et sera entreposé dans une collection d’objets historiques.La Presse
📣 Ready to shake up digital payments?
The 11th open call from #GNUTaler is now live!
We’re looking for #privacy-first, Free Software-powered payment projects that challenge the status quo.
💡 It's real, it works, no blockchain, no surveillance.
⏳ Deadline: February 1, 2026 – 12:00 CET
🔗 nlnet.nl/taler/
#FLOSS #FreeSoftware Tech #DigitalCash #OpenCall #NLnet #Funding
ps.s10y.eu/@NGI_TALER/11564970…
NGI TALER (@NGI_TALER@s10y.eu)
Attached: 1 image 1/2 📢 Got a groundbreaking idea for #free #software and #privacy preserving projects that support our mission for @Taler ? 🌟 Our 11th Open Call is live since yesterday 1st of December and you’ve got 2 months to apply! ⏰ Deadline 1…Une fois pour TOOT! A Mastodon in Brussels
For this #GivingTuesday I'm going to make the (biased) argument for why you might consider donating to @spritely, especially if you care about a healthier future for the internet! spritely.institute/donate/
Here's a little thread explaining more... 🧵
User-empowering technology is a lot of work, corporations aren't motivated to build it. We need research and development of new tech that changes the game from an org that isn't bound by pushing profit.
And that's why @spritelyinst.bsky.social is a nonprofit research lab.
So... what are we doing?
We're building cool tech:
- Goblins, p2p distributed programming: spritely.institute/goblins/
- Hoot, a WebAssembly toolkit (and Scheme->WASM compiler) spritely.institute/hoot/
- OCapN, a secure distributed p2p networked protocol ocapn.org/
But... what are we *doing* with these things?
Black Friday is the perfect day to support independent news sites and journalists with clicks and/or cash. 💰
Here are some who are active in the fediverse. Tell us in the comments if there are any we've missed.
404 Meda, @404mediaco
Bolts, @bolts
Brian Krebs, @briankrebs
Brian Merchant, @brianmerchant
Casey Newton, @caseynewton
Cory Doctorow, @pluralistic
Joan Westenberg , @Daojoan
Gareth Halfacree, @ghalfacree
GBH News, @gbhnews
Kim Zetter, @kimzetter
Knowable Magazine @KnowableMag
LWN.net, @lwn
Molly White, @molly0xfff
ProPublica, @ProPublica
Rest of World, @restofworld
San Francisco Public Press, @SFPublicPress
Steve Herman, @w7voa
The Texas Observer, @TexasObserver
The Continent, @thecontinent
The Conversation, @TheConversationUS
The New York Review of Books, @nybooks
The Transmitter, @thetransmitter
The Tyee, @thetyee
The Xylom, @thexylom
The Tucson Sentinel, @TucsonSentinel
Tim Mak/The Counteroffensive, @timkmak
#Newstodon #NewstodonFriday #News #BlackFriday #Media #Journalism #FollowFriday
The fascinating world of Japanese train melodies
🗣️ Come join us on Discord:https://discord.gg/3Edst7T8Yy☕️ Support the channel: https://www.buymeacoffee.com/mixedsignalshttps://www.patreon.com/mixedsignal...YouTube
Zach Bennoui reshared this.
liblouis.io/liblouis/2025/12/0…
Liblouis - An open-source braille translator and back-translator.
An open-source braille translator and back-translator.www.liblouis.io
Un señor en su casa descubre que una empresa llamada Pinturas Rosell se ha llevado 3,4 millones en 1.182 contratos menores de Ayuso.
Funcionarios. Oposición política. Interventores. Observatorios de lucha contra la corrupción. Tribunal de cuentas. Fiscalía de Madriz. Medios de comunicación.
Todos cobrando al final de cada mes por buscar y denunciar corrupción.
Y un tío con un portátil y un par de tardes libres hace mejor su trabajo.
Todos sabemos qué marca la tradición editorial. Textos justificados, letra con serifa, separación silábica, evitar líneas vírgenes y huérfanas, etc.
Cuando he escrito mis trabajos y mis apuntes para clase he respetado esa tradición.
Sin embargo, yo soy profesor de lengua, no editor de textos. Y cada vez que leo algo específico sobre accesibilidad, lo que leo es que evite todo eso. Al final atiendo a alumnado de muy diversa índole y me interesa que mis materiales propios sean adecuados para todos.
Las tipografías sin serifas son más fáciles de leer. Los textos, justificados a la izquierda. Nada de separación silábica.
No he leído ningún informe técnico o divulgación científica al respecto (tampoco he buscado mucho), pero este es un tema que me sorprende bastante. ¿Estoy en lo correcto? ¿Conocéis bibliografía específica sobre el tema?
If you’re already supporting GNOME—whether as a long-time donor or a brand new friend—share a post this week with #FriendsOfGNOME to tell the world why! We love to hear, respond to, and boost your stories.
If you’re not supporting GNOME yet, now is your chance: head to donate.gnome.org to join, and help us reach 1,500 Friends of GNOME by the end of the year.
Unix - BSD developers : this code should run and be maintained as long as computers exist.
Linux - GNU dev : this code should run and be maintained as long as someone is willing to do the work
Consultant: this code should run until the end of my contract.
Enterprise grade B2B software : this code should run till the end of the demonstration to that big customer.
Vibe coding : You are perfectly right. The code doesn’t run. Try this one. You are right, it deleted your hard disk, I’m sorry.
reshared this
"if only there was a #chat app that had end-to-end #encryption, without phone numbers or any private data required for registration, #decentralized, easy to use, with multi-profile and multi-device support and available in all platforms"
ArcaneChat reshared this.
It doesn't have quantum resistant encryption, SimpleX and Signal do, SimpleX is also decentralised with multi-profile, no private data for registration and available on linux android windows and macos
Quantum resistance is important now because of an attack vector called Store Now Decrypt Later >
youtube.com/watch?v=-UrdExQW0c…
What makes quantum computers SO powerful?
A quantum computer in the next decade could crack the encryption our society relies on using Shor's Algorithm. Head to https://brilliant.org/veritasium to st...YouTube
> Quantum resistance is important now because of an attack vector called Store Now Decrypt Later
that would apply in a centralized server with access to all messages, but with #DeltaChat you can use a trusted server or your own server and then the attacker can't "store now" because communication between you and your delta chat server is already encrypted with quantum-resistant encryption
Custom backgrounds are far from an essential feature and anyway its not like the main messages are unreadable, this is easily fixed anyway I doubt it will be like that for much longer
Multi device support is a harder problem, but simplex still tackles it better than protocols with similar threat models like briar messenger or cwtch messenger for which there is essentially no multi device support, (and with briar not even a migration feature not sure abotu cwtch yet)
You alluded to simplex's Linked Mobiles feature have you tried it? it is surprisingly easy to use you just scan a qr code and after at most a couple of seconds you can use the same profile on a different device
@ambiguous_yelp that was just an example, and ofc everything can be improved :)
currently I don't see SimpleX as a serious alternative to #WhatsApp I could recommend to my mom
It has gotten a lot more usable in the past 2y, the UI used to be a lot harder to navigate and you couldnt even trust it to reliably send messages its definitely a growing userbase amongst hardcore privacy enthusiasts and I expect it to get more polished
Also I don't think you give people enough credit I've got a lot of my friends both online and irl to message me there and no one has complained about the UI before obv you know your mom but I suppose it comes down to how much she cares abotu privacy and anonymity, imo motivation matters more than making tech solutions more pallatable to people who realistically dont care about the same things we do, but privacy and anonymity is a pillar of democracy and a last line of defence against fascism so everyone should care about it if they understood
I really need to get a handle on this "making FreeBSD laptop automatically handle Wifi and ethernet on the same network gracefully, preferring ethernet, but can't use lagg because ethernet is a dock" problem
I have ideas. But god damn this is a huge gap in the OS/network stack compared to MacOS
@piero nah you're good, I'm just agitated that nobody seems to see how terrible this experience is.
I'd be happy if simply disabling the wlan0 interface worked, but it doesn't. It wipes /etc/resolv.conf but leaves wlan0 as the default route interface which makes no sense because the interface is down and ue0 is up on the same network.
(sorry this reply got stuck in draft state)
youtube.com/watch?v=ZZ0BOEOtD2…
Is AI Ruining Music? | Dustin Ballard | TED
What makes music “real” — is it the instruments, the voice, the creator’s intention or something else entirely? Dustin Ballard, the creative force behind the...YouTube
Winter blue tardis reshared this.
Remarque :
Depuis qu'il n'en vend plus, la rue est tranquille. Les alcooliques sont allés devant un autre magasin plus loin. #strasbourg
dna.fr/economie/2025/12/01/des…
Strasbourg. Des rayons vidés : le magasin U Express conteste une interdiction de vente d’alcool
Sous le coup d’un arrêté préfectoral, le supermarché U Express de la Grand’rue à Strasbourg a dû retirer toutes les boissons alcoolisées de ses rayons.Geneviève Lecointre (Les Dernières Nouvelles d'Alsace)
We're grateful for Giving Tuesday, a day to support the organizations and projects you care about!
Is it AI or not? Sonic Onslaught asks that question of a Christian metalcore outfit of all things. You help us decide.
Tune in live now!
I'm mad the Bitcoin price is going back up because the bank has been making it hell for me to buy lots of Bitcoin this last week.
They cancelled a wire transfer I scheduled because I didn't answer their phone calls. Said it was the first time I've done a wire transfer and needed to speak to me first.
But that's not true. I did a huge wire transfer in 2021. They should know this.
And then they're throttling my ACH transfers, even to another bank where they verified I own that account.
I hate banks. They are not your friend. They never will be. Long live crypto.
If you're reasonably wealthy or poor enough, healthcare costs are not a concern. Be poor. Have a baby. Never see a bill. Thanks Medicaid!
Be middle class. Have a baby. Your finances are now fucked hard.
This guy is right that they're taxing it out of existence... FOR THE MIDDLE CLASS.
Poor people will still have babies and not think twice about it. The hospital is not going to turn away a mother, deny her prenatal care, make her have her baby in the streets -- yet. Once that starts happening people will really start caring I think. But for now, poor people often get some of the best healthcare in the country. But only if they're a specific kind of poor and in rather narrow circumstances.
The healthcare market is taxing reproduction out of existence.

SuspiciousDuck
Unknown parent • • •