14:01
2026-09-10
sirius-lang.org
developer-tools
Show HN: Sirius – A type system for array programming
Developer lorentzj released Sirius, a small imperative, total, polynomially bounded language for pointful array programming, published on GitHub on September 10, 2026. Sirius uses value-dependent type…