41554 blogs · [ { "id": "01a0875d-cca8-7213-8d3c-b9b5553b7ba6", "title": "The technology of \"How to carry a locust\" at Manifesta 16 Ruhr", "url": "https://cfbolz.de/posts/technology-locust-manifesta/", "published_at": "2026-07-12T18:04:49+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b5561c8fb3", "title": "KnownBits in Lean", "url": "https://cfbolz.de/posts/2026-knownbits-in-lean/", "published_at": "2026-05-31T10:04:49+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b556ebb942", "title": "How fast can the RPython GC allocate?", "url": "https://cfbolz.de/posts/rpython-gc-allocation-speed/", "published_at": "2025-06-12T13:48:30+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b557403604", "title": "How slow is the tracing interpreter of PyPy's meta-tracing JIT?", "url": "https://cfbolz.de/posts/speed-of-tracing/", "published_at": "2025-06-11T18:10:56+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b55766af62", "title": "A Hint for Language-Specific Runtime Function Optimization in RPython's Meta-JIT", "url": "https://cfbolz.de/posts/record-known-result/", "published_at": "2025-05-23T20:00:00+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b55855f07d", "title": "New Personal Blog", "url": "https://cfbolz.de/posts/new-personal-blog/", "published_at": "2025-05-23T14:01:44+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b558d21835", "title": "PyPy Binary Sizes over Time", "url": "https://cfbolz.de/posts/pypy-binary-sizes-over-time/", "published_at": "2025-02-13T14:57:07+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b55903cb8f", "title": "Porting the \"Worst Datalog\" to Python", "url": "https://cfbolz.de/posts/porting-the-worst-datalog-to-python/", "published_at": "2024-10-30T14:10:17+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b559843719", "title": "DFA Minimization using Rational Trees in Prolog", "url": "https://cfbolz.de/posts/dfa-minimization-using-rational-trees-in-prolog/", "published_at": "2024-07-24T18:41:20+00:00" }, { "id": "01a0875d-cca8-7213-8d3c-b9b55a51aae1", "title": "Optimizing Collatz in PyPy", "url": "https://cfbolz.de/posts/collatz-in-pypy/", "published_at": "2024-06-23T14:26:28+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/cfbolz.de/posts