"Notably, O3-MINI, despite being one of the best reasoning models, frequently skipped essential proof steps by labeling them as "trivial", even when their validity was crucial."
just remembered why I created an account here:
https://www.ycombinator.com/companies/domu-technology-inc/jobs/hwWsGdU-vibe-coder-ai-engineer
become a vibe coder for a debt collection startup! but only if you're willing to pull 15+ hour days for 80k a year
just remembered why I created an account here:
https://www.ycombinator.com/companies/domu-technology-inc/jobs/hwWsGdU-vibe-coder-ai-engineer
become a vibe coder for a debt collection startup! but only if you're willing to pull 15+ hour days for 80k a year