Top
New
Best
Ask
Show
Jobs

TorchLean: Formalizing Neural Networks in Lean

104 points matt_d 8 months ago 20 comments

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton