Hacker News new | ask | show | jobs
by jwilk 1565 days ago
That's insufficient, because printf() is buffered.