Alcides Fonseca.AI & Programming Languages researcher
40.197958, -8.408312

Making intelligent software
more reliable.

I work on the intersection of AI, Software Engineering and Programming Languages. Currently, I am applying Formal Methods to Agents, towards AI Safety.

Program synthesisLiquid typesReliable AIGuardrailsEvals

TIL: Redirect Emails

Today I learned that emails have the option to redirect an email to someone else, while keeping you in the loop but having replies going to the original sender.

Only the address of the original sender is shown to the recipient, and the recipient’s reply goes only to the original sender.

— Apple Mail.app Documentation (via Chris Krycho)

Read next