Mining JIT traces for missing optimizations with Z3 (pypy.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of pypy.org: Mining JIT traces for missing optimizations with Z3

First screen, captured 2 years ago.

Looks similar

Screenshot of pypy.org: Musings on Tracing in PyPy

Musings on Tracing in PyPy (pypy.org)

80 points by 082349872349872 1 year ago | 7 comments

Screenshot of pypy.org: A DSL for peephole transformation rules of integer operations in the PyPy JIT

A DSL for peephole transformation rules of integer operations in the PyPy JIT (pypy.org)

97 points by todsacerdoti 2 years ago | 9 comments

Screenshot of pypy.org: PyPy has moved to Git, GitHub

PyPy has moved to Git, GitHub (pypy.org)

131 points by lumpa 2 years ago | 49 comments

Screenshot of pypy.org: Low Overhead Allocation Sampling with VMProf in PyPy's GC

Low Overhead Allocation Sampling with VMProf in PyPy's GC (pypy.org)

38 points by lumpa 1 year ago | 0 comments

Screenshot of pypy.org: Doing the Prospero-Challenge in RPython

Doing the Prospero-Challenge in RPython (pypy.org)

20 points by tekknolagi 1 year ago | 0 comments

Screenshot of pypy.org: PyPy v8.0.0 Release

PyPy v8.0.0 Release (pypy.org)

17 points by lumpa 1 month ago | 1 comments