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.
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.
Integer Types in JavaExplains interpreting bit vectors as integers, two's complement, overflow, and integer type limits in Java.
Parallel Scan LeftIntroduces parallel scan left in Scala, covering its properties, sequential solutions, and efficient parallel computation techniques.
