Media
Analyzing AI trends and sharing insights
Podcast & AI News
Weekly podcasts and latest AI updates
Essays & Columns
In-depth analysis and insights
Presentations & Lectures
Materials from conferences, workshops, and lectures
Video Archive for Koreans
Curated quality videos with Korean subtitles and notes
Claude Code를 사용해 Lean에서 증명 형식화하기
9개월 전 형식화 작업을 Claude Code로 다시 수행하며, 한 번에 맡기기보다 단계별 레시피가 중요하다고 정리한다.
훌륭한 창업가를 만드는 요소에 대한 벤 호로위츠의 통찰
위대한 창업자 CEO의 공통점은 독립적 사고, 리더십의 매력, 순수한 두뇌 성능이며, 가장 흔한 실패 원인은 자신감 부족과 의사결정 망설임이다.
30억 달러 AI 스타트업의 진짜 출시 비하인드 — Replit Agent 3
Replit이 Agent 3 출시를 21일 앞두고 아키텍처를 전면 재작성하며 200분 연속 실행이라는 야심찬 목표를 향해 달리는 과정을 가감 없이 보여준다.
AI Daily News
smol.ai AI news in Korean
TBD
Coming Soon