Some important background for this is that, around 1900, mathematics got formalized to the point that there is a standard for whether a proof is valid or not that doesn't depend on humans thinking about it, just doing a bit calculation following an algorithm. However, it is such a large calculation that nobody wrote complete formal proofs or verified all of the steps (since they'd be spending huge amounts of time on obvious parts, and not the novel aspects). Then, in the past 20 years, people have made computer systems that work on complete formal proofs while showing you the interesting parts, with the rest in macros, and check these proofs automatically. This means that finding proofs has the form of things like what AlphaZero is good at: something to check if moves are legal and a win condition. However, only a relatively small portion of mathematical research has been put into Lean so far, and that doesn't include the sorts of obscure results that often turn out to be useful in other problems. So the current wave is using LLMs to find results in the literature that might be relevant and producing formal versions of them, game AI to put them together, and deterministic validation to check each of these as it goes along and then people can see at the end that the calculation shows the proof is valid. The only part requiring mathematicians is checking that what the proof proves is what they understood the open question to be.

This would be a good time to point out that every political argument has two sides and two points of view.

I've seen the arguments for both sides of this issue, and have come to the conclusion that there is merit for both. People should really look at the specific charges being made, with examples, before coming to any conclusion.

Every time someone tries to rein in the news media, it's received by shouts of first amendment, freedom of speech, chilling effects, and so on; and yet, this leads to insane situations. Google most egregious US media failures in the last 10 years for a list of incidents, and note how many of these affected major political events such as a presidential election or national policy.

Should a journalist be able to walk into a church during service and interrupt the proceedings, and not be held accountable because he's a journalist? Should a major news outlet be able to report something without at least a cursory check to see if it's accurate? Should an interview answer be swapped with the answer from a different question?

I've come to the conclusion that knee-jerk framing is on purpose, everyone wants to get "ahead" of an issue, and if an erroneous/misleading/false statement is made they will simply say "oops... I made a mistake" and there's no repurcussions... except that the lie went out to the audience and a small percentage got outraged in the right direction, regardless of whether the statement is true or not.

A "straw-man" argument is where you put your opponent's viewpoint in the most absurd terms and then attack the absurdity. A "strong-man" argument is where you put your opponent's viewpoint in the strongest possible terms and then try to attack it.

Choose the "strong-man" argument here. Find out what the administration is complaining about, and see if you can fault their logic.

Clearly you know nothing about the spiritual satisfaction of using a hand-whittled oak NVIDIA Blackwell Ultra B300 rather some soulless chip made in a factory.

I will not write it, Sam-I-Am,
I will not offer colored ham!

Had a look at the criminal complaint just to find out where the perpetrators had gone wrong.

Sending anonymous tweets and E-mails, they purchased pre-paid debit cards to send packages to their home, various harassment techniques such as ordering a pizza "pay on delivery" at 4:30 AM, and so on and so on... how on Earth did the NPD ever figure this out?

Turns out the perpetrators flew from California to Boston area (Natick) to put a GPS on the Steiners' car, which they couldn't do because it was kept in a locked garage, so they rented vehicles to surveil the Steiners, their license plates were noted and given to Natick Police Department (NPD), and the rental agency was contacted.

Once the eBay operatives were identified, they tried various misdirects and obfustication techniques, but NPD a) verified their statements, and so figured out they were lying, and b) contacted eBay directly, which had a security team respond in good faith, and the whole plan unravelled.

One, single mistake is all that stood between a long campaign of harassment and getting found out. One good local police department who took the trouble to look deeply into the problem and figure out the truth despite a torrent of misdirection and obfustication.

I wonder how many more campaigns of harassment are ongoing, led by people who know how to conduct vehicle-based surveillance, or encouraged by ineffective or lazy policing.

I have the "New Tab Override" extension installed, it allows me to load my own local .html file for the new tab page.

My personal page has a 4x3 grid of links to my most often needed pages, and I like this a lot.

I hope they haven't removed this functionality, it might be the last straw that pushes me away from Firefox. I'm really starting to hate their "do it our way and no other" mentality.

Another option is to use software like VeraCrypt to encrypt sensitive data into a file on your PC. Make it look like an innocuous system file and put it in the system folder somewhere. Don't leave VeraCrypt installed - it will run installer-free, download it at your destination and remove it before traveling again.

There's a double level of security if you use the option where it has a second dummy decryption container in the same file that you can give away.

But yea, if you can securely download what you need, the ultimate choice is to not have the data with you at all.

So they're taking all your data, selling it, and making you pay for the privilege? Must be a nice business if you have zero scruples.

Why do you need OnStar? Who would want to steal a GM car? All the GM brands are at the very bottom of Consumer Reports reliability index for 2026.

OnStar uses cellular service to connect, so if you have an emergency, either both OnStar and your cell phone work, or neither work. So there's no advantage to using OnStar rather than just dialing 911. 911 services are allowed access to your phone's GPS location regardless of settings.

It just seems like a pork package to sell along with the clear coat. Not to mention the theft of your data without compensation, whether you subscribe or not. You have to physically disable the modem to avoid that.

Tesla is awful due to the lack of physical controls where they would really make sense. It is an actively driver-hostile car. Other than the powertrain, which is amazing, the car is completely obnoxious. The door handles in particular are a huge problem and have been banned in China. Why would you intentionally make door handles that are super awkward to open rather than just pull? Why would you make someone dig through a menu to adjust the mirrors, or adjust the A/C vents and other controls? Trying to shift with the right stalk? Awkward and horrible. I think they thought it was sexy to just have a screen and nothing else, but in reality it just absolutely sucks. Before you say, "but have you owned one?" Yes, yes I have. It's my wife's current daily driver. And I avoid driving it like the plague.

