iiinova — where your digital self keeps evolving

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 13/10/2026

@jdw@mathstodon.xyz I have been using FramaForms Beta by @Framasoft@framapiaf.org for ages. I love it! Fair warning: some UI elements had not been translated from French, last time I used it

beta.framaforms.org

Framaforms BETA

Des formulaires éthiques avec LiberaForms LiberaForms est un outil logiciel libre développé comme une infrastructure communautaire, libre et éthique qui...

000 0

Reposted by Stefano Volpe :spinny_fox:

petersuber @petersuber.fediscience.org.ap.brid.gy · 11/10/2026

All the editors of Elsevier's 𝘎𝘢𝘮𝘦𝘴 𝘢𝘯𝘥 𝘌𝘤𝘰𝘯𝘰𝘮𝘪𝘤 𝘉𝘦𝘩𝘢𝘷𝘪𝘰𝘳 just resigned in protest at Elsevier's firing of one editor and attempt to hire new editors without involving the current board. The Game Theory Society is cutting off its association with the journal, and "exploring the establishment of […]

fediscience.org

Original post on fediscience.org

025 5

Reposted by Stefano Volpe :spinny_fox:

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 06/10/2026

Luc Edixhoven (luc.edixhoven.eu) joins ACP/FORM as a postdoc. He will be working with @fmontesi on choreographies and their formalisation. #programmingLanguages #concurrency #choreographicProgramming #formalization #formalMethods #FORMSDU

luc.edixhoven.eu

Luc Edixhoven

Luc Edixhoven's personal homepage

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 04/10/2026

@MishaVelthuis@social.edu.nl > She is already following me, so I assume she is already bridged with the Fediverse? No, bsky users don't need to bridge their accounts to follow bsky accounts bridged from fedi. > Any tips? You can DM the following to @bsky.brid.gy@bsky.brid.gy : @bsky […]

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 01/10/2026

100 1

@de_Jong_Tom@mathstodon.xyz Congrats! :blobcat_heart:

000 0

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 18/09/2026

You can now read the third issue of _The Illogician_ , the student-led magazine for the Master of Logic of the #UniversityOfAmsterdam: resources.illc.uva.nl/TheIllogician… It is a semiserious periodical about #logic, #language, and […] [Original post on blahaj.zone]

Cover of the Fall 2026 issue of "The Illogician". The title is colored so that one can also read "ILLC" off of it. The cover artwork is a sketch of multiple animals, each representing a complexity class. They blend in with the foliage.

The Fall 2026 issue of the illogician, open at pages 2 and 3, both available in an accessible format at https://resources.illc.uva.nl/TheIllogician/issues/2026-ii.pdf

Dr Alice Violett @alicemcalicepants.ohai.social.ap.brid.gy · 11/09/2026

Reposted by Stefano Volpe :spinny_fox:

Board gamers 🤝 drug dealers Ample supply of baggies #BoardGames

022 2

Reposted by Stefano Volpe :spinny_fox:

Sebastian Ullrich @kha.functional.cafe.ap.brid.gy · 02/09/2026

The real numbers are the friends we made along the way

012 2

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 12/08/2026

NemTilmeld is a website you'll sometimes encounter if you are living in #Denmark. It allows users to register for events via their web browser. I made a small NemTilmeld-to-RSS converter for people to be notified when new events are made available! :blobcat_code: For example, here is the #RSS […]

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 06/08/2026

000 0

It's `\forall`belard and `\exists`louise, not `\forall`belard and `\mathcal{L}`ewis.

000 0

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 26/07/2026

@paco@infosec.exchange that game is so silly I love it

000 0

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 14/06/2026

mastodon.acm.org let in what to me looks like 25 Kremlin trolls because why not

000 0

Reposted by Stefano Volpe :spinny_fox:

dgelessus @dgelessus.mastodon.social.ap.brid.gy · 14/06/2026

they call it "cross compiling" because you will be very cross when trying to do it

11116 16

Reposted by Stefano Volpe :spinny_fox:

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 08/06/2026

