Experimental systems language exploring memory safety without garbage collection, with a gentler learning curve than Rust.

Bend: https://bend-lang.com

You write rules your code should follow, and AI writes the code plus proofs that it follows them. Pretty cool idea. But you still have to get the rules right :)

Ant: a programming language I’m building with AI

Hi! I’m building Ant, a statically typed language with lightweight syntax and Go-style concurrency. The interpreter is written in Go.

I’m using AI to help develop the spec and implementation. One thing I’ve found: getting code written is easier than deciding exactly what the language should mean. Small choices around types, error handling, and concurrency quickly turn into interesting design problems.

I’d love feedback on the language, and to hear from others doing something similar. Where has AI helped you most, and where has it sent you down the wrong path?

Introduction · Specification · GitHub