1
Elixir v1.20: Now a gradually typed language
From Elixir v1.20, every program is now gradually type checked in search for verified bugs and typing violations.
Topics /
Programming Languages
The most popular blog posts about programming languages on Hacker News. 84 posts.
2
Go 1.27
Go 1.27 adds generic methods, encoding/json/v2 package, uuid package, faster memory allocation, goroutine leak profiles, and more.
3
TypeScript 7
Today we are proud to announce the availability of TypeScript 7, a 10x faster native port of TypeScript! Since its early days, TypeScript has promised to
4
Bugs Rust won't catch
In April 2026, Canonical disclosed 44 CVEs in uutils, the Rust reimplementation of GNU coreutils that ships by default since 25.10. Most of them came out of an external audit commissioned ahead of the 26.04 LTS. I read through the list and thought th…
5
Migrating from Go to Rust
Out of all the migrations I help teams with, Go to Rust is a bit of an outlier. It’s not a question of “is Rust faster?” or “does Rust have types?”, Go already gets you most of the way there. The discussion is mostly about correctness guarantees, run…
6
A Design Space Exploration of Async/Await
Every language pitches async/await as synchronous-looking code, and the same two keywords appear everywhere. But behind the shared syntax hide nine independent design decisions, and no two of seven modern runtimes agree on what even the simplest async programs should do! In this paper we map the design space of…
7
Async Rust never left the MVP state
I've previously explained async bloat and some work-arounds for it, but would much prefer to solve the issue at the root, in the compiler. I've submitted a Project Goal, and am looking for help to fund the effort.
8
Tsrs: A Port of TypeScript to Rust
Cloudflare is collaborating on tsrs, a Rust port of TypeScript that is up to 8x faster and uses 70% less memory.
9
A couple million lines of Haskell: Production engineering at Mercury
What it takes to run 2 million lines of Haskell in production at a fintech company serving 300,000 businesses.
10
Vim 9.2
Vim 9.2 brings significant enhancements to the Vim9 scripting language, improved diff mode, comprehensive completion features, and platform-specific improvements including experimental Wayland support.
11
Mojo 1.0
Today, the Mojo language officially reaches 1.0: a milestone the language has been building toward since its first release in 2023. Mojo has grown into a general-purpose language with a vibrant developer community writing their own libraries, tools, and applications on top of it. With Mojo 1.0, developers can now…
12
Using go fix to modernize Go code
Go 1.26 includes a new implementation of go fix that can help you use more modern features of Go.
13
Platform-independent SIMD in Go
Go 1.27 adds an experimental platform-agnostic SIMD API
14
Mojo is now open source
The Apache 2.0 license is the gold standard for programming languages and compilers, because it provides great flexibility to be used in all sorts of applications. The LLVM extensions to the license further expand those freedoms for building and distributing binaries compiled from Mojo. We want you to be able to adopt…
15
Type resolution redesign, with language changes to taste
This page contains entries for the year 2026 . Other years are available in the Devlog archive page .
16
A new Go API for JSON
Go 1.27 introduces new encoding/json/v2 and encoding/json/jsontext packages.
17
Formal methods and the future of programming
I’ve been telling people for the last 25 years that Jane Street as an organization was just not interested in formal methods.
18
Swift 6.3
Swift is designed to be the language you reach for at every layer of the software stack. Whether you’re building embedded firmware, internet-scale services, or full-featured mobile apps, Swift delivers strong safety guarantees, performance control when you need it, and expressive language features and APIs.
19
Gleam doesn't compile to Erlang source anymore
News post: Gleam v1.19.0 released!
20
Celebrating 70 Years of Fortran
Fortran : High-performance parallel programming language
21
RISC-V is now officially supported by CPython
I’m happy to announce that RISC-V platforms are now officially supported by CPython. 🎉 🚀
22
Tcl/Tk 9.1
Tcl/Tk 9.1.0 is the current development work on Tcl and Tk, aiming toward stable releases in September 2026. They add new features and interfaces to the foundation of Tcl/Tk 9.0.
23
Better HTTP/1 connection reuse in Go 1.27
Go 1.27 includes a change to the HTTP client that can make programs sending many sequential HTTP/1 requests significantly faster.
24
“Stop Designing Languages. Write Libraries Instead” (2016)
I had a friend tell me recently that all programming languages seem very similar to each other. They all have variables, and arrays, a few loop constructs, functions, and some arithmetic constructs. Sure, some languages have fancier features like first-class functions or coroutines, but he doesn't consider himself an…
25
Zig v0.17.0
Zig is a general-purpose programming language and toolchain for maintaining robust , optimal , and reusable software.
26
Steel Bank Common Lisp version 2.6.7
New SBCL versions are usually released at the end of each month: check the Sourceforge File List to see the current version. The new features of all SBCL releases are listed below.
27
Pharo 14
Pharo is a pure object-oriented programming language and a powerful environment focused on simplicity and immediate feedback.
28
Julia 1.13 highlights
Highlights of the Julia 1.13 release.
29
Rust at Scale: An Added Layer of Security for WhatsApp
WhatsApp has adopted and rolled out a new layer of security for users – built with Rust – as part of its effort to harden defenses against malware threats. WhatsApp’s experience creating and distri…
30
Erlang/OTP 29.0
The official home of the Erlang Programming Language