From 10:30 to 11:15 on Wednesday, June 24, the PLUSLE reading group will discuss "Universal Types and Relational Substitutions" (chapter 4 of Lau Skorstengaard's tutorial "An Introduction to Logical Relations") […]

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 04/06/2026

Reposted by Stefano Volpe :spinny_fox:

RE: mathstodon.xyz/@de_Jong_Tom/1164356… The early-bird registration deadline for the European Summer School in Logic, Language and Information (ESSLLI) has been extended to 15 June. 2026.esslli.eu/registration/registr… [More details in the reply to this post.]

101 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 20/05/2026

That one student who's onto my bs at the TA session

Two frames from romantic comedy-drama film "It's My Turn" (1980). The first frame depicts a student at his desk, speaking. The second frame depicts Professor Kate Gunzinger, played by Jill Clayburgh, listening to the student, unimpressed.

The subtitles read: "This stuff is just garbage. It's another diagram chase."

(The blackboards depict the Snake lemma for groups, as well as more homological algebra.)

000 0

Reposted by Stefano Volpe :spinny_fox:

Delta Chat @delta.chat · 14/05/2026

Good news among the bad news! If the recent #0day attacks against Linux kernel+servers were launched against #chatmail relays, privacy of chatting with #deltachat is preserved. Why? Because we already assume the server could be actively hostile, and still not read or see any avatar, names or […]

chaos.social

Original post on chaos.social

1418 18

Reposted by Stefano Volpe :spinny_fox:

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 15/02/2026

The 2026 website for the annual autumn school Proof and Computation is now up at www.mathematik.uni-muenchen.de/~sch… I'm excited to give a short course introducing homotopy type theory / univalent foundations, and look forward to participating in this very enjoyable school […]

mathstodon.xyz

Original post on mathstodon.xyz

021 2

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 14/05/2026

**Towards a Higher-Order Bialgebraic Denotational Semantics** by Sergey Goncharov, @mperessotti@mastodon.social, @stelios@mathstodon.xyz, Henning Urbat, and me has been (unconditionally) accepted at ICFP'26! Abstract below :Blobhaj_Read_Octopus: #icfp #functionalProgramming […]

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 07/05/2026

Reposted by Stefano Volpe :spinny_fox:

From 11:00 to 12:00 on Thursday, May 28, the PLSL reading group will discuss "Proofs as Processes" by Samson Abramsky, as well as the first two sections of "Propositions as sessions" by Philip Wadler. plsl.acp.sdu.dk/posts/2025-05-28-pr… #PLSL […]

daniel:// stenberg:// @bagder.mastodon.social.ap.brid.gy · 29/04/2026

000 0

Reposted by Stefano Volpe :spinny_fox:

RE: toot.yosh.is/@yosh/1164877784028033… Excuses. They forgot to run their site as they should and instead got lost working on AI features we never asked for. That's why.

toot.yosh.is

2727 27

Reposted by Stefano Volpe :spinny_fox:

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 20/04/2026

The 37th European Summer School in Logic, Language and Information (ESSLLI 2026) will take place on 3-14 August in Prague. 2026.esslli.eu I'm excited that I'll be teaching an introductory course on univalent foundations / homotopy type theory! @stringdiagram and @jaklt will also be […]

mathstodon.xyz

Original post on mathstodon.xyz

030 3

Reposted by Stefano Volpe :spinny_fox:

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 22/04/2026

From 11:00 to 12:00 on Thursday, April 30, the PLSL reading group will discuss "Abstract Syntax and Variable Binding" by Marcelo Fiore, Gordon Plotkin, and Daniele Turi. plsl.acp.sdu.dk/posts/2026-04-30-ab… #PLSL #syntax #programmingLanguages […]

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 20/04/2026

I just karened the two co-chairs of the Publication Board about this :) RE: mathstodon.xyz/users/bodzioney/stat…

mathstodon.xyz

000 0

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 16/04/2026

Torino - Milano - Chiasso - Basel - Mannheim - Hamburg - Fredericia - Odense

000 0

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 10/04/2026

Odense - Hamburg - Wuerzburg - Basel - Zurich - Lugano - Mendrisio - Arcisate - Milano - Torino

100 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 07/04/2026

Is anybody I know going to **CMCS (Coalgebraic Methods in Computer Science)** in Turin this year? It is co-located with @ETAPSconf@mastodon.education. On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti@mastodon.social […]

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 06/04/2026

101 1

