hanslub42

6 ms·

1.
by hanslub42 6mo ago
Thanks for the summary! This looks more doable than I thought....
2.
by hanslub42 6mo ago
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 Linux to emulate
3.
by hanslub42 6mo ago
> 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 of older software,
4.
by hanslub42 9mo ago
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 states: DOF &gt
5.
by hanslub42 10mo ago
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 ( https://cateee
6.
by hanslub42 1y ago
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 ill, and he died in M
7.
by hanslub42 1y ago
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 someone with a
8.
by hanslub42 1y ago
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
9.
by hanslub42 2y ago
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 built. At that poin
10.
by hanslub42 2y ago
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
11.
by hanslub42 3y ago
On X11: xsel -o -b | xsel -i -b
12.
by hanslub42 3y ago
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 story "Gartneren
13.
by hanslub42 3y ago
See also: https://news.ycombinator.com/item?id=27851857
14.
by hanslub42 3y ago
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
15.
by hanslub42 4y ago
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 t
16.
by hanslub42 4y ago
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 thin membrane ar
17.
by hanslub42 4y ago
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 not difficult (altho
18.
by hanslub42 4y ago
https://web.archive.org/web/20230218232640/https://www.washi...
19.
by hanslub42 4y ago
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 though I run the "un
20.
by hanslub42 4y ago
Uranium (both U238 and U235) is an alpha-emitter. Alpha particles travel at most a few centimeters in air.
21.
by hanslub42 4y ago
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, espresso coffee is the u
22.
by hanslub42 4y ago
https://www.sfwriter.com/dyson-orion-death-of-a-project.pdf
23.
by hanslub42 4y ago
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 the day) to get a login
24.
by hanslub42 4y ago
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 bed, but the lower b
25.
by hanslub42 4y ago
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 ca
26.
by hanslub42 4y ago
This may be the appropriate place to gratefully mention Polarhome ( http://www.polarhome.com/ ), that for many years managed a "dinosaur zoo" of ageing Unix systems, on which one could buy a login for a nominal fee.
27.
by hanslub42 5y ago
In many cases (mine included), SAD is not so much about how much light we get, but about when : I manage my sleep/wake cycle by getting a good dose of light in the morning (I do my morning E-mails with a nice strong blueish LED-lamp
28.
by hanslub42 5y ago
A regional cuisine can be largely vegetarian even if 0.0% of the people in the region are vegetarian. I eat meat, even though my personal cuisine is largely vegetarian: I cook a lot of vegetarian dishes, even though I enjoy a bit of meat ev
29.
by hanslub42 5y ago
Why are most answers pretending that the choice is between meat and plant-based fake meat? For millennia, people have been eating plant proteins straight from the plant, like chickpeas and lentils. The glorious south-Indian cuisine is large
30.
by hanslub42 5y ago
Possibly, but this would not answer the question of the origin of northern (mitochondrial) DNA in the local mice populations. (see https://pubmed.ncbi.nlm.nih.gov/25394749/ )

More ›