Explores cache memory design, hits, misses, and eviction policies in computer systems, emphasizing spatial and temporal locality.
Covers direct-mapped and annex caches in computer architecture, explaining cache structure, access patterns, hit rates, and latency calculations.
Explores safe mutation in functional programming through lazy evaluation, object invariants, and efficient caching functions.
Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Covers data science tools, Hadoop, Spark, data lake ecosystems, CAP theorem, batch vs. stream processing, HDFS, Hive, Parquet, ORC, and MapReduce architecture.
