lambda

8 ms·

241.
by lambda 2y ago
This was being done over USB midi, which is already faster than standard DIN midi AFAIK. Trying to change the baud rate of DIN midi on both ends of the communication seems like a lot of work.
242.
by lambda 2y ago
They have a library that allows you to write and verify formalized C code more easily. And they have actually written parsers for some common file formats in this, which have been used in some major projects; and that's good, because e
243.
by lambda 2y ago
Except one of these incidents was a shoot down by Iran. So no, it's not just Russia, but Russia was responsible for two of the three incidents in question.
244.
by lambda 2y ago
The example was talking about versions of another package that both of the given packages depend on. Not Python itself. The version numbers were made up.
245.
by lambda 2y ago
You also need to consider that formal verification is not the be-all/end-all of correctness. Formal verification is verifying a mathematical model of the program correct, according to certain mathematical correctness properties. That m
246.
by lambda 2y ago
the translated code may (quietly) not behave correctly. The whole point of them show that example is that they say they catch this case, and bring it to the attention of the programmer: If the original C program further relies o
247.
by lambda 2y ago
That's true, but it's usually pretty simple to reverse engineer, and that's been done for a lot of cars. CAN message are generally sent out at fixed time intervals, and correspond to some physical or control value, with a sim
248.
by lambda 2y ago
I think that was "versus replacing a chip." The ECU has fairly standardized interfaces, mostly CAN or just simple switching circuits on or off. You can just get a replacement ECU. These replacement ECUs generally don't do thi
249.
by lambda 2y ago
Kyle Rittenhouse and Daniel Perry are both walking free after unambiguously murdering people in broad daylight. You're right, I do find it less likely that the murderer of a CEO would get the same kind of treatment as murderers of civi
250.
by lambda 2y ago
I find that these efforts to make something that is almost but not quite JSON to be counterproductive. It means that something you can't tell if it's JSON or another format. You'll have some tools that can work with it, while
251.
by lambda 2y ago
That's one of the leading theories. Obviously, there's not enough information to say for sure. But the CEO's wife has said that there were threats, possibly related to lack of coverage: https://www.cnn.com/202
252.
by lambda 2y ago
Yeah, I agree with you that there are larger problems that still need to be addressed; and that this stop isn't necessarily permanent, but something temporary that might come back once there are more controls in place. But situations l
253.
by lambda 2y ago
That was an example to illustrate how little basis they needed for these searches in previous cases, not intended to be a guess for what the reason the person at the start of this thread was stopped. The point is, this whole "cold cons
254.
by lambda 2y ago
The order to stop the program of "consensual searches" at mass transportation facilities was sent out on November 12, and the more detailed report that I linked to on November 21st. Do you have knowledge of these DEA consensual se
255.
by lambda 2y ago
When someone responds like this, it's not to specific features, but to the general over-saturation of "AI" features because they are trendy, despite the majority of such features being poorly thought out, misleading, poorly i
256.
by lambda 2y ago
In some cases it could be as flimsy as they were pacing nervously while black: https://www.aclu.org/news/criminal-law-reform/deas-cold-cons... Because they claim that these are "consensual", they claim t
257.
by lambda 2y ago
Also to be fair, the Biden DOJ did just stop it, after the DEA failed to uphold their promises to track each such encounter and provide adequate training and oversight. https://oig.justice.gov/news/doj-oig-releases-mana
258.
by lambda 2y ago
Jesus christ, that video is so fucking infuriating. The absolute disdain that that cop has for constitutional rights is appalling. And what's more appalling is that this kind of thing happens so much; that there's nothing stopping
259.
by lambda 2y ago
Yeah, I've been adding `just help` as an alias for `just --list` and making it the first recipe for this reason.
260.
by lambda 2y ago
Yep!
261.
by lambda 2y ago
Yes, hypothesis also does minimization of failed test cases, so it's kind of a similar problem, just a question if what format the data is in and how you invoke your test.
262.
by lambda 2y ago
Yes. It is. And if the casino realizes that you're doing it, you'll be banned from the casino. So most people who do this come up with clever ways to continue to do so while being less easy to detect, like having multiple people w
263.
by lambda 2y ago
Note that as recommended by John Regehr, author of C-Reduce, for this use case you might also want to try Shrinkray, a tool that was written to be format independent and works well for cases that C-Reduce dow not: https://mastodo
264.
by lambda 2y ago
The even more frustrating part is that the Boston Police learned nothing from this and a few months later arrested Star Simpson for wearing a breadboard with a few LEDs on it to the airport: https://en.m.wikinews.org/wiki&#x
265.
by lambda 2y ago
Putting marks on the chip with high precision is much easier; that's done by the same kind of lithographic process that's used for building up all the other layers of the chip, which is generally via exposing a photosensitive laye
266.
by lambda 2y ago
The thing is, the good things are the things you don't notice; the things that just work. They didn't used to "just work" like that before systemd. System boot is faster. I can have fewer things started up in the backgro
267.
by lambda 2y ago
https://news.ycombinator.com/item?id=10040429
268.
by lambda 2y ago
Weird that their GitHub says "without ads", but the apps in the play store say contains ads. It looks like they're doing ads/paid model in the app store, are they ad-free from F-Droid?
269.
by lambda 2y ago
You can use OnShape for free as long as you're OK with the models being publicly visible. I find that fine for learning and personal projects. I've dabbled with OnShape, FreeCAD, and SolveSpace, and of them SolveSpace is the one I
270.
by lambda 2y ago
No, but they have system or the like, which is effectively the same, just being evaluated by the shell. https://man7.org/linux/man-pages/man3/system.3.html

More ›