agility
2
Articles
The Joy of Lego
Can we build systems with emergent behavior which are safe by adding invariants and contracts?
Can we build systems with emergent behavior which are safe by adding invariants and contracts?