WingNews GitHub [2]

user: ndrwnaguib

259 karma | created 4 years ago

recent submissions

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

2 pts|1 month ago|discuss

No certainty of a Milky Way–Andromeda collision (nature.com)

4 pts|9 months ago|discuss

(no title)

10 months ago|discuss

(no title)

10 months ago|discuss

(no title)

10 months ago|discuss

(no title)

10 months ago|discuss

Show HN: Formalizing Principia Mathematica using Lean (github.com)

188 pts|10 months ago|34 comments

Supercomputer Capable of Quantum Telportation (nature.com)

1 pts|1 year ago|discuss

Researchers design wearable tech that can sense glucose levels more accurately (uwaterloo.ca)

385 pts|1 year ago|165 comments

Discharging Lean goals into SMT solvers (github.com)

52 pts|1 year ago|3 comments

(no title)

2 years ago|discuss

Machine Learning for the Vehicle Routing Problem (github.com)

2 pts|2 years ago|1 comment