lbeziaud

7 ms·

1. 31.▲
   by lbeziaud 9y ago

   The idea seems interesting but I can't try it, Papr [0] uses Google to login... [0] https://jhubiostatistics.shinyapps.io/papr
2. 32.▲
   Colliding md5 hashes of human-meaningful(gelato.unsw.edu.au)

   2 points by lbeziaud 9y ago|0 comments
3. 33.▲
   Test-Driven Development: Does It Really Matter to Test-First or to Test-Last?(arxiv.org)

   2 points by lbeziaud 9y ago|0 comments
4. 34.▲
   TikZ people(tex-talk.net)

   2 points by lbeziaud 9y ago|0 comments
5. 35.▲
   by lbeziaud 9y ago

   I think Stan uses sampling-based Monte Carlo, whereas PSI is based on static program analysis.
6. 36.▲
   by lbeziaud 9y ago

   Nice paper! This could be a great tool to help debugging differential privacy [0] of an algorithm. Certainly much simpler than CertiPriv [1]. [0] https://www.cis.upenn.edu/~aaroth/Papers/privacybook.pdf [1] http:
7. 37.▲
   I, Librarian – collaborative PDF manager(i-librarian.net)

   4 points by lbeziaud 9y ago|0 comments
8. 38.▲
   by lbeziaud 10y ago

   Isn't that the main point of differential privacy?
9. 39.▲
   Grover's algorithm with cats(people.irisa.fr)

   2 points by lbeziaud 10y ago|0 comments
10. 40.▲
    A Galois connection calculus for abstract interpretation [pdf](di.ens.fr)

    4 points by lbeziaud 10y ago|0 comments