Shapes Demo: From Logical Specifications to Executable Software
3:24
Zero Coding with Tau: Specifying Correct Software with Logical AI #noneedcode
1:14:03
How to Do 90% of What Plugins Do (With Just Vim)
49:59
Linus Torvalds on the kernel, GenAI, EVs, programming languages and more…
16:33
6 Months of Testing C++ Build Systems: Here’s What You Need to Know
27:47
04. Compilers and Interpreters [HPC in Julia]
22:03
A Deep Dive into JVM Start-Up
31:57
1.4 Logical Connectives Complementation and Exclusive OR and its possible real life applications
16:45