社交社区3 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
完整作品展
技术栈
18 projects
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
IntelligenceMax: 解答自适应AI生成的谜题来训练推理能力，从错误中学习。
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]
在共享层中记录产品决策、背景和推理，团队不会遗忘决策背后的原因。
@TimEngng · X
Stop losing the "why" behind product decisions -
根据公众讨论验证产品创意，获得开发、调整或转向的决策。
@_sunbo · X
I built ProductIdeaScout to help founders validate product ideas before they start building:
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
Don't let your LLM guess the math. Ultimath evaluates every expression with five independent numeric engines in parallel — REST API + MCP for Claude.
@UtevR57878 · X
Not vibe-coded, rather AI assisted dev:
比较不同AI模型对相同提示词的回答，揭露它们隐藏的偏见。
bnfcl · HN
What's AI's go-to, public or private healthcare?
选择五张你最爱的专辑，发现相似听众推荐的音乐。
BubbleRings · HN
I used AI to build a music recommender system that itself uses no AI in its operation. I have been promoting the system in communities that can sometimes be considerably anti-AI. But people usually assume that it is AI because, well, it's a recommender system. Anyways, after a 30-year break, I rebuilt it and got it working the way I always wanted! It basically uses the same 10 lines of code, (for which I was granted now-expired US patent #5749081), but with a good interface around it instead of
在推理时为 AI 代理注入工程化认知能力。
@frank_brsrk · X
reasoning tools for ai agents
向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
SeeBet.ai：查看NFL博彩赔率、盘口变动和十年回测数据的分析工具。
u/sebriz · Reddit
I built an institutional NFL data terminal that audits 44 situational factors against 10 years of market data [Open Beta] Hey everyone, I wanted to share a side project I’ve been building called SeeBet.ai . As someone who loves sports data, I got tired of generic broadcast hype, sports betting "gurus," and subjective narratives about things like "revenge games," travel fatigue, or short rest. I wanted an institutional, zero-hype terminal that simply audits physical reality against market