CF Bolz-Tereick

@cfbolz
1.1K Followers
1.3K Following
3.1K Posts
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
websitehttps://www.cfbolz.de
CF Bolz-Tereick8h ago
David R. MacIver1d ago

So like I mentioned I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel!

A remarkably short number of months later, Hegel. Hegel is a property-based testing protocol and family of client libraries which makes it easy to do Hypothesis-grade PBT everywhere.

Today: Rust. Tomorrow: The world! (Muahaha)

https://antithesis.com/blog/2026/hegel/

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

Show threadCF Bolz-Tereick23h ago
Sandra Hüller is as usual totally amazing.
CF Bolz-Tereick23h ago
Project Hail Mary is so good! Hadn't been to the cinema in ages, and it was totally worth it 🚀
CF Bolz-Tereick4d ago
Show threadAdrian Sampson4d ago
we did go and write a short paper about our very funky generic compiler driver framework, fud2 https://capra.cs.cornell.edu/latte26/paper/latte26-final30.pdf
CF Bolz-TereickJan 29
Alice Averlong🏳️‍⚧️Jan 29

I just spent 5 minutes trying to figure out why my NES emulator was lagging. I thought it might be an OpenGL issue, something to do with the sound core, and I tried a different NES emulator core entirely!

in the end the only thing that fixed it was going into speed and changing it from "50%" back to "100%"!

CF Bolz-TereickJan 27
AndrewJan 27
You know how weather forecasts will tell you the temperature, and then what temperature it *feels* like? Corporate training apps should do that with how long the courses take
CF Bolz-TereickJan 27
Show threadyomnaJan 27
CF Bolz-TereickJan 25
Gezeitenboje is back! (sculpture by K-L Schmaltz in a local lake, was gone for a while – maybe for a temporary exhibition somewhere)
CF Bolz-TereickJan 25
Can LehmannJan 25

Slides for my compilers talk at Entropia are available at https://github.com/can-lehmann/exotic_compilers_talk/releases/tag/v1

#entropia

Release v1 · can-lehmann/exotic_compilers_talk

Version of this talk which was presented at Entropia on Jan 24 2026.

GitHub
CF Bolz-TereickJan 24
Alex BradburyJan 22
2% of Golang 2025 survey respondents are deploying their Go software to RISC-V. Take that, s390x! https://go.dev/blog/survey2025#operating-systems-and-architectures