frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Unlimited OCR: One-Shot Long-Horizon Parsing

https://github.com/baidu/Unlimited-OCR
95•ingve•1h ago•26 comments

The Coming Loop

https://lucumr.pocoo.org/2026/6/23/the-coming-loop/
72•ingve•2h ago•43 comments

Steam Machine launches today

https://store.steampowered.com/news/group/45479024/view/685257114654870245
1716•theschwa•20h ago•1460 comments

Plotnine

https://plotnine.org/
106•tosh•4d ago•26 comments

Will It Mythos?

https://swelljoe.com/post/will-it-mythos/
199•mindingnever•9h ago•134 comments

GLM-5.2 – How to Run Locally

https://unsloth.ai/docs/models/glm-5.2
453•TechTechTech•15h ago•206 comments

Crypto in 2026: Oh, This Is the Bad Place

https://www.stephendiehl.com/posts/bad_place_2026/
142•ibobev•3h ago•151 comments

VibeThinker: 3B param model that beats Opus 4.5 on reasoning with novel SFT+GRPO

https://arxiv.org/abs/2606.16140
257•timhigins•11h ago•111 comments

The Traditional Vi

https://ex-vi.sourceforge.net/
28•exvi•4h ago•17 comments

In praise of memcached

https://jchri.st/blog/in-praise-of-memcached/
197•j03b•12h ago•74 comments

Wikipedia cofounder Larry Sanger blocked from editing Wikipedia

https://en.wikipedia.org/wiki/User:Larry_Sanger
52•FergusArgyll•1h ago•31 comments

8086 Segmented Memory was a good idea

https://owl.billpg.com/8086-segmented-memory-was-a-good-idea-almost/
34•billpg•1d ago•57 comments

Show HN: Neural Particle Automata

https://selforg-npa.github.io/
32•esychology•4h ago•7 comments

Show HN: Shumai – open-source Frame.io alternative for creative work

https://github.com/shumaiOne/shumai
13•Yiling-J•3h ago•0 comments

Apple is going to raise device prices, but when?

https://daringfireball.net/linked/2026/06/22/apple-device-prices-when
24•tosh•2h ago•19 comments

The new HTTP QUERY method explained

https://kreya.app/blog/new-http-query-method-explained/
180•CommonGuy•7h ago•115 comments

My Mathematical Regression

https://blog.dahl.dev/posts/my-mathematical-regression/
324•aleda145•4d ago•124 comments

OpenAI DayBreak – GPT-5.5-Cyber

https://openai.com/index/daybreak-securing-the-world/
135•AaronO•11h ago•95 comments

Epidurals are a miracle technology

https://worksinprogress.co/issue/the-wonder-of-epidurals/
14•karakoram•2d ago•3 comments

An Introduction to YOLO26

https://blog.roboflow.com/yolo26/
86•teleforce•11h ago•30 comments

Optocam Zero: a Pi Zero based digital camera made using off the shelf components

https://github.com/dorukkumkumoglu/optocamzero
193•iamnothere•17h ago•51 comments

Oracle shed about 20k roles globally in the last year

https://www.bbc.com/news/articles/c4gy0x0j5deo
55•Lyngbakr•1h ago•55 comments

Giant Banana Pulled Over: Driver Says Cops Have Stopped Him 100s of Times

https://cowboystatedaily.com/2026/06/18/giant-banana-pulled-over-in-montana-driver-says-cops-have...
81•speckx•2d ago•9 comments

Moebius: 0.2B image inpainting model with 10B-level performance

https://hustvl.github.io/Moebius/
303•DSemba•23h ago•76 comments

Who Does What? Team Topologies for the Agentic Platform

https://blog.owulveryck.info/2026/06/22/who-does-what-team-topologies-for-the-agentic-platform.html
30•owulveryck•8h ago•17 comments

Show HN: Oak – Git alternative designed for agents

https://oak.space/oak/oak
199•zdgeier•21h ago•170 comments

Improvements to Std:Format in C++26

