Effective Altruism: AI Safety and Governance

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 2 of 4

Semantics in Computer Language Processing: Understanding Meaning

Covers the semantics of programming languages, focusing on the Add language and the role of rewriting rules and CK machines in understanding meaning.

Lambda Calculus and Type Safety: An Overview

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Variables and Types: Introduction to C Programming

Introduces the fundamentals of variables and types in C programming, covering declaration, initialization, and the differences from Java.

An Introduction to Iris: Higher-Order Concurrent Separation Logic

Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.

Introduction to Computer Language Processing

Covers computer language processing, compilers, skills learned, and application examples.

Compiling with Branch Destination Parameters

Covers translating program fragments, switch statements, and break statements in programming languages.

Records and Variants

Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.

The Story of Grace Hopper

Delves into binary language and Grace Hopper's contributions to programming.

Variables & Operators

Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.

Dynamic Memory Management: Using Realloc in C

Explains dynamic memory allocation in C, focusing on the realloc function and its implications for managing memory effectively.