[codecraft] an idea for a fault tolerant manycore language

[Philip Durbin]

"having this thought about building a new language, not one that's
dependently typed -- that's a long term project that'll probably turn into
a proof assistant tbh, but something that can actually be used to write
real programs and would be. have an idea for a fault tolerant manycore
language"

http://irclogs.shortcircuit.net.au/%23io/2016-04-18.log.html
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://or8.net/pipermail/codecraft/attachments/20160418/49066645/attachment.html>