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

@sarkar68154 · X

Just launched FinoSphere Pro and the feedback on Product Hunt is 🔥 [ Free all-in-one finance calculator 👇 #buildinpublic #finance

MakeManga — AI 生成漫画，支持 Nano Banana 和 Seedream 4.0 模型，只需提供故事，剩下的分镜和角色生成等都交给 AI

家电耗电量计算器 — 帮助用户分析家庭电器耗电情况，并使用 AI 给出省电建议

Blue White Flag — Play Blue Flag White Flag Games Online Free

KORAYTEACHER · GitHub

fintech-advisor ai fintech financial advisor for your portfolio

surunzi · V2EX

没写过游戏尝试下，目前对普通人来说，写一个自己的简单小游戏，在开发这块确实已经不是什么困难的事了。 [2048]( https://tinker.liriliri.io/zh/guide/official-games/2048.html)：[在线玩]( https://tinker.liriliri.io/games/2048/)  [扫雷]( https://tinker.liriliri.io/zh/guide/official-games/minesweeper.html)：[在线玩]( https://tinker.liriliri.io/games/minesweeper/)  [蜘蛛纸牌]( https://tinker.liriliri.io/zh/guide/official-games/spider-solitaire.html)：[在线玩]( https://tinker.liriliri.io/games/spider-solitaire/)  [滚石迷宫]( https://tinker.liriliri.io/zh/guide/official-games/ball-maze.html)：[在线玩]( https://tinker.liriliri.io/games/ball-maze/) ![滚石迷宫]( https://raw.githubusercontent.com/liriliri/tinker-games/master/packages/tinker-

fran-mora · HN

I gave 5 AI coding agents one prompt: grow a banana plant through its whole life in three.js: sprout, leaves, flower, fruit, rot, then pups that restart the loop. It's deceptively simple and yet very hard to get right from procedural code: you have to write working three.js and understand how the plant is actually built; how it hangs, ages and decays. Get the biology wrong and the code renders something weird. These are agents, not bare models (Claude Code and Codex for now). They can use tools, including playwright to check their work and improve it.

@propelio_app · X

Hey man, Building Propelio, proposals for freelancers Let’s connect!

@AfridiMunir · X

@StandaraAI · X