HackerLangs
TopNewTrendsCommentsPastAskShowJobs

evenhash

no profile record

comments

evenhash
·28 giorni fa·discuss
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.
evenhash
·30 giorni fa·discuss
Right. Somewhere there’s a dashboard which lists those 6 hours as time saved.
evenhash
·mese scorso·discuss
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 possible.
evenhash
·mese scorso·discuss
Sure, but wouldn't the leverage of labor go to zero regardless, in this full-automation scenario?
evenhash
·mese scorso·discuss
I don’t think people are “underplaying” it, it just doesn’t matter. Engineers aren’t hired for their locomotive skills.
evenhash
·2 mesi fa·discuss
> 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, probably no one would care about the copyright infringement angle, it makes sense that the government could ignore those rules for national security.

But Mark Zuckerberg isn’t training his models to protect us from China. He’s doing it to make himself even more ridiculously wealthy.
evenhash
·2 mesi fa·discuss
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 cost of running the lottery?
evenhash
·2 mesi fa·discuss
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 applicants per internship! Not a job, an internship. How could that be interpreted as anything other than bleak?
evenhash
·2 mesi fa·discuss
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.
evenhash
·2 mesi fa·discuss
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 Windows 7.
evenhash
·2 mesi fa·discuss
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 someone an engineer’s salary to do it.

In your analogy, your competitors who keep their people could just as easily end up bankrupt.
evenhash
·2 mesi fa·discuss
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, so that businesses, police officers, and government agencies are also not allowed to record in public?
evenhash
·3 mesi fa·discuss
> 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

“HTTP is just a way to get a string into a model”

becoming a real piece of wisdom unironically dispensed on this site in the future. Maybe it already is.
evenhash
·3 mesi fa·discuss
It is not “reasonably safe”. No reasonable person would inject themselves with drugs they bought from an unregulated pharmacy.
evenhash
·3 mesi fa·discuss
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 such as Lean or Coq to validate their results.
evenhash
·3 mesi fa·discuss
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 improve clarity” or “… for enhanced usability” at the end of the message.

VS Code has a setting that promises to change the prompt it uses to generate commit messages, but it mostly ignores my instructions, even very literal ones like “don’t use the words ‘enhance’ or ‘improve’”. And oddly having it set can sometimes result in Cyrillic characters showing up at the end of the message.

Ultimately I stopped using it, because editing the messages cost me more time than it saved.

/rant