HackerTrans
TopNewTrendsCommentsPastAskShowJobs

novalis78

no profile record

Submissions

Show HN: Learn math as a tour of duty in a Martian Navy

martiannavy.com
3 points·by novalis78·há 25 dias·2 comments

The Universal Standard Book Number

openusbn.org
13 points·by novalis78·há 3 meses·4 comments

comments

novalis78
·há 25 dias·discuss
Hi HN. I built a free math academy that's structured as a tour of duty in a fictional Martian navy.

Every gamified math app I tried (and I tried a lot with my own kids) answers "what's next?" but never "why am I doing this right now?" Streaks and XP are habit engineering bolted onto worksheets. I wanted the math to be in the story.

So here the curriculum IS the narrative. You enlist as a Recruit. To earn your promotion you rearrange equations, and your answer goes on the maintenance ticket. Later you solve a system of equations to bring two ships together in a docking corridor, and a flight control either accepts your worksheet (or doesn't). Progress is military rank - 20 grades, Recruit to "Voidmaster", each with a posting, an insignia, and a promotion ceremony.

What's live today: all of Tier 1 and Tier 2 — 41 lessons and 6 multi-stage missions, from arithmetic through all of Algebra I (functions, graphing, quadratics, the quadratic formula, combinatorics, induction). It's charted out to calculus, linear algebra, and orbital mechanics. Everything is free; there's no paywall — locked content just means you haven't earned the rank yet.

The math is real and I am trying to keep it as close to an imagined real Martian environment as possible.

You can play the first lesson right now with no account. Enlisting (one tap with Google) only matters once you want to save progress and start earning rank.

Thanks for looking.
novalis78
·há 3 meses·discuss
Good point. Normalization is deliberately scoped to 'what a human reads off the title page' rather than reconciling all possible metadata sources. LSH as a complementary fuzzy-matching layer for catalog reconciliation is exactly what the planned resolver at openusbn.org is designed to support: deterministic identifier as the anchor, probabilistic matching as the discovery tool.
novalis78
·há 5 meses·discuss
It’s 2026.

“ Drive. You need the car at the car wash. ”

Opus 4.6
novalis78
·há 6 meses·discuss
Just use an LLM to weed them out. What’s so hard about that?
novalis78
·há 6 anos·discuss
Personal Capital does a really good job in squeezing out analytics from your Cashflow. Great tool.
novalis78
·há 7 anos·discuss
Yes that’s a very good one. So many editions - with Einstein raving about its skill in bringing Math to the masses in a preface. Now it’s almost unknown.
novalis78
·há 9 anos·discuss
To me it resembles that condo mailbox, filled with spam and colorful leaflets I know I don't need so pick them up and dump them annoyed into the trash box provided for my convenience and everyone's right next to it. Once a week I end up on Facebook for a few seconds, check to see if someone left some important message, and if not quickly leave the screaming place. For all those needy souls of relatives and acquaintances I instructed my twitter to automatically repost on facebook, which is rare but at least gives them something to feed upon.