105 stories tagged programming-languages, newest first.
183 points by andsoitis | 28 comments
A personal blog card by Dave (ratfactor) on the appeal of tiny programs and small programming languages like Forth, Lisp, Tcl, and Lua, with examples of minimal implementations.
155 points by andsoitis | 54 comments
Homepage for Goose, a memory-safe systems programming language with no heap, garbage collector, or lifetime annotations that compiles to C.
561 points by bobbydigitales | 346 comments
An X post by John Carmack praising Wouter van Oortmerssen's Goose programming language for its multiple data stacks, relative references, and binary structure validation.
346 points by xiaoyu2006 | 246 comments
Transcription of Edsger Dijkstra's 1978 essay EWD 667 arguing that programming in natural language is misguided and formal symbolism is a privilege.
155 points by giancarlostoro | 31 comments
Homepage for jank, a native Clojure dialect built on C++ with seamless C++ interop, a Clang/LLVM-based JIT REPL, AOT compilation, and Leiningen-based tooling.
83 points by PaulHoule | 10 comments
LWN.net report on Tyler Mandry's RustConf 2026 talk about the "Beyond the &" effort to make Rust smart pointers as flexible as built-in references via places and handles.
35 points by jfecher | 2 comments
A blog post from the Ante programming language project describing a borrow-checking approach that allows zero-cost cyclic shared mutability.
104 points by verdagon | 10 comments
Blog post by Evan Ovadia explaining a borrow checker for the Vale language that analyzes functions by walking them backwards to check memory safety.
244 points by dom96 | 179 comments
Blog post by Dominik Picheta introducing KillSwitch, a programming language he designed so that large language models cannot use it.
160 points by Lyngbakr | 64 comments
Homepage of Teal, a statically-typed dialect of Lua, with links to about, playground, download, docs, and community.
6 points by embedding-shape | 2 comments
A blog post by a C programmer arguing that Rust's rapid adoption is dangerous, citing corporate control of the Rust Foundation and social hype.
5 points by jarmiaq | 0 comments
Daniel Temkin's page for Olympus, an esoteric programming language that reframes the programmer-computer power dynamic by having code petition gods.
42 points by mfrw | 35 comments
A post on Niko Matsakis's baby steps blog reflecting on what LLM coding agents mean for the Rust language and how Rust can benefit agentic development.
157 points by verdagon | 84 comments
Blog post by Evan Ovadia describing Valen's new flexible borrow checker, where references track the paths they point to, as an alternative to Rust-style borrowing.
60 points by elffjs | 29 comments
Homepage of Vx, a systems programming language for heterogeneous computing that encodes CPU, GPU, NPU and accelerator memory in its type system.
154 points by spdegabrielle | 43 comments
Website for the sixteenth RacketCon, a conference about the Racket programming language held October 3-4, 2026 at Oakstop in Oakland, California.
14 points by matt_d | 0 comments
pldb is a search engine over titles and abstracts of 33,580 programming languages research papers, from the first POPL in 1973 to current proceedings.
137 points by birdculture | 57 comments
A blog post on hereticpleb recounting how needing to compute 1+1 led the author to build a functional programming language.
20 points by ibobev | 24 comments
Blog post exploring why Lisp's parenthesis-heavy syntax is perceived as hard to read and what that implies for designing syntax in new languages.
10 points by EGreg | 3 comments
Documentation page describing the U programming language's memory architecture: DAG ownership, slab chain allocation, NaN-boxed values, and stable ordered maps without garbage collection.
48 points by surprisetalk | 24 comments
Jimmy Miller essay arguing programmers should be able to customize and change their programming languages rather than treat them as fixed artifacts.
123 points by pjm331 | 79 comments
A Dashbit blog post by José Valim reflecting on how programming languages, ecosystems, and tooling may evolve as AI agents write most code.
45 points by maroun-baydoun | 29 comments
Blog post by Maroun Baydoun about the JavaScript ecosystem increasingly turning to younger, faster languages for its tooling and what could go wrong.
564 points by nicolas-siplis | 287 comments
Landing page for Bend, a fast programming language with Python-like syntax, CUDA parallelism, and Lean-style proofs to verify AI-written code.
702 points by mmastrac | 461 comments
A Rust Foundation guest post on Rust becoming a tier-1 language at Microsoft; the page returned a Cloudflare 504 gateway timeout.
431 points by wcrichton | 124 comments
Brown University Cognitive Engineering Lab blog post summarizing a paper comparing how async/await designs differ across programming languages.
725 points by database64128 | 222 comments
Go Blog post announcing the release of Go 1.27, outlining language changes such as generic methods plus toolchain, runtime, and standard library updates.
390 points by visheshdembla | 88 comments
Modular blog post announcing that the Mojo programming language is now open source.
411 points by dayanruben | 212 comments
Modular blog post announcing the Modular 26.5 release and version 1.0 of the Mojo programming language.
750 points by tosh | 249 comments
Mitchell Hashimoto's blog post announcing his family's pledge of another $400,000 to the Zig Software Foundation, bringing their total to $700,000.
422 points by ibobev | 59 comments
Landing page for the self-guided online version of Cornell's CS 6120 PhD-level Advanced Compilers course by Adrian Sampson, with lessons, videos, papers, and implementation tasks.
385 points by ingve | 277 comments
Herb Sutter's blog post announcing that "C++: The Documentary" premiered on YouTube, with reflections on participating alongside Bjarne Stroustrup and others.
959 points by cloud8421 | 377 comments
Official Elixir blog post by José Valim announcing Elixir v1.20, which adds type inference and gradual type checking to every Elixir program without annotations.
424 points by yacin | 231 comments
Ian Henry's 2023 blog post arguing why programmers should try Janet, a small Lisp dialect, and promoting his free book about it.
459 points by lycopodiopsida | 598 comments
Personal blog post arguing that nobody can write correct C or C++ because nearly all code triggers undefined behavior, and that the languages are outdated.
826 points by indigodaddy | 877 comments
A Medium essay by Noah Mitchem questioning whether Python remains the best language choice when AI tools write most of the code.
354 points by sbt567 | 221 comments
Homepage of the Mojo programming language, a Python-like language for fast CPU and GPU code, announcing the 1.0.0b1 stable beta release.
321 points by helloplanets | 123 comments
Essay on the madhadron blog arguing programming languages descend from seven fundamental 'ur-languages' that learners should explore instead of similar mainstream languages.
462 points by downbad_ | 139 comments
A 2008 blog post by James Hague arguing that compiler books are too broad and recommending two papers as a practical starting point for writing a compiler.
319 points by ingve | 207 comments
Official Swift.org blog post by Holly Borla and Joe Heck announcing the release of Swift 6.3, dated March 24, 2026.
341 points by alexpadula | 407 comments
SQLite documentation page explaining why SQLite is implemented in C and why there are no plans to rewrite it in another language.
348 points by y1n0 | 212 comments
Homepage of the C3 programming language, a C-like systems language, with links to docs, examples, downloads, and current version 0.7.8.
380 points by km | 121 comments
Lua.org versions page section describing the Lua 5.5 release of the Lua programming language.
393 points by psxuaw | 158 comments
The redesigned official Ruby programming language homepage, captured while showing a loading animation.
583 points by sramsay | 544 comments
Blog post by Stephen Ramsay arguing about whether AI-assisted vibe coding should target C rather than higher-level languages.
351 points by todsacerdoti | 396 comments
Blog post arguing that Perl's decline stemmed from its conservative, reactionary community culture rather than technical shortcomings, from a former mod_perl developer.
380 points by yurivish | 449 comments
A blog post by Sinclair Target comparing Go, Rust, and Zig after experimenting with each, discussing the design trade-offs and what each language is good for.
317 points by messe | 228 comments
LWN article by Daroc Alden describing Zig's new approach to asynchronous I/O that avoids function coloring, letting code run synchronously or asynchronously.
803 points by todsacerdoti | 698 comments
Zig project news post announcing the migration of its main repository from GitHub to Codeberg, citing GitHub's decline under Microsoft.
365 points by todsacerdoti | 119 comments
Homepage and blog of µcad (Microcad), a new open source programming language for generating 2D sketches and 3D objects.
529 points by vitalnodo | 467 comments
An article by Nilo Stolte presenting the Zig programming language's appealing features, such as its compiler that compiles C and cross-compiles.
379 points by art-w | 270 comments
Personal blog post by Marc Coquand explaining why he loves OCaml, comparing it with Haskell and other languages he has used.
489 points by bkolobara | 446 comments
Blog post by Bernard Kolobara on Lubeno describing how Rust's initial productivity dip gives way to an unexpected productivity boost over time.
459 points by ustad | 583 comments
A personal blog post criticizing design flaws in the Go programming language, such as forced error variable scope, following the author's earlier critiques.
365 points by nukifw | 258 comments
A personal blog post, translated from French, explaining why the author chose OCaml as their primary programming language since 2012.
337 points by afirium | 243 comments
Blog post by Loris Cro explaining Zig's new I/O interface announced in the Zig Roadmap 2026 stream and how it revives async/await in Zig.
557 points by zdw | 141 comments
ETH Zürich Programming Language Foundations Lab page for the PLDI 2025 paper Tree Borrows, an aliasing model for Rust by Villani, Hostert, Dreyer, and Jung.
393 points by akkad33 | 112 comments
Homepage of jank, a Clojure dialect programming language built on LLVM with C++ interop.
388 points by r4um | 48 comments
A blog post listing papers, posts, and videos on programming languages and compilers that changed the author's thinking, with short commentary on each.
403 points by birdculture | 335 comments
A Corrode blog post from May 2025 offering advice on how to make learning the Rust programming language easier.
441 points by JadedBlueEyes | 180 comments
A blog post by matklad explaining the deliberate restrictions of Zig's comptime feature, such as no host leakage, and how it stays expressive despite them.
390 points by nimbleplum40 | 236 comments
Transcription of Edsger Dijkstra's manuscript EWD 667 arguing that programming in natural language is foolish and that formal symbolism is essential.
371 points by dvrj101 | 392 comments
A personal blog post by a longtime freelance developer explaining why they moved from Ruby on Rails and Common Lisp back to writing C.
334 points by MrBuddyCasino | 159 comments
Interactive intro and playground for Borgo, a new statically typed programming language with Rust-like features that compiles to Go.
512 points by cyclopeanutopia | 581 comments
An essay arguing that the C++ community has split into two factions with diverging needs, ending hopes for a single dialect-free C++.
364 points by azhenley | 201 comments
A satirical 2022 essay in letter form telling developers that their ad-hoc string-mangling and AST-hacking prototypes have become an unplanned compiler.
556 points by 1986 | 137 comments
Computer History Museum blog post in memoriam of Thomas E. Kurtz (1928–2024), co-creator of the BASIC programming language at Dartmouth.
407 points by jart | 214 comments
Justine Tunney's blog post surveying surprising lexical syntax quirks across 42 programming languages learned while building a syntax highlighter for llamafile.
329 points by todsacerdoti | 182 comments
A blog post by David Teller recounting the programming languages that changed how he thinks about programming over his career.
402 points by hardburn | 388 comments
A Wumpus Cave blog post by Timm Murray about how COBOL has long been declared dead, citing an old article his grandfather wrote on the topic.
428 points by Kodiologist | 108 comments
GitHub discussion post announcing the release of Hy 1.0.0, a Lisp dialect embedded in Python, after nearly 12 years of development.
330 points by todsacerdoti | 225 comments
Official Swift.org blog post announcing the general availability of Swift 6, covering low-level features, Embedded Swift, Linux/Windows support, and Swift Testing.
387 points by mesaoptimizer | 533 comments
A long personal essay arguing why Haskell is a practical, productive language for building real software like web servers, covering fewer mistakes and easier reasoning.
373 points by todsacerdoti | 91 comments
Landing page for CIEL, a batteries-included extension of Common Lisp that remains 100% Common Lisp, with links to GitHub and docs.
531 points by metadat | 164 comments
Homepage of Crafting Interpreters, Robert Nystrom's book on implementing a full-featured scripting language with a tree-walk interpreter and bytecode VM.
394 points by weaksauce | 287 comments
Homepage of Amber, a type-safe programming language that compiles to Bash scripts, with install instructions and a code example.
948 points by LightMachine | 179 comments
GitHub repository for Bend, a massively parallel, high-level programming language from HigherOrderCO that runs on GPUs via the HVM2 runtime.
323 points by todsacerdoti | 119 comments
A Dreamwidth blog post by Graydon Hoare with notes on Rust, mutable aliasing, and formal verification; the capture shows only a captcha check page.
369 points by marionauta | 327 comments
Homepage of Dada, an experimental programming language project exploring ownership-based design inspired by Rust.
623 points by todsacerdoti | 227 comments
Hillel Wayne blog post exploring why programming languages lack a built-in graph data type in their standard libraries.
367 points by swatson741 | 78 comments
Self-guided online version of Cornell's PhD-level CS 6120 Advanced Compilers course by Adrian Sampson, with lessons, videos, papers, and LLVM-based implementation tasks.
337 points by todsacerdoti | 47 comments
Hillel Wayne blog post explaining the Picat research language and its planner module for planning-based logic programming.
403 points by isodev | 215 comments
Homepage of Pkl, Apple's open-source configuration-as-code language billed as programmable, scalable, and safe, with example code.
856 points by bioballer | 530 comments
Blog post from the Pkl team announcing the first open source release of Pkl, a programming language for producing configuration.
1796 points by aarroyoc | 329 comments
A post on X by Bertrand Meyer announcing that Niklaus Wirth, pioneer of programming languages and software engineering, died on January 1, 2024.
370 points by mooreds | 244 comments
A personal blog post by Elise Shaffer, dated December 18, 2023, explaining her love for the Ruby programming language.
375 points by todsacerdoti | 542 comments
A Medium blog post by Jarrod Overson reflecting on whether adopting Rust for his projects was worth it after several years of use.
524 points by napsternxg | 195 comments
Homepage of Nota, a language for writing structured documents like academic papers and blog posts, with a live editable code example and rendered output.
420 points by gorenb | 251 comments
GitHub repository for Catala, a programming language for literate programming of law specifications, such as tax and benefits legislation.
398 points by MatthiasPortzel | 649 comments
An Ask HN thread asking why Python grew into a dominant programming language while Ruby, once similarly popular, stalled.