@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。

@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.

@MonkeyCodeAI · X

Claude Code: $2.5B ARR. Cursor: $500M. AI now writes half of all new code. Who's securing it? MonkeyCode is built by Chaitin — a cybersecurity company. 200+ security scan rules run on every AI-generated change.

@whotf_snowball · X

Instead of starting from scratch, your AI coding agent can use these design specs as inspiration for typography, colors, spacing, components, and overall visual styles. #AI #VibeCoding #WebDesign #DesignSystems

vuphanse

@Number1AIFanboy · X

I got to go to bed. More coding tomorrow. I just had a realization that I'm building cool shit, using @grok in an app that I built with Codex and refined with Grok. And now Grok just works on himself. LFG🚀 Drop me a note here: Get the app here (use LAUNCH50):