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