cam

A one-hour OCaml Workshop 2020 talk on the state of the OCaml Platform, covering IDE support, next steps for the tooling and plans for 2020-2021.

Yaron Minsky explains how Jane Street moved from mainstream languages to developing almost entirely in OCaml. He covers trading systems, research infrastructure, tooling and hiring.

Craig Heffner's Black Hat 2013 talk on exploiting network surveillance cameras, covering how insecure their firmware is. It shows how easily such devices can be compromised.

Sasa Juric explains how to parse a language from first principles without regexes, live-coding a simple parser combinator library in Elixir. It was given at WebCamp Zagreb 2019.

Sam Altman accepts the 2023 Hawking Fellowship at the Cambridge Union and speaks about OpenAI, AGI and AI safety, recorded November 1, 2023. It includes his comments on what is left for AGI and on discovering new physics.

A clip from Tesla Autonomy Day 2019 where Elon Musk argues cameras are enough for self-driving and calls lidar a fool's errand.

Alen Ladavac of Croteam talks about continuous integration and automated testing pipelines in games, with case studies from The Talos Principle and Serious Sam.

Actress Claudia Christian tells how she overcame alcoholism using the Sinclair Method, which uses naltrexone to gradually reduce cravings. She discusses fresh perspectives on treating alcohol use disorder.

J. B. Rainsberger argues that large integrated tests are a scam: they are slow, fail opaquely, and give a false sense of coverage. He advocates focused collaboration and contract tests at boundaries instead.

Kiran Pamnany's Cambridge Julia Meetup talk on Julia's shared memory parallelism and its new task scheduler. It argues that fork-join and work-stealing models nest poorly and presents depth-first scheduling for composable parallelism.

Aral Balkan's re:publica 2015 talk argues that people are the product of surveillance-based business models. It makes an ethical case against data monopolies and for privacy as a human right.

David Rosen of Wolfire Games explains how simple procedural techniques can produce fluid, interactive character animation from very few keyframes. Examples come from Overgrowth, Receiver and Black Shades, from his 2014 GDC session.

Richard Feldman's GOTO Copenhagen 2022 talk on why dynamic languages like Python, Ruby, PHP and JavaScript rose in the 1990s and why each now has a popular static type checker. It argues that modern static typing recovers the advantages that made dynamic languages attractive.

Cambridge Analytica CEO Alexander Nix keynotes the OMR 2017 marketing festival on big data and personality-based targeting in political campaigns. It was given before the company's scandal broke.

Julien Verlaguet of Facebook describes applying static analysis and type inference to a very large PHP codebase, using OCaml. The work led to the Hack language.

An ICFP 2015 keynote on the history of Standard ML, covering its ideas, principles and culture. It traces ML from Strachey, Landin and Milner through SML's development and its interplay with OCaml.

Harvard law professor Lawrence Lessig argues that US democracy is corrupted by money, since a tiny fraction of the population effectively funds who gets elected. He says fixing this must come before addressing issues like climate change or student debt.

Jordan Walke, creator of React, talks at ReasonConf 2019 about the ideas behind ReasonML and how it extends React's programming model with OCaml. He also discusses why familiar syntax matters.

Yaron Minsky of Jane Street shows how the OCaml Incremental library lets trading UIs express data transformations that are easy to read and efficient on streaming data. It includes a live table demo.

Alexander Nix of Cambridge Analytica presents at the 2016 Concordia Summit on using big data, psychographic profiling and behavioral microtargeting in elections.

Lawrence Lessig's Talks at Google presentation based on his book Republic, Lost, arguing that money in politics corrupts Congress and eroded public trust, and outlining what could be done about it. It supports the argument with data on political donations.

In this TED talk, Lawrence Lessig argues that American politics is corrupted by Congress's dependence on funding from a tiny fraction of citizens. He uses rapid-fire visuals and calls for a bipartisan push to reclaim the Republic.

Lawrence Lessig's 2011 Berkeley book talk based on Republic, Lost, arguing that money in politics creates institutional corruption in Congress. He calls it his favorite version of the talk.

Steve Jobs presents Apple's proposal for a new campus to the Cupertino City Council in June 2011, answering council members' questions about the plan.

Aaron Hsu's FnConf18 talk asks whether APL needs a static type system. He argues that APL's expressiveness and rapid iteration already deliver the benefits usually credited to types.

Edward Kmett speaks at the Boston Haskell meetup about type classes and the design tradeoffs of global coherence compared with other approaches to implicit instances. It covers why uniqueness of instances matters for reasoning and refactoring.

Noam Chomsky speaks at Google Cambridge in 2017 about his political development and the control of information and media. It is a wide-ranging talk with audience discussion.

Ian Hubert's Blender Conference talk on world building in Blender, covering photogrammetry, camera projection and assembling complex environments from simple shapes at great speed.

At DEF CON 27, Nina Kollars tells how buying Nespresso capsules on eBay led her to investigate fraudsters reselling goods bought with stolen credit cards. She describes her non-technical tracking and reporting efforts.

Jason Scott of textfiles.com tells the story at DEFCON 17 of being sued for two billion dollars by a scammer who plagued him and others for over a decade. The talk is tragic and funny, covering what he learned about misleading schemes.

Morten Rand-Hendriksen's WordCamp Europe 2017 talk presents CSS Grid Layout as a native two-dimensional layout system that changes how web pages are structured, including responsive layouts independent of source order. It was given as browsers began shipping support.

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.

Sasa Juric explains what makes Erlang and Elixir suited to server-side systems, focusing on the BEAM concurrency model rather than syntax or ecosystem. He demonstrates processes, supervision, and fault tolerance.

Rich Hickey's Strange Loop 2011 keynote distinguishing 'simple' (not intertwined) from 'easy' (familiar or near at hand). It argues that software complexity comes from complecting things and that we should pick simple constructs.

Richard Feldman's elm-conf talk on designing models so that bugs from impossible application states cannot occur, using Elm's compiler and types. It demonstrates techniques for making invalid states unrepresentable.

William Byrd presents at Papers We Love NYC on what he calls the most beautiful program ever written, a Lisp interpreter written in Lisp. He walks through the metacircular interpreter and related ideas, and demos relational programming and program synthesis near the end.

Apple security head Ivan Krstic gives a Black Hat 2016 talk on iOS security, covering HomeKit, Auto Unlock and iCloud Keychain. He explains key hierarchies and how data can stay safe even in adversarial clouds.

Richard Feldman argues that functional programming is not the norm largely because of historical accidents, such as C++ popularity, platform exclusivity, marketing spend and network effects, rather than merit. He traces the history of how languages become mainstream.

Rich Hickey's JaxConf 2012 keynote examines what values are and why immutable values matter as information systems grow more complex and data gets bigger. It contrasts places with values and builds the case for immutability.

Rich Hickey's Clojure/Conj 2018 keynote argues that Maybe/Option types and rigid type signatures are a poor way to model data that changes over time. He builds the case around optionality, schema growth and compatibility, and presents the ideas behind Clojure spec as an alternative.