podcast
details
.com
Print
Share
Look for any podcast host, guest or anyone
Search
Showing episodes and shows of
CF Bolz-Tereick
Shows
jawbreaker.io
Transformative Texts: How Programming Writing Shaped My Understanding of Compilers and Languages
Hello and welcome to the podcast. Today I’m sharing highlights from a blog post that explores writing that changed how the author thinks about programming languages and compilers. He kicks off with Andy Wingo’s “a simple semi-space collector,” calling its core “tiny, extensible, and can be understood in an afternoon.” CF Bolz-Tereick’s “Implementing a Toy Optimizer” taught him to use a “forwarding pointer” instead of find-and-replace. In “A Knownbits Abstract Domain…,” he learned that “if Z3 can’t find a counterexample, the code is correct.” Chris Fallin’s take on register allocation proves correctness on each input, crashing meaningfully on bugs...
2025-05-17
01 min
Test & Code
190: Testing PyPy - Carl Friedrich Bolz-Tereick
PyPy is a fast, compliant alternative implementation of Python. cPython is implemented in C. PyPy is implemented in Python. What does that mean? And how do you test something as huge as an alternative implementation of Python?Special Guest: Carl Friedrich Bolz-Tereick.Links:PyPyHow is PyPy Tested? PyPy SpeedPython Speed Center Help support the show AND learn pytest: The Complete pytest course is now a bundle, with each part available separately.pytest Primary Power teaches the super powers of pytest that you need t...
2022-06-21
51 min