July 10, 2026
Alge-brawl just dropped
Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine
Math nerds are obsessed with this drag-and-solve app — and already begging for more
TLDR: Wyrm is a new app and open-source engine that lets people solve algebra by dragging pieces around, while keeping the math valid the whole time. Commenters loved the puzzle-like feel, compared it to Wolfram Alpha, and immediately started demanding bigger, nerdier versions for advanced math and logic.
A shiny new Hacker News project called Wyrm just dropped, and the crowd reaction was basically: wait, why didn’t this exist sooner? The app lets people solve algebra by touching and dragging pieces of an equation around, almost like a puzzle game, while the underlying engine makes sure you can’t make a move that breaks the math. In plain English: it’s trying to turn the dreaded “move this to the other side” school ritual into something you can actually see and play with.
The comments quickly split into two camps: the “this is awesome, ship it to every classroom” crowd and the “okay, but this could become much bigger than algebra” crowd. One commenter said they’d been wanting exactly this kind of tool but didn’t even know what to call it, which is a very Hacker News way of saying, you’ve unlocked a need I didn’t know I had. Another praised it for making algebra feel like a puzzle instead of punishment — while also throwing a sly side-eye at step-by-step solvers like Wolfram Alpha, where students can just keep smashing “next” without learning much.
And then the classic internet escalation began: almost immediately, people started asking for theorem proving, functional programming reasoning, and interactive equation elimination demos. Translation: the community saw a neat algebra app and instantly tried to recruit it into a much nerdier cinematic universe. There wasn’t much outright fighting, but there was that delicious comment-thread energy of everyone politely trying to out-vision each other. The vibe? Part admiration, part wishlist frenzy, part “I need this in my browser yesterday.”
Key Points
- •Wyrm uses rewrite rules rather than post-hoc validation, so every reachable equation state is sound by construction.
- •The engine supports conditional soundness by attaching explicit assumptions to transformations such as division by a possibly zero term or steps that may introduce extraneous solutions.
- •The project is implemented in pure TypeScript with zero dependencies and no DOM requirement, enabling use across Node, browsers, workers, and native webviews.
- •wyrm-math powers the Wyrm Math mobile app for iOS and Android, while the engine itself is MIT licensed.
- •Its API includes expression trees, exact rational arithmetic, evaluation, parsing and printing, derivations, built-in algebra rules, move enumeration, and layout geometry.