Followups from my previous post inspired me to invent the word 'microbored': the level of boredom that happens when something is right on the threshold where you look for something else to do.

For example, if I'm waiting for a compile that takes 1 second, I'll just sit for a second until it's done; if it takes 5 minutes or more then I _obviously_ need to find something to do while I wait (go make a coffee, open up a blog post, check Mastodon, whatever). But somewhere in between, at maybe the 10–20 second mark, it's a dilemma: sitting for 20 seconds doing nothing is a bit annoying, but anything I start doing in those 20 seconds won't be finished when I need to get back to looking at the results of the compile, and maybe the mental context switch costs more than it saves.

That's microboredom. It's not _too_ unpleasant in itself (there are much worse forms of boredom). But it's a more insidious waste of your time than a 5-minute delay, _because_ there's no way to spend the time more usefully or pleasantly.

@simontatham That''s why regular ovens take less (of my) time than microwaves. Of course microwaves finish sooner, but once I put something in the oven I go away and do something else. The oven is not taking my time. But if I stick a microwave dinner in to cook I'm standing there watching a two and a half minute timer count down before I peel back the film lid stir and put it back on for another two and a half minutes. The 25 minutes it takes for the oven to do it's business can be spent productively. However if I'm standing by a microwave all I can to is get my phone out and read your wonderful toots. Hmmm maybe that's not so bad.
@technicaladept @simontatham Whilst I see your point, there is almost always something else productive that needs doing in the kitchen or elsewhere in the house that can be done in two minutes