iiinova — where your digital self keeps evolving

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

011

Reposted by Stefano Volpe :spinny_fox:

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

Board gamers 🤝 drug dealers Ample supply of baggies #BoardGames

022

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

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

blahaj.zone

Original post on blahaj.zone

000

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

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

000

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

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

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") […]

mastodon.acm.org

Original post on mastodon.acm.org

001

Reposted by Stefano Volpe :spinny_fox:

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

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

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

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

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

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

blahaj.zone

Original post on blahaj.zone

001

Reposted by Stefano Volpe :spinny_fox:

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

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

mastodon.acm.org

Original post on mastodon.acm.org

000

Reposted by Stefano Volpe :spinny_fox:

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

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

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

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

mastodon.acm.org

Original post on mastodon.acm.org

011

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

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

blahaj.zone

Original post on blahaj.zone

101

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

🚆DEUTSCHE BAHN!🚆 Replacement Bus Edition

100

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

28953440

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

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

blahaj.zone

Original post on blahaj.zone

133

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

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

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

Reposted by Stefano Volpe :spinny_fox:

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

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

mastodon.acm.org

Original post on mastodon.acm.org

011

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

[(No-)dating life] Will miss all the British cuties at the MGS since my supervisor wants to send me to CMCS/FOSSACS🫤

000

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

**Q:** Is @acp@mastodon.acm.org's #PLSL reading group associated with PSSL, the Peripatetic Seminar on Sheaves and Logic happening next month? **A:** No, but we are not the ones outsourcing web hosting to google sites, so we won't be the ones backing down first

plsl.acp.sdu.dk

PLSL

Programming Languages, Semantics, Logic reading group at the University of Southern Denmark

100

Reposted by Stefano Volpe :spinny_fox:

:youtube_logo: No Boilerplate @noboilerplate.namtao.com.ap.brid.gy · 17/02/2026

PSA: If you block the `claude` user on GitHub, you'll get a warning every time you view a repo with that user in its commit history. This allows you to, the moment you look at a repo, immediately adjust your expectations. You may do so here: github.com/settings/blocked_users

A github screenshot showing a repo with the message "a user you've blocked has previous contributed to this repository"

2312160

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 15/02/2026

This is so cool! Is there any way to save the game? Sometimes it seems to freeze. (On Librewolf, I had to disable Enhanced Tracking Protection.) RE: mastodon.acm.org/users/bisping/stat…

mastodon.acm.org

000

Reposted by Stefano Volpe :spinny_fox:

gosha ⁂ @gosha.gosha.net.ap.brid.gy · 04/02/2026

The company I'm currently working at is hiring Haskell engineers, as well as SREs. It's a nice place to work at, but you have to be UK-based as far as I know. Please message me for details if you're interested! #fedihire

001

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

@ohad@mathstodon.xyz did you give a keynote at TFP in Odense earlier today? If so, I am afraid I missed it, but the abstract sounded very interesting. Are the slides/notes online somewhere? :blobcat_blushplead:

000

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

Single Like a pringle Just Danes in here. How to mingle?

000

Reposted by Stefano Volpe :spinny_fox:

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 26/01/2026

From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar. plsl.acp.sdu.dk/posts/2026-02-17-an… #PLSL #algebraicEffects #effectSystems #semantics […]

mastodon.acm.org

Original post on mastodon.acm.org

011

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

Unlocked the butterfly :) (pretty sure you are supposed to bring your free leg closer to the floor, if you are flexible enough) #poleDance #fitness

Me performing a butterfly on a home dancing pole.

011

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 30/12/2025

Are the ads on `dl.acm.org` new? Or is uBlock Origin only now failing to block them? Anywho, I added the following filters to #uBlockOrigin: dl.acm.org##.upgrade-banner dl.acm.org##.right-rail-ads They only block ads on the right sidebar, and the […] [Original post on blahaj.zone]

Three ACM ads on a dedicated right sidebar. The webpage the visitor is trying to read is from the ACM Digital Library.

010

Reposted by Stefano Volpe :spinny_fox:

Delta Chat @delta.chat · 28/12/2025

Relax 😎! GPG is not OpenPGP! Yesterday, vulnerabilities were published gpg.fail but they don't affect #deltachat or any other #chatmail client because A) We never used #gnupg for anything; we use the modern #rustlang #openpgp implementation @rpgp, security audited multiple times. B) […]

chaos.social

Original post on chaos.social

043

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 11/12/2025

[Ult] Current stance on quantum content on this profile is that boosting it is fine, as long as we are talking PL or algorithms, rather than fake factoring on physical machines. I am open to changing my mind

000

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 10/12/2025

[AoC] Because I am sticking to a functional style, I deal with a lot of closures. They capture values from the surrounding environment. I am encountering both cases where the borrow checker needs the closure to take ownership of the value (to solve E0373), and where it needs NOT to take […]

blahaj.zone

Original post on blahaj.zone

000

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 09/12/2025

[AoC (day 8 spoilers)] AoC today was... just a flavour of Kruskal? (No, you don't have to figure this out. The statement explicitly describes Kruskal's algorithm, just without giving it a name.) My Algorithms & Data Structures course never had me implement anything on a machine, so it was still […]

blahaj.zone

Original post on blahaj.zone

000

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 07/12/2025

[AoC] T(day 6)IL that Rust's `parse::<i64>` is not as lenient as C/C++'s `atoi`, i.e. the parse will fail if the string has leading and/or trailing whitespaces. Easy to debug, except I was already using the "failed parsing" case as "empty separating column between two input chunks", so this […]

blahaj.zone

Original post on blahaj.zone

000

Reposted by Stefano Volpe :spinny_fox:

ACP Section @acp.mastodon.acm.org.ap.brid.gy · 02/12/2025

From 14:00 to 15:30 on Thursday, December 11, the correspondance between internal mobility and agent-passing calculi will be discussed in the PLSL reading group. The material to be read before the meeting is sections 6-9 of Davide Sangiorgi, π-Calculus, internal mobility, and agent-passing […]

mastodon.acm.org

Original post on mastodon.acm.org

021

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 01/12/2025

[AoC] This is my first AoC. I am giving it a try as a way to touch grass. I am starting with functional Rust (don't have any experience with it). TIL Rust, much like C/C++, uses % for "possibly negative modulus". The legit, never-negative modulus is implemented by `i32::rem_euclid`. Does […]

blahaj.zone

Original post on blahaj.zone

001