2026-08-26T20:43:19+02:00 https://nostr.ae CF Bolz-Tereick https://nostr.ae/npub1yku8y0hc0c2uvqryrrhtfpfn7d5pf36jtguhwq82hrff2nc8s3fsrrn4mh https://files.mastodon.social/accounts/avatars/000/064/048/original/21e3195e88052ffd.jpg https://files.mastodon.social/accounts/avatars/000/064/048/original/21e3195e88052ffd.jpg https://nostr.ae/nevent1qqs2e9xlx6cpz40qy58z4t7m0lu5pt4l6kevrfakqwnda5dduynz8yszyqjmsu37lplpt3sqvsvwady9x0eks9x82fdrjacqa2ud9920q7z9xm23a54 The article about Clang&#39;s bytecode interpreter (for constexpr evaluation etc) is super interesting, but I&#39;m still incredibly amused by C++ compiler authors having to care about interpreter performance<br/><br/><a href="https://developers.redhat.com/articles/2025/10/15/clang-bytecode-interpreter-update">https://developers.redhat.com/articles/2025/10/15/clang-bytecode-interpreter-update</a><br/><br/>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-10-24T14:08:20+02:00 https://nostr.ae/nevent1qqsv7vckeupcnt0rvnggj6cgp707m05hzpu3lx9qc9a8j7ccpgqhxwczyqjmsu37lplpt3sqvsvwady9x0eks9x82fdrjacqa2ud9920q7z9xzdd3km Yes, thank you VS Code, clearly this smtlib file needed some color<br/> <img src="https://files.mastodon.social/media_attachments/files/115/213/559/266/521/911/original/3932e16d0869e14a.png"> <br/> 2025-09-16T12:44:44+02:00 https://nostr.ae/nevent1qqswj3g3pqjrqudrvedvzapcatr86kt7kgk9f9jxjnv69n3lcvrwp0gzyqjmsu37lplpt3sqvsvwady9x0eks9x82fdrjacqa2ud9920q7z9xpnf0nl Now this is my new favorite example for why &#39;C is a compiled language, so it&#39;s always fast&#39; is a nonsensical statement: a compiler for a subset of C to posix shell: <a href="https://dl.acm.org/doi/10.1145/3687997.3695639">https://dl.acm.org/doi/10.1145/3687997.3695639</a> 2024-11-10T22:52:35+01:00 https://nostr.ae/nevent1qqsvp2jw0zw8j8cng59hfr9qtde04nckservylsgskmhq26x6uh2z0szyqjmsu37lplpt3sqvsvwady9x0eks9x82fdrjacqa2ud9920q7z9x83rgas Started hacking on a small DSL for expressing peephole rewrites for the integer operations in the PyPy JIT.<br/><br/>The rules can be conditional on properties the bounds analysis/knownbits abstract domain found out.<br/><br/>The correctness of every rule is automatically verified using Z3.<br/><br/>The rules are compiled to relatively efficient pattern matching code and the JIT can print statistics about which rule fired how often. /cc <span itemprop="mentions" itemscope itemtype="https://schema.org/Person"><a itemprop="url" href="/npub1er4sdt6lf8959np3qlvv2ev78kyyndxw2lzc7ut6c05upmme757s4kx9ky" class="bg-lavender dark:prose:text-neutral-50 dark:text-neutral-50 dark:bg-garnet px-1"><span>John Regehr</span> (<span class="italic">npub1er4…x9ky</span>)</a></span>.<br/> <img src="https://files.mastodon.social/media_attachments/files/113/273/463/376/082/964/original/8b805b54f7400ade.png"> <br/> 2024-10-08T21:48:33+02:00 https://nostr.ae/nevent1qqsplc56p8fur467nfusremhh58gn7gtzzsvpn3kewemu28f36d4gaszyqjmsu37lplpt3sqvsvwady9x0eks9x82fdrjacqa2ud9920q7z9xp4nw92 In reply to <a href='/nevent1qqstmacn2ac57lr4rhguq75926uagg29ekrg575lzans333lkl4jqqq3yj5cq'>nevent1q…j5cq</a><br/>_________________________<br/><br/>we&#39;re gonna need a screenshot of that 2024-08-29T15:47:12+02:00 https://nostr.ae/nevent1qqsz9j6lypq4550n7ntahn3dk57v88e2xk5y6etslaj0v5azxuqprdczyqjmsu37lplpt3sqvsvwady9x0eks9x82fdrjacqa2ud9920q7z9xw3r0n6 Back from vacation but still don&#39;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: <a href="https://youtu.be/drwJBzDM1jI">https://youtu.be/drwJBzDM1jI</a> 2024-08-16T22:13:36+02:00