@utilforever

@DidenRobotics Technical Lead / Microsoft Developer Technologies MVP / @CppKorea Founder / Reinforcement Learning KR Administrator

 대한민국 성남시
github.com/utilForever
Joined December 2017
  • Tweets16.1K
  • Following1.4K
  • Followers4.3K
1.2KMedia
#개발자_트친소 #프로그래머_트친소 C++과 Rust를 주로 사용하며, 회사에서 게임 물리 엔진과 크로스플랫폼 엔진을 개발했습니다. 현재는 다음 회사를 찾는 중이고, 여러 학교에서 Rust 수업을 하며 지식을 공유하고 전파하는데 시간을 보내고 있습니다. 잘 부탁드립니다. github.com/utilForever/CV

GitHub - utilForever/CV: Chris Ohk's CV

Chris Ohk's CV. Contribute to utilForever/CV development by creating an account on GitHub.

github.com
15
92
11,510
출근을 9시에 하는 걸 목표로 하다 보니, 7시 30분에 집에서 나가게 되고 아침에 일어나서 이불 개고 그릭요거트 먹고, 커피 마시면서 미장 정리 방송 보는 거까지 고려하면 오전 6시에 일어나게 된다. 이러다 보니 자정이 넘어가면 졸리기 시작한다. 이렇게 나는 아침형 인간이 되었다.
8
398
Hull blocks are connected by access holes, and a robot that cannot fit through one is stuck in the block it started in. Diden Spider goes through this one in a minute. 🕷️
1
4
130
요즘 시대에 읽었으면 하는 책이 나와서 공유드립니다. yes24.com/product/goods/1991…

야생 학습 | 김창준 | 인사이트(insight) - 예스24

AI가 답을 주는 시대, 학습은 왜 더 중요해졌는가AI가 설명하고, 요약하고, 문제까지 풀어주는 시대. 이제 힘들게 공부할 필요가 없어진 것처럼 보인다. 하지만 AI가 쉽게 풀어준다고 그 지식이 내 머리에 쌓일까? AI 사용에 익숙해질수록 점점 바보가 되는 느...

yes24.com
1
31
2
92
7,941
Where are the benchmarks? Why aren't you showing the actual performance results? I'm not really sure what has been improved.
Vals AI
@ValsAISep 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 they thought people might want to know
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/…
5
751
10월 1일부터 디든로보틱스에서 Tech Lead로 새로운 시작을 하게 되었습니다. 가천대학교 여지호 교수님과 함께 연구하며 많이 배우고 고민할 수 있어 즐거웠습니다. 좋은 기회를 주시고 함께해 주신 교수님께 이 자리를 빌려 감사의 말씀을 전합니다. – at Seongnam-si, Republic of Korea
2
4
64
3,485
이제 다시 산업 현장으로 돌아가 새로운 도메인에 도전해보려 합니다. 익숙하지 않은 분야인 만큼 아직 모르는 것도, 배워야 할 것도 많습니다. 주변의 많은 분께 배우며 전진하겠습니다. 새로운 곳에서도 잘 부탁드립니다. – at Seongnam-si, Republic of Korea
5
421
Jongseo Lee, Jaehyeok Kwak, Hyung-Chan An. Improved Algorithms for Bounded-Degree (Subset) Traveling Salesman Problems arxiv.org/abs/2606.31907

Improved Algorithms for Bounded-Degree (Subset) Traveling Salesman Problems

We present improved algorithms for several bounded-degree traveling salesman problems. In the bounded-degree traveling salesman path problem (BDTSPP), given a weighted graph G=(V,E), two endpoints...

arxiv.org
9
1
15
1,527
Chris Ohk retweeted
MIT CSAIL
@MIT_CSAILSep 13
Beginner-friendly LLM course exploring foundations, architectures, training, deployment, and current trends: tinyurl.com/vp844fsm v/@Hesamation
8
211
2
1,184
53,233
I haven’t been as excited about a programming language since when I first started learning Rust. Lean4 is an extremely powerful language. However, one thing it’s missing is good tutorials and examples! So I built an online Lean4 learning tool! I predict Lean becoming one of the most popular languages in the coming years amongst AI labs, blockchain researchers, and agents. It’s what powers verifiable auto-research. Lean4 increases the velocity at which humanity can make mathematical discoveries. To be ahead of the curve, learn some lean today! Open to feedback and suggestions! 😅 leanlanguage.app

leanlab — Lean 4 online editor

Run Lean 4 programs, check proofs, and follow guided tutorials.

