Trawling

최신기사

AI, 개발 도구, 오픈소스, 보안과 인프라의 변화와 이용 조건을 설명하는 최신 기사와 해설입니다.

Roku 개발자 저장소, GitHub에서 GitLab으로 이전

발행

Roku가 개발 문서와 샘플 앱, 도구 저장소를 GitHub에서 GitLab으로 옮겼습니다. 저장소 이름은 유지되지만 URL과 raw 파일 경로가 바뀌어 기존 Git remote, 서브모듈, CI 설정과 문서 인덱스를 갱신해야 합니다.

수학이 증명 이상이라면, 나머지도 더 제대로 평가해야 합니다

발행

Grant Sanderson은 AI가 증명을 생성하는 시대에 수학의 목표를 인간의 이해로 다시 정의하고, 문제의 동기와 맥락까지 설명하는 ‘motivated explanation’을 증명에 준하는 연구 성과로 인정하자고 제안합니다. 이를 위해 미해결 설명 문제, 설명 중심 저널, 채용·종신재직 평가의 변화가 필요하다고 주장합니다.