iiinova — where your digital self keeps evolving

iiinova is part of the Atmosphere — an open, public network where you own your identity.

Stefano Volpe :spinny_fox:

@foxy.blahaj.zone.ap.brid.gy

Yet another deluwu~ pick me boy No don't call me a himbo plz _(,, >﹏<,,)_ :neofox_book: PhD student (PL foundations) @ SDU's @acp@mastodon.acm.org :neofox_book: […] 🌉 bridged from ⁂ blahaj.zone/@foxy, follow @ap.brid.gy to interact

Posts Replies Media

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 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

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 · 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 0

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

it's happening 🥹 @boardgames@sopuli.xyz #boardgames

Screenshot of an email message from Kickstarter. It reads: "Travis Hancock just launched Roma XLI: A Book-Box Game of Exile & Deceit for 1-9 Players – Now's your chance to make an impact.
Travis Hancock just launched their Kickstarter project—be a part of it from the beginning.

Roma XLI: A Book-Box Game of Exile & Deceit for 1-9 Players ( https://www.kickstarter.com/projects/facadegames/roma-xli-game?ref=ksr_email_mktg_auto_user_watched_project_launched )

Vote your opponents into exile, gain influence, form (and break) alliances. Light strategy, 20-40 minutes, 1-9 players, book box.

By Travis Hancock

**$30,000** goal

30 days left Back this project to help bring it to life.
Take me there ( https://www.kickstarter.com/projects/facadegames/roma-xli-game?ref=ksr_email_mktg_auto_user_watched_project_launched )
Visit the project page and unsave it to no longer receive reminders."

010 1

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

besties are in sync this time, as well #LibreWolf #IronFox

010 1

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 1

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 1

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

#Agda syntax highlighting in #Typst just got an upgrade! I released a new version of the `color-my-agda` package. Rather than half-baking our own broken grammar specification, we are now automatically generating one from the Agda org. :blobcat_coffee: Typst […] [Original post on blahaj.zone]

A screenshot of two tiled windows. On the left, a Typst text buffer is open. Its first to lines are as follows.

#import "@preview/color-my-agda:0.2.0": init-color-my-agda

#show: init-color-my-agda

Below them, a raw Typst block containing some Agda code is placed. The window on the right is a PDF viewer showing a document consisting of the same Agda code, but highlighted.

010 1

Stefano Volpe :spinny_fox: @foxy.blahaj.zone.ap.brid.gy · 29/08/2025

Hey there! On Wednesday, I completed the ILLC's Master of #Logic at the #UniversityOfAmsterdam :dr_tobydance: My supervisor and the rest of the committee were super nice to me, as were all the friends who have helped me throughout these two years. Amazing […] [Original post on blahaj.zone]

A picture of me before my defence. I am standing in front of a monitor displaying a slide. I am wearing a shirt, and my hand is on my stomach because I am feeling nervous.

010 1