▶"Finding bugs without running or even looking at code" by Jay ParlarStrange Loop Conference · 4 则 HN 推荐40:27HackerTube / 09+
▶Edwin Brady - Idris 2: Type-driven development of Idris | Code Mesh LDN 18Code Sync · 5 则 HN 推荐43:23HackerTube / 13+
▶"A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya SiramStrange Loop Conference · 4 则 HN 推荐36:58HackerTube / 14+
▶Hillel Wayne - Beyond Unit Tests: Taking Your Testing to the Next Level - PyCon 2018PyCon 2018 · 3 则 HN 推荐29:21HackerTube / 15+
▶"Tackling Concurrency Bugs with TLA+" by Hillel WayneStrange Loop Conference · 3 则 HN 推荐30:06HackerTube / 16+
▶Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010MIT OpenCourseWare · 3 则 HN 推荐44:09HackerTube / 17+
▶What if Current Foundations of Mathematics are Inconsistent? | Vladimir VoevodskyInstitute for Advanced Study · 3 则 HN 推荐58:30HackerTube / 19+
▶Philip Wadler - Propositions as Types (Lambda Days 2016)Erlang Solutions · 2 则 HN 推荐56:58HackerTube / 21+
▶Barliman: trying the halting problem backwards, blindfolded - William Byrd, Greg RosenblattClojureTV · 3 则 HN 推荐36:14HackerTube / 22+
▶"Type-Driven Program Synthesis" by Nadia PolikarpovaStrange Loop Conference · 2 则 HN 推荐39:40HackerTube / 23+