user: ningcongchen

2 karma | created 1 year ago

recent submissions

Impossibility of Correctness Checking for Generic Numeric Programs (medium.com)

1 pts|11 months ago|discuss

(no title)

1 year ago|discuss

A Tragedy of Julia's Type System (medium.com)

8 pts|1 year ago|3 comments