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.
You can use microkernels whenever you want. Just be aware that they typically have the same issues with zombie/cruft code and aren't necessarily more secure for every application.
I think the point is that even drivers could be non-trusted and live outside of the kernel and just provide the exact service required with minimal access.
That said, why do we still need drivers in 2025? Most regular printers should be dumb, U-MASS should be dumb, webcams should be dumb, monitors are dumb, etc... very few devices coming really needs custom drivers anymore (even with many customizations we could provide class specific descriptors that drivers could adhere to).
If you don't want to go macOS route and want to leave Linux world, your destination would be FreeBSD or OpenBSD.
On the other hand, if you're not running Wine, you can't get autorun virii from USB drives, plus the Windows virii just lives there and can't do anything.
Plan9 is like ocean yacht racing. If you have to ask about the "cost" you aren't the target market.
Plan9 is like writing. You either do it, or talk about doing it. I'm talking not doing btw. I tried, but I got stuck on trivial things and the barrier to asking for help over 2+2= is high. (No offence intended. The 9 heads aren't interested in running a kindergarden)
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.
That situation is ridiculous, my 15 year old diesel has an extremely bare bones touchscreen radio/info dashboard. The Bluetooth, old as it is, works fine.
> 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.
We need to go back to the days of headphone jacks and analog AUX ports. Seriously. Something simple, reliable, and extremely well-understood.
Cars should be a lot more modular, but the market is consumer-hostile in general and it won't happen without regulation. There should probably be some standardized car-infotainment interface, and consumers be required to buy the infotainment system aftermarket to get more competition and quality in that area.
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.
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.
reply