4 ms·

I did, yes: https://x.com/dmitrygr/status/2042036163335041305 https://x.com/dmitrygr/status/2042036163335041305

• ndiddy 6mo ago
  Wow, that's really neat! Looking forward to your writeup.