#programminglanguages

Pudu is a statically typed, expression-oriented programming language that I’m designing for building...

Originally published at norvik.tech Introduction Dive deep into the Goose Programming...

Microsoft has elevated Rust to a Tier-1 programming language, a designation that signifies its...

Silicon photonics is moving fast, but the tools haven't kept up. Here's how λλ changes the game for designing and simulating optical circuit

How Externum compiles the same program to readable Python, standalone Bash, and a source-less bytecode artifact — what the design costs, what the benchmark proved, and the two VM bugs it exposed.

Mojo going Apache 2.0 changes the trust story. Here’s what’s actually open, how to install it, and where Mojo beats NumPy/Rust for real kernels in 2026.

Why are production compilers so complicated? I decided to build one from scratch to find out.

Python 3.15 is the next major step in the evolution of the world’s most popular programming language....

LOOM is a tiny effect-typed language: a trust layer for AI-written code. Every function must honestly...

G# is a new programming language designed to bring the efficiency of Go to the .NET runtime. It...

Verbose is a small proof-carrying language whose compiler is written in Verbose itself. Its self-hosted emitter, fed its own 855 KB source, produced a binary bit-identical to the one that built it — gen1 == gen2, same sha256, same 1,302,980 bytes. The classic self-hosting fixed point, its strongest form. Here's what that means, and the failure — misdiagnosed, then actually understood — that almost stopped it.

Building a programming language with an AI coding agent. On June 10, 2026, driven by my...