
zkGolf: golf zero-knowledge circuits, verified in Lean
竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256
完整作品展
技术栈
28 projects

竞争编写成本最低的 zero-knowledge circuits 并在 Lean 中验证正确性。
rot256

CourseNest 是 AI 职业教练,帮助制作简历、准备面试和找工作。
@DionJerry · X
Promoting We already have over 800 Signups!

ApplyBoostAI:AI调整简历、匹配职位、追踪应聘。
u/Radiant_Freedom9451 · Reddit
Building a resume-tailoring micro-SaaS taught me that more features can weaken the product I’m the founder of ApplyBoost, a small SaaS for tailoring resumes to individual job descriptions. While building it, I made the classic mistake of thinking that every related feature would increase the product’s value. I added: AI resume tailoring ATS scanning Keyword matching Bullet rewriting Resume templates Application tracking Follow-up guidance Interview preparation Techni

CareerCobra 将职位转化为 ATS 优化的简历和求职信,仅需 30 秒。
@CareerCobraAI · X
We make landing interviews a calculated endeavor, not a lucky chance. Tired of rejections, or simply just re-doing resumes and cover letters over and over again? Give us a shot 🎊

Nemesis Goals用AI虚拟对手每日嘲讽激励你完成目标,还能参加周赛。
@nemesis_goals · X
Building an AI goal tracker that hates your excuses and roasts your failures.

通过解数学或编程谜题来屏蔽干扰网站,戒除拖延
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

上传 CAS PDF 获取 AI 驱动的基金组合分析和配置洞见。
@iASHeeesh · X

通过AI简历筛选和结构化面试进行技术候选人招聘。
@__singhritwik · X

与AI进行DevOps面试练习,获得15分钟内的评分。
@brankopetric00 · X
I've got two 😀: - automate your X presence - helps you break into DevOps


