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

Smultron

Yesterday I found Smultron, an opensource editor in Cocoa that with a few tweaks could be at the level of Textmate. Those tweaks would be:

Theme system

I like to use a dark background, but in some presentations I need a white one, so I’d like to switch between a few color schemes with a click. And I know that’s something really simple to implement.

Plugin System

Well, you have Commands and Snippets, but I like the way textmate organizes it. And make them easy to download and install, and even remove.

VCS support.

You know, git, svn, bzr, hg those cool things people use to control their code. Oh, and what about some deployment stuff? Like some SFTP coda-style?

If I hadn’t bought Textmate, I would be using Smultron for sure in Mac OS!