Axiom – structural OCR for handwritten STEM notes
Structural OCR for handwritten math—preserves alignment, tables, equations where standard OCR fails.

Proof-linked STEM work ledger, but solves a problem most builders don't know they have.
Researchers, academics, engineers, and technical professionals who want to formalize and publicly demonstrate their work.
Sourcegraph user profiles · GitHub profile README · OpenBadges
Curious to hear what HN thinks.
Structural OCR for handwritten math—preserves alignment, tables, equations where standard OCR fails.
Clever crypto stack (Ed25519 + RFC 3161 TSA + GPS) but solves a niche dispute problem solo can't fix.
Scores your hypothesis formation before asking AI, not just token usage.
Cryptographic proof-of-work for service disputes, but marketplace already exists and adoption unknown.
Glassdoor for individuals without the star-rating noise, but moderation will be a nightmare.
Finally, field-based log filtering that beats grep for structured logs.