
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!
完整作品展
技术栈
32 projects

通过交互式数字逻辑和Verilog编程题目练习硬件工程。
@Aimenbuilds · X
- leetcode for hardware engineers! We map job postings of hardware roles 1-1 to course requirements!

ForgeLab Brain:多个AI智能体协作编程,自动验证和修复错误
@ForgeLab_Brain · X
Open beta launched. See more here: 🌐 #VibeCoding #BuildInPublic #IndieHacker #AIdev

用AI自动将设计图转换成可用代码。
@AnimaApp · X
Image to code in 1 minute - 20x faster than Claude Code and with much higher fidelity. Try it at and let us know how we did 🤘

用 ChatGPT 语音将行政问题转化为结构化的通话计划。
@AutmaAI · X
Built with ChatGPT Sites: Five Minute turns a messy real-life problem into a clear, editable call plan using live voice. #Giveaway @chatgptapp

在浏览器中编写和运行代码,具有 AI 代码生成和自动修复功能。
@anish2good · X

用于在 git worktrees 中并行运行多个 AI coding agents 的桌面应用
vuphanse

Collaborate.dev – Multiplayer Visual Desktop for Coding Agents
austinvhuang · HN
Collaborate.dev – Multiplayer Visual Desktop for Coding Agents

通过解数学或编程谜题来屏蔽干扰网站,戒除拖延
hackitup7 · HN
TLDR built a Chrome site blocker that lets you into distracting sites only after you do some math or simple coding (JS only right now). Direct link to extension (the site just gives you more context): https://chromewebstore.google.com/detail/sphinx-earn-your-di... Philosophically it's a speed bump rather than a hard gate, because you'll eventually tear a gate down but you'll leave a speed bump. I've always eventually removed site blockers, or just had them become a nuisance that I reflexively dismiss before getting to distracting sites. Site blockers don't really reduce the "start navigating to a distracting site" muscle memory, and they eventually just become annoying. Dopamine is a hell of a drug. At the same time, I've been getting frustrated that my intermediate/advanced math skills have atrophied, and becoming more senior in my career (plus AI...) has caused my coding skills to atrophy even further. Realistically I'm not going to force myself to do math or coding exercises aft

社交化AI数学平台,用于解决和协作数学问题。
lemma1729 · HN
Hi HN, This is ProofTree, and in TLDR: it is a platform where you can chat with an AI to do math, the way you already do, with context-awareness and knows how you personally do math, connected to the fora of other live human mathematicians. So, when you are talking to an AI about a proof at 3 am, and you need a human expert looking at it, or a discussion around it, like you do on StackExchange, this is it! You need an approved email account to use it, so please write here if you would live to try it out.


Voidocs 为初创团队创建专业文档,无需代码配置。
@hannah24_app · X

在一个地方捕捉会议、用AI写笔记、在共享画布上创建图表。
@rubs_murga · X