iiinova — where your digital self keeps evolving

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

Tom de Jong

@de-Jong-Tom.mathstodon.xyz.ap.brid.gy

Postdoc at Radboud University, previously at University of Nottingham, working on type theory. PhD from University of Birmingham. Mathematician, computer […] 🌉 bridged from ⁂ mathstodon.xyz/@de_Jong_Tom, follow @ap.brid.gy to interact

Posts Replies Media

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

[LLMs] I'm not big on legalese but nevertheless I found this court document [1, found via [2]], and the quotes from people in the tech industry, quite interesting. Example: "Microsoft has observed that “threaten[ing] the economic foundations of its essential […] [Original post on mathstodon.xyz]

Picture from a Microsoft document with the caption "Argument from Data Leverage literature: We tech folks might think we're the entire world, but content creators are Archimedes."

010 1

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

Made to Prague for #ESSLLI! The hotel room TV remote is interesting 😄

A remote with a lambda on the bottom left.

210 2

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

This week I'm very much looking forward to the "Formal proof and synthetic mathematics" workshop co-organized by @matematiflo! matematiflo.github.io/ProofWorkshop… Can't say the same about the weather forecast...

000 0

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

As usual, I was reading this weekend's De Volkskrant (Dutch newspaper) and amused to find @jonmsterling quoted in @ionica's column 🙂 (Minor correction to the column: Jon isn't British.)

Partial screenshot of Ionics Smeets' column (in Dutch) that quotes Jon Sterling.

020 2

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

Thanks to our speakers and @Stiephen all the slides for PSSL 112 are now available on the PSSL website! sites.google.com/view/pssl112/progr… #CategoryTheory #Logic

The participants of PSSL 112 are standing on a patch of grass in sunny conditions.

010 1

Tom de Jong @de-jong-tom.mathstodon.xyz.ap.brid.gy · 12/09/2025

I enjoyed talking about my expository paper (doi.org/10.4230/LIPIcs.TYPES.2024.1) at this wonderful CIRM event this morning. conferences.cirm-math.fr/3377.html Thanks to Jacopo Emmenegger for the photo! #typetheory #HomotopyTypeTheory #HoTT

A photo of me in front of three stacked blackboards mostly covered with diagrams and mathematics.

022 2

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

Among (aspiring) type theorists, J rules! I trust they are all working hard to eliminate those pesky identity types! Credit goes to @jacobneu for the poster and the original observation.

Poster listing the names of four people in Office C41 of the FP Lab. All first names start with the letter "J".

000 0

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

I'm pleased to announce that the Heyting Day will be held in Amsterdam on Friday 14 March 2025. Its theme will be models of #intuitionism and #computability and mark the retirement of Jaap van Oosten. The invited speakers are: - @andrejbauer (Ljubljana) - […] [Original post on mathstodon.xyz]

134 4