Advanced C Data TypesCovers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Crowdsourcing & CrowdfundingCovers the origins of ideas, crowdsourcing, successful conditions, and real-world examples like Waze and the Netflix Prize.
Introduction to VariablesCovers the basics of variables in C++, including declaration, initialization, types, and assignments.