Hacker Newsnew | past | comments | ask | show | jobs | submit | slow_typist's commentslogin

It isn’t a benchmark though. Not yet. They rely on mathematicians to check the proofs including all lemmas. And on other mathematicians checking the reviews. Without being on the OpenAI payroll of course. Now they have flooded the zone, overwhelming the review capacity of the whole field by at least one order of magnitude. It is the move of 15-year-olds holding tools they shouldn’t have access to.

Did they force anyone to focus on reviewing those results instead of other ones? People choose to focus on them for a reason.

I think it's always better to publish preliminary results early (as long as you clearly say so, and they did), and let mathematicians decide which of those are worth focusing on.


They did not do this in a vacuum. But it doesn’t matter much. Benchmarking needs a benchmark.

LEAN.

Does creativity need sentience?

No. Genetic diversity and natural selection have created many intricate, beautiful, and useful structures. Unless someone is willing to argue that Darwinian selection is sentient, it's clear that theres at least one non sentient process that is creative.

+1 We need human verification.

Thanks, I couldn’t spot a license on the website, but existence of an arch package does probably mean the license is okayish.

Go and read the source code on the GitHub repository that the page links to as "Downloads". There's a LICENSE.md there, and a fair amount besides.

As we are using hypertext, I thought it would be useful to throw a link in here... but following your instructions feels like navigating a paper map. I don't see LICENSE.md here: https://github.com/be5invis/Iosevka/releases

But alright, I realized you must download the archive to find LICENSE.md in there: https://github.com/be5invis/Iosevka/archive/refs/tags/v34.9....

The license is "SIL Open Font License, Version 1.1." from http://scripts.sil.org/OFL


or drop the releases and go to just https://github.com/be5invis/Iosevka where LICENSE.md file shows up.

How do you measure core temperature of, say, a block of frozen fish without destroying the packaging and contaminating the good? Do they throw it away after measurements?

The thing I can‘t wrap my head around: why does a freezer need internet access at all? My freezer at home works just fine without. I bought it 20 years ago. Worst case in the supermarket: a freezer dies on Saturday night, you throw away the goods on Monday morning and call someone capable to fix it. Lowest TCO solution.

My random guess: freezer need temperature audits and franchise supermarkets have to prove they're properly managing the food. If the central monitoring service can also alert/dispatch staff within minutes to deal with issues, it becomes a pretty attractive proposition.

Something that might not be obvious, but temporary dips in temperatures also need to be monitored as it's enough to spoil the food. Worse case scenario isn't to have to throw 50~100 kilos of food, it's to have spoiled food still looking fine and consumers ending at the ER, with the whole franchise name on the news.

> My freezer at home

That can't be your frame of reference for a business entity part of a franchise.


There are better (and offline) solutions to detect temperature dips in the freezer (e.g. a thermograph, or cheaper, solutions that change color). And as a former trucker delivering frozen and refrigerated goods I can tell you the most dangerous part of the journey to the customer is not in the freezer of the POS. That being said, I admit I don’t know the legal requirements today. But I doubt someone will be sent out at night to salvage a few pounds of frozen spinach.

On better solutions managed locally, yes of course. Small shop's also deal with the same requirements without keeping their stuff online.

> someone will be sent out at night

We're talking about France, so that's an even lower chance of happening for a freezer's worth of goods.

The two upsides I'd see are the ability to throw away the food next day before opening the shop, and the franchise being able to force that procedure even if the local shop would have chosen otherwise.

Local tenant are usually a lot more lenient than their franchise manager (for good reason usually, but there's always that tension)


Of course they know. I have seen local newspapers who managed to block archive.ph's mechanism. If a bigger outlet does not use technical measures against services like wallhop, it is safe to assume that’s deliberate.

It makes sense economically since the part of the population using such services is so small and may have specific demographics that justify specific treatment just from a marketing POV.

Then you want search engines to get the whole content (okay at least before they started to summarise everything but the kitchen sink) - that will always leave a loophole.


I think you have that the wrong way around. Archive services have to explicitly bypass paywalls so most local newspapers are simply unsupported.

I elaborate: the local newspaper was perfectly archivable for years. Then it stopped.

The CMS usually allows search engines to get all content. The feature is to know human browser operators and make them pay, or know archiving/unblocking services and block them.


Based on some of my recent experience with building a scraper for purposes that aren't a news website, what has changed in the last 12 months or so is the availability of very low cost (or free, if you can run it on a 256 or 512GB system in your own office) LLM that are good enough to give it a target of something and have it build a custom scraper/paywall bypass profile on a per site basis. I'm referring specifically to things that can be run in harnesses and score well on terminalbench 4.0 and SWE LLM benchmarks.

When previously nobody would have gone through the effort to build and maintain a custom scraper against a moving target, for some small to medium size city's newspaper, now it's just one of a myriad of 'scraper profiles' you can have a near fully automated tool create.


Vittorio de Sica's Ladri di biciclette is a Linux ISO I can recommend.

Souvereignty is about ownership and about knowing the training data. That is especially important given a business model aiming at the government as a key customer. With Schwarz, Cohere, SAP, NVIDIA and the like as backers society can’t have souvereignty in any meaningful way. Of course it would be a plus to keep US agencies out of the data streams. But this technology will be used to support and make decisions that impact citizens. That being said, incredible achievement.


How, is the training data public?


Consider applying for YC's Winter 2027 batch! Applications are open till November 2.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: