Slightly underreported aspect of the Mythos stuff

I wanted a way to explore Unicode by visual similarity, not just by name or codepoint, so I built Charcutrie. It lets you browse characters that look alike, search across scripts and symbols, and even sketch a shape to find matching glyphs. (pretty badly for now :D) charcuterie.elastiq.ch#U+221E

Country that put backdoors into Cisco routers to spy on world bans foreign routers

My first IDE had LLMs support already?

I needed z3 Python bindings in the browser for demos. Claude built it in 10 minutes of my time, and it's now available: wiki.alcidesfonseca.com/blog/z3-pyth...

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

Played Piazza today boardgamegeek.com/boardgame/39... #bggplay via @boardgamegeek.com app

Played The Castles of Burgundy: Special Edition on 2026-03-14 boardgamegeek.com/boardgame/36... #bggplay via @boardgamegeek.com app

New blog post: wiki.alcidesfonseca.com/blog/age-ver...

FYI the 1970s oil crisis was the impetus for Copenhagen turning into a cycling city

Hatred, ignorance, fear, greed, and discrimination are viruses, magnified by suffering, carried in buckets, spilled onto the world. We cannot eliminate them by actions that magnify hatred, ignorance, fear, greed, discrimination and suffering - only by actions that relieve them.

Governments are killing the open internet. The internet is much more than Facebook and other silos. wiki.alcidesfonseca.com/blog/the-int...

Played The Castles of Burgundy: Special Edition on 2026-02-18 boardgamegeek.com/boardgame/36... #bggplay via @boardgamegeek.com app

sounds like academia!

Played Mandragora today boardgamegeek.com/boardgame/32... #bggplay via @boardgamegeek.com app

Played San Marco today boardgamegeek.com/boardgame/1041 #bggplay via @boardgamegeek.com app

sorry babe, i didn't get the job. i was only at 53% tenure and 71% publications

Played AquaSphere today boardgamegeek.com/boardgame/15... #bggplay via @boardgamegeek.com app

Played SCOUT today boardgamegeek.com/boardgame/29... #bggplay via @boardgamegeek.com app

Played Color Words today boardgamegeek.com/boardgame/42... #bggplay via @boardgamegeek.com app

Played Letterpress on 2026-01-01 boardgamegeek.com/boardgame/29... #bggplay via @boardgamegeek.com app

Played Scoville today boardgamegeek.com/boardgame/14... #bggplay via @boardgamegeek.com app

Unfortunately, I did not learn about that many new bands in 2025. I would appreciate any new suggestions from my followers! wiki.alcidesfonseca.com/blog/2025-in...

Played Age of Industry today boardgamegeek.com/boardgame/65... #bggplay via @boardgamegeek.com app

Played Robinson Crusoe: Adventures on the Cursed Island today boardgamegeek.com/boardgame/12... #bggplay via @boardgamegeek.com app

Oh, I wish!

was at an event on AI for science yesterday, a panel discussion here at NeurIPS. The panelists discussed how they plan to replace humans at all levels in the scientific process. So I stood up and protested that what they are doing is evil. Full post: togelius.blogspot.com/2025/12/plea...

“One of the misconceptions about autistic people is we take things literally” #KiwiPyCon

Played Manhattan Project: Energy Empire today boardgamegeek.com/boardgame/42... #bggplay via @boardgamegeek.com app

Played San Juan today boardgamegeek.com/boardgame/8217 #bggplay via @boardgamegeek.com app

I just love Kathleen for this position! We need this in Portugal as well!

Played Monkey Palace today boardgamegeek.com/boardgame/41... #bggplay via @boardgamegeek.com app

Played Ark Nova: Marine Worlds today boardgamegeek.com/boardgameexp... #bggplay via @boardgamegeek.com app

👉Softbank sells entire Nvidia position. 👉Oracle debt downgraded. 👉Meta financing games revealed. 👉OpenAI CEO @sama couldn’t explain how company would meet its $1.4 T obligations. 👉Coreweave drops 20% in a week. You do the math.

Et tu, Cookus? mjtsai.com/blog/2025/11...

Played Scythe today boardgamegeek.com/boardgame/16... #bggplay via @boardgamegeek.com app

Played CATAN today boardgamegeek.com/boardgame/13 #bggplay via @boardgamegeek.com app

Played Creature Comforts on 2025-11-08 boardgamegeek.com/boardgame/30... #bggplay via @boardgamegeek.com app

Wow! University of Austin is tuition free! www.uaustin.org/free They are basing the action on pay-it-forward (let's hope so, but I have doubts). And based on what's happening in Europe, free education is not as valued by students (paying some tuition is generally considered good).

Super excited about attending #LisbonAI tomorrow and Tuesday. If you're around, say hi!

Happy to announce that I joined the crew of @tmlrorg.bsky.social as an action editor 📝 We need a publication model with the fast turnaround of ML conferences but no attendance requirement and less reviewer lottery. I believe TMLR is part of the solution, and if you do too, come review with us!

I'm all for an European Sovereign Tech Fund, that allows one to host their online lifestyle (and businesses) completely within Europe and European companies: wiki.alcidesfonseca.com/blog/eu-open...

Played Ginkgopolis today boardgamegeek.com/boardgame/12... #bggplay via @boardgamegeek.com app

Ending #SPLASH2025 with a splash!

#SPLASH2025 16:15 in Orchid West, @pcanelas.bsky.social will present our work on Refinement Types for specification of Robotic Architectures!

Machine Learning popularity has the side-effect of making PL presentations a lot more graphical, reducing the number of greek letters.

If you’re attending icfp/splash, I hight recommend the night safari! I never had to be kicked out of a zoo at midnight :)

Catarina's talk is in the HATRA workshop, at 10:50am in Orchid room 4201A-4201B. The paper is coauthored with Abigail Reese, @alcidesfonseca.com, and me. Check it out, open access in the @acm.org digital library: dl.acm.org/doi/10.1145/...