HN user

brokensegue

1,298 karma
Posts16
Comments677
View on HN

Fable told me

Verdict: I checked every step and found no error. The argument appears to be a correct proof of the Cycle Double Cover conjecture, modulo two standard cited results (the reduction to loopless cubic graphs and the Jaeger–Kilpatrick 8-flow theorem, both real and well-established).

Two caveats: this would settle a ~50-year-old open problem in three pages, so it deserves independent expert scrutiny regardless of my check; and I couldn't reach the web from here to confirm the paper's provenance or any community response, so I can't tell you its status beyond the mathematics itself.

Brainfuck is probably the most famous esoteric programming language. It's mentioned (and used) in published papers e.g. https://link.springer.com/article/10.1007/s10994-019-05821-2. Probably not a good comparison point.

I think a more comparable language would be https://en.wikipedia.org/wiki/Wikipedia:Articles_for_deletio...

if people want there to be an article on Odin they can contribute to the current draft. https://en.wikipedia.org/wiki/Draft:Odin_(programming_langua...

Immich 3.0 20 days ago

it's really not much to manage assuming you are already doing backups. you ~ pay the energy cost either way.

EU tried to ban tracking cookies. Anyone could've seen the result coming (every site now disrupts your reading). The defeatist attitude would've been right there.

I don't see how games won't just charge you a $0.01 "subscription" that lasts 5 years or various other such sidesteps. it'll just make everything more annoying.

Waymo Premier 1 month ago

i assumed it's for influencers who want to make a video of the new city or something

ESP32-S31 2 months ago

Amusingly you just conflated the pico (a dev board) with its chip (rp2040)

were you involved in making the study? your bio says you work for them so you should probably indicate that in your comments.

lack of agreement when there is no singular correct answer (or any answer at all) isn't a useful metric

I ran into a lot of these kinds of issues when working on the Citation Needed WMF project (and related extensions). Truth is so often very nuanced.

yeah i really don't like the corpus of statements and it makes me doubt lenz. consider

“Artificial intelligence will cause widespread job loss among software engineers.”

https://lenz.io/c/ai-software-engineers-job-loss-impact-05e4...

this is a statement about the future. who knows? dataset also includes

Robots will not replace human teachers in schools in the near future.

or

Papua New Guinea has very few female members of parliament.

what counts as very few?

“Taurine supplementation supports mood and emotional health in humans.”

why is this labeled as misleading? i'm not even sure when I'm supposed to use the misleading label

Anaximander was the first scientist in recorded history.

this is a judgement call as the term scientist didn't exist.

the claims that feel actually solidly answerable seem to have much better LLM performance

I think the problem isn't that people don't care. It's that checking is expensive. "Only $15" isn't trivial when there's tons of claims floating around. And even when you do it people return with complaints and you'll have to redo it (see the other comments here).

Huel Joins Danone 4 months ago

many people do not think the science against them are credible. foods containing those things are staples of many diets.