社交社区4 weeks ago
Axiom: The 1st Social Platform for Logically Valid Reasoning
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
完整作品展
技术栈
9 projects
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
在区块链上记录真实成就，通过AI和同行评审验证。
Proof of Awesome — AI 辅助的学术同行评审的共识机制，将你的真实成就永久记录在区块链上，用有意义的人类成就取代传统挖矿 - [更多介绍](https://proof-of-awesome.app/call-for-achievement)
向SAM提问关于圣经的问题，获得每项声明都附带引用经文的答案。
u/zx9rams · Reddit
I built a Bible tool designed so the AI can't just make things up. I've been building this for a while and the part I actually care about is the architecture, because an AI that reads the Bible is exactly the thing nobody should trust by default. So its built the opposite way, the model is treated as untrusted and the code owns every real decision. every quote is checked word for word against the Hebrew and Greek before it shows, so the model cant paraphrase scripture into an answer eve
自动隐藏Reddit、YouTube、X和LinkedIn上的负面和耸人听闻帖子。
@zelvaio · X
从76,303份已验证医学文献中搜索临床信息,包含逐字事实核查。
@jip7e · X
med student in morocco, barely code, test every model. gemini/claude/grok/claude code… then codex + gpt-5.6 sol. holds long tasks, less inventing, weekly limits > 5h wall. built ancre-med with it for students here (redesign, security, full paper)
CoBro 用 AI 扫描竞争对手和市场数据，90 秒内判断初创企业创意是否值得构建。
@Ebrahim_Rio · X
Most founders skip validation and pray. I automated the "worth building?" check. AI scans competitors, Reddit, and market data → Cook or Kill in 90 seconds. Killed? It surfaces the pivot the data actually backs.
上传凭证验证，由Hedera区块链保护，按次付费。
@iizhem · X
👏 Shipping before vacation is elite. Good luck with your entry! Claude makes vibe coding way too fun. I joined the same bounty too and turned a simple credential checking idea into a full pay-per-use flow
