canndrew2016

3 ms·

1. 1.▲
   by canndrew2016 8y ago

   > The first part of your comment is unresponsive to mine; I interpreted OP's comment as complaining about the lack of more general abstractions in Rust that would allow you to implement async/await. Your comment specifically me
2. 2.▲
   by canndrew2016 8y ago

   > Monads as implemented in pure functional programming languages like Haskell cannot usefully abstract over asynchronous and synchronous IO in Rust for a variety of reasons having to do with the way the type system exposes low level deta
3. 3.▲
   by canndrew2016 10y ago

   Not that I know of now. Here's the original RFC that became the RFC which got .onion recognized http://www.potaroo.net/ietf/idref/draft-grothoff-iesg-specia... They were trying to get .gns, .zkey, .onion, .ex
4. 4.▲
   by canndrew2016 10y ago

   Also, they were originally trying to get several already-in-use psuedo-TLDs recognized including .onion, .i2p, .bit and .gns, but they had to compromise.
5. 5.▲
   by canndrew2016 10y ago

   They recently got taken under the wing of Inria and have several people working on it full time.
6. 6.▲
   by canndrew2016 10y ago

   https://gnunet.org/gns
7. 7.▲
   by canndrew2016 11y ago

   I asked about this in /r/dependent_types yesterday. Apparently there's already a fair bit or research going on in this area. See the links: https://www.reddit.com/r/dependent_types/comments/49z1