ndrwnaguib

Wed Dec 29, 2021 7:25pm PST

Karma:

256

submitted

Fri Apr 25, 2025 6:49pm PST

Show HN: Formalizing Principia Mathematica using Lean

@ndrwnaguib

10

34

180

Thurs Feb 20, 2025 4:05am PST

Supercomputer Capable of Quantum Telportation

@ndrwnaguib

1

Sun Jan 5, 2025 2:12am PST

Researchers design wearable tech that can sense glucose levels more accurately

@ndrwnaguib

42

165

385

Thurs Nov 21, 2024 8:02pm PST

Discharging Lean goals into SMT solvers

@ndrwnaguib

1

3

52

Tues Oct 17, 2023 1:09am PST

Machine Learning for the Vehicle Routing Problem

@ndrwnaguib

1

1

2