Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Ask HN: What Are You Working On? (December 2025).
https://github.com/0xekez/tinyLIRPA
tinygrad’s small set of operations and laziness made it easy to implement. Tho my overall sense is that neural network verification is currently more of a research interest than something practical.
There are no comments on this comment yet.
https://github.com/0xekez/tinyLIRPA
tinygrad’s small set of operations and laziness made it easy to implement. Tho my overall sense is that neural network verification is currently more of a research interest than something practical.