Results
214 articlesSort
53:51EN
Jane Street· Oct 7, 2024Liora 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· Oct 1, 2024Richard 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· Aug 28, 2024Linus 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· Aug 7, 2024How 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· 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.
11:34ENMatthew Berman· Aug 1, 2024Testing 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· Jul 14, 2024Yi-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· Jul 12, 2024Erin 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· Jun 24, 2024Programming 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· Jun 13, 2024OCaml 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· May 29, 2024OCaml 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· May 7, 2024Tail 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· Apr 18, 2024Meta 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· Apr 5, 2024SWE-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· Mar 31, 2024Testing 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· Mar 30, 2024OpenDevin’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· Mar 20, 2024Podcast · 2 speakersJean-Michel Lemieux on Shipping, Hiring and Product AlignmentGuest Jean-Michel Lemieux · Host Harry StebbingsThe former Shopify CTO and Atlassian engineering leader explains how he balances speed and quality, aligns decisions and builds teams.
19:51ENMatthew Berman· Mar 15, 2024Devin’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· Mar 13, 2024Richard 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· Feb 29, 2024How 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· Feb 24, 2024Building 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· Feb 20, 2024Richard 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· Feb 7, 2024How 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· Jan 31, 2024OCaml 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.Load moreShowing 24 of 214