= 27d567bc2d48d9f40e9ccc20ea370b15)
SeventhNadir comments on The mechanics of my recent productivity - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (47)
What are the prerequisites math domains someone should be proficient in if they were interested in making this career? I'm a long way off currently (just started learning calculus) and some kind of reference point would be very helpful! Congratulations by the way.
Check out the MIRI course list.
I still have yet to understand the emphasis on model theory and model checking over other branches of semantics. -- type theory weenie