Lectures related to Short-circuit evaluation

Explains the three main aspects of a function and its evaluation process.

Explores the data flow model for distributed computing using RDDs in Spark.

Focuses on using Stainless for program verification, demonstrating the process of verifying programs and ensuring correctness.

Introduces NLP tools like Hugging Face and PyTorch Lightning for text tasks and evaluation.

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Explores programming models for big data processing, including Spark's RDDs and optimizations.

Explores lazy evaluation in functional programming, focusing on Scala's implementation of lazy lists.

Explores prefix, infix, and postfix notations in expressions and their role in code generation.