| ▲ | cloudhead 15 hours ago | |||||||||||||||||||||||||||||||
Thanks for your comment! In terms of concurrent programming in Radiance, it's likely I go for something inspired by Go's simplicity and Haskell's power with STM[0]. Actors are also on the table, but likely as a library on top of the native system, whatever it is. The important thing is that everything that involves "waiting" be composable in this system: timers, network i/o, IPC, file i/o, etc. For the AI/OS intersection, it is indeed a very interesting design space. The key insight really is that the better the AI knows you, the more helpful it can be to you, so the more you give it access to, the better. However, to be safe, the OS itself needs to be locked down in such a way that personal data cannot leave your device. This is why capabilities-based security is an interesting direction: software should not have access to more than what it needs to operate, and you need fine grained control over that. If you have more ideas, please write us! [0]: https://en.wikipedia.org/wiki/Software_transactional_memory | ||||||||||||||||||||||||||||||||
| ▲ | alexisread 2 hours ago | parent | next [-] | |||||||||||||||||||||||||||||||
It looks like you've looked over a number of languages, but I don't see anything about Forth, Forsp, Ante, Steps, Austral, Wat or Vale? I'd suggest they all have useful components to steal from :) https://github.com/ablevm/able-forth https://xorvoid.com/forsp.html https://antelang.org/blog/why_effects/ https://news.ycombinator.com/item?id=43419928 | ||||||||||||||||||||||||||||||||
| ▲ | Flere-Imsaho 14 hours ago | parent | prev [-] | |||||||||||||||||||||||||||||||
Please make a REPL front and centre of the system. REPLs make computers feel like magic to me. | ||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||