Stefano Volpe :spinny_fox: (@foxy@blahaj.zone) https://blahaj.zone/@foxy 531 Notes, 243 Following, 183 Followers Β· Yet another deluwu~ pick me boy No don't call me a himbo plz $[jelly (,,>﹏<,,)] <center><small>:neofox_book: PhD student (PL foundations) @ SDU's @[email protected] :neofox_book: :neofox_glasses: #boardGames :neofox_glasses: :neofox_laptop: #freeSoftware :neofox_laptop: :neofox_bottom: #poleDance :neofox_bottom:</small></center> <small>Banner: "'I know what you want' said the sea witch", from Hans Christian Andersen's fairy tale of "The Little Mermaid". Engraving by Harry Clarke. From The Fairy Tales of Hans Christian Andersen from 1916.</small> Tue, 21 Apr 2026 06:41:52 GMT https://validator.w3.org/feed/docs/rss2.html Sharkey Stefano Volpe :spinny_fox: (@foxy@blahaj.zone) https://blahaj.zone/proxy/avatar.webp?url=https%3A%2F%2Fcdn.blahaj.zone%2Ffiles%2F70074423-a23f-4a5a-b141-de8942538157.jpg&avatar=1 https://blahaj.zone/@foxy Stefano Volpe :spinny_fox: <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/albtljq9wvl2045w https://blahaj.zone/notes/albtljq9wvl2045w Tue, 21 Apr 2026 06:41:52 GMT @[email protected] P.S. If you are reading this, you might be interested in

https://mastodon.social/@typst/116211629201295367

by @[email protected]

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al6x3sy9j1eg00ng https://blahaj.zone/notes/al6x3sy9j1eg00ng Fri, 17 Apr 2026 20:21:11 GMT @[email protected] @[email protected]
The alternative seems to be to bring up 50% of the class on academic dishonesty cases
would you have a way to somewhat reliably detect fraud? (You current solution sounds like a good plan, but I wonder what the alternative would look like.)

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al6ws9n0j1eg00mv https://blahaj.zone/notes/al6ws9n0j1eg00mv Fri, 17 Apr 2026 20:12:13 GMT @[email protected] If they reject it, you can have Evolution spoof Outlook.

If Evolution is too much for you, you can have a local davmail instance act as a gateway between IMAP/SMTP and Exchange

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al5krlujyvpy01ma https://blahaj.zone/notes/al5krlujyvpy01ma Thu, 16 Apr 2026 21:48:01 GMT Torino - Milano - Chiasso - Basel - Mannheim - Hamburg - Fredericia - Odense

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al4ybiroyvpy00ii https://blahaj.zone/notes/al4ybiroyvpy00ii Thu, 16 Apr 2026 11:19:39 GMT @[email protected] FoSSaCS and ESOP are untainted, luckily!

