Resultados
44 artículosOrdenar
1:34:36ENNate Foster: Treating the Network as a ProgramYaron Minsky, Nate Foster · Jane StreetFrom programmable switches to BGP, a programming-languages researcher explains how higher-level policies and formal models can make networks easier to change.
52:05ENCorwin de Zahr: Exploring OCaml Runtime Safety Through a CTF ChallengeCorwin de Zahr · Jane StreetA deliberately restricted OCaml sandbox becomes a way to examine type safety, callbacks, memory representation and binary debugging.
1:12:58ENChris Lattner on Mojo and the Search for Portable GPU PerformanceYaron Minsky, Chris Lattner · Jane StreetRon Minsky and Chris Lattner discuss the language and compiler design behind Modular’s effort to make accelerator programming both portable and fast.
1:50:28EN
Lex Fridman· 29 ago 2025Pódcast · 2 vocesThe 87-Kilobyte Program Two Billion People Open Every MonthInvitado: Dave Plummer · Presenta: Lex FridmanDave Plummer talks Lex Fridman through Task Manager, old-school Microsoft, and how an autistic mind actually works.
6:08:48ENLex Fridman· 12 jul 2025Pódcast · 2 vocesNobody Serious Believes Cookie Banners Help AnyoneInvitado: DHH · Presenta: Lex FridmanLex Fridman talks with David Heinemeier Hansson for six hours about Ruby, Rails, AI, leaving the cloud, Apple's App Store, and why a small company can still refuse other people's money.
4:25:19ENLex Fridman· 30 abr 2025Pódcast · 2 vocesA shareware text editor, a 30-hour binge, and a five-year war with AppleInvitado: Tim Sweeney · Presenta: Lex FridmanTim Sweeney traces Unreal Engine’s thirty-year climb, the four-week birth of Fortnite Battle Royale, a new language for the metaverse, and why he thinks Apple is on the wrong side of computing history.
1:03:21ENHorace He on Building ML Systems for Trillion-Trillion OperationsHorace He · MetaHow GPU bottlenecks, compiler design and distributed parallelism shape the systems behind large-scale model training.
9:25ENRichard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.
9:14ENOCaml Local Function Types: Why Partial Application Can EscapeRichard Eisenberg · Jane StreetRichard Eisenberg uses a list-append example to show how a local argument changes the mode of a partially applied function in Jane Street’s OCaml compiler branch.
3:30ENRichard Eisenberg on Jane Street's OCaml ExperimentsRichard Eisenberg · Jane StreetJane Street's compiler team is exploring unboxed types, locality modes, and data-race-free parallelism to make OCaml's performance and memory management better suited to its needs.
23:25ENRichard Eisenberg: How OCaml Locals Reduce Garbage-Collected AllocationRichard Eisenberg · Jane StreetAn annotated list-processing example shows why locality must be preserved both when values are created and when functions consume them.
8:52ENIntroducing Local Parameters in OCamlA demonstration of how Jane Street's experimental local mode restricts escaping values and makes function interfaces easier to reason about.
3:34:03ENLex Fridman· 2 jun 2023Pódcast · 2 vocesPython Isn't Finished: Chris Lattner on Mojo and the Hardware MessInvitado: Chris Lattner · Presenta: Lex FridmanThe LLVM creator returns to Lex Fridman to argue that Python should grow C-like performance instead of forcing people out of the language.
3:15:51ENLex Fridman· 26 nov 2022Pódcast · 2 vocesPython Is a Recipe Written for Two ReadersInvitado: Guido van Rossum · Presenta: Lex FridmanGuido van Rossum on CPython’s 3.11 speedups, indentation, the GIL, and why a 4.0 would hurt extensions more than syntax.
5:14:50ENLex Fridman· 4 ago 2022Pódcast · 2 vocesThe best programming language is the one you already useInvitado: John Carmack · Presenta: Lex FridmanJohn Carmack talks with Lex Fridman about languages, id Software, VR, rockets, and why AGI might be tens of thousands of lines of code.
2:46:40ENLex Fridman· 23 dic 2021Pódcast · 2 vocesThe Tools That Fit in a Head Were Built by People Who Fit in a VanInvitado: Peter Wang · Presenta: Lex FridmanAnaconda's Peter Wang talks with Lex Fridman about Python, cybernetic systems, and why sharing software creates value that scarcity economics still cannot price.
1:01:11ENAnil Madhavapeddy on MirageOS and the Evolution of Operating SystemsRon Minsky, Anil Madhavapeddy · Jane StreetFrom Xen and unikernels to OCaml's multicore research, a systems researcher explains how changing abstractions reshape infrastructure.
3:05:24ENLex Fridman· 22 sept 2021Pódcast · 2 vocesTravis Oliphant wrote NumPy in an empty semester — and still wants open source to payInvitado: Travis Oliphant · Presenta: Lex FridmanThe creator of NumPy, SciPy, and Anaconda tells Lex Fridman how array thinking, a priced book, and the packaging wars shaped scientific Python.
2:21:27ENLex Fridman· 9 sept 2021Pódcast · 2 vocesThe IBM Manual Was So Bad He Became a Computer ScientistInvitado: Donald Knuth · Presenta: Lex FridmanDonald Knuth talks with Lex Fridman about first programs on an IBM 650, literate programming, the Knuth-Morris-Pratt algorithm, and the hardest theorem he ever proved.
3:03:38ENLex Fridman· 12 feb 2021Pódcast · 2 vocesA Ten-Day Language That Still Runs the WebInvitado: Brendan Eich · Presenta: Lex FridmanBrendan Eich tells Lex Fridman how JavaScript, Firefox, Mozilla, and Brave were built from rushed bets, open-source escape pods, and accidental tracking.
2:46:57ENLex Fridman· 18 oct 2020Pódcast · 2 vocesProgramming Languages Are Bicycles for the MindInvitado: Chris Lattner · Presenta: Lex FridmanChris Lattner talks with Lex Fridman about Swift, LLVM, RISC-V, and why the next leap in computing is as much a language problem as a silicon one.
1:51:01ENLex Fridman· 24 sept 2020Pódcast · 2 vocesJames Gosling Built Java to Make Pointer Bugs Impossible. Chrome Still Has Them.Invitado: James Gosling · Presenta: Lex FridmanIn a 2020 conversation with Lex Fridman, Java’s designer traces a line from a neglected PDP-8 to Emacs, the JVM, and a thirty-year war on memory errors.
59:26ENAndy Ray on FPGAs, Hardware Design and HardcamlYaron Minsky, Andy Ray · Jane StreetJane Street’s hardware design lead explains why programmable circuits can improve performance and how software tooling makes them easier to build and test.
1:43:10ENLex Fridman· 18 jul 2020Pódcast · 2 vocesKen Thompson's Wife Left for Three Weeks. He Wrote Unix.Invitado: Brian Kernighan · Presenta: Lex FridmanBrian Kernighan walks Lex Fridman through Bell Labs, C, AWK, AMPL, and a lifetime of tools that millions of people still run — including all of his mistakes.Cargar másMostrando 24 de 44