frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

https://github.com/dicroce/wyrm_math
21•dicroce•1d ago
There is a mobile game called DragonBox. It sort of tricks you into learning algebra by starting with very abstract manipulations of a puzzle that must follow rules... gradually the game teaches you more and more rules and also strips out the more abstract elements until on the last levels you are finally solving real equations. I loved it, it taught my kids algebra.... and it was just fun.

Over the years I often thought that there should be a calculator for Algebra that works this way... something where you can drag terms around and cancel & distribute with gestures, but most importantly enter your own problems. It should also do more kinds of problems than DragonBox allowed. So I finally decided to build it.

https://dicroce.github.io/wyrm/home.html

Here's a video showing it: https://www.youtube.com/watch?v=_STbS4zvIlU. If you'd rather just play with it: there's a limited in-browser demo (real engine, a few example equations, no download) on the landing page — https://dicroce.github.io/wyrm/home.html.

The app can be found on iOS (https://apps.apple.com/us/app/wyrm-math/id6782342042) and as of this week on Google Play (https://play.google.com/store/apps/details?id=com.dicroce.wy...).

I also decided to open source the underlying math engine so others could build on it: https://github.com/dicroce/wyrm_math. My goal for the engine btw is to build it all the way up to Calculus.

Monetization is deliberately boring: the engine is free (MIT), and the polished gesture app is $4.99 once. No subscriptions, ads, accounts, or analytics.

I'd love feedback on the engine design — especially from anyone who's worked on CAS or proof-assistant-adjacent problems. And if you played DragonBox as a kid and wished it went further: this is for you!

Comments

bobajeff•19m ago
I watched the video. I think I've been wanting something like this recently but there's not really a name for this sort of thing that I know of.

Relatedly, I've been working on a step-by-step solver/calculator but I just use sympy (via pyodide) + mathlive. But I'm starting to see the limitations of running Python in the browser and am starting to look at js libraries now.

dicroce•3m ago
The underlying math engine is written in typescript and is open source:

https://github.com/dicroce/wyrm_math

Probably it's most important feature for applications like this is that the id's of elements in the equations are stable (meaning, if an X has an id of 123 and a transformation moves it to the other side of the equals sign, it still has id 123... this allows you animate between states if you wish).

QuadRF can spot drones and see WiFi through my wall

https://www.jeffgeerling.com/blog/2026/quadrf-can-spot-drones-and-see-wifi-through-my-wall/
322•speckx•4h ago•125 comments

Snails' teeth beats spider silk as nature's strongest material (2015)

https://www.smithsonianmag.com/smart-news/spider-silk-loses-top-spot-natures-strongest-material-s...
117•simonebrunozzi•4h ago•81 comments

Mayor Mamdani Announces Landmark "Click-to-Cancel" Consumer Protection Rules

https://www.nyc.gov/mayors-office/news/2026/07/mayor-mamdani-announces-landmark--click-to-cancel-...
131•thisislife2•1h ago•19 comments

The tech of 'Terminator 2' – an oral history (2017)

https://vfxblog.com/2017/08/23/the-tech-of-terminator-2-an-oral-history/
105•markus_zhang•4h ago•43 comments

GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]

https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf
168•scrlk•2h ago•159 comments

New York City to become first in US to ban deceptive subscription practices

https://www.theguardian.com/us-news/2026/jul/10/new-york-city-deceptive-subscriptions-ban
194•randycupertino•2h ago•72 comments

Combustion Engine Web-Based Simulator

https://combustionlab.net
61•mytuny•5d ago•25 comments

Computation as a universal and fundamental concept

https://ergo.org/courses/computation-as-a-universal-and-fundamental-concept
47•simonpure•5h ago•46 comments

War Atlas: An interactive cartography of every named war in human history

https://waratlas.org
55•NaOH•3h ago•20 comments

Ask HN: Are systems ready for the first negative leap second?

38•Asmod4n•4d ago•37 comments

Late Bronze Age Collapse

https://acoup.blog/2026/01/30/collections-the-late-bronze-age-collapse-a-very-brief-introduction/
273•dmonay•8h ago•180 comments

An Update on the scraper situation

https://lwn.net/SubscriberLink/1080822/990a8a5e2d379085/
15•chmaynard•1h ago•4 comments

Show HN: Wyrm – Solve algebra by touch, built on an open-source soundness engine

https://github.com/dicroce/wyrm_math
21•dicroce•1d ago•2 comments

How the terrorist group Boko Haram uses frontier AI

https://casp.ac/reports/ai-enabled-terrorism
57•imustachyou•2h ago•54 comments

Good Tools Are Invisible

https://www.gingerbill.org/article/2026/07/10/good-tools-are-invisible/
277•theanonymousone•10h ago•136 comments

Lost city discovered beneath Egypt's desert with ancient church

https://www.dailymail.com/sciencetech/article-15956159/Incredible-lost-city-discovered-Egypts-des...
116•Bender•4d ago•57 comments

Materials innovation has a scale-up problem, not discovery

https://www.atomscale.ai/updates/our-thesis-atom-to-scale
14•groznyj•1h ago•3 comments

A Love Letter to Flashcards

https://lesleylai.info/en/flashcards/
107•surprisetalk•5h ago•61 comments

Don't discontinue Gemini 2.5 Flash

https://discuss.ai.google.dev/t/please-dont-discontinue-gemini-2-5-flash/174246
12•NickDob•54m ago•1 comments

Successful Companies Go Blind

https://ianreppel.org/how-successful-companies-go-blind/
154•speckx•7h ago•57 comments

The Clouds of Hiroshima

https://doomsdaymachines.net/p/the-clouds-of-hiroshima
13•handfuloflight•3d ago•8 comments

Write code like a human will maintain it

https://unstack.io/write-code-like-a-human-will-maintain-it
296•ScottWRobinson•7h ago•246 comments

Laylo (YC S20) Is Hiring a Head of Finance

https://www.ycombinator.com/companies/laylo/jobs/qce41D2-head-of-finance
1•amellin794•8h ago

Hands-On with the AMD Ryzen AI Halo

https://www.microcenter.com/site/mc-news/article/amd-ryzen-ai-halo-review.aspx
33•bdcravens•4h ago•28 comments

45% of Enthusiasts 'Seriously Considering' Leaving Sony for PC

https://www.pushsquare.com/news/2026/07/ps5-has-put-a-dampener-on-gaming-45percent-of-enthusiasts...
41•speckx•2h ago•47 comments

Show HN: Reverse-engineering web apps into agent tools

73•pancomplex•1d ago•25 comments

The mathematical secrets of Barcelona's Sagrada Familia

https://mappingignorance.org/2026/06/30/sagrada-familia/
110•Gedxx•1w ago•27 comments

Show HN: Reviving my 2001 college band with AI

https://www.fadingmaize.com
38•jacobgraf•1d ago•48 comments

In Emacs, Everything Looks Like a Service

http://yummymelon.com/devnull/in-emacs-everything-looks-like-a-service.html
152•kickingvegas•12h ago•89 comments

Alternate Clock Designs and Time Systems

https://serialc.github.io/altClocks/
69•ethanpil•3d ago•38 comments