defvar

My recent experience switching from Windows to Linux (NixOS) suggests otherwise.

I use a ThinkPad P1 Gen 3. My dGPU actually died due to overheating caused by Windows failing to sleep properly. On Windows, the fans were always noisy and temperatures stayed above 60°C.

Since switching to Linux, the fans are very quiet and temperatures sit between 40–50°C. What surprised me most is that sleep mode works much better on Linux than on Windows, where the frequent failures eventually killed my GPU.

This reminds me of "Thousand Character Text"(千字文), which is a Chinese poem that has been used as a primer for teaching Chinese characters to children from the sixth century onward. It contains exactly one thousand characters, each used only once, arranged into 250 lines of four characters apiece and grouped into four line rhyming stanzas to facilitate easy memorization.

See Also: https://en.wikipedia.org/wiki/Thousand_Character_Classic

The game mentioned in this article reminds me of the story about heuristics told by Richard Feynman in a lecture: https://youtu.be/EKWGGDXe5MA?si=z9TdlWflOkY6b9Qk&t=4249

I was wondering then who was the guy he talked about.It is great that this article provides so much details of it.

Here is a nice animation of this puzzle. https://www.geogebra.org/m/v3a437ux

The problem with the new chatbots is not just that they are often stupid and naive; it is that they are not “stupid” or “naive” enough to pick up on the nuances, ironies, and revealing contradictions that constitute human culture and communication. Worse, by relying on them, we risk succumbing to the same obtuseness.

Another interesting read related: http://ed-thelen.org/comp-hist/B5000-AlgolRWaychoff.html#7

more context here: http://www.softwarepreservation.org/projects/ALGOL/algol58im...

Hi Alan, do you still do coding (any kind of, for any purpose) these days? If you do, what's your comfortable setup (say, language, editor, tools and etc)?

Wow, such a big news! I have heard so much praise about it and have been always want to use it. Now dream comes to true. Thanks!

the checksums are gpg signed.

Out of curiosity, I just googled around and found some code samples: https://www.google.com/#q=David+Cutler+davec+site%3Apudn.com...