Results
152 articlesSort
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.
8:06ENHow OCaml's Proposed Include Functor Syntax Reduces RepetitionA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
1:07:34EN
Sequoia Capital· Aug 6, 2024PodcastGitHub Didn’t Believe Copilot Was Writing 25% of the CodeThomas Dohmke tells Sequoia how an unplanned GPT-3 experiment became Copilot, why GitHub still will not train its own foundation model, and how he wants a billion people writing software by 2030.
1:03:36ENErin Murphy on Designing Tools for Expert UsersYaron Minsky, Erin Murphy · Jane StreetFrom NASA scientists to Jane Street engineers, a UX designer explains how observation, drawing and collaboration reveal what complex tools need to do.
14:36ENProgramming with OCaml's Local ModeAn example shows how a local list can contain global values, why a non-escaping annotation alone does not ensure stack allocation, and where the experimental feature remains awkward.
11:28ENOCaml Local Types: Regional Parameters and Loop RegionsA demonstration explains why some local parameters can cross a function boundary and how loop regions reclaim allocations.
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.
15:59ENTail Calls and Local Regions in OCamlA list-counting example reveals why a local closure can escape at a tail call, and how regional mode and [@nontail] affect the result.
13:59ENSWE-agent Tutorial: Navigating Repositories and Attempting GitHub FixesMatthew Berman, Carlos · Forward FutureMatthew Berman sets up a research coding agent, hits an installation problem and a cost limit, then shows an author’s successful SymPy benchmark example.
14:23ENTesting DBRX: Coding Strengths and Reasoning GapsMatthew Berman · Forward FutureMatthew Berman examines Databricks’ open-weight model and puts it through coding, arithmetic and reasoning prompts.
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.
11:07ENHow OCaml Locals Use a Separate StackA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.
55:29ENBuilding a CrewAI Newsletter Team: Scraping, Summarizing and DebuggingMatthew Berman, Joe · Forward FutureMatthew Berman builds a two-agent newsletter prototype, works through input and scraping errors, and shows what still needs to be fixed.
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.
22:27ENHow OCaml Infers LocalityA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENOCaml Locals, Modes, and SubmodingA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.
12:52ENOCaml Local Variables, Return Values and RegionsA worked example shows how `local_` and `exclave_` let a function accept a local value and return a local structure in its caller's region.
46:36EN
No Priors: AI, Machine Learning, Tech, & Startups· Jan 18, 2024Podcast · 2 speakersAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelHost Sarah Guo, Elad GilBeyang Liu on Cody, why keyword search still does most of RAG, and why CS fundamentals get more valuable as AI compresses the middleware.
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.
55:34ENAndrew Hunter on Performance Engineering for Low-Latency SystemsYaron Minsky, Andrew Hunter · Jane StreetWhy small optimizations pay at hyperscale, why trading latency is harder to measure, and how profiling, tracing, language design and hardware fit together.
29:38ENNo Priors: AI, Machine Learning, Tech, & Startups· Sep 21, 2023Podcast · 2 speakersA Beginner Just Shipped a $250K Business. Professionals Got 30 Percent.Host Sarah Guo, Elad GilReplit CEO Amjad Masad on Ghostwriter, why a 3-billion-parameter model was enough, and the agents he wants earning bounties while you sleep.
2:21ENVarun on Software Engineering at Jane StreetVarun · Jane StreetA London-based developer describes useful technical foundations, OCaml training and team matching at Jane Street.
8:17ENUsing OpenLLM to Serve Open Models Through an APIMatthew Berman · Forward FutureMatthew Berman demonstrates a local model server, its interactive API and a Python client in a 2023 walkthrough.
3:34:03EN
Lex Fridman· Jun 2, 2023Podcast · 2 speakersPython Isn't Finished: Chris Lattner on Mojo and the Hardware MessGuest Chris Lattner · Host 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.Load moreShowing 24 of 152