HN Explorer

jlorentz1

↗ HN profile [ 58.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: Sirius – A type system for array programming (sirius-lang.org)

    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…

    1 points 0