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

HTML5 vs XHTML2 clarification

A lot has been said about the dumped XHTML 2 specs. But the best thing I ever read about it, that’s both correct and clear is this comic. Via @brunofigueiredo

For what it’s worth, I believe the XHTML syntax is better because I believe strict is always better when you write and it makes easy to integrate existing XML tools to generate/read/transform HTML content.