darksaints

For the same reason that NIMBYs care so much about urban trees or spotted owls. They don't actually give a shit about them, they just are willing to say or do anything to sabotage the process of increasing housing supply.

We don't need to know how much. We just need to know the direction, and stop caring so fucking much about rich people going underwater on their home.

I've been told repeatedly by people who have a vested interest in maintaining high housing prices that supply and demand don't work at all, ever, for any reason, and high prices are no reason to build more housing. How do I reconcile these facts?!?

Okay, now how do I cancel/refund the remaining portion of my pre-paid year subscription? No way in hell I will support a company owned by Elon Musk.

It's the same motivation as racists: they need some way to feel superior to the people that they despise. If the entire world stopped swearing today, these people would just find something else to use in their supremacist proxy wars.

Nobody cares, nor should they. Anthropic broke nearly every ToS of every website that they scraped data from. The AI robber barons just want to monopolize intellectual property violations, and I'm gonna cheer on any robin hoods that take it back from them.

They're not inherently offensive. They're vulgar, but that isn't the same thing as offensive. Vulgarity is nothing more than a classist concept anyway. This is just another case of religious extremists making everything in this world worse for everyone else.

Due process protections also apply in civil law.

Forgot that the cybertruck was a sales flop and quality joke, and that the Tesla Semi is now the elephant in the room.

This is absolutely amazing.

For those of us programming nerds that want to play with aerodynamics, I can't recommend AeroSandbox enough. While the code is pretty obviously written for people who know their way around aerodynamics and not so much around programming, it is remarkably powerful. You can do all sorts of aerodynamic simulations and is coupled with optimization libraries that allow you to do incredible aerodynamic optimizations. It comes included with some pretty powerful open weight neural network models that can do very accurate estimates of aerodynamic characteristics of airfoils in a fraction of the time that top tier heuristic solvers (like xfoil) can do (which are already several orders of magnitude faster than CFD solvers).

https://github.com/peterdsharpe/AeroSandbox

No, felon illegals are supposed to go to prison and serve their sentence before deportation. You know, because they committed felonies.

Crossing the border illegally is a misdemeanor and overstaying your visa is a civil violation and not even a crime. Yet somehow those are the only ones he's targeting. Those, and actual lawful immigrants that say things that he doesn't like.

I understand where you're coming from, and I'll play devil's advocate to the devil's advocate: If generative AI is generating convincingly photorealistic CSAM, what the fuck are they training the models on? And if those algorithms are modifying images of actual children, wouldn't you consider those victims?

I strongly sympathize with the idea that crimes should by definition have identifiable victims. But sometimes the devil doesn't really need an advocate.

warning: incoming generational stereotypes

The original phrase "The customer is always right" had an important caveat: "... in matters of taste". Somehow boomers managed to forget the caveat and created a culture of treating customer service workers like personal slaves and demanding to be treated like royalty. I don't know that Millenials think the customer is always right, but I do see that the Zs think anybody can be wrong, especially customers, and I love that about them.

honestly at this point I'm actually surprised that there aren't specialized linux distributions for hosting postgres. There's so many kernel-level and file-system level optimizations that can be done that significantly impact performance, and the ability to pare down all of the unneeded stuff in most distributions would make for a pretty compact and highly optimized image.

Honestly, I don't have much faith in Linux anymore, and it has everything to do with the explosion of the kernel's codebase due to the explosion of cheaper devices running linux and the (admittedly difficult) management issues surrounding the kernel. I feel like from a security perspective, macos is a better choice and that pains me as a long time linux user.

Can we please move on to microkernels already? I'm fine with a tiny performance hit, I just don't want to get rooted because I plugged in the wrong USB stick.

I've also felt very similar, and adopted Rust for those reasons. Even though I'd still love to have a garbage collected, AOT compiled ML-variant, using OCaml still feels like a step backwards now. OCaml's module system and generics feel clumsy and unintuitive now that I've used Rust's Trait system.

