I build software that
builds itself.

What I build

v2.0.0 // 2026-04-03

The numbers

4,200 lines of Rail compile to ARM64, x86_64, Linux, and WASM. Native IEEE 754 floats. Conservative GC in assembly. Try/catch with setjmp. Zero C dependencies.

The story

Rail started as a Rust project in January 2026. Three months later, it has four backends and trains its own AI.

How it works

4,212 lines. Source in, native binary out. Four targets from one compiler.

Try it live

These Rail programs are compiled to WebAssembly and run in your browser. No server. No install.

main =
  let _ = print "Hello from Rail!"
  let _ = print "Running as WebAssembly."
  0

fib n =
  if n < 2 then n
  else fib (n - 1) + fib (n - 2)

main =
  let _ = print (fib 10)
  let _ = print (fib 20)
  let _ = print (fib 30)
  0

square x = x * x
cube x = x * x * x

main =
  let _ = print (square 7)
  let _ = print (cube 5)
  let _ = print (square 12 + cube 3)
  0

fizzbuzz n =
  if n > 30 then 0
  else
    let _ = if (n % 15) == 0 then print "FizzBuzz"
      else if (n % 3) == 0 then print "Fizz"
      else if (n % 5) == 0 then print "Buzz"
      else print n
    fizzbuzz (n + 1)

main = fizzbuzz 1

The flywheel

The compiler is the oracle. If it compiles, the code is correct. The model gets better at writing the language it is verified by.

Other work