(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 🚍 […]

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 06/04/2026

000 0

🚆DEUTSCHE BAHN!🚆 Replacement Bus Edition

100 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 03/04/2026

@MishaVelthuis@social.edu.nl software by dansup is generally half-cooked IMO

100 1

Reposted by Stefano Volpe :spinny_fox:

abadidea @0xabad1dea.infosec.exchange.ap.brid.gy · 02/04/2026

IT'S HAPPENING GITHUB, THE FIRST ENTERPRISE CLOUD SOLUTION TO REACH ZERO NINES RELIABILITY mrshu.github.io/github-statuses #github

uptime graph reading: 95 incidents in last 90 days - 89.91% uptime

classic meme image: "it's happening" with Ron Paul laser show

28952439 952

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 30/03/2026

Beast (2023) @boardgames@sopuli.xyz #boardgames It's a hidden movement game like the Whitechapel series and Fury of Dracula. Gameplay shows clear improvements. Artworks are Swedish and lovely, but some palette choices are NOT colourblind-friendly. The game is […] [Original post on blahaj.zone]

A completed game of Beast. Bolgin was being hunt down by Helga, Varja, and Iona in the Northern Expanse.

020 2

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 24/03/2026

@moritz_negwer@mstdn.science ty! Do you have an estimate for the number of hours actually spent with the students?

100 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 23/03/2026

@Sobex@sciences.re would you say that your funding de facto required you to take on some teaching just to make ends meet? If so, could you estimate the number of contact hours (not sure if "TDs" only cover the time spent in class for the tutorial, or also the time spent to prepare for it)?

100 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 23/03/2026

@Sobex@sciences.re Yes, please! Unless the PhD system in the country in question got a complete makeover right after your defence.

100 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 23/03/2026

_If any PhD students are following your account, boosting would be appreciated._ **Fellow PhD student:** hello! :blobcat_waverev: I hope you had a good Monday. 0) In which country are you pursuing your PhD? 1) What is the official duration of your PhD programme? Does it assume you already […]

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 23/03/2026

4072 72

The second issue of _The Illogician_ , the student-led magazine from the Master of Logic, is out! It is a semiserious periodical about #logic, #language, and #computation. (As an alumnus, I am only involved as an enthusiastic reader:Blobhaj_Ani_Hophop:) […] [Original post on blahaj.zone]

The second issue of The Illogician sits on a desk, closed. The footer reads "Spring 2026". The cover image is an urban scene. The ILLC building has been removed from its usual location, Science Park, and has been placed in front of a rectangular body of water, surrounded by traditional Amsterdam-style buildings.

The second issue of The Illogician sits open on a desk. The left page contains the editorial, and miscellaneous information about the publication. The right page is a table of contents. It lists:
- COMPACTNESS AND COMPLETENESS IN CONTEMPORARY ROMANTIC INTERACTION, 4, THIAGO COCCO ROQUE;
- TOO MUCH INFORMATION? THE USEFULNESS OF TALKING REDUNDANTLY, 8, THOMAS VAN DER LEER;
- THE STORY OF MOSCOW’S METHODOLOGICAL
CIRCLE, 11 MATTEO MERCURI;
- A CONCEPTUAL HISTORY OF BHK NEGATION, 14, EDOARDO MENORELLO
- PROVING EVERYTHING WHILE REVEALING NOTHING: AN INTRODUCTION TO ZERO-KNOWLEDGE PROOFS, 19, MARIANA RIO COSTA;
- ROTATING SHAPES: TWO MÖBIUS MAKE A KLEIN, 23, MAX WEHMEIER;
- THE AXIOM OF BAD CHOICE AND ITS EQUIVALENTS, 28, MATTEO CELLI;
- THE LONG JOURNEY TO CRAIG INTERPOLATION FOR PROPOSITIONAL DYNAMIC LOGIC, 26, JOSJE VAN DER LAAN;
- THE PINEAPPLE INCIDENT: A BELIEF-THEORETIC AND TOPOLOGICAL ANALYSIS, 31, GIUSEPPE MANES;
- LOGICAL RETHORIC MAKES ILLOGICAL DEBATES, 37, ALEXANDRE MAZUIR
- INTERVIEW WITH PROF. CATARINA DUTILH
NOVAES, 40, THIAGO J. COCCO ROQUE;
- (IL)LOGICAL HOROSCOPE, 44,
MATTEO CELLI, JOSJE VAN DER LAAN, BARDO MAIENBORN, GIANNIS RACHMANIS;
- CRYPTIC CLUES, 47, ESTEL KOOLE, DAVID KÜHNEMANN, BARDO MAIENBORN, MARIANA RIO COSTA;
- ILLC WORD SEARCH, 48, IDSKE ROEST.

000 0

Reposted by Stefano Volpe :spinny_fox:

Adrian Sampson @adrian.discuss.systems.ap.brid.gy · 10/03/2026

Because I have poor self control, I made a thing to avoid looking at those increasingly terrible ACM Digital Library pages. Introducing Analog Library: al.radbox.org

al.radbox.org

Analog Library Premium Edition™

41919 19

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 10/03/2026

@adrian@discuss.systems neat! I love alternative front-ends. I added this to my redirects on Redirector. Include pattern: dl.acm.org/doi/* Redirect to: al.radbox.org/doi/$1

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 02/03/2026

Reposted by Stefano Volpe :spinny_fox:

Anna Blume Jakobsen (www.daracademy.dk/current-fellows/a…) joined ACP today. Her PhD project is on choreographic programming and cost semantics. Anna works on semantics, Lean formalisations, behavioural theory, and program optimisation. #choreographicProgramming […]