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

A few tips by Austin Henley on how to select your side project as a CS student, and a few suggestions by Joshua Barretto. wiki.alcidesfonseca.com/blog/how-to-...

I wish more companies did this: a scholarship with: 1. Some financial support for students at a local university 2. Connecting with a mentor at the company Costs little for the co, gives back, and helps with internships + recruitment! ASML does it for 40 students/year

Played Origins: First Builders today boardgamegeek.com/boardgame/32... #bggplay via @boardgamegeek.com app

@neurocy.bsky.social you might appreciate this talk: www.youtube.com/watch?v=c5LO... kinda similar to your livelets

We'd really appreciate help with our study of Rust programming! If you know Rust, please take about 20-30 minutes to help us find out how to make Rust programmers more effective: ucsd.co1.qualtrics.com/jfe/form/SV_...

Played Origins: First Builders today boardgamegeek.com/boardgame/32... #bggplay via @boardgamegeek.com app

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

PhD and MSc students interested in Theorem Proving or Evolutionary Computation can apply for a Species scholarship to visit and collaborate with me in lisbon: wiki.alcidesfonseca.com/research/tea...

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

Played Lost Cities: Roll

Played Race for the Galaxy: Rebel vs Imperium today boardgamegeek.com/boardgameexp... #bggplay via @boardgamegeek.com app

#PLDI2025 Come to my talk tomorrow after the first break in the Orchid room and learn about 📜 Usability barriers for liquid types 👩‍💻

#LiquidTypes are a lightweight way to specify and check code properties. What stands in the way of more widespread adoption? Friday at 10:30, @catarinavgamboa.bsky.social presents our #PLDI2025 paper (with Abigail Reese and @alcidesfonseca.com), "Usability Barriers for Liquid Types."

Played Dominant Species: Marine today boardgamegeek.com/boardgame/26... #bggplay via @boardgamegeek.com app

Played Castle Combo today boardgamegeek.com/boardgame/41... #bggplay via @boardgamegeek.com app

Played 7 Empires today boardgamegeek.com/boardgame/41... #bggplay via @boardgamegeek.com app

Played Haspelknecht: The Story of Early Coal Mining today boardgamegeek.com/boardgame/16... #bggplay via @boardgamegeek.com app

Played TEAM3 PINK today boardgamegeek.com/boardgame/24... #bggplay via @boardgamegeek.com app

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

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

Played Indigo today boardgamegeek.com/boardgame/11... #bggplay via @boardgamegeek.com app