Alcides Fonseca

AI Safety Researcher. Blogs at

[Rui Brito da Silva ⚓ @ruijorgesilva1]

Alfa Pendular
Em Turística (2° Classe)
Aveiro - Oriente
Oriente - Aveiro
3 pessoas
‼️186,00€‼️‼️
Depois não querem que se usem o carro.
Vão apanhar neve para a Gronelândia

[Ilya Sergey @ilyasergey]

@florian_tramer The same way Rust compiler guarantees memory safety and data race freedom of any execution of a Rust program that type-checks and has no Unsafe blocks — by the power of sound symbolic reasoning. AI just scales this reasoning to proofs of more complex properties of the code.

[Alcides Fonseca @alcides]

@kristianfreeman @SpaceXAI Checkout the codeset team: https://t.co/gWDiCCAmXF

[Alcides Fonseca @alcides]

@gabfon_ @LuisGuimarais the original idea was openrouter’s free plan. But 50 requests per days seems too low.

[Alcides Fonseca @alcides]

Help! This semester, I'm planning to ask my 125 students to build their own code hardness as the project for my take on the Missing Semester. Any idea of how to get free tokens for them to do the project? In Portugal, we don't have .edu accounts, so I need a domain whitelisting.

[Alcides Fonseca @alcides]

@RanjitJhala @evancz This paper was the inspiration behind aeonbox, and using information flow to constrain agents.

[Álvaro Samagaio ᯅ @alvaromsamagaio]

One of the Silver sponsors of @lisbonai_ -> @supabase has two free tickets for Lisbon AI, and we want them to go to talented builders who would otherwise not be able to afford to attend

If you are a young engineer who is serious about building, apply here: https://t.co/BNwW18h6A8

Know a builder who should be in the room? Send this to them.

[Gonçalo @goncalossilva]

I'm giving away 2 tickets to @lisbonai_ to students. The more knee-deep in AI fundamentals, the better.

Who should get them? DM me.

@alcides @ABarroso @locks @ferreira_hugo @belchior Academia was mostly MIA last year. Let's fix that.

[Maxime Chevalier @Love2Code]

I'm looking for my next role, in Montreal or remote! My background spans compilers, systems, and AI research.

I'd welcome introductions, leads, or a repost to help spread the word ❤️

More details about my experience and what I'm looking for: https://t.co/yaLxClffnM

[Alcides Fonseca @alcides]

@LuisGuimarais That’s my backup plan (even serving it myself with some proxy to control ddos). But i know that it makes a huge difference using the most recent models (even if luna or composer)

[Alcides Fonseca @alcides]

@casapiara @rodriguespn23 @davidgomes @mattzcarey @celso @thomasgauvin @savasvedova @PedroMScom Thanks so much 🤩even if it does not pan out! I only need to cover now to december 12th. Roughly 3 months.

[Alcides Fonseca @alcides]

@_AlfredoJones You are caching for everyone. Disk is currently cheaper than tokens.

[SAIR @SAIRfoundation]

Lean Kernel Challenge Stage 1 is live!

Join @leanprover and SAIR to improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit from.

https://t.co/KJyCi8X8eM

[Alcides Fonseca @alcides]

There is a space for a programming language with a safe StdLib that does not allow code to escape the sandbox. I wonder which languages tick this box.

(TLDR; You could run arbitrary code on the documentation server by publishing a ruby gem)
https://t.co/QxejspcJFZ

[Alcides Fonseca @alcides]

@JustDeezGuy @cue_lang Or verse (from epic games)

[Lawrence Jang @JangLawrenceK]

We are running a weekly Agents + RL + Envs seminar at CMU this semester. We are happy to field external speakers, please DM me if you are interested in giving a talk!

We are also looking for sponsors - please DM or email me. You can also reach out to @kohjingyu @PranjalAggarw16 @stephofx @ianwu97!

[Alcides Fonseca @alcides]

How do open-weight models deal with a brand new programming language? Fine-tuning works!

https://t.co/nsy5UCV1eV

[Aws Albarghouthi @awsTO]

We should rebrand Formal Verification to Proof Against the Machine

[Alcides Fonseca @alcides]

@Steve_Yegge plain old screen -DR on a server. each terminal can have a different harness running.

[Alcides Fonseca @alcides]

Starting to feel withdrawal symptoms. Send help.