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

Played Carpe Diem today boardgamegeek.com/boardgame/24... #bggplay via @boardgamegeek.com app

Reddit blocks the Internet Archive. First evidence of my predicted Internet Apocalypse: wiki.alcidesfonseca.com/blog/reddit-...

Big news! We are launching a new sponsorship program for orgs passionate about Programming Languages & Type Theory. Reach a highly engaged, technical audience! Email [email protected] for details. Please RT to help us reach big companies and deepen our content focus!

This could actually improve the usage of public transportation!

Summer Undergraduate Internship - reposts welcome! Are you a senior undergrad, interested in Programming Languages? Do you want to visit Canada for a paid 12-week internship?

Played The Red Cathedral today boardgamegeek.com/boardgame/22... #bggplay via @boardgamegeek.com app

You’re so Venn

ICML’s Statement about subversive hidden LLM prompts We live in a weird timeline… icml.cc/Conferences/...

My take on Subliminal Learning: neural network connections mix concepts that humans group separated. Read more here: wiki.alcidesfonseca.com/blog/sublimi...

Played Twilight Imperium: Fourth Edition today boardgamegeek.com/boardgame/23... #bggplay via @boardgamegeek.com app

Played Race for the Galaxy today boardgamegeek.com/boardgame/28... #bggplay via @boardgamegeek.com app

Played Langfinger today boardgamegeek.com/boardgame/58... #bggplay via @boardgamegeek.com app

Damn, these scores don't even get you a presentation spot at #ROSCon! Tough crowd.

This was basically The Force Awakens.

Played Carcassonne today boardgamegeek.com/boardgame/822 #bggplay via @boardgamegeek.com app

Played Hansa Teutonica today boardgamegeek.com/boardgame/43... #bggplay via @boardgamegeek.com app

Foundation S02E03 got it right! \cc @vaguery.bsky.social

On his blog post, @hillelwayne.com challenges the correctness of scientific code. He is 100%, from my experience of finding bugs in my own experiments late in the process. A few suggestions to minimize this issue: wiki.alcidesfonseca.com/blog/trust-i...

@pcanelas.bsky.social presenting a tutorial on efficiently prompting your LLM to our first cohort of summer interns (Paulo is also the designer of the program!)

Wizard of Id always gets current events right.