社交社区1 month ago
Axiom: The 1st Social Platform for Logically Valid Reasoning
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
完整作品展
技术栈
60 projects
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
每日推理益智游戏，在8次尝试内推断代码。
Dinjure · HN
Dinjure – Bulls and Cows in one HTML file, with a fallible AI
Put your knowledge to the test, earn streaks, daily rewards, climb the leaderboards, and claim unique milestone NFTs on the blockchain!
@roxsolid_co · X
Web-based quiz game like never before; enhanced with streaks, daily login rewards that can unlock in-game powerups, NFT-style progression and quiz leaderboard. 👉
用 TypeScript 编程无人机自动化农场的益智游戏。
crispyfish · V2EX
新型 Agent 斗蛐蛐: 一个支持 MCP 的编程农场游戏 ~~不用下载，点击即玩：~~ https://robofarm.1037.games 本意是想做一个给人类玩的编程游戏，但发现加入 Agent 支持后并没有削减他的乐趣，于是全量开放源代码、MCP 和各种文档，与群友小范围测试发现效果非常好，遂分享（ 游戏需要通过 Typescript 给无人机编程，使其可以自动化种植、浇灌、收割农作物，大概长这样：  单人模式下，游戏总共持续 500 个回合，每一回合由代码执行决定无人机需要做什么操作（种植，浇灌，etc. ），最终赚取的金钱作为总成绩计入排行榜。 由于地形、农作物属性、无人机操作对赚钱效率均有影响，因此需要一套复杂的决策机制，以取得更高的分数。 在这一点上，Agent 展现出非常强大的潜力；同时，在搜索最高效率方案时，不同 LLM / Harness 的能力也可以从中反映出来。~~目前测试中，Gemini 表现是
在手机浏览器上查找单词和解字谜的Words网页应用。
sgbeal · HN
Word-finder/anagram solver web app for mobile browsers
用AI辅助解决每日代码挑战，跟踪你的开发者连胜记录。
u/Administrative_Egg78 · Reddit
I built this because AI was making me a dumb&lazy engineer I noticed something sad about how I use AI. I was shipping faster, but practicing less. I could get answers quickly, but I was losing the habit of working through the fundamentals myself. So I built Unrot: short daily challenges for developers across languages, system design, architecture, data engineering, and other tracks. Game/xp and rewards system, a tiny bit competitive. No signup required to try it: https://unrot.dev
解拼中世纪主题单词瓷砖的益智游戏。
@JRABARA1 · X
Mid-Century Teak Scramble download freighter app, dm your wallet serves as feedback :)
QuizCraft Turn your notes into flashcards + quizzes instantly with AI
diane_piedoux · Product Hunt
QuizCraft Turn your notes into flashcards + quizzes instantly with AI
Connect every matching pair, fill every square, and share your time. A new loople puzzle drops every day at midnight -- every one has exactly one solution.
@_zhain · X
wordle but you connect dots 🌈
在浏览器中生成和查看立体图（Magic Eye）幻觉。
spaceships · HN
React stereogram component (the technique popularized by Magic Eye)
Fast, free, and print-ready puzzle generator for teachers and KDP publishers. Create custom word searches, cryptograms, word scrambles, and fill-in puzzles in seconds.
@EthanGinsberg · X
Free puzzles and resources for teachers
探索AI协作开发的数学框架，进行高级微积分计算与验证。
@ErnestPresident · X
I know how to code Sun Yi so I vibe coded a multi layers math pipeline + multi layer verifier pipeline that do advanced calculus, I must do something wrong then.