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
Show threadCF Bolz-Tereick15h ago
@DRMacIver this is so cool! and, incidentally, for one of my current projects the C++ version of Hegel can't come soon enough...
CF Bolz-Tereick15h 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-Tereick1d ago
Sandra Hüller is as usual totally amazing.
CF Bolz-Tereick1d 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
Show threadCF Bolz-TereickMar 13
@megadec congrats! 🎉
Show threadCF Bolz-TereickMar 12
@pounce @sliminality yeah, that's me too with Colemak. Took a while go get used to it, but vim wasn't the main factor. hjkl is super unintuitive there, but I always used arrow keys anyway 🤷‍♀️
Show threadCF Bolz-TereickFeb 19
@wingo isn't the paper great?
Show threadCF Bolz-TereickFeb 19
@em it's all pretty scary, alone the accidents that happened this year 😱
Show threadCF Bolz-TereickFeb 19
@em https://youtube.com/shorts/cXfQeqAmBIQ?si=OZcZduinBd6igu-U
10 February 2026

YouTube