Stories by ndrwnaguib

Show HN: Formalizing Principia Mathematica using Lean

Supercomputer Capable of Quantum Telportation

Researchers design wearable tech that can sense glucose levels more accurately

Discharging Lean goals into SMT solvers

Machine Learning for the Vehicle Routing Problem