The official account mainly posts about keynotes (participants to all main conferences are invited to those), hence why all the slop. Not sure who in the steering committee is to be blamed for this.

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al4xpz2fyvpy009u https://blahaj.zone/notes/al4xpz2fyvpy009u Thu, 16 Apr 2026 11:02:53 GMT @[email protected] Thanks, that means a lot :) I love your work, but I have been having some tech issues when interacting with pixelfed.social users, so I am not even sure I am following your profile right now. Can I ask you to check from your pixelfed, please?

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al4punv3yvpy0012 https://blahaj.zone/notes/al4punv3yvpy0012 Thu, 16 Apr 2026 07:22:35 GMT @[email protected] Neat! I know Denmark is doing the same :)

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/al2pjf9fpsxy000l https://blahaj.zone/notes/al2pjf9fpsxy000l Tue, 14 Apr 2026 21:38:19 GMT @[email protected] Will let people who misgender you when talking about your work know about your pronouns (it's happened multiple times before) :)

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akwl9wcib76100rw https://blahaj.zone/notes/akwl9wcib76100rw Fri, 10 Apr 2026 14:52:19 GMT Odense - Hamburg - Wuerzburg - Basel - Zurich - Lugano - Mendrisio - Arcisate - Milano - Torino

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akvbbcy5u3n000h2 https://blahaj.zone/notes/akvbbcy5u3n000h2 Thu, 09 Apr 2026 17:25:44 GMT @[email protected] Thank you so much! If you exclude publications, how many hours would you say are left from said 600 hours?

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akvavmlbu3n000g8 https://blahaj.zone/notes/akvavmlbu3n000g8 Thu, 09 Apr 2026 17:13:30 GMT @[email protected] nice to meet you! PhD students from my SDU department have board game afternoons basically every two weeks

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akv8v8pvu3n000dt https://blahaj.zone/notes/akv8v8pvu3n000dt Thu, 09 Apr 2026 16:17:13 GMT @[email protected] e.g. https://pl.fediverse.pl/@mkljczk/posts/Aqz4LIIU6IBKN46HXE

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/aksk84fn5rv001vz https://blahaj.zone/notes/aksk84fn5rv001vz Tue, 07 Apr 2026 19:11:51 GMT @[email protected] yes!

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/aks90prn5rv001lp https://blahaj.zone/notes/aks90prn5rv001lp Tue, 07 Apr 2026 13:58:10 GMT Is anybody I know going to CMCS (Coalgebraic Methods in Computer Science) in Turin this year? It is co-located with @[email protected].

On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me.

Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.

https://www.coalg.org/cmcs26/programme/#day-2026-04-11

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/aks74r225rv001iq https://blahaj.zone/notes/aks74r225rv001iq Tue, 07 Apr 2026 13:05:19 GMT @[email protected] It's been a while, but I am mostly positive two of the dealbreakers (not the only ones!) for wpa_supplicant were eduroam and captive portals. I was having trouble figuring those two out, possibly due to my own skill issues. I was an undergrad back then, and if this is indeed due to my own incompetence, I'd probably have trouble today, as well.

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/aks62x4s5rv001ie https://blahaj.zone/notes/aks62x4s5rv001ie Tue, 07 Apr 2026 12:35:54 GMT @[email protected] yeah, I use them both, since I have to keep dbus for NetworkManager anyway. A satisfying dbus-less alternative to NetworkManager would be enough to make me look into whether I actually need dbus on my system.

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/aks5ske95rv001i7 https://blahaj.zone/notes/aks5ske95rv001i7 Tue, 07 Apr 2026 12:27:51 GMT @[email protected] I think it is the reason I need dbus on my system, which I am not crazy about. NetworkManager itself works fine though. I use it for wifi, ethernet, and bluetooth, but I have no advanced use cases. The frontend I am using is nmtui.

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akras0ut5rv0003p https://blahaj.zone/notes/akras0ut5rv0003p Mon, 06 Apr 2026 21:59:38 GMT (Don't worry, Danske Statsbaner has replacement buses, too!)

Odense πŸšƒ Hamburg πŸšƒ Muenchen πŸšƒ Villach πŸšƒ Graz

Graz πŸšƒ Villach πŸšƒ Salzburg πŸšƒ Muenchen πŸšƒ Hanau πŸšƒ Hannover πŸšƒ Bremen πŸšƒ Leer 🚍 Groningen πŸšƒ Scheemda πŸšƒ Midwolda

Midwolda 🚍 Scheemda πŸšƒ Bad Nieuweschans 🚍 Leer πŸšƒ Bremen πŸšƒ Hamburg πŸšƒ Neumuenster 🚍 Flensburg πŸšƒ Fredericia 🚍 Odense

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akr1pg34exrv01ho https://blahaj.zone/notes/akr1pg34exrv01ho Mon, 06 Apr 2026 17:45:41 GMT
πŸš†DEUTSCHE BAHN!πŸš†
Replacement Bus Edition

]]> <![CDATA[New note by Stefano Volpe :spinny_fox:]]> https://blahaj.zone/notes/akm201xh3qo400md https://blahaj.zone/notes/akm201xh3qo400md Fri, 03 Apr 2026 05:55:05 GMT @[email protected] software by dansup is generally half-cooked IMO

]]>