@ajkbossp · X

Check out what I just built with Lovable!

@Sparsh209 · X

Hi isha! Check it out here at: Would love to hear your feedbacks

@sumitkdevcode · X

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.

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

u/jeremyStover · Reddit

My second paying customer bought a full year subscription. I have mentioned https://semfora.ai before, here and there on Reddit. I haven't talked much about what it really provides. I was hoping to drive up some organic traffic, from people that had the motivation to dig past the beta. Stupid idea, but now that we have passed pen tests and hit the minimum requirements check list for security audits, (see other threads about that) we opened up the beta to everyone. Two days after that(

shreyans_assistiv · Product Hunt

AskCodi Orchestrate agents at scale while reducing cost

@laodaozzz · X

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

@adib_011 · X

Built RepoLens at the Codex Meetup, an evidence-first JS/TS code review tool that shows reviewers where to look, without executing repository code. Built with Codex + GPT‑5.6. Try it: Demo: @OpenAIDevs @mitul_shahriyar #CodexMeetup

@anish2good · X

@vilmire_tmp · X

Tired of alt-tabbing between terminals to check if my coding agents were done, stuck, or waiting on approval. So I built ADHDev: control Claude Code / Codex / Cursor CLI from your browser or phone, on every machine you own. AGPL self-hosted edition too.

sakuraiben · HN

Reachpad – Run all your coding agents from anywhere from the browser