Chris Ohk

@utilforever

Visiting Senior Researcher at Hanyang University / Microsoft Developer Technologies MVP / @CppKorea Founder / Reinforcement Learning KR Administrator

대한민국 성남시

github.com/utilForever

Replies Reposts Media

Pinned
Chris Ohk
@utilforever
Jul 26, 2024
#개발자_트친소 #프로그래머_트친소 C++과 Rust를 주로 사용하며, 회사에서 게임 물리 엔진과 크로스플랫폼 엔진을 개발했습니다. 현재는 다음 회사를 찾는 중이고, 여러 학교에서 Rust 수업을 하며 지식을 공유하고 전파하는데 시간을 보내고 있습니다. 잘 부탁드립니다.
GitHub - utilForever/CV: Chris Ohk's CV
From github.com
Chris Ohk
@utilforever
Sep 23
Where are the benchmarks? Why aren't you showing the actual performance results? I'm not really sure what has been improved.
Vals AI
@ValsAI
Sep 22
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/…
Chris Ohk
@utilforever
Sep 19
10월 1일부터 디든로보틱스에서 Tech Lead로 새로운 시작을 하게 되었습니다. 가천대학교 여지호 교수님과 함께 연구하며 많이 배우고 고민할 수 있어 즐거웠습니다. 좋은 기회를 주시고 함께해 주신 교수님께 이 자리를 빌려 감사의 말씀을 전합니다.
2
Chris Ohk
@utilforever
Sep 11
대학교에서 6시간 연속으로 수업하기 쉽지 않네 🫠
Chris Ohk
@utilforever
Sep 7
조만간 거취와 관련해 좋은 소식을 전해드릴 수 있을 듯 합니다.