lambda

16 ms·

301.
by lambda 3y ago
Exactly; people would like their databases to be correct and consistent, but generally don't care enough to actually do something like hiring someone like Kyle to verify it before buying a database. They just find something with the ri
302.
by lambda 3y ago
No, no figures to back it up. This is just based on anecdotal experience, having never seen very many businesses that actually prioritize consistency or testing or validating it. The fact that Kyle keeps on finding these massive problems in
303.
by lambda 3y ago
Aviation has an extremely strong safety record, which has been getting better year by year. Yes, there are misses, but they have been happening increasingly less frequently over time. https://en.wikipedia.org/wiki/Aviat
304.
by lambda 3y ago
"Failed Jepsen tests" is relative; Kyle tends to be quite thorough in his Jepsen tests, so can usually find some issue in even the best of databases. The big difference is in how severe the difference between claims and reality ar
305.
by lambda 3y ago
Being in the Google GitHub org doesn't mean "by Google", it means "by someone who works at Google."
306.
by lambda 3y ago
Who are these Americans? I have never once been happy with my health insurance; I mean, sure, it beats not having it in this country, but I constantly get billed the wrong amount because someone at the hospital didn't code it exactly t
307.
by lambda 3y ago
His name is "Jad Sleiman", "Grievant" is how he's referred to in an arbitration case, just like "Plaintiff" would be used in a court case.
308.
by lambda 3y ago
Mostly you still have to use their tools, Chisel just compiles to Verilog and then you use their tools for the rest of the process. There are open source tools based on reverse engineering the bitstream for some smaller FPGAs like the Latti
309.
by lambda 3y ago
Yeah, I'm working on a fly by wire eVTOL project, we are using the CAN bus as our primary bus, but there are a number of off the shelf components like ADAHRS that we use that talk ARINC-429 so our FCCs will have a number of ARINC-429 i
310.
by lambda 3y ago
You use the same process as for deciding if changes to rustc are compliant or not; the judgement of the language and compiler teams. And running into these kinds of questions, both in a single project that evolves over time (rustc) and a se
311.
by lambda 3y ago
Note: "paid."
312.
by lambda 3y ago
Yeah, WASM was the result of taking a look at NaCl, realizing it could never be specified and independently implemented, and writing a spec for something better that could. WASM is superior in pretty much all ways to NaCl other than being a
313.
by lambda 3y ago
This is a common pattern in a lot of creative industries; some people have early, groundbreaking success, but once they're successful have a tough time replicating that. Some combination of now that they're rich, no longer really
314.
by lambda 3y ago
Dude, you absolutely don't. There are plenty of places in the US where you can take public transit, walk, and bike to get everywhere that you need to. Just because you live in a miserable, car-bound, suburban hellscape doesn't mea
315.
by lambda 3y ago
The US? I didn't even drive until I was 27. I'm in my 40s now, and have friends my age who still don't drive. While the car reigns supreme in most of the US, there are still parts where it's possible to get away without
316.
by lambda 3y ago
It doesn't ignore it; it explicitly says "Lots of work has been done in open source realms to create modern, and improved, versions of these interpreters for pretty much every device imaginable." That opening sentence may be
317.
by lambda 3y ago
I'm a bit confused by why you are confused. It's surprising that something as simple as reading a file is slower in the Rust standard library as the Python standard library. Even knowing that a Python standard library call like th
318.
by lambda 3y ago
They are using FreeRTOS, communicating over a CAN bus using CANopen. Looks like this is a shutdown routine, shutting down various devices. They seem to have separate tasks for propulsion control and GPS. Pretty standard fare for a vehicle c
319.
by lambda 3y ago
There's a picture on the Wikipedia article: https://en.wikipedia.org/wiki/3Dconnexion and there's a patent you can look at: https://patents.google.com/patent/US20050172711A1/en?oq=20
320.
by lambda 3y ago
Worked fine for me on Firefox on an old Android phone. You might want to upgrade your computer
321.
by lambda 3y ago
The original poster in the thread was suggesting that if power usage were low enough, it could be powered by the power provided by the NFC in the phone; where the phone provides power for an NFC circuit that is entirely unpowered. If you co
322.
by lambda 3y ago
What is your native language, and if English, what dialect? For me, the "foo" in "foobar" has the same vowel as "toot", which is different than "foot". Do "toot" and "foot" rhyme f
323.
by lambda 3y ago
Failure doesn't work that way. It's not the case that there's a constant 1/5 probability of failure each year. Many failure modes are based on cumulative stress/degradation; so the probability of failure can go up o
324.
by lambda 3y ago
Don't look up! But seriously, what relevance does a minority scientific hypothesis (even in the 70's, the majority of climate science focused on global warming from greenhouse gasses, not cooling from aerosols) from 50 years ago h
325.
by lambda 3y ago
Did you just create three new accounts to ask this series of questions? These questions, and account names, all seem to share similar patterns.
326.
by lambda 3y ago
I have been couch-potatoing more than I should recently, so when I had some time off but was alone at home, I decided to use that time to try and get back in the habit of getting regular exercise. I must have pushed myself a bit too hard, b
327.
by lambda 3y ago
https://nitter.net/aylwyn_scally/status/1697344429135135018
328.
by lambda 3y ago
Yes it is. They have four 16 thread pipelines, and two single thread pipelines per core. 4*16=64 and 64+2=66
329.
by lambda 3y ago
What a weird set of concerns. Civilian aircraft aren't generally expected to be able to withstand midair collision or war. Why would this drone be any different? Most aircraft today contain some kind of power storage that can ignite da
330.
by lambda 3y ago
I prefer Xitter, where the "X" is pronounced "sh" like in Xibalba.

More ›