Ask HN: Self-directed learning path for machine learning in 2023?

2023-06-25

Wearable device that records your voice for legal defense

2023-06-24

No direct proof Covid-19 stemmed from Wuhan lab leak, US intelligence says

2023-06-24

Mostly Automated Proof Repair for Verified Libraries [pdf]

2023-06-21

Book of Proof (2018)

2023-06-17

Proof of Work Captchas

2023-06-17

Basics of Proofs [pdf]

2023-06-16

Flow Proof Helps Mathematicians Find Stability in Chaos

2023-06-16

AMD openSIL open source firmware proof of concept

2023-06-14

Fail-proof trick to get your brain into flow state, according to psychologists

2023-06-13