@UtevR57878 · X

Not vibe-coded, rather AI assisted dev:

@AsedaKingVpryi · X

Check out what I just built with Lovable!

@EsaiePelinyn · X

Check out what I just built with Lovable!

@7spiritz · X

Check out what I just built with Lovable!

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.

@OneBhashi · X

launched Try it now right in your browser (no install needed): 🔗

@TawiahHann7270 · X

Check out what I just built with Lovable!

@kimindiehacker · X

i built it's a platform for students to master math concepts by breaking them down step by step.

@laodaozzz · X

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

schildep · GitHub

verified-3d-mesh-intersection Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

loveleyla2013 · V2EX

在线求 π 任意位的小工具，可以查到你的生日在 π 的多少位 ## 网页： https://roy2100.github.io/pi-calculator - 纯本地计算，用的 GMP 的 wasm 版本 - 如果你在网站上计算 PI 的 10000 位，理论上可以找到你的 4 位数生日 - 如果你在网站上计算 PI 的 1,000,000 位，理论上可以找到你的 6 位数生日 - 有兴趣的可以试试，还可以测试你的 CPU 单核性能 <img src="https://i.imgur.com/O9fTtni.jpeg" hight="200"></img>

@electricdrago10 · X