Rail: A Self-Hosting Systems Programming Language with Pure-Rail TLS 1.3 Implementation
By
zem0g
The bagel they save for the regulars. Don't skim, savour.
Summary
Rail is a self-hosting systems programming language that compiles itself without any C dependencies. The compiler is written in Rail and produces ARM64 binaries, with the garbage collector implemented in ARM64 assembly. Version 3.0.0 introduces pure-Rail TLS 1.3 client implementation with X.509 chain validation, enabling HTTPS communication without external dependencies. The language emphasizes minimalism, self-containment, and security through its zero-C-dependency approach.
Key quotes
· 5 pulledRail compiles itself. The compiler — 4,687 lines of Rail — produces a 729 KB ARM64 binary that compiles the compiler again and reaches byte-identical fixed point.
There is no C in the runtime, no libc in the binary. The garbage collector is ARM64 assembly.
As of v3.0.0, the TLS 1.3 client is Rail too: import 'stdlib/anthropic_client.rail' and your program talks HTTPS.
A self-hosting systems language that speaks TLS alone. Zero C dependencies. GC in ARM64 assembly.
Pure-Rail TLS 1.3 + X.509 chain validation in v3.0.0. 4 backends. BSL 1.1.
You might also wanna read
A Grounded Conceptual Model for Ownership Types in Rust Programming
This article presents a grounded conceptual model for ownership types in Rust, the programming language known for memory safety without garb
cacm.acm.org·1mo ago
Solod: A Go Subset That Compiles to C for Systems Programming
Solod is a strict subset of the Go programming language that compiles to regular C code, designed for systems programming with manual memory
github.com·1mo ago
AXIS Programming Language: Python-like Syntax with Native x86-64 Compilation
AXIS is a systems programming language with Python-like syntax that compiles to native x86-64 machine code without external dependencies. It
github.com·4mo ago
Spaceship: A Modern Systems Automation Language with Strict Type System and JIT Compilation
Spaceship is a modern systems automation language designed to replace traditional shell scripting, featuring a strict Go-inspired syntax, fi
github.com·5mo ago
Restartable Sequences: A Linux Kernel Feature for Lock-Free Thread-Safe Programming
This article explores restartable sequences (rseq), a Linux kernel feature introduced in version 4.18 (circa 2018) that enables creation of
justine.lol·12h ago
Zig Days: Collaborative Full-Day Programming Events for the Zig Community
Zig Days are full-day collaborative programming events organized by the Zig community, typically held on Saturdays. Participants meet in the