3 ms·
You've probably already seen https://riffle.systems/essays/prelude/ https://riffle.systems/essays/prelude/ - one of my favorite recent research projects in this
by evnc 3y ago
You've probably already seen https://riffle.systems/essays/prelude/ https://riffle.systems/essays/prelude/ - one of my favorite recent research projects in this space, it is very much in line with what you're describing. Sad that it didn't seem to go anywhere after a couple introductory posts.
- schickling 3y agoWe're still working on it! We'll hopefully have more to share soon! In the meanwhile you might like this talk by Geoffrey: https://www.youtube.com/watch?v=zjl7CpG9h3w&pp=ygUNZ2VvZmZyZXkgbGl0dA%3D%3D https://www.youtube.com/watch?v=zjl7CpG9h3w&pp=ygUNZ2VvZmZyZ...