I have one of these cars, the last model year before they switched to carplay. The bluetooth implementation is dogshit...randomly speeding up songs, audio skipping, cutting out, etc. Occasionally forgets connections and has to be set up from scratch. Can't handle music and navigation at the same time...will turn down volume on music to handle navigation instructions, only to forget to turn the music back up for 5 minutes, by which time you've already turned up the volume to compensate and get blasted by the unexpected volume increase. And from what I can tell, my car does it better than most other manufacturers from the same era.

I think the only reason why the car makers switched to carplay/android auto is because they knew they sucked at infotainment systems and software and nobody wanted their bullshit, so they just outsourced it so they wouldn't have to try anymore.

Are there any promising core designs yet? Multi-core designs? Any promising extensions being standardized?

I really want to believe, but I don't think we'll see anything like an M5 chip anytime soon simply because there's so little investment from the bigger players.

I absolutely love minizinc and constraint programming in general, but I have to say that the whole concept of a specialized language for constraint programming really breaks down once you get past the toy problem stage. For example, there isn't really IO...the closest you can get is a specialized file format to input data into your model, and printing output to stderr. If you want specialized constraints, you're gonna need to implement them yourself at the language level. There aren't really libraries. It's really fun to play with, but not for serious problems that would underpin a production system.

Although it sometimes feels like it was created by an unholy union of mathematicians and 1990's C++ dweebs that never learned a new thing since Y2K, I'd really recommend Google's or-tools for something similar that requires a better solver and a language with actual capabilities outside of solving toy problems.

And although it's not a traditional constraint solver, I would also recommend Timefold. It's incredibly good for the types of problems that have elements of linear programming, quadratic programming, constraint programming, but also with odd domains that are hard to express as models using typical constraint programming idioms. I actually have had a bunch of incredibly valuable wins with this (and its predecessor Optiplanner)...for example, I've used it to optimize operations planning with $10+B budgets that could save 10+% over previous methodologies. And I've used it to dynamically reoptimized auction bidding strategies for FCC spectrum auctions, which saved us from overbidding on hot bid licenses by adjusting our bidding targets for subsequent rounds to capture better value for our auction money compared to what we could get in the secondary market.

The thing that a lot of western countries should keep in mind about Milei is that he promised a lot of pain before the prosperity would come...and he did it. Inflation continued for 6 months into his presidency, and then it dropped to levels that haven't been seen for almost a decade. Poverty rates rose for almost a year, but then dropped well below what it was before he took office. GDP dropped for a year, but then rebounded pretty spectacularly. This is more than a year of non-stop naysaying from people who used those things as proof that he was wrong, only to be silenced when he turned out to be right. He hasn't been shy about still needing more help, seeking funding from the IMF and the US, but he has at least proven that what he is doing is working.

I have a million reasons to not like Milei, but he is successfully pulling off something that almost no politician ever does without getting voted out first. Anybody who promises pain has to deal with the constant criticism that comes with that pain, and almost nobody can survive that hit to their popularity. Even if you disagree with how he did it, you have to at least admire that he did what he said he would do.

I think a lot of American liberals have a hatred of him because he's right wing, but we should actually be (at least partially) praising him and pointing out his successes have come from being the exact opposite of Trump on issues like tariffs and deficits.

They don't care about the spending. They yammer about it as a way of shifting funds towards things they care about, like the military or their new gestapo or buying votes from their disaffected constituents, but they've never given a shit about the deficit, and have never done anything to stop it.

The closest they ever came to actually caring about government was with Musk who went in and actually started (illegally) ripping shit out. But the things he ripped out were inconsequential things that conservatives didn't like, and he didn't even make a dent in the actual budget. All of the things that Musk got rid of were congressionally appropriated and could have easily been congressionally (i.e. legally) de-appropriated accordingly and it supposedly would be easy for them to do with majority control over the house, senate, executive, and judiciary...but they didn't do it, because they don't actually want to cut the budget.

