필터 결과
214개정렬
53:51EN
Jane Street· 2024년 10월 7일Liora Friedberg on Solving Puzzles in ProductionYaron Minsky, Liora Friedberg · Jane StreetProduction engineering combines live incident response with software, process improvements and a culture that helps people learn from mistakes. Liora Friedberg and Ron Minsky explore the work at Jane Street.
9:25ENJane Street· 2024년 10월 1일Richard Eisenberg: Using OCaml’s Coercion OperatorRichard Eisenberg · Jane StreetA practical tour of subtyping, polymorphic variants and private type abbreviations, with no runtime conversion cost.
19:46EN
Matthew Berman· 2024년 8월 28일Linus Torvalds and Dirk Hohndel on AI Coding, Bugs and HypeMatthew Berman, Linus Torvalds, Dirk Hohndel · Forward FutureMatthew Berman reacts to two conversations about AI-assisted programming, code review, automation and open data.
8:06ENJane Street· 2024년 8월 7일How OCaml's Proposed Include Functor Syntax Reduces RepetitionRichard Eisenberg · Jane StreetA reverse-array example shows how to derive common module functions from a minimal implementation without an extra wrapper module.
1:07:34EN
Sequoia Capital· 2024년 8월 6일팟캐스트GitHub 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.
11:34ENMatthew Berman· 2024년 8월 1일Testing Mistral Large 2: Coding, Reasoning and Safety in 2024Matthew Berman · Forward FutureMatthew Berman tests Mistral’s 123-billion-parameter model with small coding tasks, logic puzzles and ethical hypotheticals. The results are promising but narrowly scoped.
8:52ENMatthew Berman· 2024년 7월 14일Yi-Large Tested: Coding, Arithmetic and Logic PuzzlesMatthew Berman · Forward FutureMatthew Berman puts 01.AI's hosted model through a small set of coding and reasoning prompts, with mixed results and some questionable grading.
1:03:36ENJane Street· 2024년 7월 12일Erin 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:36ENJane Street· 2024년 6월 24일Programming with OCaml's Local ModeRichard Eisenberg · Jane StreetAn 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:28ENJane Street· 2024년 6월 13일OCaml Local Types: Regional Parameters and Loop RegionsRichard Eisenberg · Jane StreetA demonstration explains why some local parameters can cross a function boundary and how loop regions reclaim allocations.
9:14ENJane Street· 2024년 5월 29일OCaml 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:59ENJane Street· 2024년 5월 7일Tail Calls and Local Regions in OCamlRichard Eisenberg · Jane StreetA list-counting example reveals why a local closure can escape at a tail call, and how regional mode and [@nontail] affect the result.
0:55ENMatthew Berman· 2024년 4월 18일Meta Llama 3: A Quick Coding and Image DemonstrationMatthew Berman · Forward FutureMatthew Berman reviews the initial 8B and 70B Llama 3 release and tries a Python Snake game and an image prompt.
13:59ENMatthew Berman· 2024년 4월 5일SWE-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:23ENMatthew Berman· 2024년 3월 31일Testing DBRX: Coding Strengths and Reasoning GapsMatthew Berman · Forward FutureMatthew Berman examines Databricks’ open-weight model and puts it through coding, arithmetic and reasoning prompts.
14:58ENMatthew Berman· 2024년 3월 30일OpenDevin’s Early Coding Agent: A 2024 Installation and DemoMatthew Berman · Forward FutureMatthew Berman installs an early open-source coding-agent project and tries a calculator and a simple web page, while encountering setup and browser issues.
1:10:33EN
20VC with Harry Stebbings· 2024년 3월 20일팟캐스트 · 2명Jean-Michel Lemieux on Shipping, Hiring and Product Alignment게스트 Jean-Michel Lemieux · 진행자 Harry StebbingsThe former Shopify CTO and Atlassian engineering leader explains how he balances speed and quality, aligns decisions and builds teams.
19:51ENMatthew Berman· 2024년 3월 15일Devin’s 2024 Launch: Coding-Agent Demos and Benchmark ClaimsMatthew Berman, Scott Wu, Neal, Walden · Forward FutureMatthew Berman examines Cognition’s software-agent demonstrations, interface and SWE-bench comparison alongside earlier coding projects.
3:30ENJane Street· 2024년 3월 13일Richard 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:07ENJane Street· 2024년 2월 29일How OCaml Locals Use a Separate StackRichard Eisenberg · Jane StreetA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.
55:29ENMatthew Berman· 2024년 2월 24일Building 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:25ENJane Street· 2024년 2월 20일Richard 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:27ENJane Street· 2024년 2월 7일How OCaml Infers LocalityRichard Eisenberg · Jane StreetA look at local and global mode inference, module signatures, mode crossing for integers, and conversions between function types.
15:17ENJane Street· 2024년 1월 31일OCaml Locals, Modes, and SubmodingRichard Eisenberg · Jane StreetA worked explanation of how local and global modes control escaping values, and how those modes interact with function types.더 보기214개 중 24개 표시