@cfbolz@mastodon.social

CF Bolz-Tereick @cfbolz@mastodon.social · May 07, 2026

Replying to @regehr@mastodon.social

@regehr Easter Orthodox Christian fasting can include not eating meat, dairy, eggs. So it's not totally surprising that there are vegan dishes from the Balkans. (it's not part of the Balkans, but I found amazing vegan food in Romania on my last visits)

3

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · May 04, 2026

Replying to @regehr@mastodon.social

@regehr@mastodon.social oh nice! I might have a pretty direct use case for this soon

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 28, 2026

'Wearing Flip Flops' is really an excellent title for a hardware podcast https://wearing-flip-flops.com/
(didn't listen to it yet though)

3

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 23, 2026

Replying to @ccshan@woof.group

@ccshan the deer isn't driving a car, so I'd say yes

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 23, 2026

Replying to @lritter@mastodon.gamedev.place

@lritter@mastodon.gamedev.place yeah it feels like it works by accident on mobile, mouse works fine and the browser turns touch events into some random mouse thing

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 23, 2026

Replying to @lritter@mastodon.gamedev.place

@lritter@mastodon.gamedev.place double tap worked for me on ff mobile

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 23, 2026

Replying to @lritter@mastodon.gamedev.place

@lritter@mastodon.gamedev.place on the laptop it just works nicely. On the phone it works for me in full-screen mode, tap and hold to zoom.

1

4

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 23, 2026

yesterday I found out that XaoS nicely runs in the browser: https://xaos-project.github.io/
I played *a lot* with it when I was like 15 and had just installed Linux for the first time. And the aa terminal mode was just the best thing ever.

7

6

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 22, 2026

Rest in peace, Tomáš :-(
https://prl-prg.github.io/tomas-kalibera.html

prl-prg.github.io

In Memoriam: Tomáš Kalibera - Programming Research Laboratory - CVUT

15

2

16

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 22, 2026

Replying to @penguin42@mastodon.org.uk

@penguin42@mastodon.org.uk yes, we meta trace the core. It's generic, so it works for other cores too (but we haven't tried that for a super wide variety of cores yet)

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 18, 2026

Replying to @CanLehmann@mastodon.social

@CanLehmann@mastodon.social @smarr@mastodon.acm.org @lindsey@recurse.social @verijit@mastodon.social verijit is actually doing the second futamura projection! The result (a residual cpu, specialized to a concrete program) is the same, but the compilation process itself is faster. (Graal is doing the first, rpython too). And yes, partial evaluation and meta tracing are not exactly the same, but have a lot of similarities (there's a chapter about the similarities/differences in my diss)

8

2

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 18, 2026

Replying to @tom_verbeure@mastodon.social

@tom_verbeure @CanLehmann @verijit happy to answer questions, just ping me!

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 18, 2026

Replying to @smarr@mastodon.acm.org

@smarr@mastodon.acm.org @CanLehmann@mastodon.social @ltratt@mastodon.social @verijit@mastodon.social I haven't actually decided what to talk about at icooolps. It might be this, or I'm thinking of doing a talk on pragmatic approaches for improving compiler correctness

4

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 18, 2026

Replying to @smarr@mastodon.acm.org

@smarr@mastodon.acm.org @CanLehmann@mastodon.social @ltratt@mastodon.social @verijit@mastodon.social yep, the rpython meta tracing jit wasn't good enough, so Can wrote a new one 😉. (more seriously, it was the other way round. Can wrote the new meta jit, I tried to reproduce the results in rpython and totally failed. The way that rpython produces traces is just way too inefficient for cpu cores)

3

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 18, 2026

Replying to @ltratt@mastodon.social

@ltratt@mastodon.social @verijit@mastodon.social @CanLehmann@mastodon.social yeah, making any kind of perf demo is hard. 'it's literally the same, just a bit faster!' just doesn't pack that much punch

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 18, 2026

Replying to @tom_verbeure@mastodon.social

@tom_verbeure @CanLehmann @verijit it is a generic simulator. However, the optimizations are quite geared towards CPUs. So for other designs it's less clear that it'll be faster than other simulators. What kind of Verilog designs are you interested in?

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 17, 2026

Replying to @penguin42@mastodon.org.uk

@penguin42@mastodon.org.uk the pycket one? That was fun. the very first meta tracing paper is this one: https://stups.hhu-hosting.de/downloads/pdf/BoCuFiRi09_246.pdf Feel free to ping if you have questions!

1

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 17, 2026

Replying to @cfbolz@mastodon.social

It's very amusing to me that there were two different new meta tracing jits announced this week, yk by @ltratt@mastodon.social and @verijit@mastodon.social And both are using a Mandelbrot demo! @CanLehmann@mastodon.social

10

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 17, 2026

Replying to @cfbolz@mastodon.social

@penguin42@mastodon.org.uk @CanLehmann@mastodon.social @verijit@mastodon.social does that make any sense? Happy to answer more questions about it!

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 17, 2026

Replying to @penguin42@mastodon.org.uk

@penguin42@mastodon.org.uk @CanLehmann@mastodon.social @verijit@mastodon.social it's 'meta' because the tracing jit is parametrized by the core. You can trace a riscv program according to the Verilog code of hazard3, or some other riscv core (or do the same thing for another isa and corresponding core entirely). The jit infrastructure is shared for all these cases

1

7

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 17, 2026

We've released a demo of the project @CanLehmann@mastodon.social and I have been working on: @verijit@mastodon.social is a meta-tracing Verilog emulator that specializes the simulated core to the machine code that is being executed on top of it. Was lots of fun to work on! I'm quite happy with the results too, we reach two orders of magnitude improvement over Verilator for a simple RISC-V core
https://www.youtube.com/watch?v=PXgUsEjvAOY

64

32

35

1

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 14, 2026

Replying to @regehr@mastodon.social

@regehr sorry :-(

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 14, 2026

Replying to @regehr@mastodon.social

@regehr I love this post, and I hate how much nonsense discourse there is on hn about it 🙄 (I know, what did I expect)

6

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 13, 2026

Replying to @shriramk@mastodon.social

@shriramk @tealeg haha, the identical details are fantastic 😂

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 13, 2026

Replying to @shriramk@mastodon.social

@shriramk omg, what an amazing picture, thanks for sharing it! Put it on Wikimedia Commons?

2

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 10, 2026

Yay, @stanfromireland@mastodon.social just became a PyPy core dev and merged the first PR! Congratulations and welcome! https://github.com/pypy/pypy/pull/5424

Together with Oskar Haarklou Veileborg he's the second newly active dev on the project in the last year.

mastodon.social

Stan 🐍 (@stanfromireland@mastodon.social) - Mastodon

16

0

3

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 03, 2026

Replying to @wingo@mastodon.social

@wingo@mastodon.social just physicists doing phycisist things

3

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 03, 2026

Replying to @cfbolz@mastodon.social

Last year there was also the excellent post 'The tech interview is a legible, reasonably well-designed process' https://herecomesthemoon.net/2025/06/legible-well-designed-processes/

2

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Apr 03, 2026

'Legibility is ruining you' https://jimmyhmiller.com/legibility-is-ruining-you amazing response by @jimmyhmiller@hachyderm.io to 'Seeing like a software company' https://www.seangoedecke.com/seeing-like-a-software-company/

13

1

8

0

CF Bolz-Tereick @cfbolz@mastodon.social · Mar 25, 2026

Replying to @DRMacIver@mastodon.social

@DRMacIver@mastodon.social this is so cool! and, incidentally, for one of my current projects the C++ version of Hegel can't come soon enough...

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Nov 29, 2025

Replying to @rg9119@mathstodon.xyz

@rg9119 just showing once again that Kant is the worst

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Feb 04, 2024

Replying to @ambv@mastodon.social

@ambv@mastodon.social wow, seriously?!? that's a little bit disappointing somehow (I noticed it a few episodes ago). also, you should invite guests (like me) sometime ;-)

1

0

CF Bolz-Tereick @cfbolz@mastodon.social · Feb 03, 2024

Replying to @ambv@mastodon.social

@ambv@mastodon.social love the podcast! The content is great, but my favorite part is the cover of the Monty Python Flying Circus theme musing in the outro 🎶🦶

2

0

CF Bolz-Tereick

Posts

In Memoriam: Tomáš Kalibera - Programming Research Laboratory - CVUT

Stan 🐍 (@stanfromireland@mastodon.social) - Mastodon

Remote instance