https://mariusbancila.ro/blog/2026/06/19/improvements-to-stdformat-in-c26/
31•jandeboevrie•2d ago•15 comments

Kyber (YC W23) Is Hiring a Head of Engineering

https://www.ycombinator.com/companies/kyber/jobs/FGmI8mx-head-of-engineering
1•asontha•16h ago

Show HN: A pure ARM64 Assembly web server, now on Linux with CGI for no reason

https://github.com/imtomt/ymawky/tree/linux
38•imtomt•8h ago•11 comments

Canada plans 'nuclear renaissance' with up to 10 reactors built by 2040

https://www.cbc.ca/news/politics/federal-nuclear-strategy-9.7244509
521•geox•18h ago•358 comments
Open in hackernews

The Reversal Curse: LLMs trained on "A is B" fail to learn "B is A"

https://arxiv.org/abs/2309.12288
18•Anon84•2h ago

Comments

eurekin•1h ago
I remember seeing this popping up in discussions the first time, but never noticed any resolution (other than to train both sides). Has SOTA advanced?
ACCount37•1h ago
No, it's just that no one really cares. It doesn't seem to cause identifiable faults in model reasoning in the real world.

It could be fun to try to make the model pre-learn a "reversal prior" that would cause a greater degree of generalization there, but I'm yet to see a published result like this. Let alone one that would demonstrate such a prior to be useful.

turzmo•1h ago
(2023)
gipp•1h ago
As I and several other people pointed out last time this was posted, "A is B," in natural language, does not imply "B is A." "Is" can denote any of many different shades of relationship weaker than logical identity.
zmgsabst•1h ago
Even in strict logic, “is” can denote membership, as in, “squares are rectangles” does not entail “rectangles are squares”.
beardyw•1h ago
Yes, "Who is Mary Lee Pfeiffer's son?" happens to have just one answer, whereas "Who is Mary Lee Pfeiffer's child?" would have several.
altmanaltman•1h ago
Why would it have several answer when you are asking for a singular child?

Isn't the right way to phrase that question be "Who are Mary Lee Pfeiffer's children?" to get multiple answers?

beardyw•1h ago
A single person would satisfy my question but it needn't be Tom Cruise.
niam•1h ago
Your question arguably doesn't have multiple answers. There's one answer: the set of children (discounting different orders of the set).

The question "Who is her child" has multiple answers because it asks you to deliver a single answer.

altmanaltman•1h ago
But wouldn't every one of those multiple answers be the correct one in this case? Like it can say child a or child b or child c (hypothetical) and while there are mutiple answers, each of them is a logically right one for the question "Who is her child?" no? So how do we judge what is the absolute right answer to that? its ambigious when you say child
zmgsabst•1h ago
“A is B” doesn’t generally entail “B is A”.

“A square is a rectangle” does not entail “a rectangle is a square”.

Similarly, “Socrates is alive” doesn’t entail “alive is Socrates”.

Notably, they mention when context is included, LLM performance rises — ie, exactly when we include extra information that allows it to recognize what kind of information is being conveyed.

But the LLM is correct not to generalize that pattern when it doesn’t generalize — even if researchers have salient example, but ignore contrary ones (eg, square-rectangle or Socrates-alive).

WithinReason•1h ago
That completely misses the point. The point is that "Valentina Tereshkova was the first woman to travel to space" does imply "The first woman to travel to space was Valentina Tereshkova", which LLMs fail to recognise.
IshKebab•1h ago
Right, but that could be because the fact that that implication exists is not actually as trivial as they are implying.

Does "Flargbler was blorglargh" imply "blorglargh was Flargbler"? Maybe. You need more context to know.

Dibby053•54m ago
"A is the B" does entail "the B is A", because "the" establishes an identity/bijection.
ralferoo•1h ago
Not only is the inverse not generally true (as others have pointed out), their examples requires several mental leaps.

"Who is Tom Cruise's mother? [A: Mary Lee Pfeiffer]" and the reverse "Who is Mary Lee Pfeiffer's son?"

