@Michaela200_5 · X

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

@AadyaAI · X

Aadya AI turns a client conversation into a branded, ready-to-send proposal or invoice PDF in 60 seconds — no templates, no formatting, no chasing.

@Nouhsamo · X

Stop drowning in 300+ AI tools. I built the AI Stack Picker — answer 3 questions, get the 2–3 AI tools that actually fit what you do, how technical you are, and your budget. Free, no signup: You can watch the YouTube video about this here: Which AI Tools Do You Actually Need? I Built a Free Tool for That Stop drowning in 300+ AI tools. I built the AI Stack Picker — answer 3 questions, get the 2–3 AI tools that actually fit what you do, how technical you are, and your budget. Free, no signup: In this video you watch the whole thing get built and shipped — with AI — from a blank file to a live URL: the 3-question flow, the curation logic that makes it useful, the real bug that broke it on a real input (and the fix), and the 30-second deploy to Vercel. 🔥 WHAT IS THE AI STACK PICKER? The AI Stack Picker is a free web tool by Build Leaner (Bassam Nouh) that recommends a short, personal AI stack — 2–3 tools instead of 30

@amir_mehrabi_ · X

: Personal Intelligence

@yusukelp · X

Here’s mine!

@BuiltByAmar · X

@EnricoBoeker · X

@TimEngng · X

Stop losing the "why" behind product decisions -

@yeasindesign · X

Beautiful prompt library

@davidtostscale · X