aws lambda

An AWS re:Invent 2018 session in which Holly Mesrobian and Marc Brooker explain how AWS Lambda is built, including its sandboxing, isolation and scaling architecture. It covers what happens under the hood when serverless code runs.

Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.

David Beazley's PyCon 2019 tutorial derives the lambda calculus from the ground up in Python, using only single-argument functions. He builds booleans, numerals and more with no other language features.

Journalist Vincent Woo discusses his New York Magazine piece on Lambda School's misleading promises, including its income share agreements and placement claims, in an interview on This Week in Startups. The host questions him pointedly.

An AWS re:Invent 2018 session diving into the Nitro system, a set of hardware offload and security building blocks behind next-generation EC2 instances. It covers the design and architecture and how Nitro enables new instance types.

An AWS re:Invent 2019 session for advanced DynamoDB users on design patterns used by large customers, including Amazon retail. It covers GSI sharding, index overloading, graph processing, composite keys and transactional workflows.

James Hamilton's Tuesday Night Live keynote at AWS re:Invent 2016, touring AWS infrastructure at scale including networking, power and custom silicon. It also features NASA JPL's Tom Soderstrom.

Eric Brandwine's AWS re:Invent 2015 session on how Amazon VPC networking works. It covers the problems the design solved, why traditional approaches do not scale, and the mechanisms used for customer isolation and VPC endpoints.

An Adam Ruins Everything segment on the real facts of the McDonald's hot coffee lawsuit, covering the severity of the burns and the corporate PR campaign that painted it as frivolous.

James Hamilton, AWS VP and distinguished engineer, gives an insider view of the innovations behind the AWS cloud at re:Invent 2014. He covers custom hardware, networking, regions and availability zones, and infrastructure at scale.

An AWS re:Invent 2018 talk on how AWS limits the blast radius of failures. It covers design techniques such as cell-based architecture and shuffle sharding.

An AWS re:Invent 2014 talk on the core distributed systems primitives behind AWS and Amazon.com, such as consensus, key-value stores and transactional logging. It describes how AWS builds large services from a few common building blocks.

Rick Houlihan's AWS re:Invent 2018 deep dive on advanced DynamoDB design patterns. It covers index overloading, GSI sharding, composite keys, graph processing and transactions.

Tom Stuart's Ruby Manor 3 talk builds FizzBuzz using nothing but Ruby lambdas, working through Church encodings of numbers, booleans and data structures. It is a hands-on introduction to lambda calculus.

Physicist Geoffrey West speaks at an FQXi conference on time about complexity and scaling laws. He covers how metabolism, growth and lifespan scale across organisms and how the same mathematics applies to cities and companies.

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

A Welch Labs explainer on neural scaling laws and the compute-efficient frontier, asking why model loss seems to hit a line it cannot cross. It draws an analogy to an ideal gas law for AI.

Rob Miles explains for Computerphile why simple rule sets like Asimov's Three Laws cannot make robots and AI safe. Terms like harm and human are too ambiguous to specify precisely.

An AWS re:Invent 2018 session on how DynamoDB was built as a hyper-scale NoSQL database. It discloses underpinnings of the service and how it is run for over 100,000 customers.

A one-minute rap by George Hotz (geohot) aimed at Sony, made as an entry for a contest while Sony was suing him over the PS3 jailbreak. It is a humorous diss track delivered from the middle of the lawsuit.

2swap explores lambda calculus using John Tromp's lambda diagrams, with animated beta-reductions, asking what PLUS times PLUS gives. It touches on Church encodings and the equivalence of Turing machines and lambda calculus.

A short clip of 1980s news coverage in which people react angrily to new drunk driving laws, with some calling them communist.

A Netflix performance engineer presents how Netflix tunes EC2 instances, covering instance type choice, Xen modes, SR-IOV and kernel tuning. The goal is near bare-metal performance in the cloud.

A clip of Australian Prime Minister Malcolm Turnbull saying the laws of Australia prevail over the laws of mathematics, regarding encryption. The audio is quiet in the second half.

AWS's short promo for Snowmobile, a 45-foot shipping container pulled by a semi truck that moves up to 100PB of data to AWS.

An AWS re:Invent session explaining Amazon's Working Backwards process, where teams start from customer needs and write a press release and FAQ (PR-FAQ) before building. It covers the five customer questions that frame the process.

A short clip showing a person touching an active table saw blade with a finger and walking away unharmed, thanks to SawStop's system that stops the blade within milliseconds of skin contact.

Aditya Siram argues that functional programming has much to learn from Smalltalk's interactivity, using Pharo and Squeak to show live, visual, explorable programming environments.

PBS Space Time explains Noether's theorem: conservation laws such as energy and momentum are consequences of deeper symmetries. It also covers why those laws hold only under certain conditions.

FTC Chair Lina Khan sits down with Jon Stewart on The Daily Show to discuss the agency's work protecting consumers from unfair business practices. Topics include the FTC's antitrust lawsuit against Amazon, healthcare industry actions, and whether tech companies are racing to control AI.

Konrad Malawski's Strange Loop 2023 talk shows how the FoundationDB team adopted Swift incrementally in a C++ codebase. It covers Swift's C++ interoperability, which let them move single functions or entire types over one at a time.

A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse. It covers existential variables, unification and expressions yielding multiple values.

Gaming Historian recounts how Atari subsidiary Tengen challenged Nintendo's licensing rules with a lawsuit and unlicensed NES games, including the lockout chip fight.

Amazon's Jon Jenkins at Velocity 2011 on how operations can drive revenue and on Amazon's highly available, autonomous architectures. It includes details on deployment frequency and Amazon's move to AWS.

Adam Neely explains that Warner Music claimed his video, which defended their copyright in a lawsuit, over a work whose copyright they had lost. He calls it an ironic and absurd claim, and the claim was later released.

Jim Weirich's RubyConf 2012 talk derives the Y combinator step by step, live-coding in Ruby lambdas. It builds up an understanding of functional programming and lambda calculus from first principles.

Climate Town traces the history of American parking minimums, how they came from shaky research and ITE guides, and how they shape zoning, cities and housing costs. It is a long, comedic video essay.

Veritasium explains how trees lift water from roots to the top of tall trunks, using transpiration pull and the negative pressure that liquid water can sustain. It explains why trees do not need pumps or valves.

John Oliver's Last Week Tonight segment on the Sackler family and how they have handled opioid lawsuits. It covers how hard they fought to defend their name and is the third of three segments on the opioid crisis.

Larry Lessig's TED talk argues that copyright law chokes creativity, drawing on John Philip Sousa, celestial copyrights and the ASCAP cartel to make the case for reviving remix culture.