Canales actualizados recientemente

Elige uno para ver solo ese canalVer todos los canales →

Resultados

208 artículos
Ordenar
53:51EN
Jane Street· 7 oct 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.Observabilidad y fiabilidadSoftware engineeringFlujos de desarrollo y pruebas
3 diapositivas9:25EN
Jane Street· 1 oct 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.Programming LanguagesSoftware engineering
4 diapositivas8:06EN
Jane Street· 7 ago 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.Programming LanguagesSoftware engineering
1:07:34EN
Sequoia Capital· 6 ago 2024PódcastGitHub 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.Agentes de programaciónCompany BuildingDeveloper productivity+3
5 diapositivas11:34EN
Matthew Berman· 1 ago 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.Foundation ModelsEvaluacionesOpen-weight models+2
6 diapositivas8:52EN
Matthew Berman· 14 jul 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.EvaluacionesFoundation ModelsBenchmarks+2
1:03:36EN
Jane Street· 12 jul 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.Producto y UXDesignSoftware engineering+1
5 diapositivas14:36EN
Jane Street· 24 jun 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.Software engineeringProgramming Languages
5 diapositivas11:28EN
Jane Street· 13 jun 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.Programming LanguagesSoftware engineering
4 diapositivas9:14EN
Jane Street· 29 may 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.Programming LanguagesSoftware engineering
7 diapositivas15:59EN
Jane Street· 7 may 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.Programming LanguagesSoftware engineeringDeveloper productivity
Diapositivas0:55EN
Matthew Berman· 18 abr 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.Foundation ModelsOpen-weight modelsSoftware engineering+1
7 diapositivas13:59EN
Matthew Berman· 5 abr 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.Agentes de programaciónIngeniería de agentesFlujos de desarrollo y pruebas+2
3 diapositivas14:23EN
Matthew Berman· 31 mar 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.Open-weight modelsModelos y entrenamientoEvaluaciones+1
4 diapositivas14:58EN
Matthew Berman· 30 mar 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.Agentes de programaciónIngeniería de agentesSoftware engineering+1
1:10:33EN
20VC with Harry Stebbings· 20 mar 2024Pódcast · 2 vocesJean-Michel Lemieux on Shipping, Hiring and Product AlignmentInvitado: Jean-Michel Lemieux · Presenta: Harry StebbingsThe former Shopify CTO and Atlassian engineering leader explains how he balances speed and quality, aligns decisions and builds teams.Product LeadershipSoftware engineeringHiring+2
3:30EN
Jane Street· 13 mar 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.Programming LanguagesSoftware engineering
3 diapositivas11:07EN
Jane Street· 29 feb 2024How OCaml Locals Use a Separate StackRichard Eisenberg · Jane StreetA list example shows how region-scoped local values can avoid repeated garbage-collected allocations.Programming LanguagesSoftware engineering
4 diapositivas55:29EN
Matthew Berman· 24 feb 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.Multi-agent systemsIngeniería de agentesWorkflow automation+2
5 diapositivas23:25EN
Jane Street· 20 feb 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.Programming LanguagesSoftware engineering
3 diapositivas22:27EN
Jane Street· 7 feb 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.Programming LanguagesSoftware engineering
5 diapositivas15:17EN
Jane Street· 31 ene 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.Programming LanguagesSoftware engineering
5 diapositivas9:25EN
Matthew Berman· 31 ene 2024Matthew Berman Tests Meta’s Code Llama 70B on a Snake GameMatthew Berman · Forward FutureA 2024 look at Meta’s coding-model release, a SQL-focused fine-tune and a hands-on test that did not work on the first attempt.Open-weight modelsSoftware engineeringBenchmarks+2
7 diapositivas12:52EN
Jane Street· 23 ene 2024OCaml Local Variables, Return Values and RegionsRichard Eisenberg · Jane StreetA worked example shows how `local_` and `exclave_` let a function accept a local value and return a local structure in its caller's region.Programming LanguagesSoftware engineering
Cargar másMostrando 24 de 208