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-aarch64 in combination with binfmt-misc) on…
> 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 utility (rlwrap) that is aimed at users…
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 > 1 is unequal to 1. But the comment…
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 newest kernels there is a driver…
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 to his native Russia he became mentally…
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 history of the subject) I'm not sure whether…
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 Mumintroll in "Party in the City", in front of…
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 Uranmaschine (small experimental reactor) was…
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 periodical. The movement didn't have much…
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 beautiful and noble swans after all. From his…
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) which is a shortcrust filled with a cream…
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 to emulate xterm) ... there are no…
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 surprisingly well, but will spread chaff (the…
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 years ago, and never looked back) It is…
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 well), it is extremely stable (even…
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 that one is not free. In a sense,…
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 he worked at night and slept during…
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 had to climb into my bed (like in a bunk…
I'm really horrible at hardware, so... > I've been meaning to write a tremendous header for compiler & compiler version identification. I doubt whether a "OS zoo" would be of great help for this - many old OSes can run…
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-aarch64 in combination with binfmt-misc) on…
> 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 utility (rlwrap) that is aimed at users…
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 > 1 is unequal to 1. But the comment…
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 newest kernels there is a driver…
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 to his native Russia he became mentally…
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 history of the subject) I'm not sure whether…
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 Mumintroll in "Party in the City", in front of…
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 Uranmaschine (small experimental reactor) was…
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 periodical. The movement didn't have much…
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 beautiful and noble swans after all. From his…
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) which is a shortcrust filled with a cream…
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 to emulate xterm) ... there are no…
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 surprisingly well, but will spread chaff (the…
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 years ago, and never looked back) It is…
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 well), it is extremely stable (even…
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 that one is not free. In a sense,…
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 he worked at night and slept during…
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 had to climb into my bed (like in a bunk…
I'm really horrible at hardware, so... > I've been meaning to write a tremendous header for compiler & compiler version identification. I doubt whether a "OS zoo" would be of great help for this - many old OSes can run…