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.
Yeah Rivos apparently taped out a high performance server class core (probably only a test chip I'd guess) before Meta bought them.
There are plenty of multi core designs (that's easy) but they aren't very fast.
In terms of open source XiangShan is the most advanced as far as I know. It's fairly high performance out-of-order.
I don't think there's anything M5-level and probably won't be for a while (it took ARM decades so it's not a failing). I doubt we'll see any serious RISC-V laptops because there probably isn't demand (maybe Chromebooks though?). More likely to see phones and servers because Android is supporting RISC-V, and servers run Linux.
In terms of extensions I think it's pretty much all there. Probably it needs some kind of extension to make x86 emulation fast, like Apple did. The biggest extension I know of that isn't ratified is the P packed SIMD one but I don't know if there's much demand for that outside of DSPs.
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.
My process is generally that I want to prototype the model in MiniZinc and use that to run benchmarks. If the problem to solve is large or batch-oriented, I might also use MiniZinc in production (probably via the python wrapper for the toolchain).
If on the other hand the problem is smaller, is more meant as an interactive system, or there is a need for deep integration, then I would re-implement the model in the API for a solver, or I might even write a dedicated solver. As a Gecode developer, I naturally think that Gecode is very useful for the cases where the problem is not a traditional model / instance / solve / done process, but I've used many other solvers as well depending on circumstances and need.
I've never really felt that Optaplanner / Timefold has been that useful of effective. In the cases I might have used it, I've instead written a custom local search system or constraint programming like system, and I think that has been a more effective approach. Do you have an example of what kind of problem you used it for?
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.
GDP is not always a useful metric. An old economics joke:
Two economists are walking in a forest when they come across a pile of shit.
The first economist says to the other “I’ll pay you $100 to eat that pile of shit.” The second economist takes the $100 and eats the pile of shit.
They continue walking until they come across a second pile of shit. The second economist turns to the first and says “I’ll pay you $100 to eat that pile of shit.” The first economist takes the $100 and eats a pile of shit.
Walking a little more, the first economist looks at the second and says, "You know, I gave you $100 to eat shit, then you gave me back the same $100 to eat shit. I can't help but feel like we both just ate shit for nothing."
"That's not true", responded the second economist. "We increased the GDP by $200!"
There's no contradiction between year-over-year growth and nine months of economic decline; year-over-year figures also average in the three months before those nine. Six months, if you are looking at YoY figures for June.
However, I may have been tricked. https://www.indec.gob.ar/uploads/informesdeprensa/pib_09_250... says the official statistic is that the de-seasonalized GDP grew 0.9% in the first quarter and fell 0.1% in the second quarter, so even if the third quarter is down (the official statistics aren't out yet) it's only the second consecutive quarter of negative growth on a cyclically adjusted basis.
I can't find the non-cyclically-adjusted data.
0.8% growth for the first half of the year is very far from "rebound[ing] pretty spectacularly" but it's no recession. But it all depends on whether the 3Q results are -0.9% or +0.9%. Maybe they'll release the report now that the election is over.
Just to clarify, that's an increase of 0.8%, not annualized 0.8% growth. Annualized it would be 1.6%, which is below the long-run post-Industrial-Revolution average of around 3%, but far from the immediate catastrophe Fernandez and his economy minister Massa had perpetrated before Milei came to power.
For the very simple reasons I explained in https://news.ycombinator.com/item?id=45719672 it looks to me like Milei is further hollowing out the Argentine economy. I'm no professor of economics, so my understanding of these issues is highly oversimplified, so I could be wrong.
> 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.
No liberal (of which I am), should really have looked at the economic policies they had prior to Milei and think they were a good idea. Leftist populism is no better than right populism. Milei may act like a populist politician, but if his policies are sound (I don't know enough to comment) -- then kudos to him.
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.
Eh, I would say its well-known in deficit circles that all politicians (intellectually) desire to balance the budget, but it is basically impossible. Social Security, Medicare/Medicaid, and debt servicing are such large pieces of the debt pie that the entirety of discretionary spending makes basically no impact in balancing the budget. These are de-facto untouchable obligations because too many people's lives depend on them and any party that enacts austerity will be swept out of office. Neither party will increase taxes on themselves (the rich) and taxing the middle/poor guarantees you lose the next election. The only path forward in the U.S. is basically kicking the can down the road until it implodes like so many other high debt-load western nations before them.
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.
Doesn't come across as a narcissist to me. He's just giving his side. Sure, he might have done things that were not right, but the article paints him as a monster. You should but yourself in his shoes? Are you squeaky clean? What if someone took something that you did that was grey, and framed you as a monster?
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.
Novati's response also came with receipts. Check his other comments. And check his prev responses on Reddit, including open support for Codemsith, and we he fell out with them.
The receipts in the article were meh. Backed by other "bootcamps" testimonies. The article read like a hit piece, with exaggereated language. And it did not mention he was against other bootcamps as well.
And, not knocking down Codesmith at all, but I think there marketing might be a little exaggerated. Which is typical of many bootcamps.
Would posting to 20,000 people telling them that I was using multiple Slack aliases to 'steal students' from Codesmith's community - which was entirely and utterly false in every aspect of that statement - count under this definition?
If you believe that happened, your belief provides a motive for many of the actions that the linked article attributes to you. This makes the overall story easier for us readers to understand.
To that extent, it might be relevant. But you'd want to consult a lawyer about it.
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.
In Texas, if you support those in power with good enough donations, you can ensure that your site does not loose power when the decision is made on who to disconnect. So you can spend the money on back up power equipment, or in donations. Either way, it's going to cost to play.
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.
Not that it was better at programming, but I really miss Sonnet 3.5 for educational discussions. I've sometimes considered that what I actually miss was the improvement 3.5 delivered over other models at that time. Though since my system message for Sonnet since 3.7 has been primarily instructing it to behave like a human and have a personality, I really think we lost something.
I still use 3.5 today in Cursor. It's still the best model they've produced for my workflow. It's twice as fast as 4 and doesn't vomit pointless comments all over my code.
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.