ndrwnaguib's submissions

1.		Show HN: Formalizing Principia Mathematica using Lean (github.com/ndrwnaguib)
		188 points by ndrwnaguib 17 days ago \| past \| 34 comments
2.		Supercomputer Capable of Quantum Telportation (nature.com)
		1 point by ndrwnaguib 82 days ago \| past
3.		Researchers design wearable tech that can sense glucose levels more accurately (uwaterloo.ca)
		385 points by ndrwnaguib 4 months ago \| past \| 165 comments
4.		Discharging Lean goals into SMT solvers (github.com/ufmg-smite)
		52 points by ndrwnaguib 5 months ago \| past \| 3 comments
5.		Machine Learning for the Vehicle Routing Problem (github.com/isotlaboratory)
		2 points by ndrwnaguib on Oct 17, 2023 \| past \| 1 comment