this post was submitted on 24 Oct 2025
200 points (98.5% liked)

Programmer Humor

27127 readers
2409 users here now

Welcome to Programmer Humor!

This is a place where you can post jokes, memes, humor, etc. related to programming!

For sharing awful code theres also Programming Horror.

Rules

founded 2 years ago
MODERATORS
Feyter@programming.dev
anzo@programming.dev
BurningTurtle@programming.dev
pylapp@programming.dev
200
Computer Science Courses that Don't Exist, But Should (prog21.dadgum.com)
submitted 1 week ago by SmartmanApps@programming.dev to c/programmer_humor@programming.dev
69 comments fedilink hide all child comments
you are viewing a single comment's thread
view the rest of the comments
[–] drosophila@lemmy.blahaj.zone 1 points 5 days ago* (last edited 5 days ago)

I, too, have wished to be able to easily embed prolog, or at least its reduced non-turing-complete version, datalog, into a less declarative language.

Also, I think integration with answer set programming for static code analysis could be useful. This is sort of a mid-way point between test driven development and something like the type level programming in languages such as Haskell or semi-automated theorem proving in languages like Coq.