Hacker News: Chinjut

New comment by Chinjut in "The beginning of programming as we'll know it?"

Chinjut — Fri, 03 Apr 2026 03:36:41 +0000

Yes, "An LLM is just a new higher level programming language", sure. A new programming language with no tractable guarantees about the behavior of any particular program, including in practice no guarantees that the same source code (in this new programming language) will reliably produce the same behavior. This is very different from traditional programming languages and how we can reason about them.

(Yes, one can write C programs with undefined behavior, but C does also have many well-defined properties which allow people to reason about well-defined C programs logically reliably.)

New comment by Chinjut in "The beginning of programming as we'll know it?"

Chinjut — Fri, 03 Apr 2026 03:32:51 +0000

A programming language with no tractable guarantees about the behavior of any particular program, including in practice no guarantees that the same source code (in this new programming language) will reliably produce the same behavior. This is very different from traditional programming languages and how we can reason about them.

New comment by Chinjut in "I am definitely missing the pre-AI writing era"

Chinjut — Tue, 31 Mar 2026 14:39:44 +0000

The C-suite are barely human, so robot-speak appeals to them.

New comment by Chinjut in "Is anybody else bored of talking about AI?"

Chinjut — Tue, 24 Mar 2026 21:32:43 +0000

Why is it that a stochastic parrot can solve logic puzzles consistently and accurately?

New comment by Chinjut in "Hypothesis, Antithesis, synthesis"

Chinjut — Tue, 24 Mar 2026 16:29:40 +0000

You mention in the post that there are design differences between Hegel/Hypothesis and QuickCheck, partly due to attitude differences between Python/non-Haskell programmers and Haskell programmers. As someone coming from the Haskell world (though by no means considering Haskell a perfect language), could you expand on what kinds of differences these are?

New comment by Chinjut in "Senior European journalist suspended over AI-generated quotes"

Chinjut — Sat, 21 Mar 2026 16:47:41 +0000

Good lord, even the apology is AI generated: "That was not just careless—it was wrong."

https://pressanddemocracy.substack.com/p/i-am-admitting-my-m...

New comment by Chinjut in "Recursive Problems Benefit from Recursive Solutions"

Chinjut — Sat, 14 Mar 2026 13:53:05 +0000

Haskell (I realize this may not pass your threshold for widespread use) has equal support for co-recursion as for structural recursion.

New comment by Chinjut in "Britain is ejecting hereditary nobles from Parliament after 700 years"

Chinjut — Thu, 12 Mar 2026 07:43:29 +0000

The Senate gives a rather disproportionate democracy in which the votes of a small number in small states take on disproportionate significance compared to the votes of a large number in populous states.

New comment by Chinjut in "Britain is ejecting hereditary nobles from Parliament after 700 years"

Chinjut — Wed, 11 Mar 2026 22:19:31 +0000

The Senate is, while not the whole story, a significant part of the reason the government constantly fails to do what is either the desire of the people or what's in their interests. I wouldn't lament losing the Senate.

New comment by Chinjut in "Claude's Cycles [pdf]"

Chinjut — Tue, 03 Mar 2026 23:50:51 +0000

It does not seem fair to say that frequentists do not update their beliefs based on new evidence. This does not seem to accurately capture what the difference between Bayesians and frequentists (or anyone else) is.

New comment by Chinjut in "The United States and Israel have launched a major attack on Iran"

Chinjut — Sun, 01 Mar 2026 02:02:14 +0000

Not wanting to visit a country is not moral justification for killing its people (including women and even grade school girls).

New comment by Chinjut in "New evidence that Cantor plagiarized Dedekind?"

Chinjut — Sat, 28 Feb 2026 18:26:00 +0000

I don't like the way it's written, but what they are talking about is completeness in the sense of "Dedekind completeness"; i.e., that given any two sets A and B with everyone in A below everyone in B, there is some number which is simultaneously an upper bound for A and a lower bound for B.

Note that this fails for the rationals: e.g., if we let A be the rationals below sqrt(2) and B be the rationals above sqrt(2).

New comment by Chinjut in "Looks like it is happening"

Chinjut — Tue, 24 Feb 2026 22:31:19 +0000

Note the following comment by Jerry Ling: "The effect goes away if you search properly using the original submission date instead of the most recent submission date. By using most recent submission date, your analysis is biased because we’re so close to the beginning of 2026 so ofc we will see a peak that’s just people who have recently modified their submission."

New comment by Chinjut in "I program on the subway"

Chinjut — Sun, 21 Dec 2025 18:39:14 +0000

I love making money for my employer with every spare moment of my life.

New comment by Chinjut in "Work disincentives hit the near-poor hardest (2022)"

Chinjut — Mon, 08 Dec 2025 06:45:32 +0000

This doesn't sound monotonic. This sounds like a mapping from pre-benefit income to post-benefit income which sends just under $10k/yr to just under $15k/yr, but sends just over $10k/yr to just over $10k/yr. So it sends a larger input to a smaller output.

New comment by Chinjut in "Work disincentives hit the near-poor hardest (2022)"

Chinjut — Mon, 08 Dec 2025 04:59:41 +0000

Why continuously differentiable and not just monotonic?

New comment by Chinjut in "The programmers who live in Flatland"

Chinjut — Sun, 07 Dec 2025 22:47:08 +0000

Why are we limiting ourselves to business concepts?

New comment by Chinjut in "Mathematics is hard for mathematicians to understand too"

Chinjut — Thu, 04 Dec 2025 07:09:33 +0000

The fact that there is a precise analogy between how Ax + s = b works when A is a matrix and the other quantities are vectors, and how this works when everything is scalars or what have you, is a fundamental insight which is useful to notationally encode. It's good to be able to readily reason that in either case, x = A^(-1) (b - s) if A is invertible, and so on.

It's good to be able to think and talk in terms of abstractions that do not force viewing analogous situations in very different terms. This is much of what math is about.

Nevada Governor's office covered up Boring Co safety violations

Chinjut — Sat, 15 Nov 2025 19:10:31 +0000

Article URL: https://fortune.com/2025/11/12/elon-musk-boring-company-tunnels-injuries-osha-citations-fines-rescinded-nevada-governor-office-documents-altered/

Comments URL: https://news.ycombinator.com/item?id=45939798

Points: 336

# Comments: 74

New comment by Chinjut in "I Worked All over Silicon Valley. This Is How It Lost Its Spine"

Chinjut — Thu, 13 Nov 2025 15:19:03 +0000

Oh, I didn't realize there was a threshold. What is the threshold?