_d4bj

4 ms·

1. 1.▲
   by _d4bj 9y ago

   Thanks! I should probably include some more details on how to program the simulator. Turing machines are just one simple way for formalizing programs, without all the complexities of modern programming languages. The core idea is that whate
2. 2.▲
   Show HN: Angelic-hierarchy, a game about Turing machines, philosophy, and math(modalduality.org)

   95 points by _d4bj 9y ago|20 comments
3. 3.▲
   by _d4bj 9y ago

   I think the OP is referring to simulating an oblivious Turing machine on the encrypted data, which itself is a Turing machine and some data. I don't think this is known to be intractable, just really slow (for now).
4. 4.▲
   TFHE: Fast Fully-Homomorphic Encryption Over the Torus(tfhe.github.io)

   196 points by _d4bj 9y ago|94 comments
5. 5.▲
   by _d4bj 9y ago

   If there was no salt in the database, it looks Tumblr used a secret "pepper" ( https://en.wikipedia.org/wiki/Pepper_(cryptography) )? Why wouldn't they include a salt as well? Or did the database dump just
6. 6.▲
   by _d4bj 9y ago

   >In the history of cryptology, women tend to be either systematically excluded or reduced to objects. This is probably true, but cryptography/theoretical computer science might be one area where women have better representation than