Alcides Fonseca
alcidesfonseca.com
Alcides Fonseca
@alcidesfonseca.com
Synth-sizing programs. Associate Professor at U. Lisbon. blogs at alcidesfonseca.com
November 15, 2025 at 10:56 PM
November 15, 2025 at 9:05 PM
Ending #SPLASH2025 with a splash!
October 19, 2025 at 6:16 AM
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
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
Good news!
October 14, 2025 at 2:35 AM
Damn, these scores don't even get you a presentation spot at #ROSCon! Tough crowd.
July 14, 2025 at 10:10 AM
Foundation S02E03 got it right! \cc @vaguery.bsky.social
July 9, 2025 at 11:58 AM
@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!)
July 7, 2025 at 10:14 AM
Wizard of Id always gets current events right.
July 6, 2025 at 3:10 PM
Played Origins: First Builders today boardgamegeek.com/boardgame/32... #bggplay via @boardgamegeek.com app
June 28, 2025 at 4:27 PM
That airport life at 4am. #gptp2025
June 4, 2025 at 2:44 AM
Played Let's Go! To Japan today boardgamegeek.com/boardgame/36... #bggplay via @boardgamegeek.com app
May 27, 2025 at 10:07 PM
April 12, 2025 at 5:21 PM
Another #Leiriacon is over! See you next year!
April 6, 2025 at 4:30 PM
📝New blog post: Copyright, LLMs and the Future of the Web: wiki.alcidesfonseca.com/blog/on-copy...
March 13, 2025 at 9:39 AM
If you see this, post an Archer. www.goldderby.com/wp-content/u...
January 17, 2025 at 11:53 PM
Really interesting talk about proofs @ lasige!
November 27, 2024 at 11:57 AM