Fernando Borretti
Fernando Borretti is a software engineer based in Sydney, Australia, who writes the blog at borretti.me. He is best known as the creator of the Austral programming language, a systems language featuring linear types and capabilities, and for his open-source projects including hashcards, a plain text-based spaced repetition system. His interests span compilers, programming language theory, data modeling, and the future of intelligence, and he has appeared on multiple podcasts including Glasp Talk and the Func Prog Podcast.
“Even if alignment works perfectly (a big if), this doesn't solve the problem of human autonomy: the machines that watch over us, and wait on us hand and foot, are omniscient, omnipotent masters, who can exterminate us at any time, and we can't resist them, because we have abolished our control over the future.”
AI-extracted from podcast / newsletter / paper summaries. May contain errors.