adrian_b

26 ms·

421.
by adrian_b 3mo ago
Rust is one of the safer languages, but saying that it is "the safest language" is just a baseless exaggeration. Decades before Rust and long before the simplified language that was C, there were safe programming languages, where
422.
by adrian_b 3mo ago
There are several substances that are made in the human body, but apparently in lower quantities than necessary. These include at least choline, creatine and taurine, and also vitamin K2 (which is made in humans by conversion from vitamin K
423.
by adrian_b 3mo ago
As another poster already noted, external HDDs may be needed, especially because Apple computers have only puny (or greatly overpriced) SSDs.
424.
by adrian_b 3mo ago
TLDR: > All in all, using zero-knowledge proofs for research may not have much benefit. “There is almost no situation in research where one research group is so far ahead of all the other research groups that they can keep novel results
425.
by adrian_b 4mo ago
Bernstein as a "software publisher" cannot really be compared with anyone else, because what can be considered as great flaws in comparison with others are compensated by equally great advantages. He has published a very large qua
426.
by adrian_b 4mo ago
It does not matter much how long it goes back, because before its standardization very few people have bothered to study it. Like for any other cryptographic algorithms, where one or more decades were necessary for a good understanding of t
427.
by adrian_b 4mo ago
Depends on what you use it for. The CPU of Ryzen is better than that of DGX Spark, especially for modern programs that have been updated to use AVX-512 (i.e. it has a significantly higher multithreaded performance). Only for GPU application
428.
by adrian_b 4mo ago
Only the top variants of M5 Max have more than twice the memory bandwidth of AMD, but those are much more expensive, i.e. over $10,000. M5 Pro has as slightly higher memory bandwidth, but currently it is available only with up to 64 GB of D
429.
by adrian_b 4mo ago
I agree with the explanation you give at that link. For linear algebra, the Fortran convention, "column-major" is indeed superior. This is most obvious when computing a matrix-vector product, i.e. a linear transformation of a vect
430.
by adrian_b 4mo ago
Small mistakes in TFA: > Simula (1962) the first object-oriented (OO). No, Simula (1962) was not object-oriented. Only its successor "Simula 67", which was described publicly in some papers in the first half of 1968, was the fi
431.
by adrian_b 4mo ago
Nixie tubes, like all gas-discharge tubes with negative light, do not use any filament. A filament could be needed with a higher pressure gas, to emit electrons that would ionize the gas, to facilitate the initiation of a discharge. A filam
432.
by adrian_b 4mo ago
Barrel usage in Britain is old, but we do not have the slightest idea about how barrels and those who make barrels were named at that time. Even much later, by the time of Old English, it is not known whether the word "cooper" was
433.
by adrian_b 4mo ago
"Broken up" may not be the best choice of words, but you did not explain which synonym would make you happier: "divided", "segmented", "fragmented", "split", etc. The DNA of a nucleated (a.k
434.
by adrian_b 4mo ago
You are of course right, but you should have pointed out that the text quoted by you was not 100% wrong, because the ten cathodes have indeed the forms of the ten digits and they are stacked one above the other. The only wrong parts were th
435.
by adrian_b 4mo ago
NVIDIA appears to play on several parallel paths that may compete with each other. On one hand it appears to cooperate with OpenAI and Anthropic, as big customers. On the other hand NVIDIA cooperates with Palantir, providing the HW for its
436.
by adrian_b 4mo ago
No, you misunderstood. A small fab that uses electron-beam lithography can do everything that TSMC can do, and in a much simpler way. Its problems are not technical, but economical. The costs of producing chips are much lower than for TSMC,
437.
by adrian_b 4mo ago
Using electron-beam lithography, you can define features of that size on a silicon wafer. Silicon transistors with such gate lengths would not work, because the too short gate could not close the conduction channel (the minimum gate length
438.
by adrian_b 4mo ago
That is not what the comment to which you replied said. There is a consensus about pushing PQC and about the PQC standard. The dispute is about something else, about whether the current Diffie-Hellman based key establishment algorithms shou
439.
by adrian_b 4mo ago
More useful, but much less funny. I believe that the title of TFA is faithful to the spirit of a contest named "The International Obfuscated C Code Contest", even if I was also confused by the title. The work of all the winners wa
440.
by adrian_b 4mo ago
Yes, but while the moat surrounding the US embassy in London will not deter drones, it will prevent any car from reaching the proximity of the building. A car can carry a much higher explosive load than even a lot of cheap drones. Moreover,
441.
by adrian_b 4mo ago
Coincidentally, this morning I happened to be in a hotel room where there was a TV-set showing some random TV channel, and there was a documentary showing that medieval-style fortifications have come back in the form of the new building of
442.
by adrian_b 4mo ago
The ADCs that do direct sampling of the input signal (i.e. by successive approximation or by the pipelined algorithm) become very expensive at high resolutions and they are limited to 18 bits per sample or at most 20 bits per sample. Due to
443.
by adrian_b 4mo ago
While the best that ADCs can provide is linear 24-bit audio samples, the following audio processing is better done after converting the samples to FP32, and keeping this format until the final 16-bit encoded audio suitable for listening is
444.
by adrian_b 4mo ago
Another poster has already given a link to the technical arguments of DJB, https://blog.cr.yp.to/20260221-structure.html where he combats very well your argument. For me, his argumentation seems far more grounded in reality
445.
by adrian_b 4mo ago
And those technical arguments are quite thorough, covering both the pro and the contra arguments.
446.
by adrian_b 4mo ago
Your claim does not match the reality, because at the previous IETF meeting most have voted like DJB. I cannot see how any true "expert" would have the courage to claim that in a cryptography standard it is admissible to accept ri
447.
by adrian_b 4mo ago
DJB did not criticize anything about ML-KEM. The TFA has nothing to do with ML-KEM, but only about how to transition from the current algorithms to post-quantum algorithms. For now, it is completely unknown how secure ML-KEM really is, beca
448.
by adrian_b 4mo ago
Do you have a citation for "only wants to buy systems which support pure post-quantum cryptography" ? Because this would seem pretty stupid, i.e. to disqualify something that supports both post-quantum algorithms and previous algo
449.
by adrian_b 4mo ago
DJB did not claim that there exists any weakness in ML-KEM or that NSA had anything to do with ML-KEM. He just pointed that the predecessor of ML-KEM (SIKE) has already been broken. Because ML-KEM is also very new, there is a non-negligible
450.
by adrian_b 4mo ago
What you say has nothing to do with TFA, which is not about ML-KEM but about the session key establishment protocol used in TLS, in which ML-KEM is just a component. DJB supports the use of ML-KEM in TLS, but he correctly says that using o

More ›