Bit Manipulation BasicsCovers the basics of manipulating individual bits within microcontroller registers using the C language.
Algorithms Exam PreparationOffers a recap before the Algorithms exam, covering problem-solving strategies and algorithm implementation with sample problems.
Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
MATLAB: Crash Course in MATLABOffers a crash course in MATLAB, covering data representation, array indexing, mathematical operations, and common pitfalls.
Implementing CombinersCovers the implementation of combiners in parallel programming in Scala, including efficient combine methods and set data structures.
Counting: The Sum RuleExplains the Sum Rule for counting tasks and its application to various scenarios like programming variable names and computer passwords.