Viewing profile — hanslub42

Thanks for the summary! This looks more doable than I thought....

On Polarhome, I used QNX, SunOS/Solaris, HP-UX, AIX and OSX. Having those running under qemu would be quite the challenge. Until now, I have used qemu (or rather qemu-system-aarch6…

> nobody needs or wants a unix shell account in this day and age I do. But I do not need just any Unix shell account, I need old and weird ones! I develop and maintain a portable u…

All the heavy lifting is done by the comments. For example: theorem dof_gt_one_inconsistent (dof : Nat) (h : dof > 1) dof ≠ 1 (in Basic.lean) is the well-known fact that any number…

My first PC (in 1993) ran on Linux (0.99). As it didn't have a sound card I used the PC speaker as one. It sounded very tinny but speech was understandable enough. Even in the newe…

This would be a good place to remember Moses Schönfinkel, who invented Combinatory Logic as a student of David Hilbert at Göttingen in 1920. His life was tragic: after his return t…

For me, with a STEM background (and, I, suspect for many people here) the science episodes were never the most informative (though I would still learn a great deal about the histor…

Janson created more than just the Moomin stories. Check out her murals: https://tovejansson.com/gallery/murals/ . I don't see much darkness there... (there is even a small Mumintro…

In 1942, Heisenberg became the director of the Kaiser Wilhelm Institute for Theoretical Phiysics, where research into nuclear physics was conducted (on a small scale) and a Uranmas…

There also was a "German Physics" movement that tried to discredit relativity theory and quantum mechanics as essentially Jewish. Heisenberg was called a "white Jew" in a SS period…

On X11: xsel -o -b | xsel -i -b

A humble vegetable flowering so spectacularly was bound to get the attention of H.C. Andersen, who was always interested in ugly ducklings, like himself, turning out to be beautifu…

See also: https://news.ycombinator.com/item?id=27851857

I have in front of me a reprint of Pellegrino Artusi's famous "la Scienza in cucina e l'arte di mangiar bene" (1891). It has a recipe for "Pizza alla napoletana" (recipe #609) whic…

How it all came to pass: https://invisible-island.net/xterm/xterm-paste64.html It mentions one of my pet peeves with bracketed paste: (Although most terminal emulators are designed…

A skillet will work, but results in a very uneven roast (which you may like, but I didn't) I started with a popcorn roaster I bought second-hand for €10. Those work already surpris…

After buying a decent espresso machine (or whichever method you prefer) and grinder, the thing that will improve your coffee immeasurably is home roasting (like I started to do 15 …

https://web.archive.org/web/20230218232640/https://www.washi...

I have been using Gentoo forever (actually since around 2005). It has always worked well for me, documentation is great (though I always take a look at the Arch documentation as we…

Uranium (both U238 and U235) is an alpha-emitter. Alpha particles travel at most a few centimeters in air.

The article mentions the Futurist Cookbook . Wikipedia has more info about it [1], including a link to the freely available Italian text. There is an English translation [2], but t…

https://www.sfwriter.com/dyson-orion-death-of-a-project.pdf

Knoware (pun intended, probably), my first Internet provider, back in 1993, had a 9600 baud connection to the Internet, shared by all his customers. When I phoned the guy (late, as…

I actually stayed there one night. Cozy little place (I mean, a 747 makes a big airplane, but a rather small hotel) I slept in one of the motors, if remember well. Quite small, I h…