The Code/X ArchiveView on X
Matt Pocock

@mattpocockuk

The next great "language for agents" should be:

- As fast as Rust
- As little design space as Go
- Have the strictest type/verification system ever written

Bend seems like an interesting first effort
4001554.7K1.2K
Matt Pocock

@mattpocockuk

IMO it's not remotely ready for primetime, I broke their online playground with 3-4 prompts

bend-lang.com

bend-lang.com

Bend

Bend: a fast language that blocks AI mistakes via proof.

175438130
End of thread