테크·2026년 8월 3일OpenAI의 차기 주력 AI 모델 ‘Astra’, 10개 수학·이론 컴퓨터과학 과제에서 새 성과… 증명을 Lean 4로 형식화해 기계 검증 가능GIGAZINE
테크·2026년 8월 2일Python·HTML 등을 브라우저에서 직접 실행할 수 있도록 교실용으로 만들어진 브라우저 기반 코딩 플랫폼 ‘Trinket’, 폐쇄 예정이었지만 오픈소스로 무료화돼 서비스 지속GIGAZINE
테크·2026년 8월 2일무료로 매일의 일정과 루틴을 시각적 블록 배치로 파악하고 NextCloud·WebDAV·Obsidian 등과 동기화 및 AI 연계, 걸음 수 기록, 전용 Android 앱, StreamDeck 양방향 완전 연동도 가능한 'dayGLANCE', 계정 등록 없이 셀프 호스팅도 가능GIGAZINE
