@UtevR57878 · X

Not vibe-coded, rather AI assisted dev:

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.

KrishnaMadala · HN

ZeroThesis – Multiplayer Autoresearch with Agents

timqian · HN

Send your agent to solve open math missions

@BruceWayne95290 · X

just leaving a comment cause its 1am and im vibe coding, will come back tomorrow (on an alt account for open claw fyi) I've worked with the following brands: vytadose, bajabeachco, jaje health, eric javits, 4knines, welleco, coatdefence

@Aimenbuilds · X

- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!

bayes-song · HN

Unlock Claude Sonnet 5's original reasoning

samcymbaluk · HN

Axiom toolkit – Make your ideas precise enough to be proven wrong

u/andy_p_w · Reddit

VerusCite — Verify Academic Citations Tool to evaluate whether citations in academic papers can be verified, have minor errors, or are likely AI generated hallucinations. submitted by /u/andy_p_w to r/SideProject [link] [comments]

u/connerpro · Reddit

IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]

rot256

brandon_grutkowski · Product Hunt

Aurora Glass-box Quantitative AI for Humans and Agents