The word "mother" has no relationship to "son" in terms of the model, and so while the model might be able to infer a proximity relationship between "Tom Cruise" and "Mary Lee Pfeiffer" just because they appear in the same sentence, expecting the AI to guess that the inverse of mother is son is a bit of a stretch, especially when they're both lossy mappings, because the relationship is {mother,father} <=> {son,daughter}. If we're going to train models to make that mental leap, we'd have to put up with false results like "Tom Cruise is the daughter of Mary Lee Pfeiffer" unless the model is also supposed to infer that Tom means he can only be a son.

trumpdong•1h ago
Pretraining could be reasonably expected to make it learn that mother/father and son/daughter are inverse relationships and Tom is usually a male name.
ralferoo•52m ago
I'd argue that that's not an easy task in and of itself, but even if someone adds a special exception, there's still the issue that there are many other types of inverse relationship that we understand, but a machine that's just doing pattern matching can't be expected to understand. For instance "boss" and "employee". For instance "waiter" and "customer". For instance "manager" and "player" (in a football context) or "manager" and "artist" (in a music context) or "manager" and "customer" (in a bank context). And what's the inverse of "customer" now? And so on and so on...

All of this context works because we build up an extensive model of the world through the course of our lifetimes. LLM models don't do that, they pattern match based on stats.

Somebody would have to decide each of these things is important and create training data sets for each of them. But we implicitly understand so much context about the world that it's practically impossible to document everything we know in the form that a model can actually learn from.

whilenot-dev•1h ago
Here's a short example from A. Karpathy in a 2024 video: https://www.youtube.com/watch?v=zjkBMFhNj_g&t=750s
josefritzishere•4m ago
The premise here is false. AI does not learn. It is a word guessing machine. I know that some of this is the semantics of how we describe these analogs but pretending that an LLM can learn does not advance the topic.
niam•30m ago
Zooming out to the original complaint that "A is B" doesn't imply "B is A" in common English, and then further -- to the goal of having an LLM predict tokens that map closely to truth/logic/helpfulness:

I don't think a person speaking plain English in most contexts should be seen as "correct" to answer the question with a non-list answer, even if the question is shaped to expect one, unless there's an established confidence that the shape of the question wasn't made in error.

If someone asked me in real life who "my child" is on stage, and I had multiple children on stage, I would first say that I had multiple children there, rather than choosing one from the set. It would be most helpful for an LLM in my position to do the same, rather than infer that [because Timmy is niam's child, niam's child ought to be Timmy when queried].

johnsonjo•1h ago
The space of possible answers is more than one is all GP is saying. Mary Lee Pfeiffer had 1 son, Tom Cruise, and 3 daughters. That's why saying Who is Mary Lee Pfeiffer's son was an identity, because it strictly identifies (or singles out) Mary's son, Tom.

Kind of a weird way to draw an analogy, but in math it's kind of like |x|=2 (the absolute value of x is 2) the answer for the value of x is -2 and 2 sure you could reply that the answer is 2 and be correct (even though you would still be missing something, because the space of possible answers includes both 2 and -2). To relay that back to Mary Lee Pfeiffer saying she has Tom Cruise as a child is correct, but the actual answer could include any 4 of her children (including Tom or one of the 3 daughters) and still be correct.

altmanaltman•58m ago
Yeah i understand that but it is logically right to reply with "Tom Cruise" or any of the girls to that question because by its structure it requires only 1 of the 4 answers since it asks for a singular child right?

Or is it like we are saying while that is logically correct, its not the actual answer and the model should reply "they have more than one child, here is the list of children" and that would be a more accurate one even though the prompt strictly asked for just 1 child?

johnsonjo•12m ago
> Yeah i understand that but it is logically right to reply with "Tom Cruise" or any of the girls to that question because by its structure it requires only 1 of the 4 answers since it asks for a singular child right?

Yes that is correct it is logically correct to reply Tom Cruise or any of the girls, and that was their point that there are four possible answers to one question.

