▶"Finding bugs without running or even looking at code" by Jay ParlarStrange Loop Conference · 4 개의 HN 추천40:27HackerTube / 09+
▶2017 ACM PPoPP Keynote: It's Time for a New Old LanguageGuy Steele · 3 개의 HN 추천72:12HackerTube / 12+
▶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+