리눅스 ARM에서 macOS 바이너리를 돌려보는 실험적 유저스페이스가 공개됐다

159 points · 34 comments

증명 지향 범용 언어 F*가 다시 논의를 모았다

146 points · 64 comments

자기점검 루프가 같은 토큰 비용의 반복 샘플링에 진다는 재현 실험

상용 AI 제품 88개의 시스템 프롬프트를 여덟 축으로 감사한 결과가 공개됐다

로컬 컴퓨터 사용 에이전트는 추론 연산을 더 써도 실패 양상만 바뀐다는 실측