Tikhon Jelvis's Avatar

Tikhon Jelvis

@jelv.is

I like programming languages. A lot. Especially Haskell. Tools, types and functions.

300
Followers
93
Following
971
Posts
15.11.2024
Joined
Posts Following

Latest posts by Tikhon Jelvis @jelv.is

cool beans

02.03.2026 03:22 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

eh, they didn't need radicalizing, they just needed permission

01.03.2026 21:41 πŸ‘ 16 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

bah, game theory is just a theory

28.02.2026 19:10 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Answering your actual question, I'm pretty sure I've heard variants on "What is my purpose? You pass butter." in other contexts.

24.02.2026 04:15 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

Huh, I never made the connection between "X with extra steps" and Rick and Morty

24.02.2026 04:12 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

also, all the specific similarities people mention correspond to mediocre top-down managementβ€”which, I guess, is par for the course in industry :(

22.02.2026 21:35 πŸ‘ 6 πŸ” 0 πŸ’¬ 0 πŸ“Œ 1

Haha, I was thinking about folks who have been at Jane Street since before Sandy, not New Yorkers in general

But also: yes :P

22.02.2026 01:53 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

ask the old-timers there for stories about Hurricane Sandy :)

22.02.2026 00:54 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

there are also a lot of plausible situations where there's an immediate shock that leads to gas shortages, but only lasts a relatively short time

even if it lasts longer, at least people's panic responses will be less concentrated over time :P

22.02.2026 00:52 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

I've had multiple recruiter emails that start with "Build systems..." and then disappoint me because they're talking about building systems rather than working on build systems :P

19.02.2026 02:03 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

whichever's actually register ought to be registest

19.02.2026 01:25 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I didn't think of it as a technique on its own but, now that you mention it, I am going to start seeing more places to try it out.

18.02.2026 20:23 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I've done similar things too!

Usually not in an explicit/organized fashion, but more like writing my thoughts + non-production code as examples in a throw-away file, or maybe pairing on some unstructured notes before working on a design document.

18.02.2026 20:23 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

Yeah, that's definitely fair.

18.02.2026 02:44 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

That's how I approached code reviewβ€”shared theory building coupled with some tactical mentorshipβ€”but I'm increasingly thinking there are better ways to achieve both of those.

Still trying to figure out what those ways are though!

18.02.2026 01:18 πŸ‘ 2 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0

If you want a more comprehensive book, I can thoroughly recommend @cercerilla.bsky.social's Effective Haskell

I don't remember what it's like for the very basics, but it's definitely a great way to go from understanding syntax to writing non-trivial, well-organized programs

18.02.2026 00:56 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

I had a good time starting with the (now old!) "Write Yourself a Scheme in 48 Hours", then adapting the Scheme interpreter into my own toy language.

Not sure I'd recommend that exactly, but starting with a guided project of some sort was great for me.

18.02.2026 00:54 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

hilariously, auto-correct actually suggested "nothing's" for the last word, I just didn't catch it in time to take the suggestion :P

17.02.2026 01:20 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

speak for your'self, I ain't learning nothing

17.02.2026 01:19 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

it's also the country that invented the greengrocer's apostrophe :P

16.02.2026 22:58 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Haskell in the Modern Day
Haskell in the Modern Day YouTube video by Packet Pushers

I really enjoyed talking about Haskell, OCaml and programming language communities on Day Two Devops.

Give it a listen if you're curious!

youtu.be/fylVXiYDcT4?...

14.02.2026 22:37 πŸ‘ 12 πŸ” 5 πŸ’¬ 0 πŸ“Œ 0

relatable

14.02.2026 19:47 πŸ‘ 4 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
me, sitting on a sofa in an orange flat cap with a black kitten on my head and a tortie kitten climbing on my chest

me, sitting on a sofa in an orange flat cap with a black kitten on my head and a tortie kitten climbing on my chest

relatable

14.02.2026 19:46 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

"text" and "editing" are merely pretexts to foist lisp on an unsuspecting public without needing an irb review

14.02.2026 01:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

my text editor is a software realization of the lisp machine dream

14.02.2026 01:36 πŸ‘ 2 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

cache invalidation vs cat validation

12.02.2026 20:00 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

yeah, I mean, the books won't store themselves :P

12.02.2026 05:37 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

It is so frustrating that there is a lot of government support to get companies into a VC pipeline, and almost none to help build collectives and cooperatives.

11.02.2026 22:12 πŸ‘ 20 πŸ” 1 πŸ’¬ 2 πŸ“Œ 1

lots of things work better than they "should" because LLMs work better than they shouldβ€”we can get away with bad taste, but it's still bad

...just like the Enterprise Best Practices of yesteryear succeeded because even bad software is commercially valuable!

11.02.2026 00:37 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

one AI thing that seems clear to me but I haven't heard people talking about:

there are good abstractions and there are bad, arbitrary abstractions, and the popular stuff built on top of LLMs has largely been the latterβ€”distinct Enterprise Java Design Patterns vibes everywhere

11.02.2026 00:34 πŸ‘ 8 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0