HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: Formalizing Principia Mathematica using Lean
github.com/ndrwnaguib
34 comments
a year ago
ndrwnaguib
188 points
2.
▲
Show HN: ZK-auctions – experimenting with zero-knowledge sealed-bid auctions
github.com/ndrwnaguib
discuss
5 months ago
ndrwnaguib
2 points
3.
▲
Discharging Lean goals into SMT solvers
github.com/ufmg-smite
3 comments
2 years ago
ndrwnaguib
52 points
4.
▲
Machine Learning for the Vehicle Routing Problem
github.com/isotlaboratory
1 comment
3 years ago
ndrwnaguib
2 points