lambda

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 that they don't need any particular criteria for an encounter, but of course the "consent" was not ever really freely given here, they would either trick or bully people into giving consent.

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-management-ale...

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 it. Cops seize property with no justification all the time, and there's so little recourse.

Sure, occasionally a program like this might be stopped, but there's nothing stopping them from starting it back up again in a slightly different form.

They spend years seizing money from thousands of people and paying kickbacks for it; maybe some of the folks were doing it for illicit purpose, maybe some weren't, it's hard to know because there's no due process of law, civil forfeiture just lets cops take money from people on the flimsiest of suspicion.

The 4th amendment is meaningless as long as civil asset forfeiture exists.

Yeah, I've been adding `just help` as an alias for `just --list` and making it the first recipe for this reason.

Yep!

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.

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 work together. One person stays at the table, betting at a fairly constant rate, while signaling to a partner when the odds are in the players favor so the partner joins the table and places big bets.

The thing is, this all takes a good amount of work and effort, requires a sufficient bankroll to begin with so you don't just have a small run if bad luck and run out of money, and does have some risk of gambler's ruin or just getting detected by the casino and banned.

At some point, it's just a risky investment combined with a job. And you can probably do better by just starting a company or investing your money and getting a job.

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://mastodon.social/@regehr/113489759789563570

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/Student_arrested_over_%22art%...

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 layer of material with light through a mask, and they already have ways of keeping those mask layers in alignment.

But aligning multiple chips together is a different process, and while it sounds like they previously had ways to do this via simple optical inspection of those alignment marks, that's less accurate than a holographic alignment using a laser.

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 background, and instead have them start up when needed. Restarting services works consistently. Every application doesn't have its own bespoke and half baked management scripts which don't work half the time. They don't all have to invent their own daemonization support and logging; you just log to the journal.

And that's just core systemd. Things like systemd-resolved give me proper support for split-DNS when using VPNs. systemd-networkd gives me consistent, powerful configurable networking setup that works across distros.

Is it perfect? No, I do still have some complaints with it. But it's a hell of a lot better than what it's replacing. I wouldn't ever go back to sysvinit or upstart, and many other parts of systemd are compelling alternatives to the things they replace, like systemd-networkd over ifupdown.

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?

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've ended up using the most. OnShape was nice, the GUI was pretty intuitive, I liked the way it worked, but I just feel weird trusting anything to a free plan on a cloud service. I don't really mind the public part, but it always felt tenuous that the plan would remain free so I didn't really feel like I could trust it long term.

FreeCAD was complicated and opaque, I never really put in the time to learn it, it just felt a bit clunky, but I keep meaning to come back to it.

SolveSpace seemed a bit mysterious at first, but just a bit of learning and I found myself pretty comfortable with it. It's not nearly as fully featured as some of the others, but it clicked well for me.

SolveSpace and FreeCAD are both FLOSS software.

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

> Developer on reddit clarifies that it builds and does the wrong thing, and recommends dropping Debian as a solutio

Can you link to the post on Reddit you are referring to?

Because that portion is digital. Digital is fairly immune to noise, but it can produce a lot of noise. The power distribution network can carry that noise to other components that it passes over, but because that section is all digital, it's ok, it's reasonably tolerant if it.

The other portions that are uncovered have more sensitive analog circuits. You need to be more careful of how you route power, to avoid noise, so you don't cover it all in a big network on the top metal layer, but instead it's routed more selectively.

You are approaching the limit of good taste

Gravity works just as well if you're in combat or smuggling coke. They don't suddenly give you the ability to takeoff under too much load

Yeah, there were the Sad Puppies and Rabid Puppies campaigns, which led Worldcon to change the award rules.

Then in 2023 there was the self-censorship incident for the Chengdu Worldcon (and also some question about the ballot for selection of Chengdu in the first place, I believe).

Now this.

The Hugos are really having a lot of trouble recently.

I have successfully used GDB's build in reverse debugging once, on a platform that rr didn't yet support at the time.

It worked, it helped me track down the bug, but it was painfully slow, I had to do things to limit the size of the input to make it possible to use at all (and thankfully was luckily able to still repro the problem after doing so).

While Linux isn't a panacea, the OS does matter as Linux provides tools for security scanners like Crowdstrike to operate entirely in userspace, with just a sandboxed eBPF program performing the filtering and blocking within the kernel. And yes, CrowdStrike supports this mode of operation, which I'll be advocating we switch over to on Monday. So yeah, for this specific issue, Linux provides a specific feature that would have prevented this issue.

