babelfish

you can just ask it to explain those things!

Why is this a 'rug pull'?

Previous comments: https://news.ycombinator.com/item?id=21898072

Every sentence in this comment is incorrect

A human definitely didn't, but one of the benefits of formal verification is that even if the work done to achieve something is slop-y or excessively verbose, solvers like Lean guarantee that the initial proposition (assuming it was written correctly and in this case was definitely reviewed by humans) is definitively True. This is true across other domains of formal verification outside of math as well

must be fixed already?

Adding a G to the UI is 'giving the finger' to their old players? When they include support for ASCII-like tilesets so you can play the exact same way? "Gamers" are the most entitled people on earth, I swear

Totally agree that it's just a proxy for people's feelings on AI, but my Lobster Jesus is much more important to me than a Netflix show! All of the datacenter usage (for inference) is just serving something people want. Time has already shown that the datacenter for training is also just creating something people want.

The link provided shows "Uptime (336 hours): 98.76%". That's one nine of uptime for fourteen days.

?

Note: If you use any form of AI-assisted coding tools, your project breaks Codeberg TOS

Are you able to differentiate between sex and gender, or is any nuance too complicated for you? Maybe Grok can explain it!

Yes, and reality (+ biology) show that trans people have been around as long as humans have. They are a biological reality. Reality has a left-wing bias.

This is just an anti-trans dogwhistle

Didn't need to! The harness just uploads your repository to their blob storage directly. Cheaper than asking the LLM to do it

Cool to flip through their master copy typeface reference: https://archive.org/details/gorton-master-copy-type-for-all-...

you are welcome to invest in tulips!

tulips do not have intelligence, tokens do

I don't think Zitron will ever admit he's been wrong about LLMs

I think you are putting more effort into arguing it’s not worth it to read the link, than just reading the link would take. I am not sure what you think your comments are accomplishing, they are not useful, just pedantic

What do you see wrong with the OPs reward design?

Did you read the README?

Sol is really good

> Why would reading 1000 words of a great philosopher be any different from reading 1000 words of smut online

Agree that we should work on reducing the stigma around reading (which, incidentally, feels ridiculous to type); but very clearly one of these exercises your mind and one doesn't. People should want to learn things!

There are approx ~3 billion "gamers" worldwide, why shouldn't Xbox set a goal of 1/3 of them using their platform?

I can read the news for free right now!

Yeah, I was very excited for Fable to come back to use it for work after using Opus 4.8, but now I guess I'm just excited for Sol/Terra/Luna (unless they have the same restrictions)

But as an end user, I don't want to pay for the news of the day, regardless of if I look it up myself or my agent looks it up!

Sure, they'll probably pay PyPi, the Swift Foundation, etc for that documentation - but it's a pretty small universe of relevant content. An interns tech blog with a 'hello world in javascript' post won't be paid for, the Mercor contractors are doing more (and better) than that!