ndrwnaguib

4 ms·

1. 1.▲
   Show HN: ZK-auctions – experimenting with zero-knowledge sealed-bid auctions(github.com)

   2 points by ndrwnaguib 9mo ago|0 comments
2. 2.▲
   No certainty of a Milky Way–Andromeda collision(nature.com)

   4 points by ndrwnaguib 1y ago|0 comments
3. 3.▲
   by ndrwnaguib 1y ago

   Thank you!
4. 4.▲
   by ndrwnaguib 1y ago

   I have not used `naproche` before; thanks for the suggestion. I will try several propositions and see what do I get!
5. 5.▲
   by ndrwnaguib 1y ago

   Yes; the goal is to finish the first volume. I am particularly looking forward to formalizing the well-known 1+1 proof.
6. 6.▲
   by ndrwnaguib 1y ago

   You're not missing something. The project begun several months ago (I had to pause while I was writing my thesis). I resumed working on it recently.
7. 7.▲
   Show HN: Formalizing Principia Mathematica using Lean(github.com)

   188 points by ndrwnaguib 1y ago|34 comments
8. 8.▲
   Supercomputer Capable of Quantum Telportation(nature.com)

   1 points by ndrwnaguib 2y ago|0 comments
9. 9.▲
   Researchers design wearable tech that can sense glucose levels more accurately(uwaterloo.ca)

   385 points by ndrwnaguib 2y ago|165 comments
10. 10.▲
    Discharging Lean goals into SMT solvers(github.com)

    52 points by ndrwnaguib 2y ago|3 comments
11. 11.▲
    Machine Learning for the Vehicle Routing Problem(github.com)

    2 points by ndrwnaguib 3y ago|1 comments
12. 12.▲
    by ndrwnaguib 3y ago

    This is a recent work on approximating solutions to the VRP and BPP by emulating the branching strategy of the Branch and Bound algorithm.