Mohammed bin Salman and Trump are in each other's pockets. One of Trump's first acts in his first term was to approve the sale of military equipment to Saudi Arabia for the first time. At the time, MBS was the defense minister, and was not the Crown Prince. Almost all western open source intelligence on the matter will state that this act alone was what convinced King Salman to remove Muhammad bin Nayef as Crown Prince, and install MBS in his stead. The deal closed in May, and MBS was made Crown Prince in June. MBS literally owes his role as future King to Donald Trump. Trump would later brag about protecting "our guy" after the whole world condemned him and wanted to cut ties to Saudi Arabia for killing Khashoggi. When MBS did his now infamous 2017 purge of Saudi Billionaires, imprisoning them in a hotel and confiscating their wealth or securing their loyalty, he was likely doing it with CIA-sourced intel, hand delivered by Kushner [0] who had finally received the necessary security clearances which the Trump administration directly intervened in issuing [1].

In October 2022, literally a week after meeting Putin for the first time, Elon Musk started mirroring Russian propaganda [2], even though he had been a staunch supporter of Ukraine until that point. A week later, he would announce that he had secured funding to buy Twitter. Immediately, he reversed course on his "Free Speech Absolutism" and started pumping out right wing propaganda. Not long after, he would announce that he was leaving the democratic party, and not long after that, he would endorse Trump, and then not long after that, he would begin campaigning with trump and becoming his single largest donor and chief election meddler.

When Musk was forced to disclose his investors, the list [3] included:

* the sovereign wealth fund of Saudi Arabia

* several Saudi hedge funds, including those owned by billionaires that miraculously survived the 2017 purge with their wealth intact.

* several Silicon Valley VCs who had recently announced raising significant funding from Saudi Arabia, including one that had just hired the sons of sanctioned Russian Oligarchs in Putin's inner circle [4].

* several individuals with ties to Saudi Arabia or Russia.

* (unrelated but hilarious and unsurprising) P Diddy, who knew he was in future need of a presidential pardon.

TL;DR: Mohammed bin Salman owes his position as Crown Prince to Donald Trump, and Donald Trump owes his second term to Mohammed bin Salman.

[0] https://www.businessinsider.com/saudi-crown-prince-jared-kus...

[1] https://thehill.com/homenews/administration/437292-kushners-...

[2] https://www.npr.org/2022/10/04/1126714896/elon-musk-ukraine-...

[3] https://finance.yahoo.com/news/x-investors-helped-elon-musk-...

[4] https://www.aa.com.tr/en/science-technology/x-shareholders-l...

The article came with receipts. Novati's defenses come across as a raving lunatic, all with unsubstantiated claims. And considering that it has been widely claimed in that subreddit, also with evidence, about his use of sockpuppets, I'm now extremely suspicious of the people running to his defense as well.

You're seriously gonna Streisand yourself with your defenses here. Nothing but narcissistic defense mechanisms on display.

I hope he sues you.

The really major one is the only one that matters. If you are running a datacenter that needs to always be up and running, you're going to need backup power. A power grid that goes down once a decade for multiple weeks is far worse than one that goes down for 5 minutes once a week.

There's no single definition of strong with respect to typing, but I would probably put Java into the weaker of type systems, though it has gotten better over time. You can usually tell by how many casts you see in the code, and with most java codebases I see them everywhere. The pervasive nulls and untyped arrays are also huge red flags.

> I worry everyone is chasing benchmarks to the detriment of general performance.

I've been worried about this for a while. I feel like Claude in particular took a step back in my own subjective performance evaluation in the switch from 3.7 to 4, while the benchmark scores leaped substantially.

To be fair, benchmarking has always been the most difficult problem to solve in this space, so it's not surprising that benchmark development isn't exactly keeping pace with all of the modeling/training development happening.

I'm with you. America is already a failed state, a dead man walking, and people are still pretending like it can be fixed. There's only one way this country can be saved and, regardless of the process to get there, it would culminate in a new constitution.

Goods are priced by what sellers can get away with, and when you have tariffs on your competitors, you can get away with more.