timqian · HN

Send your agent to solve open math missions

@dvaldez3000 · X

Currently working on Koa. Koa turns your real ambitions into an epic quest, with an AI companion traveling alongside you." That's the seed the whole conversation grows from.

u/CarefulArmadillo3496 · Reddit

SparkGap - an agentic linear algebra experience Hey everyone, I'm building sparkgap.ai , an interactive tutor for linear algebra. You fill in the matrices/vectors, the LLM gives you hints until you get it correct. The hope is that it will get smarter over time from the context of which questions were missed/answered correctly. As you master concepts, the progress ring next to each concept will slowly fill in. Hopefully it should be very difficult to get to full mastery. Feedback and qu

@cultkoushik · X

A problem warehouse for creators

ai world generator — 用文本和照片生成自然风光视频的 AI 工具网站

u/Hopeful-Can-1540 · Reddit

Trying to figure out distribution for a real-time collaboration tool LiveShareIt has been around for a bit, and the product has changed quite a lot recently. The basic idea is pretty simple: open a room, share the link, and start working together. No signup needed. People can share code/text, send files, use a collaborative whiteboard, and jump on a video call in the same room. One feature I’ve been playing with lately is the AI whiteboard. Instead of starting from a blank canvas, you

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.

u/connerpro · Reddit

IntelligenceMax - Adaptive reasoning practice with live AI questions (claim-safe near vs far) submitted by /u/connerpro to r/SideProject [link] [comments]

@supezen · X

😂我做了一个截然相反的产品，把「过程」留给 AI，把「结果」留给自己

@islamtaha · X

@CRYPtoKong32 · X

also Join our $MUSKOX Ai Ecosystem built on Base Coin. 🪙 $AGWC Websites:

eli-labz · GitHub

Agent-Execution-Partnership Agent Execution Partnership AEE is an open-source control plane that ensures every AI agent action is authorized before it runs, observable while it runs, and verifiable after it completes.