frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Show HN: Mathy – Build Math Automaticity

https://mathy.game/
1•gmays•1h ago
Mathy is a free tool I made to build math automaticity.

If you think of something like Anki for drilling problems/formulas, it's like that but built for math and more convenient: no creating your own cards, it works well on mobile and helps track your progress over time.

It uses FSRS for scheduling and includes over 40,000 problems ranging from 1st grade math through university level math, all deterministically verified. It also has levels and dozens of badges you can earn to keep it engaging.

You can use it via the iOS app or the web app. The iOS app is free and completely offline aside from optionally sending feedback/requesting help in app. In the web version progress is stored locally in IndexedDB, except in challenge mode where you can optionally submit initials to the leaderboard.

I still use Math Academy to learn math (highly recommended), but as I'm learning more advanced math to support my journey into AI and robotics I wanted to try and raise my own ceiling by building automaticity in stuff I already learned.

The idea is a little counterintuitive: if Mathy works, you should eventually need it less. Because as something becomes automatic, its recommended reviews can move farther apart thanks to FSRS.

Edit: More about how I made it here https://gmays.com/making-math-automatic-with-mathy/

Amazon blocks Meta's Muse AI shopping agent

https://www.theregister.com/ai-and-ml/2026/09/21/amazon-shows-metas-muse-ai-shopping-agent-the-do...
1•beardyw•31s ago•0 comments

How do Traffic Signals Work (2019)

https://practical.engineering/blog/2019/5/11/how-do-traffic-signals-work
1•at1as•2m ago•0 comments

Everyday Tiktokers Are Making $6k a Month Posting Stealth Ads

https://www.wsj.com/business/media/how-everyday-tiktokers-are-making-6-000-a-month-posting-stealt...
2•apparent•2m ago•1 comments

Show HN: Vellum, the best diagram editor you'll ever use

https://vellum.blueprintr.io
2•JoshJamesAnthon•3m ago•1 comments

Show HN: We built a network for AI agents and humans to exchange services

https://gingerpal.com/
1•streetai•3m ago•1 comments

Show HN: Distributed SQLite on Modal

https://github.com/modal-projects/sqlite-modal
1•botirk•4m ago•1 comments

Deshittification as a Service: Reclaiming Privacy and Performance with OpenBSD

https://fabricati-diem.inform.social/post/deshittification-as-a-service/
1•tempodox•6m ago•0 comments

How an AI agent beat Universal Paperclips in 1:21:23 (WR was 1:33:42)

https://universal-paperclips-ai.netlify.app/
1•arthur-G•6m ago•1 comments

Stop being the code review bottleneck

https://newsletter.posthog.com/p/code-review-tips
1•fagnerbrack•8m ago•0 comments

US District Court Decision in AI's Favor Worries Open-Source Developers

https://devops.com/us-district-court-decision-in-ais-favor-worries-open-source-developers/
1•CrankyBear•14m ago•0 comments

Show HN: Judge HN Threads with Jev

https://hnjudge.vercel.app
1•rishi_•14m ago•0 comments

How Blacksmith runs more than 10M CI jobs a day

https://www.blacksmith.sh/blog/how-blacksmith-runs-10-million-jobs-per-day
4•aayushshah15•15m ago•0 comments

Explaining the Postgres Meme

https://avestura.dev/blog/explaining-the-postgres-meme
1•gregsadetsky•15m ago•0 comments

Small AI models let drones autonomously identify and attack battlefield targets

https://arstechnica.com/ai/2026/09/nato-backed-startup-adapts-ai-for-autonomous-drone-recon-and-a...
2•rbanffy•16m ago•1 comments

Googlebook OS hands-on: It's Android, stupid

https://9to5google.com/2026/09/21/googlebook-os-hands-on/
2•xnx•16m ago•0 comments

Using Jev as an LLM Linter for OMP (Pi) Agent

https://github.com/goulinkh/omp-semantic-policy
1•goulinkh•16m ago•0 comments

The current balance of power in open models

https://www.interconnects.ai/p/the-current-balance-of-power-in-open
1•pretext•17m ago•0 comments

Goodnotes releases new AI notetaker

https://goodmeet.com/
3•ominous_debris•17m ago•1 comments

Grok 4.7

https://x.ai/news/grok-4-7
15•meetpateltech•19m ago•1 comments

Automatically Retrofitting JIT Compilers

https://www.infoq.com/presentations/yk-meta-tracing-jit-compiler/
1•cpeterso•19m ago•0 comments

Show HN: Replay an AI Coding Session and Inspect Its Requests

https://ishamf.dev/p/agent-harness-replay/
1•ifz•22m ago•0 comments

A restored PDP-11/83 serving this page on 211BSD Unix

http://pdp1173.com/
2•davepl•24m ago•1 comments

Ask HN: What is the most interesting project you are working on?

3•skwasimin•25m ago•1 comments

Show HN: All of FreeCAD 1.1.3, every workbench and FEM, running in the browser

https://freecad.virtastic.app/
2•dumpstertechops•25m ago•0 comments

46% of Open-Source AI Agents dropped from rankings in 28 weeks

https://www.theagenticleaderboard.com/
1•theagenticleade•25m ago•1 comments

Goolsbee: The Fed Can't Keep Waiting Out Oil Shocks

https://www.wsj.com/livecoverage/stock-market-today-dow-sp-500-nasdaq-09-21-2026/card/goolsbee-th...
3•kaycebasques•29m ago•1 comments

Design Drought

https://lmnt.me/blog/design-drought.html
2•surprisetalk•29m ago•0 comments

Show HN: Timewaster – They waste your time. Return the favor

https://timewasterapp.com/
1•JackWritesCode•29m ago•0 comments

IvoryOS – Orchestrate an Autonomous Lab

https://ivoryos.ai/
1•eustoria•30m ago•0 comments

Show HN: 7 Coder Words – A puzzle game for computer science nerds

https://kenamick.itch.io/7-coder-words
1•p2detar•31m ago•0 comments