defvar

5 ms·

1.
by defvar 9mo ago
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 tem
2.
The Her Talking Phone May Have Arrived–She Speaks Chinese(scientificamerican.com)
4 points by defvar 10mo ago|0 comments
3.
Chinese Nobel Prize-winning physicist Chen-ning Yang dies, aged 103(scmp.com)
5 points by defvar 1y ago|1 comments
4.
by defvar 1y ago
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
5.
by defvar 1y ago
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 ab
6.
by defvar 3y ago
Here is a nice animation of this puzzle. https://www.geogebra.org/m/v3a437ux
7.
Artificial Idiocy by Slavoj ŽIžek(project-syndicate.org)
1 points by defvar 4y ago|1 comments
8.
by defvar 4y ago
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 commun
9.
by defvar 10y ago
Another interesting read related: http://ed-thelen.org/comp-hist/B5000-AlgolRWaychoff.html#7
10.
by defvar 10y ago
more context here: http://www.softwarepreservation.org/projects/ALGOL/algol58im...
11.
Handwritten coding sheets for Burroughs 205 Algol (1960) [pdf](archive.computerhistory.org)
73 points by defvar 10y ago|15 comments
12.
by defvar 10y ago
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)?
13.
by defvar 10y ago
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!
14.
by defvar 10y ago
the checksums are gpg signed.
15.
by defvar 10y ago
Out of curiosity, I just googled around and found some code samples: https://www.google.com/#q=David+Cutler+davec+site%3Apudn.com...