Hacker News: weiserwxhttps://news.ycombinator.com/user?id=weiserwxHacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 15 Jun 2026 22:17:43 +0000<![CDATA[New comment by weiserwx in "Ask HN: What are you working on? (June 2026)"]]>A DSL for machine learning programs: https://pypie.dev/ Embedded in Python, written like Python, but with static type safety (e.g. it catches tensor shape mismatches at compile time)

]]>Sun, 14 Jun 2026 19:29:28 +0000https://news.ycombinator.com/item?id=48531648weiserwxhttps://news.ycombinator.com/item?id=48531648https://news.ycombinator.com/item?id=48531648<![CDATA[New comment by weiserwx in "PyPie, A DSL for Tensor Programming"]]>PyPie is a subset of Python built on a dependent type system to statically validate tensor shapes.

We have made the "type surface" just rigorous enough but not too much: it catches shape mismatches without breaking the illusion that we are still writing Python. It's also seasoned with rank polymorphism and some basic arithmetic rewriting.

This is our early demo focused on language semantics. Under the hood, PyPie currently compiles to JAX, which does the heavy lifting for optimizations.

]]>Sun, 24 May 2026 22:09:43 +0000https://news.ycombinator.com/item?id=48261528weiserwxhttps://news.ycombinator.com/item?id=48261528https://news.ycombinator.com/item?id=48261528<![CDATA[PyPie, A DSL for Tensor Programming]]>Article URL: https://pypie.dev

Comments URL: https://news.ycombinator.com/item?id=48261527

Points: 2

# Comments: 1

]]>Sun, 24 May 2026 22:09:43 +0000https://pypie.devweiserwxhttps://news.ycombinator.com/item?id=48261527https://news.ycombinator.com/item?id=48261527