> Why would it have several answer when you are asking for a singular child?

By the way this quote was the focus of my GP comment since I didn't quote it there.

> Or is it like we are saying while that is logically correct, its not the actual answer and the model should reply "they have more than one child, here is the list of children" and that would be a more accurate one even though the prompt strictly asked for just 1 child?

This was not his point so I feel like we are moving the goal posts a bit, so no though that could have been what's said I don't think that's what was really being said.

whilenot-dev•1h ago
It could have several correct answers, yes, where one should be logically deducible.

"Mary Lee Pfeiffer (A) is Tom Cruise's (B's) mother" and "Tom Cruise (B) is Mary Lee Pfeiffer's (A's) son" are two statements of the same relation.

EDIT: I mean if you'd go so far, even Tom Cruise could have multiple mothers, but that doesn't make "Mary Lee Pfeiffer is Tom Cruise's mother" a wrong statement, just because "one of ... mothers" is missing.

latexr•1h ago
> "Who is Mary Lee Pfeiffer's child?" would have several.

Might have several. It only has one answer if there is only one child, which appears to be the case here. They are measuring against what they told the model, not necessarily facts mapping to the real world.

In this case, the correct would always include “Tom Cruise” even if it needed a clarifying “there might be others I have no knowledge of”.

beardyw•56m ago
> It only has one answer if there is only one child

My understanding is she has four.

johnsonjo•49m ago
> Might have several. It only has one answer if there is only one child, which appears to be the case here.

With context. It does have several which was probably GPs point, and she did not have only one child.

Quick google search turns out that Mary Lee Pfeiffer had 4 children:

Lee Ann DeVette (born 1959) (daughter) Marian Henry (born 1960) (daughter) Tom Cruise (born 1962) (son) Cass Mapother (born 1964) (daughter)

So saying "Who is Mary Lee Pfeiffer's child?" would have 4 possible answers (which is several) with all known context. Whereas like GP was saying "Who is Mary Lee Pfeiffer's son?" would have 1 identifying answer, Tom Cruise with the same context.

> In this case, the correct would always include “Tom Cruise” even if it needed a clarifying “there might be others I have no knowledge of”.

I agree with this by the way.

sigmoid10•1h ago
I wouldn't resort to language examples, as the other comments show how this gets imprecise and lost in semantic details quickly. Instead think of a basic logic example: Consider an OR gate with inputs A and B and output X. If B=1 that means X=1. But if X=1 you can't infer that B=1, because there is an alternative (i.e. A=1,B=0). So from B=1→X=1, the inverse simply does not follow. This extends to all statements where a relation is not symmetric. Of course you can also go beyond and find cases where the relationship is not transitive or not even reflexive. There's a whole branch of language based IQ test puzzles (e.g. "all X are Y, some Y are Z" kind of stuff) that exploit this rabbit hole. Any LLM that does good on these will not jump to conclusions about reverse equalities quickly.
Dylan16807•1h ago
Except the researchers are not asking about the inverse of arbitrary logic statements.
Dylan16807•1h ago
That's a fine reaction to the title alone but a very bad reaction to the abstract, where the failure they're criticizing is real and not a childish misunderstanding of the word "is".

Is the abstract misleading and the full paper is stupider than the upfront examples? If not this criticism seems like a total waste of time.

clcaev•1h ago
As a stylistic comment, on HN I am seeing more and more of "As I have always said..." or similar opening constructs. Concisely documenting a phenomena or affecting change requires detailed, sustained effort. Merely observing a pattern isn't sufficient to be notable.

A succinct point, ideally noting counter arguments, is most welcome. Further, if there is substantial prior discussion or relevant literature, a link is productive.

bayindirh•1h ago
As a better version of this, I like to link my prior comments, or if I'm referring to another comment in the same thread, I like to link that one.

H in HTML & third W in WWW is meant to denote connections.

soco•16m ago
We have both Sean Young and Sean Bean. Black swans still exists and the pretraining cannot rely on assumptions - provided if you want answers, not hallucinations.