rocqua

10 ms·

151.
by rocqua 1y ago
Federal crimes require federal court to establish. Besides, there are also fully legal immigrants being deported.
152.
by rocqua 1y ago
What can a soldier do to protect federal property or personel that is not law enforcement? Manual labor to throw up barriers seems to be the only option. Anything else requires violence, which only law enforcement can do legally I thought.
153.
by rocqua 1y ago
I'm banking on a much more powerful version of static assert. Something that lets a developer make assertions (and assumptions, and requirements on the callers) that get checked at (roughly) compile time.
154.
by rocqua 1y ago
A key point they made is that formal methods, as currently practiced, have a cost-benefit curve that is very hockey-shaped. This doesn't really mean that the cost isn't worth it, but rather that it's hard to demonstrate the c
155.
by rocqua 1y ago
I'd like to add, on top of that, some predicates like 'this memory is initialized'. Potentially also, 'this pointer is valid'. If I get to dream I'd add 'this value is never referenced through a pointer&#x
156.
by rocqua 1y ago
I love the usage model of Kani. I just dislike the underlying method. Bounded Model Checking cannot take enough advantage of the borrow checker massively curtailing mutable aliasing. But the idea of incremental annotations that require only
157.
by rocqua 1y ago
C++29 is considering adding units. Currently, apparently, available in this library: https://mpusz.github.io/mp-units/HEAD/
158.
by rocqua 1y ago
I know of Prusti, which is made by Eth Zurich. They use a form of separation logic, their backend (viper) was initially aimed at other languages, mostly go. But now prusti is also aimed at Rust. From what I heard, Rust worked a lot better f
159.
by rocqua 1y ago
I've been looking at incremental / partial formal verification based on 'assert'-like statements. Kani for rust has an interface close to what I imagine. But I'd like to use deductive verification (something like ho
160.
by rocqua 1y ago
There's a benefit to types beyond correctness. It helps make code understandable locally. And that helps speed up code development, by making changes to code much faster. I think this might be the real value of formal methods. Not corr
161.
by rocqua 1y ago
Rust elliminates shared mutable data . Except for interior mutability and unsafe raw pointers. Even with that asterisk, that makes Rust much more potent in the formal methods space. This has been noted by graydon aswell. I can dig up the r
162.
by rocqua 1y ago
Especially with refactoring, it tends to be tedious and repetitive work that is slightly too complicated for a (regex) search replace. A lot of repetitive slight variations on the same easy to describe change sounds pretty good to ask an LL
163.
by rocqua 1y ago
I'm looking at quite a few consumer level workshop machines. All of them have horrible spec sheets already. But on sound, even if they do mention it, it is still useless.
164.
by rocqua 1y ago
As the Article said, the first page gets a paper accepted. The remaining pages serve to not get the paper rejected. That includes actually backing up the claims on the first page. Wrong things definitely still make it through, both mistakes
165.
by rocqua 1y ago
The point of a paper isn't "I had this idea" nor is it "I have this evidence". It is "I had this idea, and it turned out to work! (btw here's the evidence I found that convinced me it works). The value lie
166.
by rocqua 1y ago
dBFS is mostly fine. It's not used to communicate about loudness to anyone beyond experts. Loudness of machines is just specified as dB, and that gives manufacturers soooo much wiggle room, as to be useless.
167.
by rocqua 1y ago
Have you considered the world outside of your expertise? Or the legibility of your field to people adjacent to it? dBs work well for RF once people get used to a few quirks. The problem arises when it gets applied to other fields as units,
168.
by rocqua 1y ago
dBs are so often used as units. That's 80% of the complaint in the article. The fact that dBs aren't units, but are used like units, is the point being made.
169.
by rocqua 1y ago
> But dB is not a unit, it is a multiplier. dB on its own is unitless. The point of the article is exactly that this should be the case. But it ends up not being the case. Mostly because people use dB with reference to some assumed bas
170.
by rocqua 1y ago
That's great, but only if 'Base level' is clear to everyone involved. Besides the base level, you also need to define what exactly you are measuring. Including the frequency weighting. This makes a spec sheet that says "
171.
by rocqua 1y ago
Scientific notation would be worse, because you can't add them to get the combined gain. That's where dB's really shine.
172.
by rocqua 1y ago
Decibels make a lot of sense for ratios in any kind of signal processing. They are not that suited to sound, but sound is generally hard to quantify.
173.
by rocqua 1y ago
Decibels in gain, those are fine. Though they use a silly base. dBm makes a decent amount of sense, given the RF background. The fact that decibels work differently for voltage and power is very weird, but understandable in isolation. But a
174.
by rocqua 1y ago
Sounds like there need to be measures to fix income inequality.
175.
by rocqua 1y ago
Dynamic(ally typed) languages, by virtue of not requiring strict typing, often lead to more complicated function signatures. Such functions are generally harder to reason about. Because they tend to require inspection of the function to see
176.
by rocqua 1y ago
This could, indeed, be quite catastrophic. I wonder if companies will start adding this to their system prompts.
177.
by rocqua 1y ago
Fair point, but there is an interesting question posed. Software doesn't rot, it remains constant. But the context around it changes, which means it loses usefulness slowly as time passes. What is the name for this? You could say &#x27
178.
by rocqua 1y ago
Note that there is an entire order of magnitude range for a 'single digit'. A 1% slowdown seems totally fine. A 9% slowdown is pretty bad.
179.
by rocqua 1y ago
My national news agency (the NOS) reported that this happened despite his nationality, not because of. According to their article, the dislike of most of the world against American happenings made him a less likely candidate.
180.
by rocqua 1y ago
I tried working this out, but I think the original was correct. The cases where the answer is negative correspond to a 'runaway scenario' where every change is expected to cause more than 1 extra change. So the answer is 'non

More ›