well_ackshually

>Recently, a Vercel engineer called on harnesses to send the programming language the client prefers

oh would you look at that, Vercel suggesting to abuse how standard headers have been used for decades so it can send Accept-Language: rust because it's too lazy to ask for standardising an X-Prefers-Lang or anything else, and Shopify is here to shit on the internet too. Great.

I, I, I, I, I, I, I, Me me me me me me

This is what happens when you let things get to your head. You work on a (highly inefficient, often broken) piece of extremely basic software by prompting a slot machine and hoping it works. Calm down and stop forcing your shitty framework on employees, you're the most replaceable cog of all.

Rossmann might be a useful tool in fighting against companies, that doesn't change the fact that he's a gigantic asshole who regularly harasses people he disagrees with. In the same way, if Stallman could stop eating his toenails in public and saying that Epstein's victims were totally willing, maybe he would avoid being on that list.

Half of these people are trying to actively make life worse for you, or someone you know. We care about that stuff because otherwise people like DHH will want to get you shot if you're black, or people like Stallman will want to sexually harass you if you're a woman.

If you have the privilege of being able to forget about it: congratulations. If you're part of those potentially at risk: closing your eyes just makes their jobs easier.

Because DHH openly calls for murder of "immigrants" (read: non white people, even if they've been there for decades and been more productive members of society than DHH has ever been.), and it's not even a dogwhistle anymore.

>When wolves get out of control, you shoot them. When gypsies take over public spaces, you deport them. This isn't hard, it isn't cruel. It's the basic logic of self-preservation.

(in addition, the concept of Native <any european country> is nonsensical. Europe is at the confluence of migrations and has been for millenia. Attributing "whiteness" as a distinctive attribute of europeans is at best ignorant, and at worst another racist rally point. Go tell the greeks they're white, see how they like it.)

Singapore isn't a city, it's a state. That happens to be the size of a city. You wouldn't say that New York is a failed state, because it doesn't make sense, and because the rest of the united states is able to feed it.

The future is an inappropriate OS with catastrophic battery management, zero software available, no sandboxing or proper security measures, and the oh so stable kernel ABI & Gnome APIs to develop for, yep yep yep.

A non self sufficient society, where anyone but the richest have to rely on another country for food is a failed society.

Because nobody would publish through them anymore.

Because Valve has zero legitimacy to mandate that anyone changes their software for any reason.

Because this is such an apple-brained, anti developer, anti user move that noone else in the industry does it.

Because Valve mandating that for their own gain would bring in such a gigantic gatekeeper lawsuit.

Because you profiled your code, optimized, then you'd then rely on Valve's "transpiler" to not write back absolute dogshit code back to the users.

Because if it doesn't work well, people are going to blame the video game developer and never Valve.

The list is extremely long, and the only people it would benefit is Valve.

There's no such censorship on TikTok, it's entirely groupthink based on people saying "when I use that word my video is seen less so therefore it's being censored".

Youtube is a lot more guilty of it though, as well as demonetizing.

"My country that is hostile to public healthcare doesn't offer public healthcare" no shit sherlock, the US's healthcare system is a shitshow. Look at anywhere in Europe where those lotteries are publicly ran. The entire post is about changing the law, that doesn't include closing your eyes on how it's currently shit.

I'm not the one posting daily about how "AIs are going to destroy the world because of how smart they are", "humans are finished" and "we've reached super duper mega intelligence". Go see Dario and Sam about that.

>I'm pretty sure Fable could write AlphaZero

If course it does, the paper is open and dozens of open source implementations are in its training data already. It could write AlphaStockfish, or xx_chessmaster_2000_xx, it doesn't matter if it does: it's writing a solver: it's not good at playing chess. If tomorrow I tell you that I'm so fucking good at chess I can beat Magnus, and I show up with a laptop running stockfish, you're going to laugh me out of the room.

Some things are better left in control of the government _because_ they are dangerous. You either:

* Outlaw gambling, and gamblers will just go towards shadier options, putting their own lives in even more risk.

* Allow private operators whose goal is to extract as much money from possible from gamblers as possible and ensure that you will inevitably have people abusing the system up to the limits to which it can go and testing out if they can go further, over and over again

* Government ran gambling organisations that can ensure they also offer proper systems to wean yourself off, offer healthcare, and make use of the money "made" from operating it to improve your health care systems.

Only one of those options is sensible.

>The operators are just people fighting for their freedom to operate the same business the government operates.

HAHAHAHAHA. No. Absolutely not. Some people are truly as caricatural as movies and books make them appear, and casino owners truly live up to it. I worked for them, for "betting rooms", anything you want: they are thieves, mafias, manipulators and bring nothing but misery on the world. They're not "fighting for their freedom", they have found a legal way to abuse human misery and addictions.

It would. But Mozilla has zero long term survival chance in the current ecosystem. The economics are just not there, there cannot be more than one big browser in the way this system works.

Ah yes, the customers of Mozilla, who are certainly paying users and not just people whining and saying BACK IN MY DAYS IN THE LAST MILLENIUM IT WAS DIFFERENT.

Get over it gramps, things are changing. Mozilla spent ten years trying to mostly appeal to these people by staying very conservative, and it got them nothing but abuse and harassment from people not realising that staying stuck in the past is a death sentence for Mozilla.

You want to save Mozilla, burn down Google first. The ecosystem in which they are evolving isn't driven by them.

That's a lot of words and assumptions, when a single check of my posting history would show that I despise the HN bros as well. Jumping on a tangent about libertarianism when you could have simply called them retarded and saved a lot of time.

Anyways, no, I'm talking about the average person, the public worker, the person that thinks the internet is the funnily named Safari app, the elderly: they give zero fucks about it going to some service online. They used to search for Google translate before, whether or not it goes on someone's server, they do. not. care. You're not going to win them over with "it runs on your device". Their device is a crappy laptop that barely runs excel, and if they can offload computing, they will.

>Tool use is a widely accepted measure of intelligence.

Stop anthropomorphizing the parrot. The parrot has had stockfish's source code blasted at high pressure into its head along with dozens of millions of other pieces of code whose sole role is to have efficient algorithms to more or less brute force through the best result. Brute forcing (no matter how smart it is) isn't understanding the problem domain.

>What happens when you ask those same frontier models to write a chess-playing program?

they shit out a carbon copy of https://github.com/official-stockfish/stockfish that they have in their training data. Still doesn't make Fable good at playing chess.

Here's a crazy idea if you don't want Smart Window to send your data anywhere:

have you tried not using smart window (like you're currently doing)?

The only people having an expectation of translations being done locally is exactly the nerds that keep whining that it's not using a local model. Every single normal person, when presented with a "translate" button either know it's going online, or don't care about it.

Begging the purists to run away from Firefox at this point so they can stop wasting everyone's time. Your demands for examplarity and whining about money not going ONLY to firefox and jerking yourselves on Servo was not enough, now you want to restrict the browser to owners of an RTX5080 if they want to use it?

Any serious project will be using NullAway and annotating everything (or, indeed, using Kotlin).

Otherwise, yeah, you're still in for a world of pain.

"We replaced a somewhat fair income tax with the most unfair tax of all, VAT!"

With anything but an F350. How did farmers do anything before Ford saved them with the worst trucks to ever exist, truly a wonder.

Hundreds, at this point? Every benchmark is flawed as shit, written by clowns. DeepSWE, They're given the full git history (the solution is in it), others don't even bother to verify if the code is the right one and just the output, they've modified the test harnesses, injected code to make all tests pass, etc. The entire benchmark galaxy is just clowns propping eachother up and are regularly talking with the big AI labs.

Breaking news: after being the biggest threat to world stability, the US realizes that their behavior is also a threat to their own stability.

The only metric by which they are the largest company in the world is valuation. There are thousands of companies more important to your daily existence than Jensen's leather jacket factory.

They are also talking out of their asses, as they are massively overselling their capacity, and everyone is on a 5 to 10 year backlog.

>Who is actually paying this money?

You, when their circular financing scheme fails and you're the one left holding the bag as your government says "they're too important to let them fail".

>Not a Lean expert but some of the proof tactics used to prove are probably novel

Maybe. But they're in 32 millions lines of Lean. How do you find the needle in the haystack ?

>Or, you could prompt agents later to analyze which lemmas or parts of the proof are surprising or applicable to other problems?

If OpenAI was truly serious about improving maths (and not jerking themselves off), they'd have also used Prove2Me (and contributed their results back), which would have done that. Each part of the proof combines into a larger graph, that everyone can reuse. Note that Anthropic isn't better there: yes, they used Prove2Me, but as far as I know they haven't contributed back to it, and just shat out 10 million lines and a good luck everyone.

No, you don't understand: that proof is useless. When you solve mathematical problems, you open up new ones in the process of doing so. You create new research. You create new theories, new notations, new thought.

This is just ticking a checkbox. And even worse and more time wasting even: you have ZERO proof that there's no latent Lean bug. Especially in a proof this large.

It doesn't. It's 32 millions lines of bullshit, and the only thing it brought is "it's not true in some extreme conditions lol". The effort needed to figure out why that is, what conditions lead to it, the new mathematics that would need to be developed to solve their problem is once again being hoisted on actual humans, who now need to waste their time sifting through their slop.