A Knownbits Abstract Domain for the Toy Optimizer, Correctly (pypy.org) | HN Screenshots

YHacker Newsscreenshots

Screenshot of pypy.org: A Knownbits Abstract Domain for the Toy Optimizer, Correctly

First screen, captured 2 years ago.

Looks similar

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: Mining JIT traces for missing optimizations with Z3

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

119 points by matt_d 2 years ago | 39 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

Screenshot of bernsteinbear.com: Abstract Interpretation in the Toy Optimizer

Abstract Interpretation in the Toy Optimizer (bernsteinbear.com)

33 points by ChadNauseam 10 months ago | 6 comments

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