this post was submitted on 19 Jan 2024
120 points (92.3% liked)
Programmer Humor
37845 readers
148 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 6 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
This Isabelle
~~Blockier than I remember~~
So that's it, I read its overview, looks really powerful! Also goes way over my head