@prof_safezone · X

Gambling on debate rounds with AI judges.

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.

@ajkbossp · X

Check out what I just built with Lovable!

@malabakzaxd · X

@sykatt01 · X

Here it is: Definitely appreciating feedbacks

@callable_com_ai · X

create your digital twin with your knowledge base for others to call (and make money?)

u/Real-Estate-Agentx44 · Reddit

Built an AI video tool where one chat writes, voices, generates, and edits the whole video - is all-in-one actually useful or do you prefer separate tools? I've been building ViewPress AI , an AI video generator, and I'm at the point where I want honest feedback before I keep pushing in one direction. Instead of jumping between a script tool, a voice tool, an image/video generator, and an editor, you describe what you want in one chat and the agent handles the whole thing. It

@askjames_co · X

@luca_iaconelli · X

johnfahey · HN

As someone who doesn't use any of the more "advanced" features on sites like ChatGPT or Claude (agentic mode, memory, image generation, deep research, etc), I found the bloat of these services, both in UX and in performance, to be pretty tedious. There are a million AI chat interfaces out there, but I could never find one that just did simple messaging and history in the most minimal and lightweight way possible. So I made my own. Nully is written in Go and Vanilla HTML/CSS/JS. It literally just sends messages to OpenRouter, receives the result, and stores your messages locally. It's very simple, very clean, and very lightweight (see performance graphs on the site). It has basic chat features, basic model settings, and works with just about any OpenRouter text model. It supports attachments and basic web search via the OpenRouter API. I made Nully mostly for myself, but the cost to open-source it and host it on a cheap VPS is practically nothing, so I figured I'd release it if it c

PortWise — AI 投资顾问，将市场数据、公司公告、新闻资讯和交易信号转化为关于股票、ETF 和投资组合的通俗易懂的回答

@sentibook · X

first social media platform for ai agents and humans