wolf550e

27 ms·

31.
by wolf550e 2y ago
https://github.com/rustls/rustls-ffi I guess
32.
by wolf550e 2y ago
Frank Denis, maintainer of libsodium, is also a reputable engineer.
33.
by wolf550e 2y ago
Didn't they invent MTA-STS so they could not use DANE? They use MTA-STS.
34.
by wolf550e 2y ago
They prefer tcl as the scripting language and they like the maintainer.
35.
by wolf550e 2y ago
I don't think they are actually selling those machines so well. They have a captive legacy customer base, who else is buying those?
36.
by wolf550e 2y ago
The amount of throughput you can get out of AMD EPYC zen5 servers for the price of a basic mainframe is insane. Even if IBM wins in single core perf using absurd amount of cache and absurd cooling solution, the total rack throughput is defi
37.
by wolf550e 2y ago
They also removed the gridfins and their engines. https://blogs.nasa.gov/europaclipper/wp-content/uploads/site...
38.
by wolf550e 2y ago
The Case for Mars is the book about Mars Direct https://en.wikipedia.org/wiki/The_Case_for_Mars
39.
by wolf550e 2y ago
The difference is that Mars Direct was a conservative plan, wrt rocket technology. It just used existing Shuttle parts and was meant to fly from Shuttle pads in between Shuttle flights. It didn't require developing anything new, that&#
40.
by wolf550e 2y ago
Robert Zubrin's Mars Direct would have got "flags and footprints" on Mars without needing something like Starship. He worked on a version of SLS in 1989 in Martin Marietta that would have cost $1B and been ready in the second
41.
by wolf550e 2y ago
They dropped transpiration cooling, at least for now.
42.
by wolf550e 2y ago
It updated my corp laptop a few days ago
43.
by wolf550e 2y ago
Sorry, bad reading comprehension on my part! I see honorary PhDs often used to express political support, instead of honest admiration of achievements.
44.
by wolf550e 2y ago
It's not original research. A Master's Thesis at most, or only a Bachelor's Degree Final Project. Regardless, doing such amazing work for a blog (and geek fame) is amazing.
45.
by wolf550e 2y ago
What are "real types and the associated constraints"? It has strict tables: https://www.sqlite.org/stricttables.html
46.
by wolf550e 2y ago
I don't know Rust. Can someone explain how this data structure stores whether a node is itself a valid word or whether it only leads to more nodes? For example the node "do" in their (“and”, “ant”, “dad”, “do”, & “dot”) e
47.
by wolf550e 2y ago
I get the feeling Intel needed to "bribe" the Navajo by ordering this work. Why did they need to do that? Was it part of an agreement with tribe leadership?
48.
by wolf550e 2y ago
The macOS IO benchmark and pgbench (also IO) makes me think macOS cheats somehow, for example it doesn't actually cause the SSD to write to flash when the app performs fsync, and some other "optimizations".
49.
by wolf550e 2y ago
The adapters are installed on the station, the vehicles don't carry them. https://en.wikipedia.org/wiki/International_Docking_Adapter
50.
by wolf550e 2y ago
VSS6 had file checkout, which IIRC locked the file preventing other devs from editing it. It was popular with Visual C++ 6.0, circa the year 2000. https://en.wikipedia.org/wiki/Microsoft_Visual_SourceSafe
51.
by wolf550e 2y ago
That's one CVE, right? How many other vulnerabilities were caused by compiler optimizations, whether they were bugs in the compiler or allowed by the spec?
52.
by wolf550e 2y ago
> It would be interesting to study what percentage of security failures can be partly or entirely attributed to compiler "optimizations". I bet it's roughly none.
53.
by wolf550e 2y ago
But you can use external storage for code and data, and that can be bigger than what can be addressed by the pointer size. The universe is finite, but most computations you would want to perform treat AWS S3 as infinite. Unless you want to
54.
by wolf550e 2y ago
regehr et al use alive2 which uses z3
55.
by wolf550e 2y ago
You can follow Hector Martin @marcan at https://social.treehouse.systems/@marcan/ He works on Asahi Linux, a Linux port to arm64 Apple hardware.
56.
by wolf550e 2y ago
I think the trick with dereferencing unmapped memory is cool, but I only really care about techniques that work reliably and I can use in production.
57.
by wolf550e 2y ago
https://security.stackexchange.com/a/231019/70830
58.
by wolf550e 2y ago
It is possible to construct a worst case scenario for bytecode execution, for example very complex expressions in the WHERE and/or SELECT clauses that compute values, and a query plan that performs a full table scan over a table with s
59.
by wolf550e 2y ago
The page is the result of this exchange on Twitter: https://twitter.com/gorilla0513/status/1784756577465200740 I was surprised to receive a reply from you, the author. Thank you :) Since I'm a novice with bot
60.
by wolf550e 2y ago
Eh. Russian folk wisdom says "Жид крещёный - что вор прощеный. Веры нет" - "A converted Jew (slur) is like a forgiven thief - no faith/trust". And in later times, "бить будут не по паспорту, а по морде" -

More ›