leanlanguage.app
13
57
6
451
27,794
대학교에서 6시간 연속으로 수업하기 쉽지 않네 🫠 – at Seongnam-si, Republic of Korea
13
616
Chris Ohk retweeted
Sungmann Cho@chosungmannSep 10
곧 출간될 한국 분이 쓴 병렬 프로그래밍 책을 리뷰 중인데 아주 맘에 든다. CUDA로 설명하지만 온라인 저지가 제공되어 본론으로 바로 들어갈 수 있고, 앞서 배운 개념이 잊을만하면 다시 등장해서 흐름대로만 따라 읽어도 이해하기 쉽다. 강츄! manning.com/books/grokking-p…

Grokking Parallel Programming - SungHwan Yun

Scientific simulations, graphics-intensive games, and, of course, AI models, all require the serious computing power delivered by GPUs (graphics processing units). Grokking Parallel Programming...

manning.com
3
56
1
246
11,505
Chris Ohk retweeted
똥멍청이@mjspring_Sep 10
ㅈㅗㅅ코딩 아웃 구독취소. 콘텐츠 기획이나 용어 검수 안한 지 잘못이지. 오늘 AI가 생성한 결과물 검수없이 그대로 전달하는 사람을 Meat Proxy라고 부른다고 팀에서 이야기 나눴는데 딱 그거지뭐. 생각없이 전달하는 고깃덩어리.
3
105
9
321
21,679
Chris Ohk retweeted
Nihal Pasham@npashiSep 9
🎉 CUDA Rust is here! Team 🟩 ❤️ 🦀 You can now write CUDA kernels in plain Rust, two ways: cuda-oxide (SIMT) and cutile-rs (Tile). developer.nvidia.com/blog/in…

Introducing CUDA Rust: Two Tracks for Writing GPU Kernels | NVIDIA Technical Blog

In September 2026, NVIDIA announced it is leaning into native GPU programming in Rust. CUDA C++ and CUDA Python are mature, enterprise-grade toolchains, and NVIDIA will be growing and maturing CUDA…

developer.nvidia.com
58
520
58
3,128
161,427
조만간 거취와 관련해 좋은 소식을 전해드릴 수 있을 듯 합니다.
56
2,434
개인 디코 서버를 운영하고 있습니다. 제가 아는 인원에 한해서 받고 있습니다. 들어오길 원하시는 분은 저에게 따로 문의해주시기 바랍니다.
1
18
1,259
매일 에디토리얼을 꾸준히 올리고 있는데, 어느새 1200개가 넘었다. editorial.coduck.io/

Coduck - CP Editorial

A curated archive for competitive-programming contest editorials.

editorial.coduck.io
1
481
다음 학기에 가천대에서 2개의 강의를 가르치게 되었습니다. 두 과목 모두 Python 기반의 프로젝트를 하게 될 거 같은데, 이거 잘 진행되면 내년 파이콘에는 뭔가 발표 주제를 낼 수 있을 거 같네요. 매년 파이콘은 커뮤니티 부스 운영을 위해 가기만 했는데, 내년엔 발표자로 가기를... 🙏
2
5
46
2,440
Chris Ohk retweeted
Chris Ohk@utilforeverAug 3
2026 DEVCORE에서 진행했던 "Introduction to C++ Static Reflection" 발표 자료입니다. C++26에 추가되는 Static Reflection이 무엇이고 왜 도입하게 되었는지, 그리고 이 기능으로 무엇을 할 수 있는지 등을 가볍게 다룹니다. 감사합니다. bit.ly/4qdliet

2026 DEVCORE - Introduction to C++ Static Reflection.pptx

DEVCORE 2026 Introduction to C++ Static Reflection Chris Ohk [email protected]

docs.google.com
1
11
15
1,636
살까... 말까... – at Seongnam-si, Republic of Korea
5
1
17
2,475
2026 DEVCORE에서 진행했던 "Introduction to C++ Static Reflection" 발표 자료입니다. C++26에 추가되는 Static Reflection이 무엇이고 왜 도입하게 되었는지, 그리고 이 기능으로 무엇을 할 수 있는지 등을 가볍게 다룹니다. 감사합니다. bit.ly/4qdliet

2026 DEVCORE - Introduction to C++ Static Reflection.pptx

DEVCORE 2026 Introduction to C++ Static Reflection Chris Ohk [email protected]

docs.google.com
1
11
15
1,636
파워포인트로 만든 걸 Google Slides로 보려니까 스타일이 좀 깨지네요. PDF로 보시는 게 훨씬 편할거라 링크 같이 남겨둡니다. bit.ly/3S82e4w

2026 DEVCORE - Introduction to C++ Static Reflection.pdf

drive.google.com
1
421
Load more