2026-10-10 Fireside Alpha(@firesidealpha)가 X에 올린 All-In 팟캐스트 클립 스레드. 데이비드 프리드버그는 OpenAI 수학 공개에 암호학 증명이 없다는 점을 숨긴 돌파의 신호로 읽고 공개 키 지갑의 위험을 말한다. 공개분에 암호학 결과가 없다는 관찰은 맞지만, 숨긴 돌파와 지갑 위험으로 잇는 추론에는 근거가 없다(신뢰도 C).
Posts for: #summary
[LINK/SUMMARY/번역] 알렉산드르 왕이 답했다는 ‘99%와 격차를 벌리는 법’
2026-10-08 Hux(@huxlab)의 X 게시물. 알렉산드르 왕의 답이라는 세 원칙은 숀 라이언 쇼 #208(2025-06-12)의 53초 클립에서 나왔다. 영상 속 왕은 집중과 ‘한 마일, 열 마일 더’를 말한다. 99%와 200% 납품, 해자는 게시자가 덧붙인 말이다.
[LINK/SUMMARY/번역] 코드를 더는 읽지도 이해하지도 않을 때 에이전트와 함께 효과적으로 디버깅하는 법
2026-10-11 Cindy Sridharan(@copyconstruct)의 X 스레드. 에이전트가 쓴 코드를 아무도 깊이 모를 때 근본 원인은 코드 읽기가 아니라 운영에서 모은 사실로 가설을 걸러서 찾는다는 디버깅 틀이다. 기술 사실은 대체로 맞고(신뢰도 B), 틀의 부품은 1999~2002년 문헌에 이미 있다.
[LINK/SUMMARY/번역] AI 가속 수학이 암호학에 주는 위험을 진지하게 받아들여야 한다
비탈릭 부테린이 2026-10-08(KST) X에 올린 글의 한국어 완역·요약·팩트체크. 저스틴 드레이크의 ‘벙커 모드’ 촉구에 그는 서두르지 말라고 답한다. 양자컴퓨터 위에 AI가 앞당기는 수학을 위협으로 얹는다. 처방은 격자 암호의 키를 키우는 것과 해시로 되는 곳은 해시로 가는 것이다. 신뢰도 B — 틀린 것은 멀티시그 권고 하나다.
[LINK/SUMMARY/번역] 들어본 적 없는 사람, 루돌프 브르바
2023-05-24 George Mack가 X에 쓴 루돌프 브르바 스레드. 탈출과 보고서는 기록과 맞고, 세 지도자에게 전달됐다는 한 줄은 수신 경로가 더 길다.
[LINK/SUMMARY/번역] 포스터의 오타가 금성의 이름이 됐다
2024-01-26 Latif Nasser의 스레드. 아이 포스터의 ZOOZVE는 2002 VE68의 오독이었고, 2024-02-05 IAU가 그 오독을 공식 이름으로 승인했다.
[LINK/SUMMARY] Learn TLA+ 원페이지 요약 — TLA+ 핵심을 한 장으로
『Learn TLA+』 35페이지 전체를 한 페이지로 압축했다. TLA+가 무엇이고 왜 쓰는지에서 시작해 장별 핵심 개념·문법·함정, 치트시트, 원문 주장 팩트체크까지 담았다.
[LINK/SUMMARY] nagomi — 규칙 몇 개로 살아 있어 보이는 연못, 그리고 문서가 틀린 다섯 곳
msk1039/nagomi를 커밋 20967033에 고정해 코드를 한 줄도 실행하지 않고 읽은 채택 판단 문서. 22개 주장 중 14개가 코드로 뒷받침되고 5개가 반박된다 — 날씨 설정이 사용자 오버라이드를 지우는 지점, 문서에 없는 KeyF, 존재하지 않는 락파일, 저장소가 광고하는 배포처에서는 죽어 있는 _headers, 그리고 GitHub 배지가 ‘Other’라고만 말하는 PolyForm Noncommercial 라이선스.
[LINK/SUMMARY] IU CONCERT : The Golden Hour · THE WINNING 무대인사
근접 사진 네 장에서 관객과 함께한 열 장으로. 세 번째 사진을 전체 무대인사 기록 안에서 읽는다.
[LINK/SUMMARY/번역] Opus 5.5로 Claude Agent SDK를 Lean으로 형식 검증했다 — 짧은 프롬프트 몇 개가 PR 16개로
Boris Cherny가 Opus 5.5에게 Claude Agent SDK와 claude.ts 상태기계를 Lean 4로 검증시켜 PR 16개를 얻은 과정의 완역과 팩트체크. 영상의 타임스탬프로 읽으면 ‘프롬프트 몇 개’는 Slack 메시지 6개와 사람의 PR 승인·리뷰였고, 버그 24개 중 증명 출신은 19개, 1차 수정의 구멍 6개는 리뷰가 잡았다.