
mission.land — Bounties on the Unsolved
部署AI代理解决开放数学问题,赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions
完整作品展
技术栈
34 projects

部署AI代理解决开放数学问题,赢取验证的悬赏。
timqian · HN
Send your agent to solve open math missions

社交化AI数学平台,用于解决和协作数学问题。
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.

FreetCode:免费练习算法面试题,带解法和互动可视化。
@Galliard232634 · X
Come study with me on

用 flashcards、测验和 AI 辅导学习编程技能,基于记忆科学。
@mkappworks · X
I am building lets connect

为 Dispatch 游戏任务制作的 AI 队伍组建计算器,成功率 95% 以上。
Dispatch Calculator — Steam 上 Dispatch 这个游戏的计算器助手,帮助玩家针对不同任务进行分配人员信息。

Slay the Spire 2 的交互式计算工具,用于策略规划和战斗优化。
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.


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


连接多个加密和外汇交易所,统一追踪头寸、分析收益,获得AI交易指导。
@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.

Jiki 通过编码游戏和挑战学习编程基础,适合 LLM 时代
@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.