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

I am looking for 1 or 2 new PhD Students for our dual-degree program with CMU (3 years in Lisbon, and 2 in Pittsburgh). Ping me for more details or, if you're in Singapore this week for SPLASH, let's meet! cmuportugal.org/media/applic...

Can’t decide what to buy on Prime Day? Try: absolutely nothing, and then go support indie bookstores instead 📚

CfP: 10th International Workshop on Green and Sustainable Software (GREENS) at @icseconf.bsky.social 2026 greensworkshop.github.io

Peer Review is dead! wiki.alcidesfonseca.com/blog/peer-re...

I'll be spending next week in Singapore, attending @sigplan.bsky.social SPLASH with Paulo (paper at OOPSLA on LiquidTypes for verification of #ROS architecture) and Catarina (usability challenges of Liquid Types at HATRA). Hit me up! I also appreciate tips on enjoying Singapore :-)

"To provide some sense of scale, that means the equivalent of about $1,800 per person in America will be invested this year on A.I." marginalrevolution.com/marginalrevo...

I haven't got the different between atproto and mastodon styles of federation. I still don't believe any of the two will become mainstream. XMPP was the closest we got: wiki.alcidesfonseca.com/blog/atproto...

@rcarmo.bsky.social I think your links are borked: taoofmac.com/space/links/... has no link to the original page (used to be the screenshot, but no longer).

It would work like a charm in Lisbon!

The state of the Mac app store: blog.jim-nielsen.com/2025/mac-app...

Played The Guild of Merchant Explorers today boardgamegeek.com/boardgame/35... #bggplay via @boardgamegeek.com app

COST Action CA22137 "Randomised Optimisation Algorithms Research Network" (ROAR-NET) organises an online Problem Modelling Code Fest and invites applications for participation. The application deadline is 2 September 2025 AoE. Further information at roar-net.eu/calls/code-f...

Little known fact: reviewers can't actually hurt you if you don't explicitly invite them in first. Ah sorry, no, my bad, that's vampires

Played Daybreak today boardgamegeek.com/boardgame/33... #bggplay via @boardgamegeek.com app

Peak webdesign. I so want to redo mine in a similar style.