> Btw, we are releasing GPT-5 soon, and we’re excited for you to try it. But just to be clear: the IMO gold LLM is an experimental research model. We don’t plan to release anything with this level of math capability for several months.
What they mean is that in a couple of weeks there are going to be stories titled "LLMS NOW BETTER THAN HUMANS AT 2025 INTERNATIONAL MATH OLYMPIAD" (stories published as thinly-veiled investment solicitations) but in reality they're still shitty-- they've just had the answers fed in to be spit back out.
Trump has already tried to use pressure to help Bolsonaro by announcing a 50% tariff on goods from Latin America’s No. 1 economy
Apparently this (fueled by family members lobbying) has backfired in Brazil as members of Bolsonaro's base are disaponted by what is perceived as his anti national behaviour.
"Bolsonaro's base" is doing nothing of the sort. They think these sanctions are awesome. They are absolutely necessary in a judiciary dictatorship where protesters are sent to jail as political prisoners. If anything, they're not nearly enough.
Bolsonaro was the one who revived brazilian nationalism against all odds. Lula and his communists likened it to Nazi Germany and made it their explicit goal to destroy said nationalism. Now that the USA is sanctioning them, they're appealing to nationalism? They shit all over the military then call upon them when their "sovereignty" is threatened? That's hilarious, comical.
I for one would very much rather see this country burn than see it governed by the unelected courts. Maybe then a nation that's actually worthy of nationalism will rise from its ashes.
We agree. I consider Bolsonaro a cowardly rat who betrayed everyone who ever supported him. He was in the USA while people were protesting in his name and literally going to jail for him.
He's still the person who managed to revive brazilian nationalism against all odds and despite the hipocrisy. Surely that's not in dispute here?
I agree he's the person who managed to give rise to Brazilian fascism, yes. Unless you consider nationalism as the desire to regress back into a brutal dictatorship where dissenting voices get "disappeared", the media is heavily censored and controlled by the state and the government kowtows to American supremacy and interests.
Brazil is a dictatorship of the judiciary. Maybe it's not a "brutal" dictatorship but it is a dictatorship.
The unelected supreme court walked all over our elected congress just days ago. Only reason why they don't dissolve the brazilian congress is they need to maintain the illusion of democracy.
> where dissenting voices get "disappeared"
> the media is heavily censored and controlled by the state
Already reality in some form or other. It's just not happening quite so overtly as it would happen in a so called "brutal" dictatorship.
> the government kowtows to American supremacy and interests
Better than kowtowing to chinese supremacy and interests.
You cannot possibly think there's even the slightest possibility of Brazil failing to kowtow to someone, right? Right. So I'd rather it be someone I agree with, and it sure as hell isn't China and Russia.
Call it whatever you want. Maybe it was just hope. Blind hope that this mediocre country could become something different, something better. Bolsonaro's mandate left much to be desired but at least he wasn't yet another leftist communist.
Edit: from the linked in post, Meta is concerned about the growth of European companies:
"We share concerns raised by these businesses that this over-reach will throttle the development and deployment of frontier AI models in Europe, and stunt European companies looking to build businesses on top of them."
Sure, but Meta saying "We share concerns raised by these businesses" translates to: It is in our and only our benefit for PR reasons to agree with someone, we don't care who they are, we don't give a fuck, but just this second it sounds great to use them for our lobbying.
Meta has never done and will never do anything in the general public's interest. All they care about is harvesting more data to sell more ads.
> has never done and will never do anything in the general public's interest
I'm no Meta apologist, but haven't they been at the forefront of open-source AI development? That seems to be in the "general public's interest".
Obviously they also have a business to run, so their public benefit can only go so far before they start running afoul of their fiduciary responsibilities.
Of course. Skimming over the AI Code of Practice, there is nothing particularly unexpected or qualifying as “overreach”. Of course, to be compliant, model providers can’t be shady which perhaps conflicts with Meta’s general way of work.
One of the many issues with Spring is that abstractions it provides are extremely leaky [1]. It leaks frequently and when it does, an engineer is faced with the need to comprehend a pile of technology[2] that was supposed to be abstracted away in the first place.
I think about this occasionally trying to rationalize it. I see similar patterns in other things like R and Julia where they design something in the environment to seem like a composable tool, and maybe it is but only within two or three specific compositions and then the way the environment is described sure seems to imply some kind of universality but it just doesn't work. Some even seem to keep patching every leak (maybe Spring means Spring a leak? Haha) and there's a sunk cost fallacy thing with an immense documentation page.
There is similarity between Spring and "Buy now, pay later" schemes. You do often get a working feature quickly while having the price of evolving and maintaining that feature spread over some future.
This is the best I can do for rationalizing Spring.
In what ways are the abstractions leaky? @Tool or @GetMapping make no demands on how to implement “this is a tool” or “this is a GET REST endpoint.” That they’re coupled with Spring (or rather, Spring is the only implementation for the semantics of these annotations) doesn’t constitute a leaky abstraction.
This is fair. I think the complaint is that Spring is _beautiful_ in up to medium sized demos, but in any sufficiently large application you always seem to need to dig in and figure out what Spring is doing inside those annotations and do something unspeakable involving the giant stack of factory factory context thread local bean counter manager handler method proxy managers etc.
Also Spring is a kind of franchise or brand, and the individual projects under the umbrella vary a lot in quality.
Just about any tool will require a bunch of work at some point in the scale. Some front-load that, and some make it easy to get started but then you hit a point where you need to peek under the covers. Personally I prefer the latter, though I'm sure there's a lot of Stockholm syndrome involved in how I feel about Spring. And Spring's popularity means you're probably not the only one to hit any given problem.
This is a rational attitude but my experience is that engineers do not get to "the latter" at their leasure. What typically happens is that peeking under the covers is forced on them along with a tight timeline.
The precise semantics usually aren’t that well specified, and debugging is difficult when something goes wrong. Annotation-based frameworks are generally more difficult to reason about than libraries you only call in to. One reason is that with frameworks you don’t know very well which parts of the framework code are all involved in calling your code, whereas with libraries the answer usually is “the parts you call in to”.
Spring has more “synergy” in a sense than using a bunch of separate libraries, but because of that it’s also a big ball of mud that your code sits on top of, but isn’t on top of it in the sense of being in control.
I've been actively working with Spring since about 2008. About 3-4 times a year, I cuss and curse some strange side effects that occur during refactorings. And in some areas we've painted ourselves into a corner.
But all in all, it's a great set of frameworks in the enterprise Java/Kotlin space. I'd say it's that synergy, which makes it worth the while.
I'm curious, though. Is the use of dependency injection part of the portfolio of criticisms towards Spring?
reply