絞り込み結果
77 件並び順
3:11:09EN
Lex Fridman· 2020年4月18日ポッドキャスト · 2 人In the computational universe, the animals are always smarter than youゲスト Stephen Wolfram · ホスト Lex FridmanStephen Wolfram talks with Lex Fridman about Rule 30, computational irreducibility, a hypergraph model of physics, and why Wolfram Language is a notation for talking about the world.
1:05:06ENRaph Levien: GPU Compute, Functional Design, and a 2D RendererRaph LevienA tour of GPU execution and memory explains why parallel rendering needs more than simply assigning one thread to every pixel.
1:45:56ENLex Fridman· 2019年12月30日ポッドキャスト · 2 人Point eight is enough: Donald Knuth on algorithms, TeX, and a life in one chairゲスト Donald Knuth · ホスト Lex FridmanLex Fridman visits Donald Knuth at home for a conversation about the IBM 650, geek brains, literate programming, The Art of Computer Programming, TeX, P versus NP, and a happiness budget of 80 percent.
1:47:13ENLex Fridman· 2019年11月7日ポッドキャスト · 2 人When You Hit the Brakes, a Computer Is in the Wayゲスト Bjarne Stroustrup · ホスト Lex FridmanBjarne Stroustrup on why C++ still sits between the pedal and the pads, and why an abstraction that costs extra has no place in the language.
47:18ENUnboxed Types and Memory Layouts for OCamlStephen · Jane StreetStephen explains a proposed type-system extension for controlling data representation while retaining OCaml’s fast separate compilation.
1:05:59ENDerek Dreyer: Proving the Safety of Rust with RustBelt and IrisDerek Dreyer · Max Planck Institute for Software SystemsRust combines safe interfaces with libraries that use unsafe code internally. Derek Dreyer explains how RustBelt verifies those libraries and why its proof needs an expressive logic for concurrency.
1:33:13ENDon Jones on PowerShell, Career Growth, and the First FollowerDon Jones · PluralsightPowerShell educator Don Jones reflects on writing small composable tools, building a resilient career, and helping others join a community.
1:13:06ENLex Fridman· 2019年5月13日ポッドキャスト · 2 人The Compiler That Got Apple, Google, and Intel to Share a Codebaseゲスト Chris Lattner · ホスト Lex FridmanChris Lattner walks through LLVM, Clang, Swift, TPU numeric formats, and why compiler work is mostly software engineering.
1:08:44ENNathan Linger on Ontology: A Language-Oriented Permissions SystemNathan Linger · Jane StreetHow Jane Street represents permissions as typed declarations and presents them through an English-language interface.
1:18:13ENLindsey Kuper on Abstractions for Correct and Efficient Parallel ComputingLindsey Kuper · University of California, Santa CruzFrom lattice-based shared state to non-invasive parallel languages and neural-network verification, high-level abstractions can make systems both safer and faster.
1:03:45ENJane Street and the OCaml CompilerRon Minsky · Jane StreetRon Minsky traces an accidental language adoption into a long-term commitment to compiler engineering and a shared open-source ecosystem.
1:26:44ENLex Fridman· 2018年11月22日ポッドキャスト · 2 人He raised Python like a child, then set it freeゲスト Guido van Rossum · ホスト Lex FridmanIn a 2018 conversation with Lex Fridman, Guido van Rossum traces Python from electronics kits and Conway's Game of Life to the Thursday morning he resigned as benevolent dictator for life.
1:06:51ENMarius Eriksen: Reflow for Incremental Cloud Data ProcessingMarius Eriksen · GRAILA functional language and runtime turn data workflows into typed programs, reuse prior results and provision cloud resources on demand.
1:14:23ENCristina Rosu: Building Dynamic OCaml Web Apps with Incr_domCristina Rosu · Jane StreetA practical introduction to the Elm architecture, virtual DOM and incremental computation, followed by a live counter-app demonstration.
1:02:34ENAndy Ray on Designing and Running OCaml on FPGAsAndy Ray · Jane StreetHardCaml turns OCaml into a hardware design language. Andy Ray explains FPGA fundamentals, simulation and verification, then demonstrates an OCaml software stack running on a soft CPU.
1:14:37ENAdding an Effect System to OCamlA prototype brings algebraic effects into OCaml’s type system and explores how to track exceptions, I/O and locally mutable state.
1:08:43ENRon Minsky on Types and Why They Matter in SoftwareYaron Minsky · Jane StreetType systems can make programs faster, catch mistakes and guide large refactorings, but their value depends on the language and the work. Ron Minsky explains the trade-offs through practical examples.
1:10:18ENShriram Krishnamurthi on Designing Computing Curricula for Real ClassroomsShriram Krishnamurthi · Brown UniversityThe Bootstrap project treats curriculum design as an engineering problem: start with goals and constraints, then support teachers and measure learning.
1:13:25ENNate Foster: Verifying Programmable Network Data PlanesNate Foster, Ron · Cornell UniversityHow p4v applies program verification to packet-processing code, and why its conclusions depend on control-plane assumptions.
52:51ENCaveat Configurator: When Configuration Becomes CodeDominick LoBraico · Jane StreetDominick LoBraico explains why flexible OCaml plugins created production problems at Jane Street, and how configuration generation and disciplined plugin management address them.
59:14ENArjun Guha on Verifying System ConfigurationsArjun Guha · UMass AmherstPuppet manifests can be declarative yet nondeterministic or non-idempotent. A verification tool models resource interactions to find those problems.
25:44ENWhy Functional Programming Matters at Jane StreetA Jane Street developer revisits John Hughes’s classic argument and explains why expressive static types rank highest for trading systems.
28:31ENIncremental: Self-Adjusting Computations in OCamlSebastian Funk · Jane StreetSebastian explains Jane Street’s dynamic dependency graph library and the algorithms behind efficient updates.
1:09:24ENYaron Minsky on Effective ML: Writing OCaml for Code ReadersYaron Minsky · Jane StreetPractical lessons from Jane Street on using types, interfaces and abstraction to keep a large OCaml codebase understandable and correct.
もっと見る77 件中 24 件を表示