HN Explorer

ndrwnaguib

↗ HN profile [ 27.6 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: ZK-auctions – experimenting with zero-knowledge sealed-bid auctions (github.com)

    I wanted to share a small research / engineering project I’ve been working on: zk-auctions, an experiment in building sealed-bid auctions using zero-knowledge proofs. The basic idea is to let participants submit bids…

    2 points 0
  2. No certainty of a Milky Way–Andromeda collision (nature.com)
    4 points 0
  3. Show HN: Formalizing Principia Mathematica using Lean (github.com)

    This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no…

    188 points 37
  4. Supercomputer Capable of Quantum Telportation (nature.com)
    1 points 0
  5. Researchers design wearable tech that can sense glucose levels more accurately (uwaterloo.ca)
    385 points 170
  6. Discharging Lean goals into SMT solvers (github.com)
    52 points 3
  7. Machine Learning for the Vehicle Routing Problem (github.com)
    2 points 1