Alcides Fonseca
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
Played Manhattan Project: Energy Empire today boardgamegeek.com/boardgame/42... #bggplay via @boardgamegeek.com app
Manhattan Project: Energy Empire
Build power plants, not bombs.
boardgamegeek.com
November 19, 2025 at 11:39 PM
Played Manhattan Project: Energy Empire today boardgamegeek.com/boardgame/42... #bggplay via @boardgamegeek.com app
San Juan
Cards have multiple potential uses -- choose wisely to build the city.
boardgamegeek.com
November 19, 2025 at 8:10 PM
I just love Kathleen for this position! We need this in Portugal as well!
Kathleen Fisher is an inspired choice as the next ARIA CEO. And I was *just* reading her papers on PADS to send to @patrick.sirref.org as ideas for our time travelling shell! ariaresearch.substack.com/p/introducin...
Introducing ARIA’s next CEO
Kathleen Fisher will join us in February 2026.
ariaresearch.substack.com
November 19, 2025 at 8:46 AM
I just love Kathleen for this position! We need this in Portugal as well!
Monkey Palace
Rebuild a breathtaking palace for a community of monkeys.
boardgamegeek.com
November 15, 2025 at 10:56 PM
Played Ark Nova: Marine Worlds today boardgamegeek.com/boardgameexp... #bggplay via @boardgamegeek.com app
Ark Nova: Marine Worlds
Add new animals, enclosures, and action cards to Ark Nova.
boardgamegeek.com
November 15, 2025 at 9:01 PM
Played Ark Nova: Marine Worlds today boardgamegeek.com/boardgameexp... #bggplay via @boardgamegeek.com app
Reposted by Alcides Fonseca
👉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.
👉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.
November 11, 2025 at 6:52 PM
👉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.
👉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...
Michael Tsai - Blog - Apple Removes Gay Dating Apps From Chinese App Store
mjtsai.com
November 11, 2025 at 3:53 PM
Et tu, Cookus? mjtsai.com/blog/2025/11...
Scythe
Five factions vie for dominance in a war-torn, mech-filled, dieselpunk 1920s Europe.
boardgamegeek.com
November 9, 2025 at 6:21 PM
CATAN
Collect and trade resources to build up the island of Catan in this modern classic.
boardgamegeek.com
November 8, 2025 at 8:08 PM
Played Creature Comforts on 2025-11-08 boardgamegeek.com/boardgame/30... #bggplay via @boardgamegeek.com app
Creature Comforts
Winter is coming – prepare your burrow so you and your family can be comfy cozy!
boardgamegeek.com
November 8, 2025 at 1:08 AM
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).
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).
UATX Is Ending Tuition Forever
Announcing a historic $100 million donation.
www.uaustin.org
November 6, 2025 at 12:16 AM
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).
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).
Reposted by Alcides Fonseca
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!
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!
October 28, 2025 at 12:42 PM
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!
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...
EU OpenSource Funding by Alcides Fonseca
wiki.alcidesfonseca.com
October 28, 2025 at 11:46 AM
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...
Ginkgopolis
Build upwards as well as outwards to control the most buildings in a future eco-city.
boardgamegeek.com
October 21, 2025 at 10:10 PM
#SPLASH2025 16:15 in Orchid West, @pcanelas.bsky.social will present our work on Refinement Types for specification of Robotic Architectures!
October 17, 2025 at 7:16 AM
#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.
October 15, 2025 at 1:31 AM
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 :)
October 15, 2025 at 12:55 AM
If you’re attending icfp/splash, I hight recommend the night safari! I never had to be kicked out of a zoo at midnight :)
Reposted by Alcides Fonseca
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/...
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 ...
dl.acm.org
October 14, 2025 at 12:22 AM
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...
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...
cmuportugal.org
October 12, 2025 at 4:03 PM
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...
Reposted by Alcides Fonseca
Can’t decide what to buy on Prime Day?
Try: absolutely nothing, and then go support indie bookstores instead 📚
Try: absolutely nothing, and then go support indie bookstores instead 📚
October 7, 2025 at 2:23 PM
Can’t decide what to buy on Prime Day?
Try: absolutely nothing, and then go support indie bookstores instead 📚
Try: absolutely nothing, and then go support indie bookstores instead 📚
Reposted by Alcides Fonseca
CfP: 10th International Workshop on Green and Sustainable Software (GREENS) at @icseconf.bsky.social 2026
greensworkshop.github.io
greensworkshop.github.io
10th International Workshop on Green and Sustainable Software (GREENS’26)
Official website of the International Workshop on Green and Sustainable Software (GREENS)
greensworkshop.github.io
October 7, 2025 at 1:22 PM
CfP: 10th International Workshop on Green and Sustainable Software (GREENS) at @icseconf.bsky.social 2026
greensworkshop.github.io
greensworkshop.github.io
Peer Review is dead! wiki.alcidesfonseca.com/blog/peer-re...
Peer Review is Dead by Alcides Fonseca
wiki.alcidesfonseca.com
October 7, 2025 at 9:59 AM
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 :-)
@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 :-)
October 6, 2025 at 10:26 PM
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 :-)
@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 :-)