教育学习1 month 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!
完整作品展
技术栈
20 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]
将AI生成的后端代码转化为可视化、可验证的逻辑层。
@SpalaAi · X
@konig0000 My whole architecture is vibe coded. https://t.co/t2PKhujHIT
@HathornWarren52 · X
My whole architecture is vibe coded.
WARP DD - AI搭載テクノロジーデューディリジェンスツール。15,000社超のデータベースからテーマに最適な企業を発見・評価します。
masato_furuno · HN
Warp DD – AI that analyzes technology ecosystems in ~30 seconds
竞争编写成本最低的 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
用二维码、NFC和自定义域名创建数字名片。
@NativeCodeIn · X
整合 MCP 服务器，让 AI 智能体可靠地访问外部 API 和数据，无上限配额。
@kagelogic · X
Your agent is only as good as the data it can reach. Vibe-coded wrappers die at 2am when the public API rate-limits. Exclusive MCPs keep your app alive with real quotas. sub-10ms edge. Uncapped. Pay-as-you-go. — Free credits, no card →
SmartMatch AI - 用自定义条件和精度匹配电子表格列
Smart Match AI — 自定义条件和精度来匹配两列不同的数据，更加自由的 Excel lookup/vlookup