Tikhon Jelvis
banner
jelv.is
Tikhon Jelvis
@jelv.is
I like programming languages. A lot. Especially Haskell.

Tools, types and functions.
Previously you could quickly filter out low-effort or mediocre work based on qualities of the writing. LLMs break these fuzzy mental filters people have developed, for better or worse.

I expect to see the same thing for cranks in areas where those are a problem.
November 15, 2025 at 6:36 PM
Probably. But I'm still holding out a bit of hope: with strange eons even Moore's law will die, and we'll suddenly be pushed into new hardware paradigms.

But people have been making predictions about this happening for decades...
November 6, 2025 at 9:54 PM
that's what my very first blog post on my personal site was about, from over a decade ago :)

jelv.is/blog/Generat...
Generating Mazes with Inductive Graphs
jelv.is
November 6, 2025 at 8:58 PM
Some caveats: operations that go from CReal values to normal values (ie Bool) might not terminate

And intermediate values might require more precision than you pull out of the final result

There are some nice intro papers somewhere but I'm on my phone so can't easily find them
November 6, 2025 at 8:56 PM
Yeah. You can even play with this idea in Haskell

hackage.haskell.org/package/numb...
Data.Number.CReal
hackage.haskell.org
November 6, 2025 at 8:54 PM
I remember Conal had some ideas for how future adaptable hardware (FPGAs that could reconfigure dynamically at runtime) would let us do computable reals in hardware.

I always loved that concept, even if it (still!) seems decades ahead of its time. But maybe one day...
November 6, 2025 at 8:53 PM
This reads like a panic move for Chegg because ChatGPT has eaten their lunch.
October 29, 2025 at 11:44 PM
is it knowledge workers confusing that, or are they just responding to their managers who confuse it?

honestly, I've seen both, but the latter seems to have a much larger impact
October 21, 2025 at 4:46 PM
Reposted by Tikhon Jelvis
On certainty of outputs: the Fordist instinct to demand "when will thing be Done" serves no purpose beyond dashboard/report curation, which has replaced actual management work in most orgs. It displaces all other value of the thing except for Done-ness. My Button talk on Thursday is about this.
October 21, 2025 at 3:43 PM
I'm just realizing my current role has a similar dynamic, which is why I've been almost totally demotivated about work :/
October 19, 2025 at 8:23 PM
For recursion, I found learning from algebraic data types + pattern matching *way* more intuitive than numbers (or even sets/etc).

I imagine there's something similar for induction.
October 14, 2025 at 2:32 AM
Probably not.

Unless something special happens, either folks are going to lose steam or leadership is going to start flailing around. Neither is great.

Maybe it's just me, but low motivation and anxiety from others end up highly affecting me, even if I'm in a reasonable place *for myself*.
October 14, 2025 at 2:30 AM
From reading the translator's bio and notes, he is literally that one grad student

If not for his exact intersection of interests, no way the book would have made it into English :P

(And, clearly, the book was *very* hard to translate!)
October 13, 2025 at 11:51 PM
I've started picking up random books at bookstores and while most of them didn't resonate, some of the niche books have been totally wild

Most memorable example so far: Rip It Up by Kou Machida, a very postmodern novella by a Japanese punk rock musician

www.goodreads.com/book/show/59...
Goodreads
Discover and share books you love on Goodreads.
www.goodreads.com
October 13, 2025 at 11:51 PM
not really, I was just an intern :P
October 13, 2025 at 12:31 PM
My view is that it's primarily the latter.

You could have a better tool like Linear, but anything following the same paradigm of seeing work in terms of discrete individual tasks will encourage the same unhealthy tendencies from both managers *and* ICs.
October 9, 2025 at 3:50 PM
yeah, no point worrying unless the symptoms get worse, like trying to design stack-based instruction sets in hardware :P
October 1, 2025 at 7:36 PM
this is one of those things where I can't tell whether it's so obvious nobody even bothers talking about it, or it's not obvious to most people :/
September 23, 2025 at 12:17 PM