ndrwnaguib

Wed Dec 29, 2021 7:25pm PST

Karma:

259

submitted

Wed Jan 7, 2026 5:06pm PST

Show HN: ZK-auctions – experimenting with zero-knowledge sealed-bid auctions

@ndrwnaguib

2

Wed Jun 4, 2025 8:39pm PST

No certainty of a Milky Way–Andromeda collision

@ndrwnaguib

4

Fri Apr 25, 2025 6:49pm PST

Show HN: Formalizing Principia Mathematica using Lean

@ndrwnaguib

10

34

188

Thurs Feb 20, 2025 4:05am PST

Supercomputer Capable of Quantum Telportation

@ndrwnaguib

1

Sun Jan 5, 2025 2:12am PST

Researchers design wearable tech that can sense glucose levels more accurately

@ndrwnaguib

42

165

385

Thurs Nov 21, 2024 8:02pm PST

Discharging Lean goals into SMT solvers

@ndrwnaguib

1

3

52

Tues Oct 17, 2023 1:09am PST

Machine Learning for the Vehicle Routing Problem

@ndrwnaguib

1

1

2