FloDo

4 ms·

1. 1.▲
   by FloDo 6y ago

   Related, a working paper published by the Swiss National Bank on using this technology for a central bank digital currency: https://news.ycombinator.com/item?id=26260524
2. 2.▲
   Swiss National Bank: How to issue a central bank digital currency(snb.ch)

   4 points by FloDo 6y ago|0 comments
3. 3.▲
   It’s 255:19AM. Do you know what your validation criteria are?(hdevalence.ca)

   199 points by FloDo 6y ago|28 comments
4. 4.▲
   Verifpal: New software for verifying the security of cryptographic protocols(verifpal.com)

   3 points by FloDo 7y ago|0 comments
5. 5.▲
   by FloDo 9y ago

   Once the Payment Handler API [1] is completed and implemented in browsers and browser extensions can register themselves as payment handlers, GNU Taler could be used through the Payment Request API. [1] https://www.w3.org/
6. 6.▲
   by FloDo 9y ago

   > Richard Stallman said it is non-free And after actually reading it he said it's okay to use for GNU projects: https://lists.gnu.org/archive/html/directory-discuss/2017-01...
7. 7.▲
   by FloDo 10y ago

   Do you even realize that these two loops are not equivalent? One of them starts at 8, then other one starts at 9 ...