English - the hottest programming language of the future
dev.to·11h·
Discuss: DEV
🔄Language Evolution
Let's Write a Macro in Rust
hackeryarn.com·13h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·15h·
Discuss: Hacker News
🔗Lisp
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Cactus Language • Semantics 3
inquiryintoinquiry.com·13h
🔢Denotational Semantics
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
2025-10-10 # LLMs Are Transpilers
alloc.dev·1d·
Discuss: Hacker News
🔄Language Evolution
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
⬌Bidirectional Typing
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
Lobsters Interview with Zdsmith
lobste.rs·23h·
Discuss: Lobsters
🔗Concatenative Programming
My First Week of Vibecoding
underreacted.leaflet.pub·2h·
Discuss: Hacker News
🎯Gradual Typing
Categorical systems theory
topos.institute·17h
🔀Category Theory
GaloisInc/parameterized-utils
github.com·3d
🧮Algebraic Datatypes
Codeminer42 Dev Weekly #82
blog.codeminer42.com·11h
🎯Gradual Typing
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·21h
📞Session Types
Experimentation
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
📊Static Analysis
Creating Real-Time Multimodal AI Pipelines: Scaling File Processing to 50M Daily Uploads
engineering.salesforce.com·5h
🌊Stream Processing
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming