Hacker News new | ask | show | jobs
user: ndrwnaguib
created: 2021-12-29
karma: 259

submissions:

Show HN: ZK-auctions – experimenting with zero-knowledge sealed-bid auctions
2 points | 0 comments
No certainty of a Milky Way–Andromeda collision
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Formalizing Principia Mathematica using Lean
188 points | 34 comments
Supercomputer Capable of Quantum Telportation
1 points | 0 comments
Researchers design wearable tech that can sense glucose levels more accurately
385 points | 165 comments
Discharging Lean goals into SMT solvers
52 points | 3 comments
0 points | 0 comments
Machine Learning for the Vehicle Routing Problem
2 points | 1 comments