But... that's what bindgen is for. Which I mentioned.

I said it "can be quite simple"; for simple use cases, just using extern and translating the declarations by hand is perfectly viable.

For more complex cases, you use bindgen.

Calling C from Rust can be quite simple. You just declare the external function and call it. For example, straight out of the Rust book https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html#usin... :

  extern "C" {
      fn abs(input: i32) -> i32;
  }

  fn main() {
      unsafe {
          println!("Absolute value of -3 according to C: {}", abs(-3));
      }
  }

Now, if you have a complex library and don't want to write all of the declarations by hand, you can use a tool like bindgen to automatically generate those extern declarations from a C header file: https://github.com/rust-lang/rust-bindgen

There's an argument to be made that something like bindgen could be included in Rust, not requiring a third party dependency and setting up build.rs to invoke it, but that's not really the issue at hand in this article.

The issue is not the low-level bindings, but higher level wrappers that are more idiomatic in Rust. There's no way you're going to be able to have a general tool that can automatically do that from arbitrary C code.

You realize it's a rhetorical device and not an actual threat of violence, right?

It works when using multiple languages that share the same writing system (the Latin alphabet). It means that you have a single keyboard, but the words that swipe or auto complete are from more than one language; generally the predictive nature means that when you switch languages it's pretty good at predicting future words are from the same language.

It also means things like you get all the diacritics from all of the languages when you long press.

I was studying French, while also working with several Polish people, so I set my keyboard to simultaneously English, French, and Polish, and then I was able to do French lessons without switching, and also able to write my Polish coworkers names easily.

If the LLM hallucinates a Python package, someone else might notice that and sneak in a malicious version of that hallucinated package.

Or if it hallucinates a method name, it might be in a code path that goes untested. How often are people using these tools to also write comprehensive test suites?

Pumped hydro is great, but only in certain areas where you already have the elevation gain available.

Compressed air storage is another one that's pretty good, but it's only particularly good if you can store it in underground caverns or unused mines, so it's also geography dependent.

For longer term storage, producing hydrogen can be a good one.

And batteries are actually fast becoming competitive with some of these options from the other end, generally better for shorter term storage but getting better at longer term. Even shorter term, flywheels can be a good option.

There's room for several different types of grid-scale energy storage, based on how efficient they are at different energy storage periods and numbers of charge-discharge cycles, and also in some cases on local conditions, like the availability of terrain and water sources for pumped hydro.

There's a good paper here which shows what the most efficient energy storage systems are for various combinations of length of storage (hours per discharge) against number of discharges per year, and for each one shows the current cost, and a predicted cost based on trends in technological advancements: https://www.sciencedirect.com/science/article/pii/S254243511...

There's a lot of the chart that is dominated by pumped hydro currently, but plenty of other storage technologies that are more cost effective on different timescales and numbers of discharges. But it looks like it's predicted for prices of battery storage and hydrogen storage to fall relative to the others, causing a different predicted landscape in 20 years.

And some of these, like pumped hydro, are dependent on geographic features, or access to certain resources, so even when one dominates overall, there can be others that dominate in particular geographical regions.

Generally they use pulse density modulation, rather than pulse width modulation, which increases the frequency of the noise and makes it easier to filter out. Sigma delta modulation, which the comment you replied to mentioned, is a way of doing pulse density modulation.

Imagine if you did dithering to produce grayscale images with a black and white screen by just using different sizes of rectangles; you'd have to have a very high resolution screen before you wouldn't be able to see the individual rectangles. That's what pulse width modulation is like. Whereas pulse density modulation, using a sigma-delta modulator, is more like a proper dithering algorithm, where you spread the pixels out evenly across space, you don't just use different size rectangles to represent different shades of gray.

Funny thing is, Anthony Gatto was brought up in a circus family and went on to become the world's best technical juggler (based on endurance at high numbers, incredibly difficult technical tricks, and overall consistency rather than just a few one-off record attempts), but eventually got bored of juggling and decided to quit and start a business doing concrete countertop installation.

I did a bunch of juggling in college, and several of my friends went on to do circus arts professionally. Generally they went into more acrobatics oriented arts than juggling; seems like juggling itself is not quite as interesting to audiences as it is to the jugglers.