Hacker News
- A Knownbits Abstract Domain for the Toy Optimizer, Correctly https://pypy.org/posts/2024/08/toy-knownbits.html 2 comments
Linking pages
Linked pages
- Abstract interpretation in the Toy Optimizer | Max Bernstein https://bernsteinbear.com/blog/toy-abstract-interpretation/ 38 comments
- haroldbot http://haroldbot.nl/ 9 comments
- Bit-Twiddling: Addition with Unknown Bits | dougallj https://dougallj.wordpress.com/2020/01/13/bit-twiddling-addition-with-unknown-bits/ 8 comments
- Jeremy Siek: Data Structures and Algorithms, Correctly http://siek.blogspot.com/2024/06/data-structures-and-algorithms-correctly.html 8 comments
- Finding Simple Rewrite Rules for the JIT with Z3 | PyPy https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html 4 comments
- pytest: helps you write better programs — pytest documentation http://pytest.org/ 2 comments
- Welcome to Hypothesis! — Hypothesis 6.56.3 documentation https://hypothesis.readthedocs.io/en/latest/index.html 0 comments
- [2105.05398] Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers https://arxiv.org/abs/2105.05398 0 comments
Related searches:
Search whole site: site:pypy.org
Search title: A Knownbits Abstract Domain for the Toy Optimizer, Correctly | PyPy
See how to search.