@www.pypy.org@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
A Faster Python
Site URL: www.pypy.org/
Feed URL: www.pypy.org/rss.xml
Posts: 7
Followers: 1
Guest Post: How PortaOne uses PyPy for high-performance processing, connecting over 1B of phone calls every month
https://www.pypy.org/posts/2024/08/portaone.html
Published: August 29, 2024 09:00
The PyPy project is always happy to hear about industrial use and deployments of PyPy. For the GC bug finding task earlier this year, we collaborated with PortaOne and we're super happy that Serhii Titov, head of the QA department at PortaOne, was up to…
PyPy v7.3.17 release
https://www.pypy.org/posts/2024/08/pypy-v7317-release.html
Published: August 28, 2024 12:22
PyPy v7.3.17: release of python 2.7 and 3.9 The PyPy team is proud to release version 7.3.17 of PyPy. This release includes a new RISC-V JIT backend, an improved REPL based on work by the CPython team, and better JIT optimizations of integer operations.…
Conda-forge proposes sunsetting support for PyPy
https://www.pypy.org/posts/2024/08/conda-forge-proposes-dropping-support-for-pypy.html
Published: August 9, 2024 06:27
Conda-forge has kindly been providing support for PyPy since 2019. The conda-forge team has been very patient and generous with resources, but it seems the uptake of PyPy has not justified the effort. Major packages still are not available on PyPy, others…
A Knownbits Abstract Domain for the Toy Optimizer, Correctly
https://www.pypy.org/posts/2024/08/toy-knownbits.html
Published: August 3, 2024 14:00
After Max' introduction to abstract interpretation for the toy optimizer in the last post, I want to present a more complicated abstract domain in this post. This abstract domain reasons about the individual bits of a variable in a trace. Every bit can be…
Abstract interpretation in the Toy Optimizer
https://www.pypy.org/posts/2024/07/toy-abstract-interpretation.html
Published: July 24, 2024 14:48
This is a cross-post from Max Bernstein from his excellent blog where he writes about programming languages, compilers, optimizations, virtual machines. He's looking for a (dynamic language runtime or compiler related) job too. CF Bolz-Tereick wrote some…
Mining JIT traces for missing optimizations with Z3
https://www.pypy.org/posts/2024/07/mining-jit-traces-missing-optimizations-z3.html
Published: July 19, 2024 17:01
In my last post I've described how to use Z3 to find simple local peephole optimization patterns for the integer operations in PyPy's JIT. An example is int_and(x, 0) -> 0. In this post I want to scale up the problem of identifying possible optimizations…
Finding Simple Rewrite Rules for the JIT with Z3
https://www.pypy.org/posts/2024/07/finding-simple-rewrite-rules-jit-z3.html
Published: July 12, 2024 19:14
In June I was at the PLDI conference in Copenhagen to present a paper I co-authored with Max Bernstein. I also finally met John Regehr, who I'd been talking on social media for ages but had never met. John has been working on compiler correctness and…