English - the hottest programming language of the future
dev.to·6h·
Discuss: DEV
🔄Language Evolution
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Cactus Language • Semantics 3
inquiryintoinquiry.com·7h
🔢Denotational Semantics
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
2025-10-10 # LLMs Are Transpilers
alloc.dev·23h·
Discuss: Hacker News
🔄Language Evolution
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·46m·
Discuss: Hacker News
⬌Bidirectional Typing
[$] Gccrs after libcore
lwn.net·1d
🦀Rust Macros
Lobsters Interview with Zdsmith
lobste.rs·18h·
Discuss: Lobsters
🔗Concatenative Programming
Categorical systems theory
topos.institute·11h
🔀Category Theory
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Codeminer42 Dev Weekly #82
blog.codeminer42.com·6h
🎯Gradual Typing
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·4h·
Discuss: Hacker News
🔗Concatenative Programming
Real Programmers Don't Use Pascal (1982)
ee.torontomu.ca·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Learning from software errors – Part 3: A Mars probe gets out of control
heise.de·15h
📞Session Types
Experimentation
theprogrammersparadox.blogspot.com·1d·
Discuss: theprogrammersparadox.blogspot.com
📊Static Analysis
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·3d
💻Programming languages
Python in Visual Studio Code – October 2025 Release
devblogs.microsoft.com·5h
🪟Awesome windows command-line
Does Go have types?
youtube.com·10h·
Discuss: r/golang
🔒Linear Types