iiinova — where your digital self keeps evolving

Yuri Sulyma @yurisulyma.bsky.social · 09/10/2026

My (belated) entry for Mathober day 4: Linear Recurrences! I was excited about this theme because it lets me share one of my favorite combinatorial puzzles, originating from my high school band class. #mathober #mathober2026 epiplexis.xyz/misc/mathobe...

epiplexis.xyz

Mathober 4: Linear Recurrence | Epiplexis

How many rhythms are possible on n beats? The answer may shock you!

010

Yuri Sulyma @yurisulyma.bsky.social · 08/10/2026

6 hours later I have discovered that the following are not equivalent in Next.js static pre-render In this scenario, components.tsx contains a `createContext()` call, which breaks server rendering. Normally adding "use client" at the top fixes this, or doing lazy(() => import())

110

Reposted by Yuri Sulyma

Antonio E. Porreca 🐳 @aeporreca.org · 07/10/2026

The Association for Human Mathematics (AHM) statement on OpenAI’s October 6 release of mathematical documents just dropped! www.ahmath.org/statements

15423199

Reposted by Yuri Sulyma

Freya Holmér @freya.bsky.social · 05/10/2026

on AI generated voiceovers in games

1549095

Reposted by Yuri Sulyma

Dr. Courtney Gibbons (she/her/xlookup) @courtneygibbons.phd · 24/09/2026

It's come along enough to share... An Algebra Game (the start thereof, at least), like the Natural Number Game! adam.math.hhu.de#/g/CRGibbons... Play it, critique it, join the development team (which is... just me)! It's meant to go along with a "rings first" semester of abstract algebra

adam.math.hhu.de

Lean Game Server

192

Yuri Sulyma @yurisulyma.bsky.social · 24/09/2026

I don't get how people are out here vibe-coding entire businesses when half the time I sit down to code my app stopped working overnight because of bugs in 3rd party dependencies (e.g. CloudFlare vs Vite) yes I have tried having agents debug this, they spin their wheels for 3 hours and get nowhere

110

Yuri Sulyma @yurisulyma.bsky.social · 21/09/2026

A lot of AI/math discourse has a kind of sitcom-y view of mathematics, as if every open problem is a profound breakthrough Many open problems are there bc the author was exhausted and wanted to get the dang paper on arxiv already; or to leave low-hanging fruit for young people

0121

Yuri Sulyma @yurisulyma.bsky.social · 19/09/2026

web development is for everyone

011

Reposted by Yuri Sulyma

ꭓle Ormsby 𓆙 @e-infinity.space · 18/09/2026

Maxine Calle (my undergraduate advisee) and @jacksonmorris.bsky.social (my PhD advisee) are both presenting in the Electronic Computational Homotopy Theory seminar next Thursday! Details at echtorc.github.io/echt-researc.... 🧮

24 September 2026 at 11:00AM (Eastern US time)

Maxine Calle (University of Bonn)

Title: Prime ideals in the Burnside Tambara functor

Abstract: The Burnside Tambara functor is the analogue of the integers in equivariant algebra, and it appears as the zeroth equivariant stable stem. In this talk, we will describe how to leverage recent advances in the commutative algebra of Tambara functors to compute all the prime Tambara ideals of the Burnside Tambara functor for any finite group G. This talk is based on joint work with David Chan, Sam Ginnett, David Mehrle, J.D. Quigley, Ben Spitz, and Danika Van Niel.

24 September 2026 at 10:00AM (Eastern US time)
Jackson Morris (SLMath/Vanderbilt University)

Title: C-motivic periodic self-maps

Abstract: The stable motivic homotopy category is filled with interesting periodic phenomena. There are many periodicities which are motivic analogues of those found throughout chromatic homotopy theory, which we call topological. There are also new periodicities which are less understood, which we call exotic. I will discuss work in progress in studying the interaction between topological and exotic periodicities in C-motivic homotopy theory. The primary method for studying these periodicities will be through explicit periodic self-maps of finite spectra.

0122

Reposted by Yuri Sulyma

Dr. Martin Skrodzki @msmathcomp.bsky.social · 17/09/2026

Open Position for an Assistant/Associate Professor in Visual Analytics: careers.tudelft.nl/job/Delft-As.... Apply if you are excited about interactive exploration, analysis, and interpretation of complex data. Please also forward this position to anyone in your network who is interested.

careers.tudelft.nl

Assistant/Associate Professor in Visual Analytics

046

Reposted by Yuri Sulyma

Louigi Addario-Berry @louigi.bsky.social · 09/09/2026

I'm proud to announce the creation of the Association for Human Mathematics. We aim to protect mathematics as a human endeavour against the threat of AI and to maintain the independence of the mathematical community from corporate interests. www.ahmath.org

ahmath.org

AHM

5283106

Reposted by Yuri Sulyma

Greg Egan @gregegansf.bsky.social · 10/09/2026

Open Letter about the Mathathon This open letter calling for the cancellation of the Caltech “Mathathon”, has received 471 signatures so far. [Only members of the Caltech community or mathematicians at PhD student level or beyond are eligible to sign.]

docs.google.com

Open Letter about the Mathathon

The full text of the open letter is below. By signing this open letter, you consent to your name, title, and institutional affiliation being publicly displayed beneath this open letter. You can access...

12512

Yuri Sulyma @yurisulyma.bsky.social · 09/09/2026

I bet we can bankrupt AI companies by convincing them to try computing the full homotopy groups of spheres

1263

Yuri Sulyma @yurisulyma.bsky.social · 06/09/2026

If you're taking/teaching/self-learning vector calculus this fall, check out my course! (follows Thomas' Calculus 14th edition) Over 120 videos with interactive 3d graphics And if you'd like to make such interactive videos yourself…watch this space ;) www.math.brown.edu/ysulyma/f21-...

math.brown.edu

MATH 180 Intermediate Calculus

Vector calculus with 3d interactive videos

1115

Reposted by Yuri Sulyma

leotrs @leotrs.bsky.social · 02/09/2026

1/ A math paper doesn't have to show every reader the same thing. My exposition of Turán's theorem keeps the argument fixed but the presentation is yours: you choose the order, the level of detail, and the notation, and none of it changes the content. www.youtube.com/watch?v=2Nkp...

youtube.com

Turán's theorem, from edges to eigenvalues: an interactive paper

YouTube video by Leo Torres

2237

Yuri Sulyma @yurisulyma.bsky.social · 02/09/2026

Recently got into @effect-ts.bsky.social and was immediately hooked. I'm excited to be releasing my first Effect plugin! This provides branded types to distinguish (relative vs absolute) (files vs dirs), and overrides Node types to return them This caught several bugs in my codebase! NPM link below

Code sample showing use of effect-paths module. process.cwd now returns an AbsoluteDir, and path.joining an AbsoluteDir with a RelativeFile gives an AbsoluteFile. The full example is available as plain text on the NPM package page.

110

Yuri Sulyma @yurisulyma.bsky.social · 26/08/2026

Out of respect for Dolly, no one can work 9 to 5 ever again.

032

Reposted by Yuri Sulyma

Haydee, PhD @haydeelindo.bsky.social · 19/08/2026

If someone wanted to learn about LEAN where should they start? (I don't see any upcoming workshops).

353

Yuri Sulyma @yurisulyma.bsky.social · 18/08/2026

For my niche of programming, the bottleneck often isn't code, it's getting CJS/ESM/Turbopack/pnpm/subpath imports/TypeScript/… to all play nicely together Agents are great at other stuff but haven't really helped with this :/

130

Yuri Sulyma @yurisulyma.bsky.social · 16/08/2026

Desmos inside tldraw inside a video 🤯 too much power for one person to have??? big release coming soon :)

A video player UI with a man in the lower-right corner. Inside the video, there are some physics equations, as well as an interactive Desmos 3d graphing calculator, showing the graph of the surface z = 1/2 x y².

061

Reposted by Yuri Sulyma

Dr. Martin Skrodzki @msmathcomp.bsky.social · 29/07/2026

There will be a Hot Topic workshop devoted to "AI-assisted coding for Mathematical Exploration" at @icerm.bsky.social in Providence, RI, USA, 11-13 December 2026. It will be a weekend of hands-on exploration. Find more information here: icerm.brown.edu/program/hot_.... Looking forward to seeing you!

icerm.brown.edu

ICERM - Home

The Institute for Computational and Experimental Research in Mathematics (ICERM) supports and broadens the relationship between mathematics and computation.

132

Reposted by Yuri Sulyma

Petra Schwer @petraschwer.bsky.social · 24/07/2026

You aim to understand a mathematical text all by yourself? I finally made an English version of my users guide on "How to read math?" You might want to download it here: web.mathi.uni-heidelberg.de/media/How_To... #math #readingmath #mathematics #matheducation #science #mathsky

web.mathi.uni-heidelberg.de

22913

Yuri Sulyma @yurisulyma.bsky.social · 12/07/2026

The full name for the original Dragon Ball series is Dragon Ball 𝔽₁

0161

Yuri Sulyma @yurisulyma.bsky.social · 02/07/2026

