Viewing profile — evenhash

It’s not crazy when you consider that their customers are the advertisers, not you. They want to keep their customers happy and buying more ads.

Not everyone works for Evil Corp. I work in the public sector and my work supports public health and safety initiatives. AI has allowed my team to get much more done than we would …

> Whilst current models can't 'intuit' and come up with conjectures People keep saying this. Why? Surely the AI can complete the prompt “Generate new research questions based on th…

> Nobody is saying we’re going to make the original content inaccessible through the previous means after the LLMs are trained on it. Is that not why they’re shredding the books wh…

In 2026, everything is server side. Serve your DOM updates encoded in JSON if you want. Personally, I find serving them in HTML to be less of a hassle.

> it has clear platform dynamics. It is an aggregator of AI models, and once enterprises use it, that creates switching costs since all your AI expense is in one place: logs, budge…

It would be better to just give the students the money and let them spend it as they need. If I were a student living on a measly $1600/month I would be livid if the school gave me…

The search space for a naive brute force of three polynomials of degree <= 7 with integer coefficients <= 12 is roughly 10^500. I think it would take a little longer than that.

They do, unquestionably. https://www.thetimes.com/world/article/google-bans-father-ov... > Mark, from San Francisco, had noticed swelling in his son’s groin and used his phone to p…

First party makes no difference, an API can be created for any website or desktop application and served over a network to anyone. It just takes more effort.

Right. Somewhere there’s a dashboard which lists those 6 hours as time saved .

In America? Probably a better chance the firm privatizes the government. In fact we seem to be firing government employees and dismantling government institutions as much as possib…

Sure, but wouldn't the leverage of labor go to zero regardless, in this full-automation scenario?

I don’t think people are “underplaying” it, it just doesn’t matter. Engineers aren’t hired for their locomotive skills.

> The issue is that, if we don't do it, China will. These AI companies aren’t state enterprises. How is geopolitics a justification? If it were just the military training them, pro…

That ”but what if I win” is realistically what you’re paying for if you buy a ticket. Maybe the sum of enjoyment lottery participants get from daydreaming about winning is >= the c…

You have to quote this part to really appreciate how self-contradictory this article is. > We received almost a million applicants for 1,111 paid internships this summer. ~1000 app…

The proof is not written in Lean, though. It’s written in English and requires validation by human experts to confirm that it’s not gibberish.

I work at a university and we still have some workstations that need IE as well, for a healthcare vendor app that needs ActiveX. Up until recently we even had some machines running…

There will always be more work that could be done, certainly. What’s uncertain, however, is whether the work that remains to be done is valuable enough that it makes sense to pay s…

That seems backwards to me. In your country, if you were to record someone committing a crime against you in public, you’re the one who will go to jail? Is the law applied equally,…

> There is nothing wrong with the HTTP layer, it's just a way to get a string into the model. I know you don’t mean it in a reductive sense, but it’s funny /sad that I can imagine …

It is not “reasonably safe”. No reasonable person would inject themselves with drugs they bought from an unregulated pharmacy.

Generally when people talk about using LLMs to do mathematics research they’re not talking about the LLM alone, but the LLM + a harness for it to write and execute theorem provers …

Unfortunately GitHub Copilot’s commit message generation feature is very human. It’s picked up some awful habits from lazy human devs. I almost always get some pointless “… to impr…