9 days ago|discuss
user: thunderseethe
140 karma | created 2 years ago
recent submissions
10 days ago|discuss
10 days ago|discuss
Compiler Education Deserves a Revolution
(thunderseethe.dev)
1 pts|10 days ago|discuss
10 days ago|discuss
10 days ago|discuss
10 days ago|discuss
11 days ago|discuss
How to choose between Hindley-Milner and bidirectional typing
(thunderseethe.dev)
153 pts|14 days ago|49 comments
1 month ago|discuss
1 pts|1 month ago|discuss
1 pts|2 months ago|discuss
2 months ago|discuss
3 pts|2 months ago|discuss
1 pts|2 months ago|discuss
1 pts|3 months ago|discuss
1 pts|7 months ago|discuss
1 pts|8 months ago|discuss
9 months ago|discuss
1 pts|9 months ago|discuss