“GitHub” 검색 결과

검색된 기사

테크4일 전

OpenAI의 차기 주력 AI 모델 ‘Astra’, 10개 수학·이론 컴퓨터과학 과제에서 새 성과… 증명을 Lean 4로 형식화해 기계 검증 가능

테크5일 전

개발자들은 도구에 애착을 가진다. 도구는 신뢰를 담고 있기 때문이다 | Hacker News

테크6일 전

GitHub에는 대안은 있지만, 대체재는 없다 | Hacker News

테크6일 전

전자종이에 한 장만 이미지를 기록할 수 있는 DIY 카메라 'reFrame'