Română
Charlie Marsh
Raportează

Charlie Marsh✓

@charliermarsh

@OpenAI. Building Ruff, uv, ty, and other high-performance Python tools with the @astral_sh team.

992 Urmărește53K Urmăritori9.7K Postări
  1. Charlie Marsh✓@charliermarsh
    For what it's worth, the metric I'm measuring is: take a few real Codex sessions, look at all the file edits and Cargo commands, and then replay those. How much time is saved end-to-end?
    Charlie Marsh @charliermarsh
    One thing I'm noticing from these agent-driven Rust forks is that "time to recompile after edit" is a very lossy metric. You can get (much) faster recompilation, but the overall development loop is often (much) slower.
    50121.9K
  2. Charlie Marsh✓@charliermarsh
    One thing I'm noticing from these agent-driven Rust forks is that "time to recompile after edit" is a very lossy metric. You can get (much) faster recompilation, but the overall development loop is often (much) slower.
    40253.8K
  3. Charlie Marsh✓@charliermarsh
    Here's an N-queens solver in Python type annotations powered by ty, courtesy of @0x00B1. It supports arbitrary Peano board sizes. Each tuple in the revealed type is one solution.
    Descarcă
    73533.7K
  4. Charlie Marsh✓@charliermarsh
    Postări @charliermarsh
    003915
  5. Charlie Marsh✓@charliermarsh
    Postări @charliermarsh
    Or it can produce a much larger executable, and that ends up having costs that vary by OS.
    205967
  6. Charlie Marsh✓@charliermarsh
    Postări @charliermarsh
    (The nature of the edit also matters, e.g., is it in a function body, or its signature? Is it private or public?)
    003680
  7. Charlie Marsh✓@charliermarsh
    We built tar-codec: a fast and secure tar parser for the Rust ecosystem. It's roughly twice as fast as our previous tar implementation, but with much lower exposure to parser differentials and other security risks. Here's the state machine btw.
    Descarcă
    1372528.6K
  8. Charlie Marsh✓@charliermarsh
    Postări @charliermarsh
    All credit to William Woodruff on this one. We're going to continue building what we view as fast, secure foundational crates for the ecosystem.
    108815
  9. Charlie Marsh✓@charliermarsh
    Postări @charliermarsh
    008796
  10. Charlie Marsh✓@charliermarsh
    Charlie Marsh
    RT @TaKOBKi: My latest rustc PR introduces adaptive sparse encoding for metadata tables. Rustc-perf results show a 20.18% average reduction in crate metadata size.
    030176
  11. Charlie Marsh✓@charliermarsh
    I'm seeing benchmark methodologies you wouldn't BELIEVE in some of these agent-authored projects
    12012710.7K
  12. Charlie Marsh✓@charliermarsh
    Charlie Marsh
    RT @steipete: I spent some time on the weekend to test bun's AOT compiler and results are nothing short of amazing. Performance up 2-3x, memory use less than half.
    Jarred Sumner @jarredsumner
    Bun AOT also introduces `--trim` which deletes unused parts of Bun from the compiled binary On macOS, a binary that uses Bun.serve’s HTTP server goes from 89 MB to 25 MB
    0250161
  13. Jarred Sumner✓@jarredsumner
    Bun AOT also introduces `--trim` which deletes unused parts of Bun from the compiled binary On macOS, a binary that uses Bun.serve’s HTTP server goes from 89 MB to 25 MB
    Descarcă
    55401.4K98.4K
  14. Charlie Marsh✓@charliermarsh
    Charlie Marsh
    RT @polynoamial: Only 2.5 years ago, AI labs would highlight their frontier LLM performance on grade school math benchmarks (GSM8K). I can't wait to see where we'll be in another 2.5 years.
    Aashish Reddy @_AashishReddy
    It just never gets old
    0540173
  16. Charlie Marsh✓@charliermarsh
    Charlie Marsh
    RT @wtgowers: For those who don’t know, ETH is the hypothesis that 3SAT needs exponential time. Very surprising and consequential that it is false.
    Ryan Williams @rrwilliams.bsky.social @rrwilliams
    An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
    01150198
  17. Ryan Williams @rrwilliams.bsky.social@rrwilliams
    An internal model at OpenAI has produced a claimed refutation of ETH! Russell Impagliazzo, Mohan Paturi, and I have been asked to help organize an open and independent examination of this claim. 1/4
    2786836.7K3.2M
  18. Charlie Marsh✓@charliermarsh
    Charlie Marsh
    RT @danintheory: We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory.
    01K0205
  19. Charlie Marsh✓@charliermarsh
    Charlie Marsh
    RT @mweinbach: GPT 6.1 Terra is out! I had early access, it's a really model for writing and basic use, as well as computer use. It's quick and overall a great value for what it is. It also works extremely well as a subagent.
    090212
  20. Afișează mai multe postări