Andreas Klöckner

On second thought, replacing "native" NaNs with pymbolic NaNs in one central location is probably not happening---there are too many possible "ways in", as you point out. My next idea...

> Should this also do a `pymbolic.primitives.NaN` replacement, like in the C codegen? Maybe just warn? I'm not sure Python code gen has really been tested for NaNs. If you're...

Thanks for the report, I had no idea. Continuing along those lines, I'm not sure I have a good idea for how to approach this. We could introduce a flag...

I guess the first stop would be to see whether there's any sign of pyopencl in the virtualenv (`/home/rabijl/Projects/pocl-3/build_test/examples/PyOpenCL/src/PyOpenCL-build/` in this case?), specifically in `lib/python3.11/site-packages` or so. If not, then...

You're right, this is not something that's supported right now. It lines up somewhat well with my plans, in that I would like to make it possible to allow grading...

No, sorry, that was me. I needed to click "Approve".

(But I've been a bit preoccupied with the whole thing being quite broken on 3.13: #664)

I've been using this, and I greatly appreciate the feature. I did notice an issue (though I am not meaning to hold up a potential merge): If a line is...

Thanks for the suggestions. > I would suggest just using someone else's calendar implementation? since this sounds like a lot of reduplicated work to me Already uses https://fullcalendar.io/.

In order to be useful, this should probably be in the user profile, with one theme for light and one theme for dark. [Here](https://github.com/vadimdemedes/thememirror) is a theme collection that looks...