HN Explorer

ningcongchen

↗ HN profile [ 25.7 ms ] full profile
Karma
2
Created
January 9, 2025 (1y ago)
Submissions
0
  1. Impossibility of Correctness Checking for Generic Numeric Programs (medium.com)
    1 points 0
  2. A Tragedy of Julia's Type System (medium.com)
    8 points 3