Dec 18, 2018
Which operating system is the best? Which programming language is the best? What text editor?
Bryan Cantrill, CTO of Joyent says that is the wrong question. Languages, operating systems and communities have to make trade offs and they do that based on their values. So the right language is the one who's values align...
Dec 1, 2018
When it comes to type systems "I am, so far, only in the dependent types camp" - Daniel P. Friedman
You can write more correct software and even rigorous mathematical proofs. Prepare for some mind stretching.
Previous guests like Edwin Brady and Stephanie Weirich have discussed some of the exciting things a dependent...