timqian · HN

Send your agent to solve open math missions

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.

@Galliard232634 · X

Come study with me on

@mkappworks · X

I am building lets connect

Dispatch Calculator — Steam 上 Dispatch 这个游戏的计算器助手，帮助玩家针对不同任务进行分配人员信息。

Slay the Spire Calculator — Stream 游戏 Slay the Spire 2 工具网站

@TheEduardoRFS · X

I vibe coded a demo for grading, not in a great shape but it's fun to play a bit.

@Michaela200_5 · X

zemul · V2EX

每次 Codex 额度刷新全靠社区消息，反应慢一步直接错过 所以我搭了个自动化服务： - 抓取 OpenAI 员工的公开推文 - 新推文丢给 LLM 做语义判断：是不是在说额度重置 / 限额恢复 - Telegram 推送 地址： https://divin.cc/

@chandlerwilcox · X

(not finished)

@blackkaide · X

OMNEX: AI that reviews your trades like a coach with no ego to protect — it just tells you where you bleed and how to stop.

@RahimNathwani · X

Not a direct answer but the guys at Exercism (non-profit that publishes really good and free programming language self-study courses) recently launched a separate site to teach junior programmers both vibe coding and software engineering fundamentals.