HN
Hacker News
Top
New
Best
Ask
Show
Jobs
ningcongchen
2 karma · joined January 9, 2025
submissions
comments
Impossibility of Correctness Checking for Generic Numeric Programs
medium.com
·
1 pts
·
ningcongchen
·
0
A Tragedy of Julia's Type System
medium.com
·
8 pts
·
ningcongchen
·
3