Results for "Lambda"
Keyword scan across titles, descriptions, summaries, and tags. For interview listings, try Guest appearances.
11 results
Episodes
StandardSummaries onlyLambda-Calculus and Combinators: An Introduction
CyberSecurity Summary· Oct 1, 2026
An introduction to lambda-calculus and combinatory logic, two foundational systems of logic that function as abstract programming languages. Originally developed in the 1920s and 30s to investigate the foundations of mat…
- StandardSummaries only
An Introduction to Functional Programming Through Lambda Calculus
CyberSecurity Summary· Jun 12, 2026
A pedagogical guide for programmers transitioning from imperative languages to the functional paradigm. The text establishes lambda calculus as the essential foundation for understanding how high-level functional constru…
Intelligent Report9AM HOUR: September Playbook, Anthropic's Nvidia-Backed Deal, Ternus Era Begins at Apple, Musk Addresses G20 Meetings 9/1/26
Squawk on the Street· Sep 1, 2026
Cramer, Faber, and Quintanilla tackle rising bond yields, surging oil prices, Nvidia's $35B Anthropic deal, Apple's new CEO John Ternus, and Elon Musk's bold AI productivity predictions at the G20.
anthropicinvesting- StandardSummaries only
C# 7.0 in a Nutshell: The Definitive Reference
CyberSecurity Summary· Jun 17, 2026
Designed for intermediate to advanced programmers seeking a deep understanding of the C# language and the .NET Framework. The documentation details the language's core principles, including object-oriented programming, t…
StandardSummaries onlyStephen Balaban: building the most cost-effective AI cloud
The Robot Brains Podcast· Stephen Balaban· Jun 21, 2023
Stephen Balaban, CEO and founder of Lambda joins host Pieter Abbeel to discuss building the most cost-effective AI cloud.Subscribe to the Robot Brains Podcast today | Visit therobotbrains.ai and follow us on YouTube at T…
ai- StandardSummaries only
Lambda Calculus with Types (Perspectives in Logic)
CyberSecurity Summary· Sep 30, 2026
A comprehensive mathematical exploration of three primary typing systems: simple types, recursive types, and intersection types. By transitioning from untyped terms to structured typed terms, the authors examine critical…
- StandardSummaries only
Java: A Beginner's Guide, Seventh Edition
CyberSecurity Summary· Sep 28, 2026
A comprehensive instructional manual designed for individuals with no previous programming background. The text covers Java SE 9 (JDK 9) fundamentals, guiding readers through the history of the language, its object-orien…
- StandardSummaries only
Haskell Programming: from First Principles
CyberSecurity Summary· Haskell Programming· Aug 30, 2026
Designed to teach functional programming to both novices and experienced developers. The text emphasizes that Haskell is a pure, general-purpose language that helps programmers write more reliable code by offloading comp…
- StandardSummaries only
Core Java SE 9 for the Impatient
CyberSecurity Summary· Jul 23, 2026
A guide designed for experienced programmers to quickly master modern Java. The text emphasizes productivity and speed, bypassing historical versions to focus on the language's state as of the Java 9 release. It covers e…
- StandardSummaries only
Hands-On AWS Penetration Testing with Kali Linux: Set up a virtual lab and pentest major AWS services, including EC2, S3, Lambda
CyberSecurity Summary· Jun 2, 2026
A practical guide for cybersecurity professionals to secure cloud infrastructures. The authors, Karl Gilbert and Benjamin Caudill, outline methodologies for establishing a virtual testing lab within Amazon Web Services t…