Alcides Fonseca
@alcidesfonseca.com
📤 375
📥 410
📝 179
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
reposted by
Alcides Fonseca
Gary Marcus
about 2 hours ago
👉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.
13
66
36
Et tu, Cookus?
mjtsai.com/blog/2025/11...
loading . . .
Michael Tsai - Blog - Apple Removes Gay Dating Apps From Chinese App Store
https://mjtsai.com/blog/2025/11/10/apple-removes-gay-dating-apps-from-chinese-app-store/
about 5 hours ago
0
0
0
Played Scythe today
boardgamegeek.com/boardgame/16...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Scythe
Five factions vie for dominance in a war-torn, mech-filled, dieselpunk 1920s Europe.
https://boardgamegeek.com/boardgame/169786
2 days ago
0
0
0
Played CATAN today
boardgamegeek.com/boardgame/13
#bggplay
via
@boardgamegeek.com
app
loading . . .
CATAN
Collect and trade resources to build up the island of Catan in this modern classic.
https://boardgamegeek.com/boardgame/13
3 days ago
0
0
0
Played Creature Comforts on 2025-11-08
boardgamegeek.com/boardgame/30...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Creature Comforts
Winter is coming – prepare your burrow so you and your family can be comfy cozy!
https://boardgamegeek.com/boardgame/304051
4 days ago
0
0
0
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).
loading . . .
UATX Is Ending Tuition Forever
Announcing a historic $100 million donation.
https://www.uaustin.org/free
6 days ago
2
0
2
Super excited about attending
#LisbonAI
tomorrow and Tuesday. If you're around, say hi!
9 days ago
0
0
0
reposted by
Alcides Fonseca
Guillaume Dalle
14 days ago
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!
3
30
4
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...
loading . . .
EU OpenSource Funding by Alcides Fonseca
https://wiki.alcidesfonseca.com/blog/eu-opensource-funding/
14 days ago
0
0
0
Played Ginkgopolis today
boardgamegeek.com/boardgame/12...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Ginkgopolis
Build upwards as well as outwards to control the most buildings in a future eco-city.
https://boardgamegeek.com/boardgame/128271
21 days ago
0
1
0
Ending
#SPLASH2025
with a splash!
24 days ago
0
5
0
#SPLASH2025
16:15 in Orchid West,
@pcanelas.bsky.social
will present our work on Refinement Types for specification of Robotic Architectures!
26 days ago
0
3
0
Machine Learning popularity has the side-effect of making PL presentations a lot more graphical, reducing the number of greek letters.
28 days ago
0
4
0
If you’re attending icfp/splash, I hight recommend the night safari! I never had to be kicked out of a zoo at midnight :)
28 days ago
0
7
1
reposted by
Alcides Fonseca
Jonathan Aldrich
29 days ago
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/...
loading . . .
Usability Barriers for Liquid Types | Proceedings of the ACM on Programming Languages
Liquid types can express richer verification properties than simple type systems. However, despite their advantages, liquid types have yet to achieve widespread adoption. To understand why, we conducted a study analyzing developers' challenges with ...
https://dl.acm.org/doi/10.1145/3729327
0
4
1
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...
loading . . .
Applications are OPEN for up to 10 CMU Portugal Dual Degree Ph.D. Scholarships
The Carnegie Mellon Portugal Program and Fundação para a Ciência e a Tecnologia (FCT) have an open Call for applications for up to 10 (ten) Dual Degree Ph.D. scholarships to start in the 2026/2027 aca...
https://cmuportugal.org/media/applications-are-open-for-up-to-10-cmu-portugal-dual-degree-ph-d-scholarships-2026-2027/
about 1 month ago
0
1
1
reposted by
Alcides Fonseca
Bookshop.org
about 1 month ago
Can’t decide what to buy on Prime Day? Try: absolutely nothing, and then go support indie bookstores instead 📚
64
7846
2978
reposted by
Alcides Fonseca
Adolfo Neto
about 1 month ago
CfP: 10th International Workshop on Green and Sustainable Software (GREENS) at
@icseconf.bsky.social
2026
greensworkshop.github.io
loading . . .
10th International Workshop on Green and Sustainable Software (GREENS’26)
Official website of the International Workshop on Green and Sustainable Software (GREENS)
https://greensworkshop.github.io/
0
0
1
Peer Review is dead!
wiki.alcidesfonseca.com/blog/peer-re...
loading . . .
Peer Review is Dead by Alcides Fonseca
https://wiki.alcidesfonseca.com/blog/peer-review-is-dead/
about 1 month ago
1
1
0
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 :-)
about 1 month ago
0
4
0
"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...
loading . . .
Sentences to ponder - Marginal REVOLUTION
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. Here is more from Natasha Sarin at the NYT.
https://marginalrevolution.com/marginalrevolution/2025/10/sentences-to-ponder-133.html?utm_source=feedly&utm_medium=rss&utm_campaign=sentences-to-ponder-133
about 1 month ago
0
1
0
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...
loading . . .
ATProto vs Mastodon by Alcides Fonseca
https://wiki.alcidesfonseca.com/blog/atproto-vs-mastodon/
about 1 month ago
0
1
0
@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).
loading . . .
Benjamin Button Reviews macOS
A hilarious satire of macOS Tahoe’s disastrous design changes as a fictional retrospective that compares them to other versions of macOS wit...
https://taoofmac.com/space/links/2025/09/23/1230
about 2 months ago
0
0
0
It would work like a charm in Lisbon!
add a skeleton here at some point
about 2 months ago
0
1
0
The state of the Mac app store:
blog.jim-nielsen.com/2025/mac-app...
loading . . .
The Mac App Flea Market
Writing about the big beautiful mess that is making things for the world wide web.
https://blog.jim-nielsen.com/2025/mac-app-flea-market/
about 2 months ago
0
1
0
Played The Guild of Merchant Explorers today
boardgamegeek.com/boardgame/35...
#bggplay
via
@boardgamegeek.com
app
loading . . .
The Guild of Merchant Explorers
Explore strange lands, establish trade routes, and search for treasure.
https://boardgamegeek.com/boardgame/350933
about 2 months ago
0
0
0
reposted by
Alcides Fonseca
Bogdan FilipiÄŤ
2 months ago
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...
0
2
1
reposted by
Alcides Fonseca
Clément Canonne
3 months ago
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
3
13
1
Played Daybreak today
boardgamegeek.com/boardgame/33...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Daybreak
Cooperatively decarbonize the planet and create resilient societies.
https://boardgamegeek.com/boardgame/334986
3 months ago
0
4
0
Peak webdesign. I so want to redo mine in a similar style.
add a skeleton here at some point
3 months ago
0
5
0
Played Carpe Diem today
boardgamegeek.com/boardgame/24...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Carpe Diem
Build villas and lands to produce gold, bread and goods in ancient Rome.
https://boardgamegeek.com/boardgame/245934
3 months ago
0
0
0
Reddit blocks the Internet Archive. First evidence of my predicted Internet Apocalypse:
wiki.alcidesfonseca.com/blog/reddit-...
loading . . .
Reddit will block the Internet Archive by Alcides Fonseca
https://wiki.alcidesfonseca.com/blog/reddit-will-block-the-internet-archive/
3 months ago
0
2
1
reposted by
Alcides Fonseca
Type Theory Forall
3 months ago
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!
1
3
4
This could actually improve the usage of public transportation!
add a skeleton here at some point
3 months ago
0
2
1
reposted by
Alcides Fonseca
🇨🇦 Joey Eremondi
3 months ago
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?
1
8
12
Played The Red Cathedral today
boardgamegeek.com/boardgame/22...
#bggplay
via
@boardgamegeek.com
app
loading . . .
The Red Cathedral
Lead a construction team to build Saint Basil's Cathedral under the Tsar's reign.
https://boardgamegeek.com/boardgame/227224
3 months ago
0
2
0
reposted by
Alcides Fonseca
Kit de Waal
4 months ago
You’re so Venn
8
468
141
reposted by
Alcides Fonseca
hardmaru
4 months ago
ICML’s Statement about subversive hidden LLM prompts We live in a weird timeline…
icml.cc/Conferences/...
5
43
11
My take on Subliminal Learning: neural network connections mix concepts that humans group separated. Read more here:
wiki.alcidesfonseca.com/blog/sublimi...
loading . . .
Subliminal Learning by Alcides Fonseca
https://wiki.alcidesfonseca.com/blog/subliminal-learning/
4 months ago
0
2
0
Played Twilight Imperium: Fourth Edition today
boardgamegeek.com/boardgame/23...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Twilight Imperium: Fourth Edition
Build an intergalactic empire through trade, research, conquest and grand politics.
https://boardgamegeek.com/boardgame/233078
4 months ago
0
2
0
Played Race for the Galaxy today
boardgamegeek.com/boardgame/28...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Race for the Galaxy
Worlds await! Colonize, develop and conquer, taking advantage of others' choices.
https://boardgamegeek.com/boardgame/28143
4 months ago
0
3
0
Played Langfinger today
boardgamegeek.com/boardgame/58...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Langfinger
Get the tools, steal the loot, find a fence. Stealing is hard work but pays off!
https://boardgamegeek.com/boardgame/58329
4 months ago
0
1
0
Damn, these scores don't even get you a presentation spot at
#ROSCon
! Tough crowd.
4 months ago
0
1
1
reposted by
Alcides Fonseca
Hal 10000
4 months ago
This was basically The Force Awakens.
56
1903
159
Played Carcassonne today
boardgamegeek.com/boardgame/822
#bggplay
via
@boardgamegeek.com
app
loading . . .
Carcassonne
Shape the medieval landscape of France, claiming cities, monasteries and farms.
https://boardgamegeek.com/boardgame/822
4 months ago
0
1
0
Played Hansa Teutonica today
boardgamegeek.com/boardgame/43...
#bggplay
via
@boardgamegeek.com
app
loading . . .
Hansa Teutonica
Build networks of merchants along the roads and market towns of the Hanseatic League.
https://boardgamegeek.com/boardgame/43015
4 months ago
0
1
0
Foundation S02E03 got it right! \cc
@vaguery.bsky.social
4 months ago
0
2
0
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...
loading . . .
Trust in Scientific Code by Alcides Fonseca
http://wiki.alcidesfonseca.com/blog/trust-in-scientific-code
4 months ago
0
2
1
@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!)
4 months ago
0
3
0
Wizard of Id always gets current events right.
4 months ago
0
3
0
Load more
feeds!
log in