Alcides Fonseca

Typing types. Associate Professor at the University of Lisbon.

[Alcides Fonseca @alcides]

@rcarmo @sapo Matam os blogs, a cloud, e isto é a forma de matar o mail. Numa altura que a europa anda a gastar dinheiro em ficar independente tecnologicamente, parece-me simplesmente parvo.

[Alcides Fonseca @alcides]

@MechanizeWork In person is a deal-breaker

[Peter O'Hearn @PeterOHearn12]

I'm looking for a postdoc to work on Separation Logic in Lean. Position in the London Meta office, in the new AI Verification team. Possibly collaborating with or building on external work on CSLib, Iris-Lean and loom.@AIatMeta @leanprover
https://t.co/HAOutBa3A4

[Alcides Fonseca @alcides]

@hthieblot https://t.co/YlI8M0xq6C

[Daniel Whiteson @DanielWhiteson]

Need a summer project? A friend has built a new non-profit program for undergrad, masters, PhD students and recent grads to build fun, impactful projects with public and private sector mentors this summer. It’s free, and open to anyone:
https://t.co/yyjbfVIjn5

Please share!

[Alcides Fonseca @alcides]

@ShriramKMurthi @headinthebox Neither are very poignant. (A reference to _why, for the young folks out there)

[Alcides Fonseca @alcides]

@headinthebox @ShriramKMurthi Or a love program. Some poets prefer curly braces.

[Thomas Möllenhoff @tmoellenhoff]

I am looking to hire 1-2 interns to work with me in Tokyo at RIKEN, starting October 2026. Topics are in intersection of optimization, DL and Bayesian methods. The internships are fully funded.

More details here, please share with interested students: https://t.co/iyX27ZZ03K

[Alcides Fonseca @alcides]

@tiksiminic Thank you!

[Alcides Fonseca @alcides]

@LakeShowYo 35-18-9 because there will be 1 or 2 OTs

[Alcides Fonseca @alcides]

@simonw has detected another AI inflation point. My thoughts on its implications on the economy of tokens: https://t.co/8VW39iCjVH

[Alcides Fonseca @alcides]

May SGA get two technicals for flopping in the first quarter.

[Marcela @marce_mej1a]

Querido Dios del basket: que los Spurs ganen hoy, amén.

[Spurs Legion @SpursLegion]

What about this one

[Alcides Fonseca @alcides]

@PradyuPrasad You can include me in the list.

[Apart Research @apartresearch]

Secure Program Synthesis Fellowship: Applications open.

Jun-Sep 2026. Remote, part-time. 14 mentors incl. Erik Meijer & Shriram Krishnamurthi. With Atlas Computing.

Apply by May 31:
https://t.co/ySwxkM8u84

[Alcides Fonseca @alcides]

@jointhebridge Expertise in Logic-based safety for guaranteed ai guardrails (unlike LLM-based guardrails).

[EleutherAI @AiEleuther]

The Summer of AI Research 2026 is now accepting applications! Work on an open science AI research project between July 13 and August 16. In this fully online event we invite people with little research experience to contribute to open source under the mentorship of experienced researchers.

[Alcides Fonseca @alcides]

Se eu tivesse conta no polymarket metia 20 euros em como vão despedir 20% dos trabalhadores em 2027.

[Teamlyzer @teamlyzer]

A Noesis (@Noesis_Portugal) ultrapassa os 80M€ pela primeira vez e atinge 82M€ em 2025. Dos mais de 1.300 colaboradores, 1.200 estão em Portugal, com a abertura de novos escritórios na Guarda e Castelo Branco. 💼
#TechPT #TI

[Erik Meijer @headinthebox]

Ha, ha, this has little to do with learning. I effortlessly passed a lot of humanities courses in high-school and college with top grades by simply writing exactly what the teacher wanted to hear, unrelated to what I thought of the topic myself.

You should use the same strategy when you write self- or peer-reviews, pitch decks, submit to a particular conference, … if you want to move fast, use sycophancy to trick the gatekeepers.

So perhaps it was about learning after all, but at the meta level. And who said LLMs do not have sentience when clearly they learned this approach faster than most of us humans.