디든로보틱스에서 저와 함께 일할 로봇 플랫폼 소프트웨어 엔지니어를 모집합니다.
Robot Platform Software Engineer (주니어) — Runtime Framework팀
자세한 정보는 didenrobotics.ninehire.site/job_posting/ZE… 을 참고해 주세요.
궁금한 게 있으시면 저에게 DM을 보내시면 친절히 답변해 드리겠습니다. 감사합니다.
출근을 9시에 하는 걸 목표로 하다 보니, 7시 30분에 집에서 나가게 되고 아침에 일어나서 이불 개고 그릭요거트 먹고, 커피 마시면서 미장 정리 방송 보는 거까지 고려하면 오전 6시에 일어나게 된다. 이러다 보니 자정이 넘어가면 졸리기 시작한다. 이렇게 나는 아침형 인간이 되었다.
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
Readers added context
C-HD's formally verified bound improves priors only in a narrow sparse density range (m ≤ n⌊⌊log₂ n⌋^{3/4}⌋) as an asymptotic guarantee with enormous constants and no practical speedup demonstrated. vals.ai/blogs/faster-s…github.com/spicylemonade/…