adrian_b

25 ms·

391.
by adrian_b 3mo ago
Iterators and the loops of the form "forall X in A do ..." have been invented simultaneously with the appearance of the first version of the language C (i.e. around 1974), in the languages Alphard and CLU. From Alphard and CLU, lo
392.
by adrian_b 3mo ago
> PDF button not working for me That probably is caused by some setting of your browser, like disabling scripts or disabling pop-ups. Works for me (Firefox on Linux).
393.
by adrian_b 3mo ago
While I do not know directly about what happens in distant places on Earth, where I live in Europe there are about 15 years since the last time when I used my winter clothes and my winter boots. When I was young, where I live there was perm
394.
by adrian_b 3mo ago
Not long ago, China has demonstrated a supercomputer faster than any existing US supercomputer. The Chinese supercomputer uses custom CPUs designed in China, which implement the SME matrix extension of Armv9.3-A, while the fastest US superc
395.
by adrian_b 3mo ago
I do not agree that IEEE 754 is unclear or complicated. I think that it is one of the simplest standards that I have ever seen. It is certainly orders of magnitude simpler than specifications for things like HTML, CSS, C++ or Vulkan. The so
396.
by adrian_b 3mo ago
> Equality comparison should be reflexive Equality comparison must be reflexive for things on which it is defined. It is wrong to say that NaN is not equal to Nan (because a NaN is neither equal nor not equal with a NaN). When the invali
397.
by adrian_b 3mo ago
From the data at your link, China is much less hostile per capita than USA.
398.
by adrian_b 3mo ago
Unfortunately, the reality will be less spectacular. Instead of one invincible giant robot, we will have invincible huge swarms of dwarf robots, which will be much more dangerous than any single entity.
399.
by adrian_b 3mo ago
Indeed, such "high-entropy" alloys have been known for decades, but they are rarely used because of high cost. There is only one new fact in this research, which is however very interesting. By mechanical working of the alloy, its
400.
by adrian_b 3mo ago
While the breakdown voltage of the base-collector junction varies wildly even between transistors of the same type, the breakdown voltage of the base-emitter junction varies very little between planar-epitaxial transistors, because in all s
401.
by adrian_b 3mo ago
No. That capacitor would charge at a few volts, i.e. the sum between the voltage on a conducting LED and the voltage on a conducting silicon diode (the base-collector junction). So the capacitor would initially divert a part of the discharg
402.
by adrian_b 3mo ago
Their main architectural choice was not about "RISC" or "ARM" but it was choosing "Brainiac" over "Speed Demon", i.e. setting the goal to execute a great number of instructions per clock cycle at a mo
403.
by adrian_b 3mo ago
I am running Ghostty 1.1.3, on Gentoo Linux. I have opened right now about a dozen Ghostty windows and about 20 tabs in each window, i.e. more than 100 shell instances. I have started in as many of them as I could, before becoming too bored
404.
by adrian_b 3mo ago
This is normally a problem only when connecting to a remote computer through ssh, if you have not installed there the terminfo entry for ghossty or kitty or whatever recent video terminal emulator you are using. If you do not want to or you
405.
by adrian_b 3mo ago
Exactly as you say, the greatest difference with the recent generation of video terminal emulators that use the GPU through OpenGL or the like, is the much greater rendering speed, which becomes very noticeable with millions of lines of scr
406.
by adrian_b 3mo ago
There are some badly chosen operator priorities in the C programming language that can make expressions without parentheses harder to read (e.g. for the bitwise operators), but the fact that postfix operators are executed before prefix oper
407.
by adrian_b 3mo ago
CIE (1931) is a RGB color space, based on monochromatic primary colors with wavelengths of 700 nm (red), 546.1 nm (green) and 435.8 nm (blue). However the entire color space of CIE RGB (1931) includes points where some of the RGB components
408.
by adrian_b 3mo ago
Unlike for light, in the microwave frequency domain it is easy to make very powerful microwave sources by other means than by using masers, i.e. with various kinds of vacuum tubes. Masers are not useful as powerful transmitters, but only as
409.
by adrian_b 3mo ago
The original research paper: https://royalsocietypublishing.org/rsif/article/12/105/20141... The links given in TFA are broken.
410.
by adrian_b 3mo ago
The only complaint against Haskell was about long compilation times. I agree that short compilation times are very desirable, but I do not see why Python must be the solution for that. I do not know whether Haskell can be compiled quickly,
411.
by adrian_b 3mo ago
I agree that the maximum SSD performance can be achieved with carefully planned asynchronous reads, using either the modern liburing (io_uring) or the older libaio (Linux asynchronous I/O). Nevertheless, I do not think that "this
412.
by adrian_b 3mo ago
I do not think that I have ever seen any benchmark for a PCIe 5.0 SSD that did not have sequential read speeds well over 10 GB/s. If there were such a slow SSD, it would not make sense to buy it instead of a cheaper PCIe 4.0 SSD. For P
413.
by adrian_b 3mo ago
Fortunately all the "weird key bindings" can be easily changed. The only difficulty is caused by the fact that already each Emacs mode may change some of the key bindings. Because of that, before deciding on some key bindings you
414.
by adrian_b 3mo ago
Certain kinds of GOTOs are indeed proven mathematically to be necessary to write certain programs, in the sense that eliminating the GOTOs can be done only by making the program more inefficient, i.e. by increasing the number of executed in
415.
by adrian_b 3mo ago
You say that because you lack experience in writing programs for scientific-technical computing, where an abundance of complicated mathematical formulae are necessary. Most programmers have seen only programs that do more data movement and
416.
by adrian_b 3mo ago
The rules can be enforced by a static code checker. That is really not very different of rules enforced by the Rust compiler. For someone who does a fresh start, using a Rust compiler may ensure safer programs out of the box, but that does
417.
by adrian_b 3mo ago
No, I mean by using only custom types for things like arrays, strings and pointers, which do access checks and automatic memory release, and not using unsafe features like the built-in arrays, strings and pointers, or the incorrect integer
418.
by adrian_b 3mo ago
The old Cascade Lake based server found by the previous poster is still new enough to have instructions for relatively fast AI inference with the INT8 format. So for optimal speed the models must be quantized in this format. It is very like
419.
by adrian_b 3mo ago
Now many mini-PCs and desktops are able to read simultaneously from 1 PCIe 5.0 SSD and 1 PCIe 4.0 SSD. This can ensure a reading throughput around 20 GB/s, i.e. 20 times faster than on author's system. With only 1 PCIe 5.0 SSD, th
420.
by adrian_b 3mo ago
I have discovered Ghostty only this year, and I have switched to it a few months ago. For decades, I have used a great number of video terminal emulators. I have used for long time intervals at least 8 or 9 video terminal emulators, from th

More ›