오늘 밤 첫 다섯 페이지에서 200점을 넘긴 이야기는 57개다. 순위 구간과 40시간짜리 날짜 훑기를 합치면 그중 26개가 이 라운드업에 처음 나온다. 새것 중 둘이 오늘을 만든다. 형사 증거개시 자료로 쌓아 올린 Wired의 수사 — ICE가 미네소타 주최자들을 겨눈 감시 작전 — 는 1,020점에 댓글 810개로 페이지에서 가장 빽빽한 스레드이고, 월요일 나온 macOS 27.2가 자기 지원 문서가 개발자에게 적용하라고 알려준 인증서 우회책을 되돌려 놓았다는 걸 기록한 한 페이지짜리 사이트도 그중 하나다.
페이지의 나머지는 두 무더기로 갈린다. 첫째 무더기는 무언가를 발표했는데 확인할 수 없는 것들이다. 출시일 없이 벤치마크 1위를 차지한 프런티어 모델, 온디바이스 AI 머신으로 팔리면서 메모리가 32GB에서 멈추는 맥북 “프로”, 두 달 전 블룸버그 보도였던 아마존 AI 연구소 이야기를 오늘 뉴스처럼 다루는 것. 둘째 무더기는 실제로 나왔고 확인할 수 있는 것들이다. 발표된 증명의 구멍 하나를 메우는 Lean 4,310만 줄, 실제 수정 365건을 대조해 맞춘 미국 법전 git 저장소, 나흘에 기판 다섯 장을 만드는 매사추세츠의 로봇. 오늘 밤 비율은 대략 6대 1이다. 그에 맞게 읽어라.
ICE는 반란 진압 작전을 벌이고 있고, 증거는 피고 측 증거개시 자료에 있다 — 1,020 points
1,020 points · 810 comments · wired.com · HN discussion
연방 공모 혐의로 기소된 미네소타 주민 15명의 변호인들은 증거개시 절차를 통해 수십 건의 보고서, 녹취록, 이메일, 가로챈 Signal 대화, 사진, 데이터베이스 질의 기록을 손에 넣었다. WIRED가 설명하는 것은 이민세관집행국(ICE)이 미네소타와 그 밖의 지역에서 좌파 주최자들을 겨눈 광범위한 첩보 작전이다. 이 자료를 검토한 전직 법집행 관계자 세 명은 이 사건이 거의 확실히, 행정부가 2025년 12월 이 주에 병력을 배치하기 전부터 진행된 더 큰 정보 수집 캠페인의 일부라고 말했다. 한 변호인은 이것을 COINTELPRO에 직접 비유한다.
기제가 이야기의 핵심이고, 그 기제는 교묘하지 않다. 국토안보수사국(HSI) 요원 약 120명 — 그중 11명은 잠복 — 이 이 사건에 투입됐고, 보통 자금세탁과 테러 수사에 쓰는 Reaper 드론과 애국자법 수사 도구를 동원했으며, 잠복 요원들은 법원 명령을 명백히 위반한 채 교회에 침투했다. 프로그램 두 개가 이름을 갖는다. 연방 요원에 대한 폭행·스토킹·신상털기를 수사하려고 2월에 열린 Project Whipple Shield, 그리고 기소장을 만들어낸 Operation Puppet Master. 둘 다 Operation Keyhole 아래 승인됐다. 2008년 12월 세인트폴 현장 사무소에서 만들어진 HSI 잠복 자금 지원 체계로, 지금까지 최소 77건의 수사를 지원했고 2026년 6월 갱신 시점에는 미네소타와 다코타 지역에서 진행 중인 6건에 자금을 대고 있었다. Keyhole의 조건은 법무부와 국토안보부 고위 관계자 위원회가 6개월마다 검토한다. 이 글에서 감독에 가장 가까운 것이 그 위원회이고, 그 위원회는 기소장이 나오기 넉 달 전에 프로그램을 갱신한 위원회다.
활동가들이 하던 일은 이랬다. 자원봉사자들이 암호화된 Signal 그룹으로 국토안보부 차량을 감시했고, 자체 제작 차량 데이터베이스와 배차 시스템이 있었다. 정부는 그것을 이민 단속을 방해하고 연방 요원을 스토킹하고 폭행하려는 공모라고 부른다. 피고 아이작 산트를 대리하는 케빈 리아흐는 그 불균형을 노골적으로 짚는다. “공모 혐의로 기소된 의뢰인을 맡은 게 처음인데, 그 사람이 강연 투어를 다니고 있었다.” 스레드 최상위 댓글은 자료에 나오는 한 사슬을 따라간다. 한 활동가가 번호판 조회 도구를 Fly.io에 올렸고, HSI가 DNS 질의와 Stripe 데이터, 상업 데이터 브로커에게서 산 기록을 긁어모아 미네소타 DMV 기록과 Thomson Reuters CLEAR에 붙였고, 그 결과로 운전면허번호와 주민등록번호가 나왔다. 그건 공모 수사가 아니다. 주최자들에게 들이민 데이터 융합 파이프라인이다.
정직한 단서: 이 이야기는 변호인 측 제출 자료에서 나왔고, 그건 변호 논거 문서이며 정부 측 입장은 거기 없다. 이 글은 결론이 아니라 주장의 기록이다. 하지만 문서화된 범위 — 프로그램 이름, 요원 수, 드론 투입, 교회 침투 — 는 오해의 형태가 아니고, 이 모든 것을 떠받치는 권한은 대통령 각서 NSPM 7이다. 정치적 암살 이후 작성됐고, 연방 법집행기관에 행정부를 비판하고 “반기독교적” 사상을 표방하는 사람들에게 가용한 모든 수단을 쓰라고 지시한다. 같은 정부의 감시에 관한 이야기 두 개가 오늘 밤 이 페이지에 39점 차이로 올라와 있고, 둘 다 법적으로는 공개돼야 하는데 공개되지 않은 기록에 관한 것이다.
애플의 git은 아직도 세상이 폐기한 인증서를 신뢰한다 — 906 points
906 points · 346 comments · emudhra.we-have-a-problem.com · HN discussion
애플은 10월 17일에 eMudhra 인증서 사건을 통보받았다. 10월 28일 현재, macOS에 딸려 오는 개발 도구 — git, curl, python3 — 는 아직도 오염된 인증서를 신뢰한다. 10월 26일에 나온 macOS 27.2는 이것을 고치지 않았고, 개발자들이 적용해둔 수동 우회책을 되돌려서 다시 노출시켰다. 다른 프로젝트 수십 개는 — 상당수가 자원봉사로 돌아가는데 — 며칠 전에 이미 수정을 내놨다.
이 사이트는 논증 대신 테스트를 공개한다. 이 일을 하는 올바른 방식이다. 한 줄이면 된다. git ls-remote https://git-emudhra.we-have-a-problem.com/check.git: 인증서 오류가 나오면 당신의 git은 보호되고 있다. 커밋이 나열되면, 당신과 GitHub 사이 네트워크 경로에 있는 누구든 클론을 가로채고, 전송 중인 푸시를 바꾸고, URL에서 자격증명을 빼낼 수 있다. 시연된 공격은 명령 하나로 github.com을 테스트 서버로 리다이렉트하고, 클론된 저장소에는 INTERCEPTED로 시작하는 README가 들어 있다. Safari와 애플 네트워킹 스택 위에 지은 프레임워크들은 이미 보호된다. 보호되지 않는 것은 /etc/ssl/cert.pem이고, 개발 도구 체인의 모든 커맨드라인 도구가 읽는 파일이 그것이다. 애플 자기 지원 문서도 OS 업데이트가 손수 고친 것을 되돌릴 수 있다고 경고하니, 쿠퍼티노가 뭔가를 내놓을 때까지 포인트 릴리스마다 우회책을 다시 적용해야 한다.
댓글 스레드는 특정 CA가 아니라 구조적 실패로 모인다. 약한 키가 신뢰받던 18개월 동안 실제로 악용됐다는 증거는 아무도 대지 못하고, 한 댓글러는 그렇게 믿는 게 자기가 뒷받침할 수 없는 음모론이라는 걸 스스로 인정한다. 하지만 여기서 죽은 것은 메커니즘으로서의 인증서 폐기다. CRL과 OCSP는 정확히 이 경우를 위해 설계됐고, 둘 다 쓸 수 없다는 이유로 조용히 버려졌으며 대체재도 없다. 그래서 남은 지렛대는 벤더가 새 루트 번들을 내놓는 것 하나뿐이다. 한 댓글러처럼 macOS를 윈도우 업데이트와 비교해 보면 격차가 창피할 정도다. 애플에게는 거대한 OS 릴리스 밖에서 작은 보안 패치를 내놓을 메커니즘이 없고, 그래서 11일 전부터 알고 있던 CA를, 모든 개발자에게 시스템 파일을 손으로 고치라고 요구하지 않고서는 신뢰 철회하지 못했다.
구글은 세계 최고 모델을 발표하고, 어디서 받는지는 거의 아무에게도 말하지 않는다 — 543 points
543 points · 456 comments · blog.google · HN discussion
Gemini 4 Carbon, Gemini 4 Argon에서 2주 만이다. 주장은 이렇다. Artificial Analysis Intelligence Index v5.0에서 59로 1위, 실제 취약점 탐지에서 SEC-bench Pro 88.2%, 익스플로잇 검증에서 ExploitGym 54.8%, 패치에서 CWE-bench 71.0%, WebDev Arena 1768(+89 elo, 4위), Terminal-Bench 4.0에서는 부정행위 성공률을 0으로 밀어냈고 시도율은 0.4%, 내부 코딩 환경의 고위험 정렬 경고는 약 80% 감소, Argon보다 근거 없는 주장은 절반, Gray Swan 간접 프롬프트 주입 벤치마크에서는 공격 성공률 0.0% — Argon도 이미 0.7%로 좋았다. 도입 가격은 Argon과 같이 백만 토큰당 $2/$10, 이후 $4/$20로 오른다.
이제 중요한 부분. Carbon은 쓸 수 없다. 이번 주에 “사이버 방어자 일부”에게, 그다음 Fairwind Program이라는 것을 통해 추가 파트너에게, 그다음 “가능한 한 빨리” 나머지 모두에게 간다. 구글이 이 단계적 배포를 프레이밍하는 방식은, 취약점을 찾고 익스플로잇하는 데 유난히 뛰어난 모델에 대한 신중함이다. 진짜 우려이고 동시에 편리한 우려다. 모델이 잠긴 상태에서 공개된 벤치마크 표는 그 코호트 밖의 누구도 확인할 수 없기 때문이다. 스레드에서 가장 날카로운 문장은 이거다. “분야가 이렇게 빨리 움직이는데 모델을 내놓지 않고 벤치마크만 보여주는 건 상당히 무의미하다. 한 달 뒤에 공개하기로 하면 그때는 더 강한 경쟁자가 나와 있을 거고, 벤치마크는 그렇게 좋아 보이지 않을 것이다.”
스레드의 나머지 절반은, 자기가 이미 돈을 내고 있다고 여기는 모델을 찾지 못하는 사람들이다. 한 댓글러는 gemini.google.com이 3.6 Flash와 3.1 Pro를 제시한다고 하고, 다른 사람은 Workspace 계정에서 Argon에 어떻게 닿는지 도무지 모르겠다고 한다. 또 한 사람은 이 발표가 알파벳 실적 발표 두 시간 전에 나왔다고 짚는다. 한 달에 모델 네 개에 이름 체계 세 개는 제품 전략이 아니고, 실제로 쓸 사람들은 자기가 어느 등급인지 알 수 없다. 구글이 진짜로 세계 최고의 코딩·보안 모델을 만들어 놓고 프로그램 이름 하나와 승인 대기열 없이는 개발자 손에 넣지 못하는 버전도 가능하다. 그 버전은 이 페이지의 모든 숫자와 일치한다.
오프라인으로 도는 생존 보조 도구, 16GB 등급은 36% 확률로 틀린다 — 498 points
498 points · 188 comments · brangus.io · HN discussion
Survival LLM은 로컬 모델과 비상용 라이브러리를 당신 디스크에 넣어주는 무료 Mac/Windows 앱이다. 위키백과 문서 약 93만 개, WikiMed, MedlinePlus, FEMA와 CDC 지침, 생존 매뉴얼, 수리 가이드, iFixit까지 원본 자료 약 9GB(설치 후 19GB)다. 답변은 근거가 된 문서를 인용하고, 해당 구절로 클릭해 들어갈 수 있다. 모델은 설치할 때 램에 따라 정해진다. 128GB 이상 맥에는 NVIDIA Nemotron 3.5 Super, 3296GB에는 Qwen3.8 27B, 32GB 이상 윈도우 박스에는 Nemotron 3.5 Lightning, 1631GB에는 IBM Granite 4.2 8B.
저자는 대부분의 AI 제품 페이지가 하지 않는 일을 한다. 테스트와 점수를 공개한다. 정전과 응급처치에 관한 질문 22개를 이전 빌드로 눈가림 채점했다. 큰 등급 둘은 22개 중 21개, 윈도우 모델은 19개, 그리고 대부분의 사람이 실제로 가진 기계에서는 14개 — 64%다. 그 숫자는 전부 랜딩 페이지 표에 있다. 숫자 자체가 기소장인데도 그걸 표에 올린 건 저자의 미덕이다. 노트북에서 세 번에 한 번 이상 틀리는 생존 도구는 생존 도구가 아니라, 확신에 찬 목소리를 가진 검색 프롬프트다.
스레드는 직접 설치해 테스트한 사람들과 그 범주를 두고 논쟁하는 사람들로 갈린다. 값어치 있는 건 직접 해본 보고들이다. 활로 돌리는 불피우기 도구(보우드릴) 만드는 법을 물었더니 축과 활, 불판까지는 맞게 말하고 나서, 축을 두 손바닥 사이에 끼우고 비비라고 설명했다 — 활은 완전히 무시하고 — 게다가 보우드릴이 만들지도 않는 불똥이 튄다고 덧붙였다. 다른 댓글러의 목록: 총기나 활사냥 자료 없음, 야생 동물 해체 없음, 미 육군 야전 교범 없음, 재장전에 관한 것 없음. 또 한 사람은 같은 문서를 담은 평범한 Kiwix 아카이브가 더 작고 결정적이며 환각을 일으킬 수 없다고 짚는다. 그게 맞는 비교다. 검색이 제품이고, 언어 모델은 인터페이스이며, 오류를 만드는 쪽이 인터페이스다.
애플이 M6 맥북 프로를 내놨고, 스펙표가 그 자체로 반대 논거다 — 419 points
419 points · 594 comments · apple.com · HN discussion
14인치 맥북 프로의 M6: 12코어 CPU(M5보다 두 개 많다), 코어마다 뉴럴 액셀러레이터와 3세대 레이 트레이싱 엔진을 넣은 12코어 GPU, 듀얼 16코어 뉴럴 엔진, 최대 170GB/s 메모리 대역폭, 최대 24시간 배터리. 애플이 내세우는 비교 대상은 전부 M5이고 전부 완만하다. 그래픽 30% 빠름, 온디바이스 AI 25% 빠름, 뉴럴 엔진 1.9배, LLM 첫 토큰까지 걸리는 시간 1.3배 단축. 인상적인 배수(13배, 11.7배, 3.3배, 2.5배)는 전부 2020년 M1 기준이고, 그건 5년 된 기계이며 차트를 극적으로 보이게 만드는 가장 싼 방법이다.
그다음 이 홍보를 무너뜨리는 문장. 통합 메모리 16GB 기본, 최대 32GB까지 구성. 애플이 온디바이스 AI로 파는 노트북이고, LLM 프롬프트 처리를 재는 차트까지 붙였는데, 어떤 양자화로도 70B급 모델을 담지 못하고, 중간 크기 모델 하나를 IDE와 함께 올려놓지도 못한다. 2026년에 1,599달러부터 시작하는 기계의 천장이 제대로 된 로컬 추론 환경의 바닥이라는 뜻이다. 같은 주에 같은 회사가 터치를 넣은 PROLED XDR 디스플레이 별도 페이지를 올렸고, 그건 그것대로 댓글 570개를 끌었다. 둘을 합치면 오늘 밤 프런트 페이지의 애플 대화는 전부 가격과, 일체형 데스크톱에 아직 구매자가 있느냐에 관한 것이고 실리콘 이야기는 아니다.
반대 독법도 들어볼 만하다. HN이 보통 과소평가하는 쪽이다. 170GB/s에 12코어 GPU면 대부분의 사람이 실제로 돌리는 토큰 예측 작업 — 자동완성, 받아쓰기, 이미지 생성, 사진 파이프라인이 쓰는 작은 모델 — 에는 충분하고, 24시간 배터리는 경쟁자가 못 맞추는 스펙이다. 문제는 이 기계가 나쁘다는 게 아니다. 마케팅이 하드웨어가 들어갈 수 없는 범주를 주장한다는 것이고, 댓글창은 한 시간 안에 그걸 알아챘다.
미국 법전의 git, 그리고 법이 저장소가 아닌 구체적인 이유 — 410 points
410 points · 222 comments · lexifina.com · HN discussion
의회가 성문법으로 제정한 편을 빼면, 미국 법전은 법의 표면적 증거일 뿐이다. 둘이 다를 때는 Statutes at Large가 우선한다. 법제개정국은 릴리스 포인트를 공개하는데, 각각 이름이 붙은 공법까지 반영된 상태이고, 이걸 계속 재편성한다. 어느 문장을 어느 공법이 썼는지는 조항 끝의 서술형 수정 주석에 있고, 변경이 언제 발효됐는지는 별도 발효일 주석에 있으며, 의회가 아무 말도 하지 않은 경우 기본값은 제정일이다. Lexifina의 논지는 변호사가 한 줄을 가리켜 누가 언제 썼는지, 그리고 그 조항이 과거 어느 날에 어땠는지를 볼 수 있어야 한다는 것이다.
그들이 든 실제 예시는 11 USC § 1182(1)의 소기업 채무자 정의이고, 입법적 끔찍함의 작은 걸작이다. 2019년에 기존 채무 한도로 만들어졌다. 2020년 3월 CARES법으로 임시 조치로서 750만 달러로 올라갔고, 2022년 3월까지 연장됐고, 2022년 3월 27일에 실효됐고, 2022년 6월 의회가 2년 더 복원했지만 2020년 3월 27일 이후 개시되어 아직 계류 중인 사건에만 적용됐다 — 방금 벗어난 그 공백을 거슬러 되돌아가면서. 2024년 6월 다시 만료됐다. 2025년 4월 3년 주기 조정 후 3,424,000달러다. 2022년 5월에 접수된 사건이라면, 당시 인쇄된 릴리스 포인트는 더 낮은 한도를 주고, 답을 바꾸는 것은 나중의 법률뿐이다.
그들이 인용하는 연구가 이 논증의 하중을 받는 부분이고, 법률 RAG를 만드는 누구에게도 듣기 좋은 이야기가 아니다. 뮌헨공대 연구는 모델이 독일 법조문에 관한 질문에 답할 때 자기 훈련 컷오프 이후 폐기된 규칙을 적용하고, 더 오래된 조항이 사실관계를 규율하는 경우에도 더 새로운 조항을 선호한다는 걸 발견했다. 한 모델은 컷오프 이후 질문의 24%를 혼자 맞혔고, 관련 법조문 텍스트를 검색해주면 87%를 맞혔다. 더 나쁜 것도 있다. 같은 연구진이 모델에게 개정법을 텍스트의 이전 버전에 적용시켰을 때, 출력은 공식 버전과 93~99% 유사해 보였는데 단일 개정은 절반만, 개정 사슬은 5분의 1만 정확히 일치했고, 전문가들은 그 비슷한 오답에서 법적으로 중대한 오류를 찾아냈다. 비슷한 것은 정확한 것이 아니다. 스레드의 반론도 남겨둘 만하다. 한 댓글러는 법전이 출력을 돌려보는 프로그램이 아니고, 의도와 사회적 맥락, 법률 간 가중치가 의미의 일부이며 diff는 그 무엇도 담지 못한다고 주장한다. 맞다. 하지만 텍스트를 틀리게 잡은 diff는 diff가 없는 것보다 나쁘고, 고칠 수 있는 부분은 메커니즘이다.
Tailscale의 SSH 버그는 권한 상승이고, 조언은 “끄지 마라”다 — 361 points
361 points · 186 comments · tailscale.com · HN discussion
보안 공지 네 건, TS-2026-014부터 017까지, 전부 Tailscale SSH의 권한 상승에 관한 것이다. 대부분의 발견은 같은 형태를 공유한다. 이미 Tailscale SSH로 접속할 권한을 가진 사람이 설정된 로컬 사용자의 권한을 넘어서 행동할 수 있고, 상승된 권한을 얻을 가능성이 있다. 악용 가능 여부는 접속 신원에 무엇이 부여됐는지, 노드가 어떻게 구성됐는지, 그리고 Tailscale이 아직 확인 중이라고 말하는 조건에 달려 있다. 현재 권고는 모두에게 Tailscale SSH를 끄지 말라는 것이 명시적이고, 잠정 완화책은 tailscaled 환경에 TS_SSH_DISABLE_FORWARDING=1을 설정하는 것이다. SSH는 살리고 SSH 포워딩만 죽이며, 더 심각한 발견 몇 개를 처리한다. 패치된 클라이언트는 10월 27일 화요일 말을 목표로 했다.
가장 유용한 댓글은 회사를 떠나 이제 조직에서 Tailscale을 운영하는 사람에게서 나온다. 그는 GitHub에 수정이 올라오는 걸 읽고 노출 범위가 좁다고 결론냈다. ACL이 노드에 SSH를 허용하면서 sudo나 root로 가는 경로가 없을 때 문제가 되고, 여기 있는 무엇도 애초에 권한이 없던 사용자에게 접근을 주지 않는다는 것이다. 대부분의 보안 글이 받는 프레이밍과 정반대이고, 아마 맞다. 스레드의 더 큰 논쟁은 Tailscale이 SSH를 해야 하느냐다. 한 벤더가 네트워크 계층과 그 안의 인증을 모두 맡으면, VPN이 우회하려던 단일 실패점을 다시 만든다. 서드파티 SSH 서버의 역사 — 가장 최근은 Mikrotik — 는 OpenSSH를 내놓고 재구현하지 말라는 긴 논거다. 둘 다 사실일 수 있다. 버그는 좁고 아키텍처 비판은 옳다.
아마존은 7월에 AI 모델을 연명 장치에 올렸고, 프런트 페이지는 10월에 알았다 — 361 points
361 points · 276 comments · futurism.com · HN discussion
아마존 Nova 모델 대부분은 내부자들이 “불이 꺼지지 않게만 유지”라고 부르는 상태다. 기술적으로는 지원되지만 자원은 최소다. 텍스트 모델과 이미지·비디오 생성기까지 포함된다. 인력과 컴퓨트는 버클리 로봇학습연구소 소장이자 2024년 아마존이 흡수한 Covariant의 창업자인 피터 아빌이 이끄는 단일 프런티어 작업으로 옮겨가고 있다. 이 보도 일주일 전, 아마존은 샌프란시스코의 80명 규모 AGI 연구 사이트를 닫았다. 구도는 이렇다. OpenAI에는 ChatGPT가, Anthropic에는 Claude가, 구글에는 Gemini가 있고, 아마존에는 AWS 밖에서 들어본 사람이 없는 모델이 있다.
중요한 정정은 댓글에 파묻혀 있다. 이 기사가 딛고 있는 블룸버그 보도는 7월 29일자다. 비즈니스 인사이더판이 그때 HN에 올라왔고 추천 6개, 댓글 2개를 받았다. 지금은 361점에 댓글 276개다. 아마존의 조직 개편보다 HN의 주의 주기에 대해 더 많이 말해주는 숫자다. 기사 내용 중 틀린 것은 없다. 상당 부분이 석 달 묵었을 뿐이고, 여름 이야기가 다시 떠오른 걸 새 뉴스로 취급하는 건 이 페이지가 매주 하는 일이다.
날짜를 옆으로 치웠을 때 실질적인 독법은 이렇다. 아마존은 프런티어 모델 경쟁을 포기하고 자기가 실제로 잘하는 것 — 자기 실리콘 위에서 남의 모델을 빌려주고, 로봇으로 창고를 자동화하는 것 — 으로 선회하고 있다. 한 댓글러의 표현대로 “연구와 훈련 비용은 다른 회사가 지게 하고, 하드웨어에는 엄청난 프리미엄을 붙여라”는 건 AWS 비즈니스 모델을 다시 쓴 것이고, GPT-3 수준으로 벤치마크되는 모델에 설비투자를 태우는 것보다 나은 사업이다. 다른 댓글러는 스레드를 보고 Nova를 써봤다가 첫 프롬프트의 사실을 잃고 같은 말을 반복하는 걸 발견했다. “GPT-3 수준인 것 같다.” 6주마다 개정되는 시장에서 경쟁하는 2년 된 모델이고, 아마존은 그걸 아니라고 하지 않기로 한 것으로 보인다.
인문주의자가 직장에서 AI를 쓰지 않을 종교적 예외를 Title VII로 인정받았다 — 337 points
337 points · 397 comments · religionnews.com · HN discussion
데이비드 더먼(45)은 켄터키 대학의 연구 행정 담당자다. 대학이 업무 흐름에 AI를 쓰라고 요구하기 시작했을 때, 그는 8월에 Title VII에 근거한 편의를 요청하며, 일상 업무에서 자기 사고를 Claude와 ChatGPT 봇에 넘기는 것이 자기 인문주의 신념을 침해한다고 주장했다. 9월에 대학이 이를 승인했다. 도움을 준 미국인문주의협회는 인문주의자가 AI 예외를 받은 첫 사례라고 본다. (RNS 페이지가 봇 차단을 걸고 있어서, 여기 내용은 그 기사를 전문 인용한 매체들에서 가져왔다.)
흥미로운 건 더먼이 AI를 쓸 필요가 애초에 없었다는 점이다. 그는 기대가 요구로 굳어지기 전에 선제적으로 신청했다. 도구 도입이 실제로 작동하는 방식에 대한 올바른 독법이다. 아무도 도구를 의무화하지 않는다. 그냥 그 도구를 쓰지 않는 사람의 예산을 잡지 않을 뿐이다. 스레드의 나은 절반이 이 주변을 돈다. 한 댓글러: “그에게 주어진 목표를 주어진 기한 안에 인간의 사고와 추론만으로 달성할 수 없게 되는 순간까지는 그에게 좋은 일이다.” 또 다른 사람: 생산성 격차가 충분히 벌어져 고용주에게 손쉬운 명분을 주면 그 예외가 버틸 수 있느냐. 맞는 질문이고 답은 아무도 없다. 판례가 아직 없기 때문이다. 이건 법정에 간 적이 없고, 인사 편의는 선례가 아니다.
스레드의 약한 절반은 경계 긋기 놀이 — 수동 변속기, 난방, 계산기 — 이고, 대부분 이 요청이 좁고 행정 담당자로서 자기 업무 산출물에 관한 것이라는 점을 놓친다. 여기서 진짜 새로운 것은 대칭성이다. Title VII는 종교적 반대자들이 어떤 일을 거부할 수 있도록 만들어졌고, 수십 년간 요청은 한 방향에서 왔다. 인문주의자가 그걸 생산성 요구에 맞서 쓰는 건 같은 메커니즘을 반대 방향으로 겨눈 것이고, 그게 만족스럽다고 느끼는 사람들은 그 방향이 자기 마음에 드는 쪽으로 계속 향하지는 않을 거라는 점을 알아야 한다.
매사추세츠의 공장 규모 로봇이 주문형으로 PCB를 만든다, 게다가 이미 5년째 돌아가고 있다 — 321 points
321 points · 161 comments · circuithub.com · HN discussion
CircuitHub의 The Grid는 제품마다 재구성하는 고정 조립 라인이 아니라 하나의 큰 로봇이다. 공중에 뜬 무버가 각 기판과 부품을 실어 나르며, 솔더 페이스트 인쇄, 부품 배치, 리플로, 솔더링, 검사 스테이션 사이를 오간다. 스케줄링은 학습된 모델과 에이전트, 고전적 최적화기가 맡는다. 기판마다 자기 경로를 갖기 때문에 서로 다른 설계 100종을 한 장씩 만드는 비용이 같은 설계 100장을 만드는 비용과 같고, 교체 준비가 없다. 5년째 고객을 위해 돌아가고 있고 연간 수천만 달러어치 전자를 생산한다 — 기판 220만 장, 부품 1억 5천만 개 실장, 엔지니어 26,000명. 올해 생산능력을 5배로 늘린다.
그들이 공개한 비교는 반박할 수 있을 만큼 구체적이고, 그건 드문 일이다. 4층 모터 컨트롤러, 기판당 부품 118개(고유 부품 38개), 조립된 기판 5장, 부품 포함, 미국 주소로 배송: The Grid에서 4일 만에 630달러. 선전의 퀵턴 업체 중위값은 배송비와 미국 관세를 포함해 9일에 약 465달러. 그들은 165달러를 엔지니어링 시간 5일의 값이라고 프레이밍한다. 미국 주소에서 그 프레이밍은 공정하다. 다른 곳에서는 아니다. 그 숫자에 든 관세를 세계 나머지는 내지 않기 때문이다. 한 댓글러가 짚듯 유럽 구매자에게는 선전이 두 축 모두에서 이긴다.
읽어야 할 건 이 일로 먹고사는 댓글러들이다. 선전에서 PCBA를 조달하는 한 사람은 진짜 지연이 라인 셋업이 아니라 부품 조달이고, 부품이 도착하면 파트너들이 하루이틀에 PCBA를 끝낸다고 한다. “교체 준비 없음”이라는 주장은 그가 본 30분짜리 셋업과 맞지 않는다. 또 한 사람은 설계 규칙이 엄격하다고 짚는다. 1oz 동박만, 매립 비아 불가. 그런데 그게 바로 그들이 예시로 든 대전류 모터 컨트롤러를 걸러낸다. 세 번째는 견적을 받으려다 가입과 거버 오류에서 막혔다. 그래서 이렇게 정리된다. 자동화는 실재하고, 마케팅은 특정되지 않은 경쟁자 하나를 상대로 한 벤치마크이며, 실제로 받아줄 수 있는 것의 제약 목록이 이게 제조 혁명인지 순한 기판용 서비스인지를 결정하는 부분이다.
디스코드 공개 서버가 웹 검색에 들어간다, 옵트아웃은 서버 단위 — 320 points
320 points · 197 comments · discord.com · HN discussion
검색 노출 서버(Discoverable Servers) — 멤버 1,000명 이상, 생성 8주 이상, 활동 기준을 충족하는 서버 — 는 11월 16일부터 서버 웹 페이지를 갖는다. 서버의 모든 사람에게 보이는 채널의 메시지가 12월 중순부터 그 페이지와 웹 검색에 나타날 수 있다. 관리자는 지금, 기한 전에 서버 설정 > 웹 프레즌스에서 채널을 제외할 수 있다. 사용자는 데이터 및 개인정보 아래 설정 하나로 채널 메시지를 끌 수 있지만, 채널 요약은 더 넓은 채널 주제에서 별도로 생성되고 관리자가 끄지 않으면 계속 표시된다. 메시지 옆에 사용자 이름과 아바타는 표시되지 않는다. 비공개 서버, DM, 그룹 DM은 전부 제외된다.
기본값이 켜짐이라는 게 이야기의 전부다. 관리자가 아무것도 바꾸지 않으면 공개 채널이 게시된다. 방어 가능한 제품 결정이고, 2021년에 흥미로운 모딩 커뮤니티가 있어서 “검색 노출” 서버에 가입한 사람들에게는 나쁜 결정이다. 그들은 자기 메시지가 색인되길 원해서 가입한 게 아니다. 스레드의 한 서버 관리자는 운영상의 문제로 간다. 떠난 멤버에게, 곧 검색 가능해질 자기 콘텐츠에 대해 어떻게 알리느냐. 설정이 전역인데 어떻게 한 서버에서는 빠지고 다른 서버에서는 안 빠지게 하느냐. 사용자에게 서버 단위 세분성은 없고, 전 멤버에게 알림을 보낼 경로도 없다.
스레드는 대체로 이 변화를 지지하고, 이유도 옳다. 기술 커뮤니티가 열린 포럼에서 디스코드의 담장 안으로 이주한 것이 인터넷에서 검색 가능한 Q&A 10년치를 앗아갔고, 이게 그중 일부를 되찾는다. 반대 댓글이 더 날카롭다. 위험은 AI 훈련이 아니라 익명성 해제다. GitHub과 반쯤 비공개인 게임 서버에서 같은 핸들을 쓴 사람은, 자기가 투표한 적 없는 서버 관리자의 기본값 때문에 자기 이력이 실명과 연결됐다. 검색 트래픽은 디스코드가 갖고, 노출은 커뮤니티가 지고, 그 값을 치르는 사람은 2019년에 뭔가를 올린 누군가다.
Emacs가 50살이 됐고, 그에 관한 기사는 중간에 포기했다 — 316 points
316 points · 126 comments · technologyreview.com · HN discussion
EMACS는 1976년 MIT AI 연구소의 비디오 터미널에서 처음 돌았다. 계보는 이렇다. 1962년 댄 머피가 PDP-1용으로 쓴 TECO — 명령이 대문자 한 글자였다. 1971년 칼 미켈슨의 Control-R — 한 줄을 다시 찍는 대신 화면을 계속 갱신했다. 1976년 스톨만이 스탠퍼드의 E 에디터를 보고 Control-R을 다시 만들어 모든 키가 자기 매크로를 실행하게 했다. 그다음 가이 스틸이 제각각으로 갈라진 매크로 패키지로 가득한 연구소를 표준 명령 집합에 합의시키려 했다. 그 결과에 대한 스틸의 말이 이 글에서 가장 좋은 부분이다. “내 목표는 위대한 새 텍스트 편집기를 만드는 게 아니었다. 나는 사회적 문제를 해결하려 하고 있었다.”
댓글 스레드가 진짜 50주년 기념 문서다. 30년 된 설정, 1978년 AI 연구소에서 시작해 아직 그 안에 사는 사람들, Magit과 ghostel과 vterm이 — 모달 편집, LSP, Electron, GUI git 클라이언트까지, 이 편집기를 죽일 거라던 모든 파도를 넘겨준 이유로 인용된다. 실질적으로 새로운 관찰은 코딩 에이전트가 Emacs를 더 유용하게 만들었다는 것이다. 균일한 확장 메커니즘을 가진 자기 문서화 리스프 환경은, 요청에 따라 당신 설정을 다시 써주는 LLM에 정확히 필요한 것이다. 한 댓글러는 Emacs 안의 AI를 “무슨 소원이든 들어주는 요정”이라고 부르는데, 이 편집기에 관해 쓰인 것 중 가장 브랜드다운 문장이거나 가장 불길한 문장이다.
비판 두 개는 견딘다. 첫째, 기사가 자기 주제에 흥미를 잃는다. 기술사를 꼼꼼히 쌓아 놓고 결론으로 빨리 감기하며, 이 프로그램이 왜 아직 있는지, 지난 30년이 어땠는지는 한 번도 설명하지 않는다. 폴 데이비스가 알아챈다. “Emacs 기원의 세부로 깊이 들어가다가 갑자기 포기하고, 빨리 감기고, 흐지부지 끝난다.” 둘째는 Emacs 자체에 대한 정직한 비판이다. 떠난 사람들은 같은 이유로 떠났다. 설정과 패키지 생태계가 자라서 도구가 두 번째 직업이 될 때까지. 50년은 성취다. 동시에 다른 모두가 더 단순한 것을 계속 쓸 이유를 50년간 축적한 것이기도 하다.
불평등을 축척대로 그리면, 5,000달러당 1픽셀 — 314 points
314 points · 370 comments · dreamagainusa.org · HN discussion
미국 가구 자산을 5,000달러당 1픽셀로 그리는 인터랙티브 페이지다. 그래서 최상위 1%의 막대는 이미지 위쪽으로 뚫고 나가고, 그래프 전체 높이는 36,842픽셀이다. 페이지가 말하는 비교 수치: 가구 중위값 211,292달러, 99백분위 15,033,455달러, 상위 1% 가구 평균 40,434,990달러로 중위값의 약 191배, 상위 0.1% 평균 184,209,560달러, 상위 0.01% 평균 약 9억 7,100만 달러. 벽에 붙일 인쇄용 PDF, 영상, 그리고 모든 숫자의 근거를 담은 별도 문서로 연결되는 출처·방법 페이지가 있다.
이게 작동하는 이유는 논증하지 않기 때문이다. 백만 대 1 비율의 막대 차트는 수직선이거나 스크롤바이고, 0.1%에 닿으려고 독자가 몇 분씩 물리적으로 스크롤하게 만드는 건 지니 계수에 관한 어떤 문단보다 나은 수사다. 중위 가구를 100달러 지폐로 쌓으면 660피트이고, 그건 “211,292달러”로는 안 되는 방식으로 머리에 그려지는 숫자다.
프레이밍은 프레이밍으로 취급하라. 이 사이트는 옹호 단체가 발행하고, 숫자는 추정치이며, 백분위 구성이 당신이 생각하는 분포와 맞는지는 방법 페이지에서 확인해야 한다. 백분위 구간 안의 평균은 구간을 어떻게 정의하느냐에 극도로 민감하고, 상위 0.1% 평균 1억 8,400만 달러는 어느 조사, 어느 해를 쓰느냐에 크게 달려 있다. 스레드의 최고 기여는 비판이 아니라 정직한 반응이다. 여러 사람이 이 페이지에서 처음으로 분포의 형태가 읽혔다고 말한다. 시각화가 해야 할 일 전체가 그것이고, 옹호 단체의 차트가 기술 사이트에서 댓글 370개를 받을 만한 이유다.
Anthropic이 신약 개발 사례 연구를 공개했고, 댓글창이 동료 심사다 — 311 points
311 points · 313 comments · anthropic.com · HN discussion
Anthropic 생명과학팀은 여섯 조직 — BigHat Biosciences, Bristol Myers Squibb, Divergence Labs, Enveda, Generate Biomedicines, The Column Group — 과 파트너십을 운영했고, 자체 발굴 프로그램도 시작했다. Claude가 “과학적·운영적 작업의 상당 부분을 처리”하는 희귀 소아 근디스트로피도 포함된다. 그들의 입장은 풀어야 할 단일 문제가 없다는 것이다. 병목이 파이프라인 전체에 분산돼 있기 때문이다. 표적 발굴, 모달리티 선택, 분자 설계, 제조 가능성, 임상 설계, 규제 제출, 임상 운영.
가장 구체적인 결과: Generate Biomedicines는 과학자 여섯 명과 함께 Claude Code를 써서 CAR-T 치료제의 유전 지시문 일부를 줄였고, 목표는 암 특이적 페이로드를 넣을 자리를 확보하는 것이었다. 한 설계는 표준보다 약 70% 짧아졌고, 실험실 시험에서 수용체를 약 10배 많이 만들고, 종양 세포를 더 효율적으로 죽이고, 더 오래 활성을 유지했다. 메커니즘이 붙은 실제적이고 구체적이며 반증 가능한 주장이고, 대부분의 AI-생물학 발표보다 위에 있다. 글의 나머지는 전부 과정이다. 공개하기 정직한 것이고, 동시에 외부에서 평가할 수 없는 것이기도 하다.
스레드는 신약을 실제로 내놓은 사람들의 심사 패널처럼 읽힌다. 반복되는 반론: 분자를 설계하는 건 일의 10~20%이고, 더 많은 설계가 의약품이 되지 못하는 이유는 설계가 부족해서가 아니다. 피드백 주기는 몇 년에 한 바퀴 수백만 달러다. 화합물이 실험실에서 경쟁자를 이기고도 안전성 프로파일에서 질 수 있고, 부작용을 고치려면 새 임상이다. 전직 신약 개발자의 판정이 최고의 문장이다. 생물학은 외계 기술을 역설계하는 일이고, 수학과 공학은 잘 정의된 부품에서 쌓아 올린다. 병목은 잘 정리된 넓은 데이터이지 지능이 아니다. 구조적 유인도 짚어야 한다. 한 댓글러가 이름 붙인다. Claude를 바이오테크에 팔면서 Claude를 개발 과정에 더 깊이 통합해야 한다고 결론 내리는 Anthropic은 자기 시장을 위해 논증하는 벤더다. 사례 연구가 사실이면서 결론은 자기 이익에 봉사할 수 있다.
카르멜 수도사들이 5축 CNC로 고딕 석조를 깎는다 — 298 points
298 points · 102 comments · carmelitegothic.com · HN discussion
와이오밍의 한 수도원이 고딕 성당을 짓고 있고, 장식은 Prussiani Engineering의 이탈리아 석재 CNC 기계로 깎는다. 5축 밀, 첨탑과 조각상 같은 높은 부재에는 때때로 6번째 선반 축, 다이아몬드 팁 공구로 자르는 대신 연삭, 냉각과 슬러지 배출을 위한 물. 숙련된 조각가가 몇 달 걸리던 장식 부재가 며칠 만에 나온다. 기계는 밤새 무인으로 돌아가므로 40시간짜리 작업 주가 이틀 안쪽 기계 시간에 들어간다.
수도사들이 내세우는 논증은 명시적으로 향수가 아니다. 중세 건축가들은 자기 시대의 기술 최전선에 있었고, 고딕 건축이 “평생 머릿속에만 갇힌 낭만적 관념”으로 남지 않고 존재하길 원한다면 가진 것을 쓰면 된다. 흥미로운 이차 효과는 노동 쪽이다. 끌을 잡아본 적 없지만 컴퓨터와 함께 자란 젊은 남녀를 CAM 소프트웨어 앞에 세울 수 있다. 이 페이지가 보통 다루는 자동화와는 진짜로 다른 설명이다. 기계가 장인을 대체하는 게 아니라, 다른 사람이 장인이 되게 해준다. 숙련 하한은 낮아지고, 산출 상한은 손목이 아니라 프로그래머와 설계가 정한다.
오늘의 다른 자동화 이야기들에 대한 반례로 읽어라. 댓글 102개를 받을 자격이 거기서 나온다. 이 작업 흐름에는 에이전트적이거나 학습된 것, 비결정적인 것이 하나도 없다. 누군가 고른 좌표를 컴퓨터가 따라가고, 매 패스마다 확인하며, 인간의 판단은 전부 모델과 공구 경로로 옮겨졌다. 작동하고, 대안보다 싸고, 자기 자신을 설명하지 못하는 시스템을 아무도 신뢰할 필요가 없었다.
UEFI 네트워크 스택의 16년 된 버그, 실수로 석 달 일찍 공개됐다 — 290 points
290 points · 205 comments · arstechnica.com · HN discussion
CVE-2026-97631, 9.5/10, TianoCore EDK2의 PXE Base Code 드라이버. AMI, Insyde, Phoenix 등 대부분의 펌웨어 벤더가 UEFI를 만드는 참조 구현이고, 마이크로소프트의 강화된 Project Mu 포크도 포함된다. 버그는 16년 된 버퍼 오버플로다. NetworkPkg/UefiPxeBcDxe가 네트워크 부팅 중 ICMP 오류 메시지에 대한 수신 요청을 열어 두고, 각 메시지를 고정된 504바이트 필드 Mode.IcmpError에 복사한다. 경계 처리가 IPv4와 IPv6 핸들러 양쪽에서 틀렸다. 과대한 메시지는 필드를 넘겨 계속 복사되고, 목적지 포인터가 조각별 길이가 아니라 누적 길이로 전진하므로 공격자가 제어하는 바이트가 끝을 넘어 착지한다. 수신 경로의 어느 앞단에서도 길이를 검사하지 않는다.
페이로드는 링 0에서 실행되고, OS보다 먼저, Secure Boot가 뭔가를 할 수 있기 전에 돌며, 짧은 시간 네트워크 접근을 가진 공격자가 디스크 암호화를 깨거나 TPM 기반 키를 빼낼 수 있게 부팅 체인을 오염시킬 수 있다. 서비스 거부라면 부팅을 멈추게만 하면 된다. 읽어야 할 요약은 HD 무어의 것이다. 엔드포인트나 서버 근처의 공격자가 “부팅 과정이 아직 엔드포인트의 TPM 같은 민감한 구성요소에 접근할 수 있는 지점”에서 프로그램 흐름을 탈취할 수 있다.
공개 과정 자체가 작은 스캔들이다. 알렉스 마트로소프(Anthropic)와 댄 홈스(구글)가 1월까지 엠바고를 걸고 있었다. AMI가 지난달 설명과 수정을 모두 담은 풀 리퀘스트를 공개했고, 발견자들이 그걸 본 뒤 TianoCore가 지난주 권고문을 냈다. 패치 코드가 공개됐으니 이제 동작하는 익스플로잇은 주말 프로젝트이고, 수정은 펌웨어 벤더와 OEM, 모든 클라우드 사업자의 함대를 거쳐 전파돼야 한다. UEFI 버그가 일 단위가 아니라 연 단위로 측정되는 이유다. 댓글은 심각도에 반론을 건다. 합당하다. PXE 부팅 창 동안 로컬 네트워크 접근이 필요하고, 한 댓글러는 그런 접근이 있는 공격자라면 악성 부팅 이미지를 그냥 제공하면 되는 것 아니냐고 묻는다. 답은 그렇다, 대체로. 그래서 이건 실제 취약점이고 악용 경로는 좁으며 헤드라인이 세 치수 큰 사건이다. 흥미로운 잔여물은 한 댓글러가 OVMF에 대해 짚는 것이다. C 100만 줄은 인기가 있어서 안전한 게 아니고, LLM 보조 감사가 이런 걸 훨씬 많이 찾아낼 시점에 “행성에 패치 뿌리기”는 확장되지 않는다.
28살 DOGE 요원이 서류 없이 3주 동안 USAID를 운영했다 — 240 points
240 points · 168 comments · wired.com · HN discussion
2025년 3월 18일, 마코 루비오는 USAID 임시 청장으로서 정책·프로그래밍 부청장과 최고운영책임자의 권한을 제러미 르윈에게 위임했다. 28살, 하버드 로스쿨 졸업, 전직 투자은행원, DOGE 관련 인사. WIRED가 검토한 내부 이메일에 따르면 3월 18일부터 4월 4일까지 3주 동안, 르윈은 원조 프로그램을 취소하고 수천 명의 해고를 승인하면서 연방 표준 채용 전 신원조회서인 OF-306을 제출하지 않았고 인사팀이 보낸 채용 제안도 수락하지 않았다. USAID 보안팀은 고용 기록이 없어서 그에게 신분증을 발급할 수 없었다. 그는 법률 자문을 받아 기존 권한에 따라 루비오가 자기를 파견하고 이중 임명했다고 말한다. 이메일에는 인사팀이 3월 말까지 서류를 쫓아다니는 모습이 남아 있다.
3월 28일 그는 남은 USAID 직원 전원을 해고하는 서한에 서명했고, 이어 해외 60개 사무소 전부를 청산했다. 그가 그 모든 일을 할 법적 권한이 있었는지는 이제 DOGE와 행정부를 상대로 한 수십 건의 소송에서 살아 있는 쟁점이고, 답은 누구나 본안으로 논쟁할 수 있는 정책 이견이 아니라 제출되지 않은 서류에 달려 있다. 눈여겨볼 패턴은 이것이다. 장악의 기제는 법리가 아니라 행정적 미비였고, 그 일이 벌어진 기관들이 바로 이제 기록이 증거가 된 기관들이다.
데비안 개발자가 NEW 큐가 LLM 리뷰를 돌린다는 이유로 업로드를 거부한다 — 238 points
238 points · 144 comments · lists.debian.org · HN discussion
요하네스 샤우어 마린 호드리게스, debian-devel, 10월 26일. NEW 큐 처리가 이제 공지 없이 업로드를 언어 모델에 통과시키고, 리뷰 텍스트도 그렇게 말한다. “이것은 Debian Inference 기반 워크플로를 쓰는 LLM 기반 리뷰입니다. DFSG 팀 구성원이 작성하지 않았고 구성원이 확인하지도 않았습니다. 패키지에 대한 결정이 아닙니다. 틀릴 수 있고, 놓친 것이 있을 수 있습니다.” 그의 대응은 깔끔한 거부다. 틀릴 수 있는 기계 출력을 읽지 않겠다. 자기 업로드가 토큰 소비 통계의 일부가 되게 하지 않겠다. 옵트아웃할 수 없다면 NEW에 아무것도 올리지 않겠고, LLM 리뷰 없음을 기본값으로 하고 명시적 옵트인을 두는 쪽을 선호한다.
논증은 흔한 반대보다 정교하고, 프로젝트 자체의 총의결을 겨눈다. GR은 데비안이 생성형 AI를 지지하지도 금지하지도 않는다고 말한다. 하지만 DFSG를 해석하는 팀이 모든 NEW 업로드를 모델에 통과시킨다면 그 구분은 무너진다. GR은 또 프로젝트 전반에 영향을 주는 행동을 하는 기여자는 사전 논의와 합의를 먼저 구하라고 한다. 모든 업로드를 LLM으로 처리하는 것은 그의 독법으로 정확히 그것이다. 그의 대안은 Lintian이다. 자유 소프트웨어이고, 재현 가능하고, 틀렸을 때 고칠 수 있고, 오버라이드를 추가할 수 있다. LLM은 고칠 수 없고, 오버라이드할 수 없고, 결정적임을 보일 수도 없다. “LLM에 버그가 있으면 내가 고칠 수 없다. 모델은 바이너리 덩어리다.”
이걸 원칙 있는 태도로 보느냐 지나친 고집으로 보느냐는 DFSG 팀의 노동 문제가 실재한다고 보느냐에 달려 있다. NEW 처리는 고마운 일이 없는 작업이고, 명백한 라이선스 문제를 잡아내는 1차 리뷰어가 아무것도 아닌 건 아니다. 하지만 살아남는 반론은 기술적이지 않고 제도적이다. 구성원이 모든 구성요소를 검사하고 수리할 수 있다는 것이 헌법적 주장의 전부인 배포판이, 아무도 검사할 수 없는 구성요소를 방금 추가했고, 투표도 없이 그랬다.
Lean 4,310만 줄, 그리고 유한 단순군 분류의 실제 구멍 하나 — 236 points
236 points · 74 comments · cfsg.axiommath.ai · HN discussion
유한 단순군 분류의 1세대 증명을 Lean으로 완전히 형식화한 것. 4,310만 줄, 205만 개 선언, 수천 쪽짜리 논문을 따라가며, 대략 100명의 수학자가 수십 년에 걸쳐 쓴 증명이다. 모든 유한 단순군이 소수 위수의 순환군이거나, 교대군이거나, 리형이거나, 26개 산재군 중 하나라는 것을 보인다. 4,300만 줄의 모든 논리 단계는 Lean 커널이 검사하고, 그게 이것을 논문과 구별하는 유일한 속성이다.
중요한 결과는 형식화가 아니다. 1세대 증명을 따라가던 중 팀은 Unbalanced Group Theorem에 대한 발표된 논증에서 쓰인 닫힘 주장에 대한 반례를 찾았고, 그 장애물과 함께 단순군의 경우 솔로몬의 1976년 극대 2-성분 이론에 기반한 대안 경로를 정리했다. 새로운 군론 논문 — Hexagon 2610.00575, 35쪽 — 이 기계화의 부산물로 나왔고, 이 실천에 대한 가장 강력한 논거다. 증명은 40년간 받아들여졌고, 기계가 구멍을 찾았다.
스레드에서 가장 날카로운 댓글은 놀란 쪽이다. 논문을 그렇게 많이 쓴 사람이 그렇게 많은데 구멍이 하나만 나왔다는 것. 불평의 형태를 한 칭찬이고, 본능이 옳다. 검사된 4,310만 줄의 가치는 “우리는 이걸 믿는다”를 “이건 컴파일된다”로 바꾼다는 데 있다. 아무도 답하지 않는 열린 질문은 비용이다. 한 댓글러는 돈과 에너지가 얼마나 들었는지 묻는다. 페이지는 말하지 않고, 기여자 목록은 33명이며, 그 답이 이것이 일회성 기념비인지 분야 나머지를 위한 형식화 파이프라인의 시작인지를 결정할 것이다.
생화학무기 함수 이름으로 가득한 핑거프린팅 스크립트, 그리고 그걸 보기 거부한 모델들 — 245 points
245 points · 45 comments · nullpt.rs · HN discussion
저자는 Playwright로 Tranco 상위 10,000개를 크롤링했고, 캔버스 toDataURL과 navigator.webdriver를 훅해서 무해한 캔버스를 걸러냈고, 캔버스 렌더링 1,033개를 fingerprint.garden에 모았다. 그중 하나가 Tame Impala의 Currents 앨범 커버처럼 보였고, 그게 servicepipe.tech/static/checkjs/...로 이어졌고, 다시 computeRicinLethalDosageForWaterSupply와 calculateDeadlyLethalSuicideAspirinDosage라는 이름의 함수를 담은 난독화 자바스크립트로 이어졌다. 그 함수들은 “성인 치사 임계값 N mg/kg 확인” 같은 summary 필드를 가진 객체를 반환한다.
가설은, 거의 확실히 맞는데, 이건 반(反)LLM 난독화다. 모델 안전장치를 건드리는 것들로 변수를 명명하면 디오브퓨스케이션 보조가 일을 거부한다. 실제로 통했다. Astra는 생물학 연구 위험을 이유로 거절했고, 두 번째 모델도 그랬다. 스캐너는 핑거프린팅 스크립트이고, 페이로드는 캔버스 해시이며, 생화학무기 코드는 존재하지 않는다. 존재하는 것은, 추적기를 보호하려고 모델이 살인과 자살을 생각하게 만드는 방식으로 작동하는 방어 기제이고, 안전 계층 전체가 클라이언트 측 안티 분석 도구로 변하는 걸 지켜볼 수 있다.
댓글은 두 가지에 닿는다. 첫째, 이제 이건 일반적인 기법이고 이름이 필요하다. 한 댓글러는 “LLM 허수아비 만들기”를 제안한다. 오픈 웨이트 모델은 트리거 문구가 같은 가중치로 박혀 있지 않아서 덜 걸린다고 한다. 둘째, 윤리적 불편함이고 그게 맞는 음조다. “우리는 LLM이 난독화된 코드를 해독하지 못하게 만들려고, 자살과 자해, 사람 죽이기를 생각하게 만들 것이다. 그냥 철학적으로 불편하다.” 이 사건 전체는 내용 기반 안전 훈련이 표면 위의 필터라는 것, 그리고 어떤 표면 필터든 입력을 통제하는 사람이 속일 수 있다는 것의 깔끔한 실연이다.
섹션 아래의 새것들
- 그래프 이론을 시작하라 — 468 points · 106 comments — 미하일 라브로프의 그래프 이론 입문 교재. 크리에이티브 커먼즈 라이선스로 무료이고, 온라인이나 PDF로 읽을 수 있다. 퍼즐에서 증명으로 넘어가는 구성이고, 그게 올바른 진입로이며 대부분의 교재가 건너뛰는 부분이다. 발표도, 펀딩 라운드도, 벤치마크도 없다. 누군가 쓴 책일 뿐이다.
- 움직이는 잉크 방울이 니콘 스몰 월드 콘테스트에서 우승했다 — 374 points · 68 comments — 올레 비엘펠트(25)가 69개국에서 온 1,802개 출품작을 이기고 잉크젯 방울이 종이에 닿는 순간을 찍은 이미지로 우승했다. 그는 락다운 중 부모님 다락에서 오래된 현미경을 찾았고, 관 하나와 나무 조각으로 어댑터를 만들었고, 프린터를 분해해 헤드가 고정된 채 종이를 움직이게 했고, 암실에서 플래시를 셔터로 써서 카메라의 가장 빠른 노출보다 빠른 방울을 얼렸다. 이미지에 AI는 없다. 그는 묻지도 않았는데 그렇게 말한다. 이제 그건 반드시 말해야 하는 것이 됐다.
- PROLED XDR 디스플레이와 터치를 갖춘 맥북 프로 — 336 points · 570 comments — M6 발표와 별도로 청구된 두 번째 애플 페이지로, 디스플레이 기술과 터치 레이어에 관한 것이다. 댓글 570개에 패널 이야기는 거의 없다. 스레드는 노트북 화면을 만지는 게 언제든 용인될 수 있느냐, 그리고 업그레이드 비용이 얼마냐에 관한 것이다.
- 디바이스 트리에 나타난 Raspberry Pi Zero 3W와 Pi 4 Model A — 206 points · 135 comments — 디바이스 트리 파일이 공지 없이 커널 트리에 들어왔다. Zero 3 W는 Pi 4의 쿼드 A72인 BCM2711을 탑재해 Zero 2 W의 A53을 대체하고, SPI 플래시 부트로더(Zero 2 W에는 없던 것), GPIO 46의 전원 버튼, HDMI 출력 하나, 그리고 8비트 eMMC로 구성된 저장 컨트롤러를 갖는다. 저자는 그게 가격을 깨뜨리기 때문에 양산까지 살아남을지 의문이라고 본다. 디바이스 트리로는 답할 수 없는 열 문제: Zero의 폼팩터에 BCM2711.
- FCC, 아마존 레오의 115억 달러 Globalstar 인수 승인 — 204 points · 94 comments — 우주국이 10월 27일 이 거래를 승인해, 국제 조화된 이동위성 주파수 약 25MHz와 Globalstar의 위성, 사설 5G 사업을 아마존에 넘겼다. 4월에 발표됐다. 아마존 AI 기사와 나란히 읽어라. 이 회사는 모델로 경쟁하는 대신, 실제로 운영할 수 있는 것 — 주파수, 위성, 물류 — 을 사고 있다.
- 나무 기르기 — 202 points · 28 comments — 팔루비츠키 등이 SIGGRAPH 2009에 낸 자기조직화 나무 모델의 깔끔한 구현. 봉오리가 복셀 그리드에서 빛을 두고 경쟁하고 기여도는 깊이에 따라 감쇠하며, 빛은 뿌리까지 합산되고, 성장 자원은 다시 위로 분배되며, 보르허트-혼다 분기 매개변수 λ가 주축과 측지에 얼마나 갈지를 정한다. λ = 0.46이면 넓은 수관, 올리면 첨탑이 된다. 신경망은 어디에도 없고, 그래도 수관 모양은 디퓨전 모델이 만드는 무엇보다 나무처럼 보인다.
아직 페이지에 남아 있는 것들
오늘 밤 페이지는 거의 움직이지 않았다. 200점 창 안에 남은 캐리오버 34개 중 24개가 50점 미만으로 올랐다. 페이지 상단이 얼어붙었을 때의 모습이다. 같은 이야기들이 남은 관심을 나눠 먹는다. 예외는 전부 어제 섹션으로 다룬 뒤에 달린 이야기들이다.
주목할 이동 세 개는 각각 한 문장씩 값어치가 있다. Ghostty 1.4가 380에서 1,267로 — 터미널 에뮬레이터의 릴리스 노트 점수를 하루 만에 거의 세 배로 — 간 것은 오늘 밤 프런트 페이지에 읽을 새것이 없었다는 가장 명확한 신호다. FISA 결정이 489점을, Genie 4가 547점을 더한 것은 진지한 주제를 가진 같은 현상이다. 이야기가 큰 댓글 수와 함께 창에 들어오면 뉴스가 아니라 노출로 점수를 쌓는다. 둘 다 이틀째 관심을 붙잡을 실체가 있었다. 한편 Anthropic의 스탠퍼드 책 이야기는 273에서 562로, 파이썬 실험적 JIT 제거는 369에서 560으로 갔다. 배치가 시사하는 것보다 훨씬 중대한 두 이야기다.
창에서 빠진 이야기는 14개이고, 전부 거의 점수를 더하지 않았다. 대부분 끝났다는 뜻이다. 로컬 위키백과 1,714 → 1,718, 아이폰 해킹 1,121 → 1,123, Kimi K3.1 Pro 1,091 → 1,095, 나는 검열된 인터넷을 받아들이지 않는다 546 → 549, 오리건 경찰 기록 수수료 520 → 523, 스위스 블록 하나씩 474 → 482, OpenAI와 Anthropic의 가격 인하 431 → 439, Overgrown 403 → 404, TitleArt 395 → 403, 내가 프로그래머인 이유 319 → 322, 파스칼의 버스 노선 306 → 307, 2달러 마이크로컨트롤러 위의 SIMD 226 → 228, 핵심 물자로서의 헬륨 225 → 229, CorridorKey 204 → 205.
관통하는 것
오늘 밤 이 페이지의 모든 것은 기록에 관한 주장이고, 그 기록이 싸움이다. 애플은 10월 17일에 오염된 CA를 알았고, 10월 26일 자기 권고를 다시 망가뜨리는 OS 업데이트를 냈다. 작은 보안 패치를 내놓을 메커니즘이 없기 때문이다. 루트 번들이 기록인데, 그게 갱신되지 않았다. TianoCore의 16년 된 PXE 오버플로 엠바고는 1월까지였고, 벤더의 풀 리퀘스트 하나로 터졌다. 데비안의 NEW 큐는 이제 모든 업로드에 LLM을 돌리고, 그 출력은 첫 문장에서 자기 권위를 부인하며, 한 개발자는 업로드를 거부하는 것으로 답했다. ICE는 증거개시를 통과할 수 있는 산출물 — Signal 캡처, 드론 영상, DNS 질의, Stripe 지문, 상업 데이터 브로커 기록 — 로 감시 작전을 세웠고, 그걸 읽히게 만든 유일한 것은 피고 15명의 변호인들이 문서를 받아낸 일이다. 그리고 수학자 한 무리가 Lean 4,310만 줄을 만들어, 40년간 모두가 받아들인 증명에서 진짜 구멍을 찾았다. 페이지에서 기록이 나아진 유일한 항목이다.
두 번째 줄기는 발표가 산출물에서 떨어져 나갔다는 것이다. Gemini 4 Carbon은 게이트된 롤아웃과 프로그램 이름을 달고 지능 지수 1위이고, 댓글창은 구글 자사 웹사이트에서 이전 모델을 찾지 못하는 사람들로 가득하다. 아마존의 AI 후퇴는 실재하고 동시에 석 달 묵었다. 같은 블룸버그 기사가 7월에 추천 6개를 받고 오늘 밤 361점을 받았다. HN에 관한 사실이지 아마존에 관한 사실이 아니다. M6 맥북 프로는 온디바이스 AI로 팔리면서 통합 메모리 32GB에서 멈춘다. 생존 LLM은 자기 테스트 점수를 공개하는데 16GB 등급은 36% 확률로 틀린다. 그에 맞서는 것들: 컴파일되는 Lean 4,310만 줄, 5년째 제조를 돌리며 나흘에 기판 다섯 장을 건네는 매사추세츠의 로봇, 공식 텍스트와 365건의 수정을 대조해 맞춘 미국 법전 git 이력, 그리고 다락의 현미경과 분해한 잉크젯 프린터로 무장한 25살이 생성 모델을 건드리지 않고 사진작가 1,802명을 이긴 일.
그리고 그 밑에서 흐르는 세 번째는, 데이터를 가장 많이 가진 제도가 그것을 가장 못 보여준다는 것이다. 법정 비밀해제 기한을 45일 넘긴 FISA 의견서, 여전히 기밀. 삭제일이 찍힌 EPA 웹 아카이브. 인사팀에 고용 기록이 없는 채로 3주 동안 기관을 운영한 DOGE 인사. 범위가 변호인 측의 소환 때문에만 문서화된 ICE 작전. 패턴이 충분히 일관돼서 방법론이라고 불러도 된다. 기록은 사라지지 않는다. 승인 절차가 앞에 붙은 어딘가로 옮겨간다. 그리고 수면 위로 올라오는 이야기는, 소송 자격을 가진 누군가가 문서를 강제로 끌어낸 것들뿐이다. 이 페이지의 다른 모든 이야기 — 모델, 노트북, 로봇, 브라우저 지문 — 는 누군가 공개하기로 선택한 산출물에 관한 이야기다. 오늘 밤 흥미로운 것들은 누군가 공개하지 않으려 한 것들이다.