First use of LLMs I've seen in my field!

Tool and computational resource disclosure. Some of the results in Sections 5 and 6 were discovered with the help of computer assistance, specifically ChatGPT/Codex/Claude. The main results (in particular, Theorem 5.60) were originally discovered without computer assistance, but computer assistance helped us discover some of the general structural results about δ-˜Cartier rings. Moreover, discussions with ChatGPT helped us simplify, correct, and streamline a number of arguments throughout the paper, and in particular in Sections 5 and 6.
We used these tools (and GitHub Copilot) for proofreading and editing the manuscript, as well as for directly drafting pieces of proofs in a few cases (with human guidance) in Sections 5 and 6. We have edited, reviewed, and verified all the content generated by these tools to ensure its accuracy.

220

Reposted by Yuri Sulyma

Marisa Kabas @marisakabas.bsky.social · 30/06/2026

love to my trans friends. fuck SCOTUS.

3662661322

Reposted by Yuri Sulyma

Christopher Mathias @letsgomathias.bsky.social · 23/06/2026

30 years for moving some zines www.theguardian.com/us-news/2026...

451994901

Reposted by Yuri Sulyma

Justin Lanier @jlanier.bsky.social · 22/06/2026

What do mathematicians do? How do they make new mathematical discoveries? Why does that matter for K-12 math education? If you are a math teacher and you are curious about these questions, join in on "21st century mathematics" in July! Free, online, and flexible. www.youtube.com/watch?v=5UIx...

youtube.com

"21st century mathematics" returns in July 2026!

YouTube video by Justin Lanier

1129

Reposted by Yuri Sulyma

The Onion @theonion.com · 22/06/2026

U.K. Weighs Social Media Ban Of Everyone Except Old Men Who Grow Big Vegetables theonion.com/u-k-weighs-social-medi…

402563390

Yuri Sulyma @yurisulyma.bsky.social · 28/05/2026

I consider myself pretty versed in the JS deep lore and even I learned a few new things warning, brutal nerd-snipe

whoaw!!

you did it! the entire crossword!!

do u wanna see an epic ending

note: plays with audio and has intense visuals

[ hell yeah! ] [ nah ]

030

Reposted by Yuri Sulyma

Alex Elizabeth Byrne McMillan @undeniablyalex.bsky.social · 23/05/2026

YOU’RE LISTENING TO SISYPHUS FM, THE HOME OF NON-STOP ROCK

6135470816423

Yuri Sulyma @yurisulyma.bsky.social · 22/05/2026

Slides for my talk at Paris 13 generalizing Angeltveit's norm map of Witt vectors to the de Rham-Witt complex ysulyma.github.io/assets/pdf/s...

ysulyma.github.io

140

Reposted by Yuri Sulyma

minimaliste13 @minimaliste13.cpesr.fr · 15/05/2026

f^*, f_*, f^!, f_!, internal tensor product, internal hom.

1175

Reposted by Yuri Sulyma

ꭓle Ormsby 𓆙 @e-infinity.space · 25/04/2026

I made an interactive view of "add a (mod m)" for my Discrete Structures students. Drag the sliders, hit the toggle, and watch the cosets of aℤ in ℤ/mℤ rearrange themselves! Can you figure out the number and length of cycles as a function of a and m? kyleormsby.github.io/modular-graph/

A view the directed graph described in the post for m=12, a=3.

Same graph but more clearly viewed as disjoint cycles.

3155

Yuri Sulyma @yurisulyma.bsky.social · 18/04/2026

it's awesome to see even very abstract/technical papers making heavy use of illustration (from arxiv.org/abs/2604.15193)

040

Yuri Sulyma @yurisulyma.bsky.social · 05/04/2026

one of my favorite derived memes of all time

structure sheaf of the moduli stack of formal groups, spelling "OMfg"

0265

Yuri Sulyma @yurisulyma.bsky.social · 28/03/2026

Hatcher is not appropriate for anyone of any age 😭

2121

Yuri Sulyma @yurisulyma.bsky.social · 23/03/2026

I'll be presenting Liqvid tomorrow night at the React Paris meetup, including a preview of the v3 alpha! Je vais présenter Liqvid demain soir au Meetup React Paris, y compris un aperçu de la version 3 alpha! www.meetup.com/react-paris/...

meetup.com

React Paris #013, Tue, Mar 24, 2026, 7:00 PM | Meetup

🇫🇷 Bonjour ! Nous avons le plaisir de vous convier au prochain **React Paris Meetup #13** le **mardi 24 mars à 19h**. Cette fois-ci, l'événement sera accueilli à **Neosof

000