@7spiritz · X

Check out what I just built with Lovable!

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

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>

Formulas AI — 帮助用户生成 Excel 公式，基于 DeepSeek-V3 的 AI 工具产品（需要用户自己填入key）

@Galliard232634 · X

Come study with me on

@qt_nest · X

hackitup7 · HN

TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft

@aryawarti_aky · X

Hey Daniel ! I Built PRisk — an AI-powered pull request risk intelligence platform for GitHub & Gitea. Paste a PR URL and get an evidence-backed Merge Confidence Score before you merge. 🔗 I'd love to hear your feedback!

@avinashraj61815 · X

i vibe coded this week

rot256

@TheEduardoRFS · X

I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.