mathetic

Karma: 1,033
Created: 13 years ago

About

twitter.com/madgen_ dodisturb.me

Recent Submissions

1. ▲ Goto Assignment: A better local Goto Definition (dodisturb.me) 1 point · 2 years ago · 0 comments
2. ▲ The Lessons of the Pandemic (1919) [pdf] (science.sciencemag.org) 1 point · 5 years ago · 0 comments
3. ▲ Constructive mathematics and computer programming (1979) [pdf] (cs.cornell.edu) 130 points · 6 years ago · 22 comments
4. ▲ Constructive mathematics and computer programming (1979) [pdf] (cs.cornell.edu) 2 points · 7 years ago · 0 comments

All submissions on HN · View profile on HN