Get the latest tech news

Show HN: Samosa – Linter for Math Derivations

A step auditor for matrix algebra, stochastics and algebra. Counterexamples, not vibes.

None

Get the Android app

Or read this on Hacker News

Read more on:

Photo of SAMOSA

SAMOSA

Photo of linter

linter

Photo of math derivations

math derivations

Related news:

I shipped a transaction bug, so I built a linter

A security scanner as fast as a linter – written in Rust

The Day the Linter Broke My Code

« Google's First Data Center Satellite Is Online and Writing Poetry

Apple Overtakes Nvidia to Become World’s Most Valuable Company »