Résultats
152 articlesTrier
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· 6 août 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· 18 janv. 2024Podcast · 2 voixAfter a decade of code search, Sourcegraph’s CTO says the coding-AI fight is outside the modelAnime : 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· 21 sept. 2023Podcast · 2 voixA Beginner Just Shipped a $250K Business. Professionals Got 30 Percent.Anime : 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· 2 juin 2023Podcast · 2 voixPython Isn't Finished: Chris Lattner on Mojo and the Hardware MessInvité : Chris Lattner · Anime : 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.Charger plus24 sur 152 affichés