Viewing profile — 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 sl…

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.…

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 wond…

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 revea…

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...