DanielFilan comments on What Programming Language Characteristics Would Allow Provably Safe AI?

[DanielFilan]

Here’s a public github for coda, the language he’s been working on, with a bit written about it.