@nav_ux · X

Get your whole team's AI on the same page.

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.

@ammar_nassri · X

I'm building a conversation-first accountability app. Let's connect

@durdom_evm · X

Chinese team at just dropped ZCode 3.0 and it's quietly reshaping the agentic coding landscape while everyone's waiting on Anthropic's roadmap here's what matters: GLM-5.2 is trading blows with Opus 4.8 on the benchmarks that actually count. 81.0 vs 85.0

@callable_com_ai · X

create your digital twin with your knowledge base for others to call (and make money?)

@IfeanyiArinze10 · X

What does What makes it unique?

@dhruvkumar1805 · X

@BoSHADE · X

@textluxhq · X

Just working on myself :) text me:

@foldtaskapp · X

@ajkbossp · X

Check out what I just built with Lovable!

@ai_kral · X