CF Bolz-Tereick

PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Vegan. Love street art and art in public spaces, hiking, reading.
they/them

website: https://www.cfbolz.de

Last Notes

2025-10-24 14:08:20 CEST

The article about Clang's bytecode interpreter (for constexpr evaluation etc) is super interesting, but I'm still incredibly amused by C++ compiler authors having to care about interpreter performance
https://developers.redhat.com/articles/2025/10/15/clang-bytecode-interpreter-update
Anyway, this just is another fun example interpreters and compilers being intermingled in silly ways. We put a (bytecode) compiler into your compiler so you can compile (and then interpret) while you compile

2025-09-16 12:44:44 CEST

Yes, thank you VS Code, clearly this smtlib file needed some color
https://files.mastodon.social/media_attachments/files/115/213/559/266/521/911/original/3932e16d0869e14a.png

2024-11-10 22:52:35 CET

Now this is my new favorite example for why 'C is a compiled language, so it's always fast' is a nonsensical statement: a compiler for a subset of C to posix shell: https://dl.acm.org/doi/10.1145/3687997.3695639

2024-10-08 21:48:33 CEST

Started hacking on a small DSL for expressing peephole rewrites for the integer operations in the PyPy JIT.
The rules can be conditional on properties the bounds analysis/knownbits abstract domain found out.
The correctness of every rule is automatically verified using Z3.
The rules are compiled to relatively efficient pattern matching code and the JIT can print statistics about which rule fired how often. /cc @npub1er4…x9ky.
https://files.mastodon.social/media_attachments/files/113/273/463/376/082/964/original/8b805b54f7400ade.png

2024-08-29 15:47:12 CEST

- reply

we're gonna need a screenshot of that

2024-08-16 22:13:36 CEST

Back from vacation but still don't want to do any actual work, so I finally got around to what I wanted to do for ages. I wrote a hacky script that makes the PyPy GC and JIT produce sounds: https://youtu.be/drwJBzDM1jI