In the hopes of clarifying some concepts and descriptive words:

The US army runs under fascism. Management is top-down, everyone has to do what their superior says to do, and if you don't do it there are grave consequences.

All militaries across the globe run under fascism. All militaries throughout history have run under fascism.

Almost all businesses are run under a similar system: there is one person at the top, usually with a vision of what he wants to happen, and everyone from there down what their immediate superior says to do. There is some leeway in the case of business: you can disagree with your superior and perhaps have a discussion, doing the right thing against orders is OK if it works out, and the penalties for disobeying aren't as severe (getting fired versus getting sent to Leavenworth, or being shot).

The fascist model of governance is one of a handful of governing types we know about, and is useful in situations where decisions need to be made quickly based on experience (military planning) or based on vision (business planning). Military actions fall squarely within those situations. It's not the best model for an economic system, where divergent opinions and "try it and see" is more efficient, or a political system where individual corruption can lead to violations in human rights or reasonable policy.

The US military is not capitalistic, but it is not "anti-capitalism" system in the sense that it works against capitalism in any way.

The US military isn't socialist, except that it tries to provide for it's members in compensation for the risks they take. It's similar to businesses providing health insurance or stock options or reimbursement for college courses - we don't normally think of employment perks as "socialism", and in the same manner we shouldn't think of military benefits as socialism either. Socialism is a foundational principle, not a system of perks.

I don't know that using AI is a weakness of the system. The military is famous for actually studying the effects that certain decisions have. You can look up the government's studies on whether and how much coffee improves performance, whether sleep learning is of any use, and the minimum IQ to allow before it takes more resources to manage an individual than the resources the individual brings by enlisting.

Looking into new technologies and their application to warfare is something the US military does very well.

And apropos of nothing, it's completely obvious that drones are a tectonic shift in military technology, this came as a complete surprise from the Ukraine war, and we totally should be pivoting away from expensive missiles and more towards swarms of cheap drones.

I don't know why you're characterizing drones as trendy and popular, either.

Eric S. Raymond wrote "The Cathedral and the Bazaar", which inspired Mozilla to make their browser open source. For some reason, this means they name their extended support releases after him.

I figured if I read the comments on this post, I'd find all the incels and rednecks whining about Fark. The truth is, it hasn't really changed much, other than the fact that the people running the site grew up, and the site grew up with them and shed that frat-boy mentality.

They also had to get rid of adult content due to Google becoming the morality police of the internet when it comes to sites that they will allow ads to be run against. They are in turn pressured by various right wing lobby groups in the United States, who also pressure credit card payment systems not to support adult content. Blame the religious right for that. A legacy of our puritan origins. (Fark tried moving all the Boobies links to foobies.com, and that experiment ultimately did not work.) They have to police comment photos as well for that reason.

Fark is still a terrific link aggregator with funny headlines, and no AI or algorithms to filter it. The traffic has fallen off a good amount from its peak years, but it's still very lively.

I also find it funny that people here are complaining that fark is 'woke' or whatever, when I see plenty of borderline socialist ideology on display in posts every day on Slashdot. If you are complaining about that, why are you here? Yea, Fark is certainly anti-fascist, and I'm great with that.

I'd say Slashdot is in a much more degraded state than Fark. The original sense of community on Slashdot is long gone, though it still provides a useful aggregation of privacy and security focused tech news, which I appreciate. The comment sections here are far nastier on average. Fark is still fairly civil other than a few trolls here and there, and it's easy to block them.

I learned from here on Slashdot the two best tools to deal with Win11 at the moment you get the first windows setup screen. Used the shell trick to create a local-account-only, then installed O&O Shutup10+++ and Winhance. I used those two tools to remove every single piece of telemetry, junk software, spam, spyware, AI and forced updates from the OS. All of this before ever connecting it to the internet. (I loaded those two pieces of software from a thumbdrive.) The result is a super clean install that just does what I want. This is an older Microsoft Surface so it needed to be clean to run well with limited RAM. It's my throwaway lightweight laptop for international travel. No personal information on it. This register article is also handy.

On my main machine I'm still happily running Win10. My browsing habits are pretty boring and I run Ublock Origin, AdblockPlus etc. in Firefox to keep anything unruly out. I used to run noscript but pretty much no sites work with JS disabled these days.

A simpler explanation is that this is a biased news report intended to stir up outrage. ... and you and the grandparent post fell for it, and are adding to the overall outrage level.

Take a moment to look at the arguments against.

It looks a whole lot like manufacturers are *not* trying to lie about packaging or content, it's the complete opposite of that. The manufacturers want the labels on based on the product material, and not based on whether there are recycling program within the state. The stamp should describe the product, not the availability of recycling to the end consumer.

If the bag your product came in has a polypropylene triangle on it (a "5"), it means the bag *can* be recycled. If California doesn't have facilities for doing that, it doesn't make the bag non-recyclable. California only manages to recycle 2% of this type, manufacturers want to put the stamp there to inform the consumer, the language of the bill would force them to remove the stamp because California doesn't recycle this type of plastic, and of course the manufacturers wouldn't do that for just California they would do it for everyone.

That's what this is about, not lying.

Furthermore, the plaintiffs the Pack act, which would install one standard country-wide, eliminating the maze of state-wide regulations.

Stop adding to the outrage, look at both sides of an issue before commenting.

17 more years? I can't wait to see people in their 70's through 90's adventuring through the universe. Are stargates handicap-accessible?

Seriously though dude this is actually interesting science news vastly more important than some cheesy show.