8 stories tagged with #programming-languages, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Programming Languages"
Let's Take Esoteric Programming Languages Seriously (2025)
Esoteric programming languages are challenging to learn, but their unusual features and constraints may serve to improve programming ability. From languages designed to be intentio…
A Brief, Incomplete, and Mostly Wrong History of Programming Languages (2009)
1801 - Joseph Marie Jacquard uses punch cards to instruct a loom to weave "hello, world" into a tapestry. Redditers of the time are not imp...…
Github's Top Programming Languages Over Time
Explore a universe of data about how the world is building software together on GitHub.…
BODHI: Precise OS Kernel Specification Inference
The formal verification of operating system kernels requires precise specifications that capture the intended behavior of system calls. Writing these specifications manually demand…
What I learned from tinkering with programming languages in the last 34 days
Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support
Large language models are increasingly used for code generation, but many generated programs fail to compile, a prerequisite for further correctness checks such as unit tests. Exis…
Inverse Sapir-Whorf and programming languages
A discussion on how features of programming languages can make it hard to avoid expressing or talking about things you may or may not care about as a programmer.…