News for hackers. Stuff that matters.

hyperpallium2

aka Cobblers children have no shoes. Anthropic profit less by selling it.
I think algebra too - it requires less understandng than geometry. You operate at a higher level, and in a sense, don't really know what you're doing.

Geometry existed for centuries before Euclid's formalization. Similar for algebra before Al'Khwarizmi. People were using logic before Boole.

"External Intelligence" is not new. But we are still in the informal stage of LLM use.

Because there's no moat for such companies.

But I like the implied hype-conspiracy that models aren't so good. Let's see post-IPO!

Re:Code Is Clay Now on Wednesday October 21, 2026 @08:19PM (#50189443)
> Finally, there is the delight of working in such a tractable medium. The programmer, like the poet, works only slightly removed from pure thought-stuff. He builds his castles in the air, from air, creating by the exertion of the imagination. Few media of creation are so flexible, so easy to polish and rework, so readily capable of realizing grand conceptual structures.... https://home.adelphi.edu/sbloch/class/adages/joy.html

Dependency is a cause of ossification.

Re:I know why Mathematicians weep on Friday October 16, 2026 @03:36PM (#50123415)
Omitted title payoff: But it's something AI can never do.
Re:What Sun got wrong on Tuesday September 22, 2026 @04:17PM (#49807486)
Disruption. Digital getting killed is what prompted Christensen to write The Innovator's Dilemma.
Re:The Luxuries in Life on Sunday September 06, 2026 @04:30PM (#49590589)
IANAP but any philosophy based on absence is a nihilism
Re:The brain may be about to have its Ozempic moment on Tuesday August 11, 2026 @05:31PM (#49264793)
dreams are false data

LLM-oriented programming – statistically revealed components

Agentic programming reveals mechanical joins of an algebra of de facto components, that resisted capture by formal abstractions.Can we improve formal module abstraction so it can capture this statistically revealed duplication?That is, without the natural language api of agentic programming. As warned by the golden age of science fiction, wish-granting djinns, contractual fine print,...

( Read More... | no comments | on HN )
prefer semantic abstraction even when it creates duplication
This beaurcratic development feels like turning a super-tanker that's connected to a hundred other super-tankers. While I accept the priority of back-compatibility, I personally lack the working memory to manage it, while creative problem-solving.
The non-nullability issue seems to be about performance, not cognitive load (search the article for "writes atomically"), though not articulated.
Re:Norway imposes near ban on AI in elementary school on Saturday June 20, 2026 @05:43PM (#48613259)
Bloom's 2 sigma problem solved at last! But that's overestimating LLMs, our zeitgeist.

AI can't detect AI, not because AI undetectable, but because it lacks judgment. Its shtick is random generation; the proverbial monkey on a typewriter.

Fewer features = smaller frame, easier to satisfy, better customer targeting.
Re:Swiss parliament lifts ban on new nuclear power plants on Thursday June 18, 2026 @08:02PM (#48593255)
Why not replenish with solar i.e. pump it back up into a dam-battery?
Re:The Emacsification of Software on Thursday May 14, 2026 @10:54PM (#48144018)
What does clocks mean here? A new usage?

    “Emacsification” clocks that everything now works this way, not just baroque text editors.
IANAG but the idea is that women get two copies of the X chromosome (XX), and men only one (XY). This explains why women have squared the colour blindness rates of men - women have to get two bad copies, men only one.

Many intelligence related genes are on the X chromosome, so it makes sense you get more variation in men. However, not all genes interact in this way.

Thanks - looks like this has already changed in line with GGP since my time. https://peer.asee.org/open-book-problem-solving-in-engineeri... [pdf]
New degree: B.Goo.
Law exams are open book; Engineering exams are not.

I'm not sure exactly what the distinction is - apart from law being "soft" and requiring argument - but it's deeper than inability to reuse past papers.

Re:Premature optimization caught up with me as well on Monday September 05, 2022 @07:58PM (#32730908)
He's making a more general statement, with "root of all evil", that improving some aspect of something without understanding its effects on the whole outcome, is literally the root cause of evil in the world, in general. Winning the battle but losing the war. Not seeing the forest for the trees. Getting lost in the weeds. Unenlightened self-interest. Not hyperbole, but a particular instance of a general concept.

But on code optimization, k deeply nested loops are not a bad guide to O(n^k), and a candidate for optimization.

That said, I once cached something that obviously needed to be cached - so obvious in fact that a deeper level in the system already cached it.

Re:D2: A new declarative language to turn text into diagrams on Thursday September 01, 2022 @06:56AM (#32674633)
It's more a research question.

I think it'll be more like ordered keys in JSON - not ordered, according to the spec, but very useful in practice, because easier to compare, locate keys by eye etc. This order might not merely be "the same" as the input happened to be, but an order customarily used - and there might be a semantic reason for that order in the first place, used in some original, non-JSON, representation.

Tenuous.

Re:D2: A new declarative language to turn text into diagrams on Tuesday August 30, 2022 @07:24PM (#32656470)
A problem with semantic markup is when it doesn't do what you want, and you need to wig-wam it. Does this mean you actually wanted presentation markup? Or, since you are trying to convey meaning, does it mean that the semantics aren't rich enough to describe what you mean?

In this D2 example (https://d2-lang.com/assets/images/intro-example-a917149ff3b7...), the diagram is nicely designed to be centered on the nexus node crawler. But the choices of which side the tributary nodes are on is not. You might want cron below and ps->express below - or to the sides.

The grammar can be extended to accommodate this (maybe already has been), but what is the semantic meaning of above, below, left or right?

One semantic choice is made: the "persists" arc is unidirectional, and is presented left-to-right - a natural order for many languages.

(Technically, "declarative" needn't be "semantic", but arguably is the most useful one)

Re:The Making of a Prophet on Saturday August 27, 2022 @08:30PM (#32624605)
It does seem wrong that nature would use irrational numbers - the fault is more likely in our concepts. Our mathematics may be more parochial than we realize - than we can realize. Alien mathematics may have taken a different route.

pi is not irrational in base pi

Re:Gojq: Pure Go Implementation of Jq on Sunday August 21, 2022 @07:55PM (#32545724)
FYNI jq was originally implemented in Haskell.
Re:Gojq: Pure Go Implementation of Jq on Sunday August 21, 2022 @07:53PM (#32545702)
jq uses bison (gnu's yacc), which is a nightmare for error diagnosis. Additionally, the founder (though brilliant - or maybe because brilliant) wouldn't accept improvements in error reporting.
Re:Gojq: Pure Go Implementation of Jq on Sunday August 21, 2022 @07:45PM (#32545659)
jq used to do this, but changed to preserve key order.

Older »