Chinjut

4 ms·

1.
by Chinjut 8d ago
This is unreadable. What is this?
2.
by Chinjut 10d ago
These are pretty close to each other, to the point where I wouldn't bother strongly distinguishing them. Suppose we have foldr as in [A] -> B -> ((A, B) -> B) -> B, foldl as in [A] -> B -> ((B, A) -> B) -> B, an
3.
by Chinjut 12d ago
People always bring up the Continuum Hypothesis as though it has something to do with Gödel's incompleteness theorems, but it doesn't really. The Continuum Hypothesis being neither proven nor disproven by some particular axioms is
4.
by Chinjut 18d ago
Much though jobs may involve those things, it has been rare for me to be in a position where management has valued those things to an extent where they would discern between me and a frontier reasoning LLM's capabilities on those same
5.
by Chinjut 18d ago
Yes, on that occasion and now on this one. As a mathematician, my fears have been amped up yet further by this new development.
6.
by Chinjut 18d ago
What is going to become of life for those of us who do not work at AI labs and are unlikely to be hired by AI labs, despite all the years we put into learning math, coding, etc? Those of us who made the mistake of studying anything other th
7.
by Chinjut 20d ago
Why not transition to a time where we do less jobs? Why should we have to carve out extra time in addition to a just plain work job?
8.
by Chinjut 21d ago
This is a repo for a new thing that is not identical to LaTeX, but intended as an improvement upon it. Typst seems apropos to bring up in related conversation.
9.
by Chinjut 23d ago
Perhaps it was childish to listen to advice, sure. I was a child when I made my formative choices; I was a teenager in college and so on. I can't go back in time now. Yes, these problems are systematic. That is what I am saying. That d
10.
by Chinjut 23d ago
I am in my forties.
11.
by Chinjut 23d ago
I sympathize with those people too. I have the same concerns for them.
12.
by Chinjut 23d ago
Should I go back in time and know the future?
13.
by Chinjut 23d ago
I'd be happy to not work anymore with a strong welfare system redistributing society's gains to the leisured masses, but absolutely nothing I've seen of the direction of politics in any recent years gives me hope for this kin
14.
by Chinjut 23d ago
What is going to become of life for those of us who do not work at AI labs and are unlikely to be hired by AI labs, despite all the years we put into learning coding, math, etc, as we were told to do? Those of us who made the mistake of stu
15.
by Chinjut 28d ago
Why would landlords not seek the highest possible rent without rent control?
16.
by Chinjut 1mo ago
Haskell, Lean, and Agda too. But even if Python were the only one, it wouldn't be weird to someone for whom this was their first programming language. It would just seem the way programming languages are. There's nothing intrinsic
17.
by Chinjut 1mo ago
I hate Python and I'm onboard with putting it down in many ways, but significant whitespace isn't weird in a first programming language. It's only weird if you've absorbed from some other language the convention that whi
18.
by Chinjut 1mo ago
People love to say the Unix philosophy is "Write programs that do one thing and do it well". But this does not really seem to me to really match Unix practice. And it doesn't match LLMs either, as the article notes. (So what
19.
by Chinjut 1mo ago
Regulation, antitrust, regulation, antitrust.
20.
by Chinjut 1mo ago
iOS allows something similar because this is iOS. iOS allows something exactly the same because this article is about iOS.
21.
by Chinjut 1mo ago
Yes. And math too. I think there's lots of beauty remaining in understanding these things, and using that understanding to craft things cleanly rather than as slop, but no one will pay us to do it, so we will never have the opportunity
22.
by Chinjut 2mo ago
I don't understand what you mean by "too good to be true" here. You mistakenly think the women you have good first dates with are fraudulent in some way?
23.
by Chinjut 2mo ago
The result in [1] is not progress on the Riemann Hypothesis. It's another fine result, but it's not progress on the Riemann Hypothesis. You could prove 100% of zeros are on the line and it wouldn't show the Riemann Hypothesis
24.
by Chinjut 2mo ago
For 58 years now.
25.
by Chinjut 2mo ago
Indeed. Money over everything. It is absurd to complain about decreasing quality of a product that makes increasing money for increasingly rich people (thus, by definition, better).
26.
by Chinjut 2mo ago
This article appears to be AI-written slop.
27.
by Chinjut 2mo ago
Recursion isn't lying to you. Rather, many JavaScript implementations are screwing you over.
28.
by Chinjut 2mo ago
Yes, because the number of calls in this setup is 2 * the next result - 1, and the Fibonacci sequence itself grows at this Θ(φⁿ) rate.
29.
by Chinjut 2mo ago
Homer's original won a blind writing test.
30.
by Chinjut 2mo ago
The "Everything is text, do everything via text" philosophy has its advantages, and also its disadvantages.

More ›