MathPad

What it does

MathPad is an AI math workspace that turns photos, PDFs, handwriting, or voice into CAS-verified, step-by-step solutions in seconds. After SnapSolve, dive into the interactive tutor, auto-check your own work with Step Checker, or generate full problem sets and quizzes with hints. Export clean math to Docs, Forms, Sheets, LaTeX, or 14+ formats, and keep working from the web app, installable PWA, Google Workspace addon, or Discord bot.

• 
  CheatSheet AI2024 · ▲406

  Create a cheatsheet for anything, fast

• 
  AI Math Solver by GPT-4o Free Online2024 · ▲187

  Solve math problems instantly with step-by-step solutions

• 
  Paperspade2017 · ▲211

  Type math easily through just English text!

• 
  maths.ai2023 · ▲241

  Your favourite AI maths teacher

• 
  Soulver 3 for Mac2019 · ▲194

  A smart notepad with a built in calculator

• MP
  Mathpad – Physical keypad for typing math symbols2025 · crowdsupply.com · ▲78

  Here's something different than your usual fare: A physical keypad that lets you directly type math! Ever tried typing mathematical equations in your code IDE, email, or on Slack? You might know it can be tricky. Mathpad solves this with dedicated keys for Greek letters, calculus symbols, and more. Press the ∫ key and get ∫, in any application that accepts text. It uses Unicode composition, so it works everywhere: Browsers, chat apps, code editors, Word, you name it. Basically, anywhere you can type text, Mathpad lets you type mathematics. I built Mathpad after getting frustrated with the…

• 
  I trained a 125M model to autocomplete piano on-device▲598

  I trained a 125M-parameter transformer to autocomplete piano performances in real time (~108 notes/sec on an iPhone 15). The idea is basically GitHub Copilot or Tabnine, except instead of prompting it with code, you prompt it by playing a few notes on a MIDI piano. The model then continues what you played, entirely on-device. The app is free if anyone wants to try it. Happy to answer questions about the model, training, Core ML, or the many things that didn't work.

  AI · 18d ago · simedw.com

• 
  Astute▲585

  Automate your B2B brand going viral, with new media creators

  AI · 19d ago · company-app.joinastute.com

• 
  Grok Bot▲547

  AI teammates that you can give real work to

  AI · 26d ago · x.ai

• 
  Needle2: 14MB agentic LLM for phones, wearables, smart home and robots▲537

  Hey HN, Henry from Cactus here! We previously released Cactus Needle, a 14MB agentic LLM for tool call, device use, and structured extraction for phones, wearables, smart homes, small robots and microcontrollers. We got really great feedback here, and have now incorporated the suggestions to release Needle 2. The whole model is a single 14MB binary that runs a full session in 28MB of RAM; 45m parameters at 2bit compression. Needle hits 500 tokens/sec decode speed on a Raspberry Pi 5, sits between 400-1,500 tokens/sec on VR devices like Meta Quest 3S and Apple Vision Pro, and ranges…

  AI · 27d ago · cactuscompute.com

• 
  Monid▲475

  One wallet, every paid tool your agent needs

  AI · 7d ago · monid.ai

• 
  Clara AI SDR▲460

  Turn website visitors into qualified pipeline

  AI · 20d ago · clarasdr.ai

• 
  Guideflow▲1,341

  The AI demo automation platform for SaaS

  AI · Nov 2025 · guideflow.com

• IB
  I built a synth for my daughter▲1,278

  Life & fun · Nov 2025 · bitsnpieces.dev

• 
  Welltory▲1,030

  Stop energy drain

  Work · Nov 2025 · welltory.com

• 
  Gemini 3▲1,007

  Bring any idea to life with multimodal capabilities

  AI · Nov 2025 · blog.google

• 
  TrustMRR▲836

  The database of verified startup revenues

  Growth · Nov 2025 · trustmrr.com

• B
  Boing▲782

  Life & fun · Nov 2025 · boing.greg.technology