Hacker News new | ask | show | jobs
user: ningcongchen
created: 2025-01-09
karma: 2

submissions:

Impossibility of Correctness Checking for Generic Numeric Programs
1 points | 0 comments
0 points | 0 comments
A Tragedy of Julia's Type System
8 points | 3 comments