ShivamNayak11

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.

@yerkeRakhimov · X

Building PostMine, because I got tired of shipping products nobody saw. It scans X, Reddit and HN for people already looking for what you built and hands you a ready-to-post reply.

@bakardev · X

Hi i am building

@VertCodeEU · X

@franandneo · X

我做了一个ff14幻化模板网站，搭载了我和我的好友自行制作的模板，支持展示不同语言的装备名称（也能用自己熟悉的语言写好后再切换成其他语言展示），欢迎大家尝试使用~ 其他语言的翻译还比较粗糙，网页还不太成熟，但物品名称都是正确的，后续会逐步完善

eldar_hsnv · HN

Show HN: AI Notebook for Data Science – Kind of Like Cursor but for Jupyter

@daicandev · X

Building proven, the tool that gets your product from idea to growing income

@usman_builds · X

Building MentionFast so users Market on Reddit without getting banned.

@EthanGinsberg · X

building and marketing

@overwatchwo · X

not a startup but a experiment: stock market for agents