4 ms·

This is what I come to HN for. I'll see if ChatGPT could maybe generate some relevant Anki cards as well.