
zkGolf: golf zero-knowledge circuits, verified in Lean
Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256
The full gallery
Tech stack
26 projects

Compete to write the cheapest zero-knowledge circuits and verify correctness in Lean.
rot256

AI-powered platform for career development, CV building, interview prep, and job matching.
@DionJerry · X
Promoting We already have over 800 Signups!

AI tool that transforms job postings into ATS-optimized resumes and cover letters in 30 seconds.
@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 🎊

Block distracting websites by solving math or coding puzzles.
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

Upload a CAS PDF to get AI portfolio analysis with benchmark comparisons and allocation insights.
@iASHeeesh · X

Screen and interview technical candidates with AI resume filtering and structured interviews.
@__singhritwik · X

Practice DevOps interviews with AI feedback and get scored in 15 minutes.
@brankopetric00 · X
I've got two 😀: - automate your X presence - helps you break into DevOps

A minimalist task management tool designed for team simplicity and focus.
@trackowork · X

A coding network where learners build visible proof through courses and challenges with mentoring and company operations.
@Michaela200_5 · X

Conduct AI-powered voice interviews to screen and rank job candidates.
@bilalhasanxw · X

Create personalized weekly learning plans for children's long-term goals in chess, swimming, music, or languages.
@EICWOGUP · X
Hey James, I am building that helps parents focus on their kids long term goals. Parents don’t have to be fluent on any skills to teach kids. All they have to do is choose the goal like chess, swimming, trachtenberg math, yoga etc and you get weekly list.

Create custom resumes and portfolios with AI, no templates required.
@jaura_id · X
Hi! ⚡️ Building right now—an agentic AI resume maker that acts like a proactive career agent rather than just a basic template editor. Literally just hit Day 1 of my #BuildInPublic journey today. Let's connect! 🙌