Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by ptrj_
A mathematical proof assistant (v2)
4 points
ptrj_
2025-05-10T17:23:35Z
github.com
DeepSeek-Prover-V2-671B
14 points
ptrj_
2025-04-30T09:01:40Z
huggingface.co
Export Control Diffusion Confusion
1 points
ptrj_
2025-01-06T16:35:26Z
www.oracle.com