jshapiro · HN

Edgi – Letterboxd or Strava for your brain

u/SugarPerfect6150 · Reddit

I built a tool to track LeetCode progress and auto-schedule spaced repetition reviews I have been grinding leetcode problems and kept forgetting problems I solved 2-3 weeks ago. So I built GrindMate to fix this. You just type "solved two sum easy 15 min" and it handles the rest: Schedules spaced repetition reviews at day 1, 3, and 7 Sends daily email reminders when reviews are due Tracks NeetCode 150 progress across 18 categories Shows which problems Amazon/Google/Meta frequently as

lemma1729 · HN

Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.

@GetGoPath · X

Hi Jana, we're building a learning platform that helps employers train their staff. A simple prompt generates a full blown course that easy to understand and can be listened to on the go. Try it for free and give your feedback please

@AmitGajbhare · X

We build - a modern typing platform that helps people improve typing speed and accuracy with AI-powered practice, real-time feedback, progress tracking

u/CarefulArmadillo3496 · Reddit

SparkGap - an agentic linear algebra experience Hey everyone, I'm building sparkgap.ai , an interactive tutor for linear algebra. You fill in the matrices/vectors, the LLM gives you hints until you get it correct. The hope is that it will get smarter over time from the context of which questions were missed/answered correctly. As you master concepts, the progress ring next to each concept will slowly fill in. Hopefully it should be very difficult to get to full mastery. Feedback and qu

@laodaozzz · X

我也做了一个教小朋友学数学的工具叫easymath。