Search: github.com/ndrwnaguib | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

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

188 points

a year ago

2.

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

2 points

5 months ago

3.

Discharging Lean goals into SMT solvers (github.com/ufmg-smite)

52 points

2 years ago

4.

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

2 points

3 years ago