Until now, I have used qemu (or rather qemu-system-aarch64 in combination with binfmt-misc) on Linux to emulate e.g a Raspberry pi running on arm64. This works very well, but for e.g. Solaris or HP-UX there is the extra hurdle of getting hold of bootable media that will not freak out in the unfamiliar surroundings of a qemu virtual machine.

I have never tried, and it is possible that I overestimate the difficulty...

I do. But I do not need just any Unix shell account, I need old and weird ones! I develop and maintain a portable utility (rlwrap) that is aimed at users of older software, who are often also using older or even obsolete systems.

For years, I used Polarhome (http://www.polarhome.com/) as a "dinosaur zoo" of obsolete systems (thans, Zoltan!) For every new release, building it on a creaky Solaris or HP-UX machine would expose a few bugs.

Because older systems are being replaced by (much more uniform) newer ones, there is a diminishing need for such extreme portability. This is also the reason that Polarhome closed in 2022.

In spite of this, testing on many different systems improves general code quality, even for users of mainstream systems like linux, BSD or OSX.

Of course, I could setup a couple of virtual machines, but that is a lot of hassle, especially for machines with uncommon processor architectures.

But the comment states: DOF > 1 implies potential inconsistency. Inconsistency of what? Lean doesn't know, or care....

I'm not sure whether someone with a background in arts or history would say the same about the other episodes.

For those who want something entirely outside the STEM-heavy HN sphere of interest, there is another great BBC podcast about social science: https://en.wikipedia.org/wiki/Thinking_Allowed

   xsel -o -b | xsel -i -b

One day the gardener brought a large crystal bowl; in it floated a water-lily leaf upon which was laid a beautiful blue flower as big as a sunflower.

"The lotus of Hindustan!" exclaimed the family. [...]

"We have been looking for it in vain," they said. "We have been in the greenhouses and round about the flower garden!"

"Oh, no, it's not there," said the gardener. "It is only a common flower from the vegetable garden; but, look, isn't it beautiful! It looks like a blue cactus, and yet it is only the flower of the artichoke!"

He mentions two other pizze: "Pizza a libretti" and "Pizza gravida", both of them sweet. "Our" pizza is completely absent.

It is intriguing that the above 19th century "pizza" recipe is called alla napoletana given that Wikipedia states that "... modern pizza evolved from similar flatbread dishes in Naples, Italy, in the 18th or early 19th century."

It mentions one of my pet peeves with bracketed paste:

(Although most terminal emulators are designed to emulate xterm) ... there are no terminfo/termcap capabilities for the feature. Vim's variables assume that a termcap description might provide different values (omitting the “t_” prefix), but other editors simply use hard-coded strings

For example, the readline library just checks whether $TERM == 'dumb' and outputs the control codes if not (provided enable-bracketed-paste is set, of course) . Can anyone help me understand why there is no terminfo entry like setbp=\E[?2004h and unsetbp=\E[?2004l ?

I started with a popcorn roaster I bought second-hand for €10. Those work already surprisingly well, but will spread chaff (the thin membrane around the bean) around the house.

Then I graduated to a simple roaster (aorund €100) , which basically does the same thing (blowing hot air upwards through the beans) but with a chaff filter, and allows for larger batches.

Now I use the Gene Café, which stil uses the same principle (hot air) but has a rotating drum and lets you regulate the temperature.

Most roasters have a timer, but I never use it, it is important to stay around and look at (and smell) the beans. The whole process takes at most 20 minutes.

Googling for "best home coffee roaster" will tell you all you need to know, and then some.

It is not difficult (although I occasionally over- or underroast a batch) and great fun. Green beans keep for a long time (at least a year) so it is easy to buy in bulk, which is cheaper. Also, I'm never out of coffee....

Th only thing that sometimes requires a bit of elbow grease is the update process (emerge @world) which can throw up large lists of "blockers", especially when some major component changes (like say the transition from python2 to python3). "eselect news" gives ample warning beforehand.

This is the reason I never advise new linux users to use it, but I also don't see myself using any different distribution.