Viewing profile — elias_t

You could make the same argument about spoken languages. There isn't a single sign language

I'd say by checking the code myself but at the end of the day it's just about trust. Codeberg is facing the same issue, it's all about human reports and common sense, but there are…

How do you even enforce such policy?

It’s even worse, because they would have to say: “the bomb dropped itself because we forgot a screw in the airplane, but see how effective it is!”

That’s crazy that such errors in isolating the models became a marketing stunt. I’m afraid of what it will be next. They will remove guardrails just to provoke more and more headli…

> hows that going for them? "In its July 15 report — based on interviews with more than forty-two thousand people across thirty-six countries — Pew found that China is now viewed m…

> The only one profiting is China since they've mostly transitioned away from oil... They had to use their own oil reserves to regulate the market, where they win is in soft power

> It's used by non technical people so not sure AI is the competition. I mean yes but most of them are vibe coding apps now > Perhaps Notion and all the project planning apps like …

Probably they are getting eaten by new AI integrations and the numbers don’t look good. It’s strange, I thought they were in pole position to integrate into vibe coded apps with bo…

Do you have the names of such projects?

Yes it compresses the proofs but still "Sol had generated 1.2 million lines of Lean code in the three weeks that it had worked on the project". I mean how do you even verify that?

I wonder if at some point mathematicians will be over-flooded with proofs to check and eventually some over confident false claim will make it into math. Maybe in the future the wo…

Location: Italy Remote: Yes Willing to relocate: Yes! Technologies: Python, Kubernetes, Java, Aws, ML and much more Résumé/CV: https://drive.google.com/file/d/1pOH2OhfHTgKLq34u1Jlz…

I'd love to apply but it's only open to US workers, think about changing REMOTE to REMOTE (US)

The link appears to be wrong. Try https://priorlabs.ai/careers#open-positions

> In a study with 197 participants, the team could infer the identity of persons with almost 100% accuracy That a super impressive! I wonder how that would be at scale, with a few …

So before it was underreporting and after it was proper categorization? If that was the case we would have seen a more smooth curve before and after I think

IMO there is also muscle memory, strategy ect. Being able to process more information doesn't mean it's processed better, the contrary actually if you think about processing times

> We feel time differently over our lives. As a toddler, an afternoon feels like an eternity. In middle age, “no matter how I try, those years just flow by, like a broken down dam.…

> In 1950, there were 2.7 suicides per 100,000 15- to 19-year-olds. Today, there are 7.5 (though that’s down from a 1990s peak of 13.2). Little typo, looking at the link it's 11.2 …

I guess even if you win 0.1 cents/day with a bot, it's just scalling afterward

A few months ago I was working on a flight search engine that would include pet transport costs (I know a few by hearth but storing them and make the calculations in the UI would b…

Are there any benchmarks that exist for those 24 languages?

Does someone have the benchmarks compared to other models?

Location: Europe (Turin, Italy) Remote: Worldwide can adapt to timezone, can also travel if needed ofr hybrid. Willing to relocate: Yes but in a July 2026! Technologies: Python, Ku…