what's a programming thing that used to be hard but (within the last 5 years) has become easy?
Like, "before you had to be an expert, now anyone can easily build something useful"
403
197
1,133
Conversation
Replying to
It seems like it's become significantly easier to find resources on implementing dependent type checkers. We're still missing a true introductory book, but I really wish I had the elaboration-zoo when starting out (had to wade through lots of papers):
