@AsedaKingVpryi · X

Check out what I just built with Lovable!

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.

@babykswanson · X

On the other hand, forgetting about how to make a living for a bit, I vibe-coded for my kids. You might like it and it's highly likely I keep riffing on it.

@electricdrago10 · X

@avinashraj61815 · X

i vibe coded this week

@hazemnassr · X

@laodaozzz · X

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

hackitup7 · HN

TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft

@TheEduardoRFS · X

I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.

@lodha13 · X

Checkout below apps Hisabarabar (Play Store)

@i_manish_30 · X

Mathletiq - 6 minute brain exercise app

Formulas AI — 帮助用户生成 Excel 公式，基于 DeepSeek-V3 的 AI 工具产品（需要用户自己填入key）