Company profile

Sirius

Observed stack evidence

discussion=https://news.ycombinator.com/item?id=49643870, title=Show HN: Sirius – A type system for array programming, Hi HN, this page is a pitch & demo for my WIP array programming language. Nothing in the type system is novel -- shape-dependent types with constraint solving, loop nest lattice counting, existentials -- but I think the combination is unique (hard to say considering the activity in this space). I find it surprisingly easy to read and debug. I'd love to hear your thoughts if you're a PL person or just work day-to-day with array langs. Sorry if the web demo doesn't work for you; it depends on a Z3 Wasm build which seems flaky on some browsers. You'll have to try the CLI to get a hands-on experience.

No open listings tracked right now.