@ZachInSpace · X

Launched a month ago

@TheChrisMarrano · X

@laodaozzz · X

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

@trytacit · X

Building TACIT to stop stop saving and start applying

@kr812345 · X

enterprise ai orchestration platforms to automate using tools. @

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.

@sebuzdugan · X

building @getfrai , an open source toolkit that helps ML engineers navigate EU AI Act compliance, model cards, risk files, the boring but necessary stuff

@syprayt · X

We are building platform to verify user knowledge using AI, so you can avoid boring lectures and save years of life. It’s Academission baby. Yesterday we launched online mode, so that everyone could test our technology, here is the link:

@marcellafjacob · X

@BotariaDotBot · X

This Tuesday I'm launching Botbugger on @ProductHunt 🚀 One AI reviewer gives you 10 "critical" bugs — half hallucinated. So I built two: Claude Code + Codex review your code independently, then cross-check each other. Real bugs with fixes, not noise.

@Ninjafromqueens · X

Hello! I am the founder and owner of Audit your smart contracts before deploying.

u/trekhleb · Reddit

I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]