教育学习18 hours ago
Learn Hardware Engineering Online with GateCode
通过交互式数字逻辑和Verilog编程题目练习硬件工程。
@Aimenbuilds · X
- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!
完整作品展
技术栈
26 projects
通过交互式数字逻辑和Verilog编程题目练习硬件工程。
@Aimenbuilds · X
- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!
使用 Axiom 通过逻辑推理完善想法并发布到社区。
samcymbaluk · HN
Axiom toolkit – Make your ideas precise enough to be proven wrong
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]
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
使用加密思维签名解密 Claude Sonnet 5 的隐藏推理。
bayes-song · HN
Unlock Claude Sonnet 5's original reasoning
生成式AI工具，可将各类素材转化为精美设计的幻灯片演示。
@leahlibest · X
the most aesthetic AI slides website
SmartMatch AI - 用自定义条件和精度匹配电子表格列
Smart Match AI — 自定义条件和精度来匹配两列不同的数据，更加自由的 Excel lookup/vlookup
Aurora - 本地AI代理验证系统，提供透明的推理过程和MCP集成。
brandon_grutkowski · Product Hunt
Aurora Glass-box Quantitative AI for Humans and Agents
向多个 AI 模型提问，比较答案，观看它们辩论或共同判断得出共识。
u/trekhleb · Reddit
I kept pasting the same question into ChatGPT, Claude, and Gemini in three tabs; so I built a Yes-Brainer — a council of AI models, that answer your question in parallel, debate to consensus, or get judged to a verdict. submitted by /u/trekhleb to r/SideProject [link] [comments]
用你的知识创建AI数字分身，用你的声音回答访客问题。
@withmindola · X
let's go! you can build you digital twin by feeding all your content and share it with people so they can talk to your second brain in your own voice.
ForgeLab Brain：多个AI智能体协作编程，自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev
