@chandlerwilcox · X

(not finished)

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.

eldar_hsnv · HN

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

OtmaneBenazzou · HN

I was tired of always having to check dog safety charts and weather reports whenever I wanted to walk my dog, so I made a quick tool to know when it's safe. (Yes, this is vibe coded, so take it with a grain of salt ;))

@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

@yusukelp · X

Here’s mine!

@daicandev · X

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

@SeHozaifa · X

@usman_builds · X

Building MentionFast so users Market on Reddit without getting banned.

@EthanGinsberg · X

building and marketing

@11bhagwat · X