오늘 아침 HN 랭킹 목록 500개 전체를 훑어보니 200포인트 이상 기사가 130개였다. 그중 새 글은 25개다. 나머지 105개는 이 라운드업이 이미 다룬 기사들이고, 오늘 가장 높은 점수를 받은 새 항목(601포인트)은 기존 항목 32개 아래에 있다 — 그중 맨 위는 2,122다. 오늘 네 자릿수 점수를 받은 새 기사는 없고, 새로 들어온 게 거의 없는데도 200을 넘긴 기사 수는 어제 105개에서 늘었다. 이 조합이 뜻하는 건 하나뿐이다: 목록의 위쪽 절반은 이제 천천히 썩어가는 아카이브이고, 점수가 계속 오르는 이유는 다시 찾아온 독자가 이미 읽은 것에 계속 투표하기 때문이다.
실제로 움직인 건 법정의 하루다. Nitter는 변호인이 없다고 인정했고 살아남지 못할 수도 있다; Exxon의 내부 메모는 매사추세츠 법정에 계속 제출되고 있다; Yandex는 세 번째 데이터센터를 잃었다; 샌프란시스코 인허가를 다룬 브라우저 게임은 이 페이지에서 가장 나은 정책 논증이다. 그 밑바탕에는 같은 것을 다른 각도에서 다루는 기사 무리가 깔려 있다: 그래도 네가 뭘 하는지 알아야 하고, 그 단계를 건너뛰려는 모든 시도에는 청구서가 붙는다.
2D Vehicles — 601포인트
601포인트 · 댓글 114개 · patkerr.co.uk · HN 토론
1996년 Patrick Kerr는 Atari ST에서 GFA BASIC으로 2D 강체 시뮬레이션을 작성했다 — 차, 배, 벽돌 — 그리고 그것은 원조 Grand Theft Auto의 차량 핸들링이 됐다. 그는 이제 30주년을 맞아 그것을 JavaScript로 재현해 플레이 가능한 “Motion Lab”으로 만들었다: 세 가지 차량 모드, 중력과 충돌 장벽 토글, 그리고 원작의 두 가지 카메라 동작 — 이동 데드존과 속도 기반 줌아웃.
기술적 내용은 의도적으로 좁은 모델이다. Kerr 본인의 설명은 벽돌로 시작해 Thrust에 대한 오마주로 배를 추가하고, 차로 읽히게 할 만큼만 덧붙였다는 것이다. 그 반대를 요구한 댓글러들 — 어떻게 코딩했는지가 아니라 왜 그게 맞게 느껴지는지를 제대로 설명해 달라는 — 은 대부분 답을 못 받았고, 한 사람은 도해가 이해 불가능하고 글은 어느 LLM이든 만들어낼 수 있는 종류라고 노골적으로 말한다. 그 비판은 타당하고, 동시에 이 페이지를 읽을 가치가 있게 만드는 걸 놓치고 있다: 누군가 고립된 개념 하나를 갖고 놀고 싶어서 존재하는, 생산 요구 사항이 전혀 붙지 않은 작동하는 장난감.
페이지의 또 다른 요소는 면책 조항이다. 요청도 없이, 이탤릭체로, 두 번이나 Kerr는 이것이 Take-Two, Rockstar와 무관하며 그 점을 분명히 하는 게 “기쁘다”고 밝힌다. 아무것도 팔지 않는데도 1996년의 주말 프로토타입이 2026년에는 법적 방패를 필요로 한다. 댓글란은 같은 모델을 스스로 재구축하는 사람들로 가득하다 — Verlet 적분, 자전거 모델, 3D로 끝나버렸고 재미는 훨씬 덜하다고 인정하는 것까지 — 이는 글 자체보다 이 작업의 더 나은 광고다.
The Lightbulb Computer — 566포인트
566포인트 · 댓글 93개 · lightbulbcomputer.com · HN 토론
투기적인 기기 디자인이다: 프로젝터에 카메라, 마이크를 더하고, 과대한 전구 모양으로 포장해 기존 천장 소켓에 끼우면 방 전체가 스크린이 된다. 음성과 제스처가 입력이고 투사된 그래픽이 출력이며, 한 시점이 방 안의 모든 표면을 커버한다.
스마트 안경에 반대하는 논거가 이걸 지지하는 논거이고, 한 문장으로 만들어진다: 모든 방에 이미 에디슨 소켓이 있고, 얼굴에 얹혀 사는 건 아무것도 없다. 천장 마운트는 시야 문제, 사회적 어색함 문제, 배터리 무게 문제를 한꺼번에 해결하는데, 그래서 아무도 출시하지 않았는데도 이 디자인이 되돌아보면 뻔해 보인다. 저자는 이것이 제품이 아니라 디자인 프로토타입이며, 데모는 커스텀 프로젝션 매핑 소프트웨어와 소비자용 4K 레이저 프로젝터, 웹캠을 갖춘 Mac에서 돌아간다고 분명히 밝힌다. 영상을 제품 발표로 읽으면 안 된다.
가장 좋은 댓글은 칭찬이 아니라 반대다: 침실 천장에 볼트로 고정된, 항상 켜져 있고 항상 듣고 항상 보는 기계는 절대 떠나지 않는 지니이고, 그것에게 평범한 언어로 말을 건다는 사실이 더 친근하게가 아니라 더 나쁘게 만든다. 두 번째로 좋은 댓글은 예측이다 — 언젠가 양산된다면, 그것은 클라우드와 대화할 것이다. 둘 다 어떤 주변 컴퓨팅 데모에도 맞는 자세다: 흥미로운 질문은 투사가 작동하느냐가 아니라 누가 센서 피드를 쥐느냐다. 저자는 가장 많이 받는 질문에도 답하는데, 기술 사양은 없다는 것이다, 제품이 없으니까.
Yandex의 봇 트래픽 — 562포인트
562포인트 · 댓글 224개 · radar.cloudflare.com · HN 토론
AS13238 — Yandex — 로 필터링한 Cloudflare Radar 대시보드로, 그 네트워크에서 나오는 봇 트래픽이 7일 창에서 급락하는 모습을 보여준다. 제출은 Yandex의 크롤링에 뭔가 극적인 일이 벌어졌다는 함축적 독해와 함께 올라왔다.
제출한 사람은 축을 안 읽었다. 이 차트는 그 ASN에서 나온 요청 중 봇으로 분류된 비율이므로, 사람들이 트래픽을 안 보내기 시작하면 당연히 급락한다 — 움직인 건 분모지 크롤러가 아니다. 러시아 전체와 전 세계에 대해 같은 뷰를 확인한 댓글러들은 뚜렷한 패턴을 못 찾았고, 최고 추천 정정 댓글은 뻔한 말을 한다: Yandex는 러시아의 검색 엔진이고, 크롤러는 웹을 색인하는 방식이며, 데이터센터 용량 절반이 오프라인인 공급자의 색인 트래픽 감소는 이 집합에서 가장 놀랍지 않은 숫자다. 한 댓글러는 그 ASN에서 나오는 트래픽 대부분이 UDP이며, 악성 크롤링으로 보기에는 무해해 보인다고 지적한다.
여기서 가치가 있는 건 3차 추론이고, 몇몇 댓글러가 이걸 정확히 짚는다: Yandex에서 나오는 HTTP 트래픽은 세 번째 타격 이후 사실상 0으로 떨어졌는데, 앞선 두 번의 타격이 이미 그것을 저하시킨 상태였고, 검색 페이지 자체는 여전히 서비스된다. 이는 크롤러는 어두워졌지만 제품은 살아 있다는 뜻이다 — “봇 요청 비율 하락”보다 훨씬 구체적이고 훨씬 흥미로운 사실이며, 누군가 헤드라인 숫자 대신 실제 대시보드를 들여다보려 애썼기 때문에만 알 수 있는 사실이다.
도시는 네가 짓지 않기를 바라는 도시 건설 게임 — 508포인트
508포인트 · 댓글 169개 · housing.over.pizza · HN 토론
Discretionary Review는 너를 2015년 1월의 샌프란시스코 개발자로 놓는다. 자금과 프로젝트 팀 세 개, 주차장 지도가 주어진다. 부지를 고르고 제안서를 그리고 나서, 사전 신청 회의, 환경 검토, 계획위원회, 감독위원회 항소, 소송, 인허가 창구를 거쳐 끌고 간다 — 그런 다음 아직 수지가 맞는지 알게 된다. 금리는 실제로 움직인 날짜에 움직인다. 투자자들은 2년마다 너를 심사하고 세 번 실패하면 자금을 다른 데로 가져간다. 승리 조건은 2031년 1월과 주의 82,069채 마감선이다.
메커니즘이 곧 논증이다. 게임이 공개적으로 부패라고 이름 붙인 것에 돈을 쓰는 건 수익성 있는 건축에서는 거의 필수이고, 결과물은 여전히 비싼 주택이다 — 생계를 위해 집을 지어온 사람이 만든 게임이고, 그 사람은 이 게임을, 실제로 하지 않아도 된다는 게 다행으로 느껴지게 만든 교수대 유머라고 묘사한다. 가장 좋은 단일 댓글은 뒤집힌 홍보 문구다: 너는 모기지를 다 갚은 주민이고, 목표는 테크 업계가 떠날 때까지 동네를 그대로 유지하는 것이다. 그 농담의 흐름이 이 게임이 왜 존재하는지의 정직한 요약이며, 2등 댓글 — “미국은 유일한 명령이 ’아니오’인 명령 경제다” — 는 같은 요점을 음절만 줄여 말한 것이다.
출처를 짚을 만한데, 정치를 다루는 게임이 보통 하는 것과 정반대이기 때문이다. 지도의 부지는 실제 제안이고, 반대 단체는 합성이며, 법과 날짜, 표 수, 판례는 공개 기록에서 가져왔고, 부지를 완료하면 게임이 그곳에서 실제로 무슨 일이 있었는지 알려준다. 가장 많이 인용된 댓글은 업적 화면이다: 16년에 걸쳐 지은 집 4,147채, 통과한 투자자 심사 여덟 번, 열여섯 번의 청문회, 세 번의 항소, 네 건의 소송, 그에 맞서 82,069채가 필요했던 도시. 그 비율이 게임 전체이고, 그것은 허구가 아니다.
Yandex 클라우드 데이터센터 3호 타격 — 490포인트
490포인트 · 댓글 591개 · status.yandex.cloud · HN 토론
Yandex 클라우드 자체 상태 페이지로, 약 90개의 명명된 서비스가 저하 상태다 — Compute, Object Storage, Kubernetes, 관리형 PostgreSQL, ClickHouse와 MySQL, SpeechKit, Cloud Functions, 전부 다. 회사 업데이트는 거의 어떤 벤더 상태 페이지도 하지 않는 말을 한다: 플랫폼이 “제한된 기능으로 계속 운영되며” 고객은 “자원을 더 빠르게 배포하고 중복성을 확보하려면 대안 플랫폼을 고려해야 한다”는 것이다. 지원 채널은 몇 시간 만에 부분 복구됐다. 사건 타임라인은 이전 라운드업이 다룬 두 곳과 같은 주에 세 번째 시설이 상실됐음을 보여준다.
뉴스 가치는 저하가 아니라 권고다. 클라우드 공급자가 유료 고객에게 다른 곳으로 가라고 말하는 것 — 일회성 사과가 아니라 상시적인 서면 조언으로 — 은 가용성 사고를, 이 플랫폼이 애초에 방어 가능한가에 대한 성명으로 바꾼다. 여러 댓글러는 공학적 결론을 곧장 끌어낸다: 데이터센터가 일급 군사 목표물이 되고 있으며, 이미 얼마나 많은 컴퓨팅이 강화 시설에 들어가 있는지 감안하면 흥미로운 질문은 그것이 아키텍처에 무엇을 하는가다. 다른 이들은 해당 클라우드 ASN의 연결성 차트와 타격에 관한 BBC 보도를 물리적 사실로 지목한다.
스레드가 선로를 벗어나는 지점은 반사적 딴지다 — 우크라이나가 시작한 게 아니며, 러시아가 9월 내내 우크라이나 통신과 공급자 데이터센터를 타격했고, 이는 전부 사실이지만 어느 것도 상태 페이지가 하는 말을 바꾸지 않는다. 올바른 독해는 더 좁고 더 유용하다: 20년에 걸쳐 세워진 인터넷 규모의 검색·클라우드 공급자가 이제 일주일 만에 물리 인프라를 충분히 잃어서 자기 제품팀이 공개적으로 고객에게 떠나라고 권하고 있으며, 지정학적 딴지가 아무리 많아도 그걸 바꾸지 못한다. 한 댓글러의 곁말이 이 페이지에서 가장 앞을 내다보는 말이다 — 컴퓨팅이 이렇게 노출돼 있다면, 산 밑 벙커에 대한 수요가 곧 조달 항목이 될 것이다.
나만의 결정 모델 만들기 — 441포인트
441포인트 · 댓글 100개 · nishtahir.com · HN 토론
“시스템 1” 결정 모델에 대한 해설로 — Jev와 Strands Decider의 속임수이고, 둘 다 이미 이번 주 초에 이 목록에 올랐다 — Qwen3-1.7B에서 작동하는 구현을 담았다. 설정은 객관식 질문인데, 일반 LLM으로 “B”를 답하려면 토큰 하나를 내보내는 데 전방 패스 11번이 드는 반면, 어휘를 옵션 토큰 다섯 개로 마스킹하고 확률 분포를 직접 읽으면 패스 한 번이면 된다. 예시 숫자는 A에 83.3%, C와 D에 각각 5.6%이고 그 외에는 도달 불가다.
이 글은 그것이 무엇을 사주고 무엇을 못 사주는지에 대해 정직한데, 벤더가 뒤에 있는 기법의 해설로서는 드문 일이다. 출력 공간을 제약하면 합법적인 답 하나와 옵션별 점수를 보장한다; 정답을 보장하지는 않으며, 특정한 훈련 없이는 토큰 확률이 모델이 다음 토큰에 대해 갖는 확신일 뿐, 그 답이 맞을 보정된 확률이 아니다. 이걸 고위험 라우팅의 확신 신호로 배포하려는 사람은 그 문단을 두 번 읽어야 한다, “보정된 확률”이 판매 문구인데 글 자체가 그것을 무너뜨리기 때문이다.
이게 장난감을 넘어 중요한 이유는 비용이다. 결정이 고정된 옵션 집합에 대한 분류라면, 1.7B 모델에 대한 패스 한 번은 로컬 하드웨어에서 계속 돌리기에 충분히 저렴하고, 이는 모든 판단마다 모델에게 물어보는 에이전트와 그렇지 않은 에이전트의 차이다. 이번 주 HN 제출의 사슬 — “결정 모델” 범주의 $870M 조달, 오픈소스 2B 결정기, 그리고 이제 직접 만들기 글 — 은 실시간으로 형성되는 시장이고, 직접 만들기 항목이 해자가 얼마나 얇을 수 있는지 알려주는 항목이다.
Nitter: 10월 10일 업데이트, 자금과 법률 지원 요청 — 382포인트
382포인트 · 댓글 185개 · nitter.net · HN 토론
X Corp은 8월과 9월에 Nitter에 중단 요청서(cease-and-desist)를 보내 인스턴스와 저장소의 영구 삭제를 요구했다. 9월 7일 업데이트는 프로젝트가 법률 대리인을 갖춘 채 계속될 것이라고 했지만; 10월 10일 업데이트는 그것을 철회한다 — 보증은 사실이 아니었고, 프로젝트에는 변호인이 없으며, 유지관리자는 자금과 변호사를 구하고 있다. 기부금은 우선 법률 비용으로 간다. 암호화폐 주소가 나열된 건 결제 처리업자가 차단할 수 없는 유일한 채널이기 때문이다.
스레드의 법률 분석은 흔한 “대기업이 오픈소스를 괴롭힌다”보다 더 불편한 곳으로 수렴한다. 소프트웨어 자체는 아마 문제없다; 위험은 인스턴스를 운영하는 쪽에 있는데, 그럴듯한 주장이 저작권이 아니라 무단 접근이고, 그것은 민사이자 형사 법조문이기 때문이다. 댓글러들은 다른 사람의 API를 허가 없이 돌리는 프로젝트는 클라이언트가 아무리 좋아도 뚜렷한 법적 미래가 없다는 점, 상표 모양의 문제 — Twitter처럼 들리는 이름으로 부르는 것 — 가 X에게 값싼 두 번째 공격을 준다는 점을 지적한다. 185개 댓글 중 아무도 실행 가능한 방어를 내놓지 못한다.
가장 강한 반론은 Nitter가 이미 이겼고 소송은 연극이라는 것이다. 소스는 열려 있고, 포크가 셀프호스팅되고 있으며, 법적 압박이 그것들을 회수할 수 없다; 최소한 한 댓글러는 올바른 대응은 돈 쓰기를 멈추고 코드가 일하게 두는 것이라고 제안한다. 그건 소프트웨어에 관해서는 맞고 결과에 관해서는 틀린데, 그 결과는 중단 요청서가 만들어내려 했던 바로 그 위축 효과다. 변호사도 없이, 암호화폐로, 기부 페이지에서 논쟁해야 하는 프로젝트는 다음 유지관리자에게 이것을 만드는 비용이 얼마인지 가르친다 — 그리고 그게 실제로 확장되는 부분이다.
ExxonMobil 기후 기만 소송, 문서가 증거를 보강하다 — 363포인트
363포인트 · 댓글 196개 · insideclimatenews.org · HN 토론
매사추세츠주가 2019년 ExxonMobil을 상대로 제기한 소비자 보호 소송의 일환으로 조용히 공개된 문서들로, 그중 몇 건은 처음 보도됐다. 핵심은 Exxon 자체 연구 부서가 1988년에 작성한 내부 메모로, IPCC 설립 몇 주 전에 작성돼 동료들에게 감축에 대한 전 세계적 합의가 “Exxon에 상당한 부정적 영향”을 줄 것이라고 경고했다. 새로 나온 것: Exxon 과학자들이 회사의 바이오연료와 탄소 포집 작업에 관한 주장에 이의를 제기한 보다 최근의 발언도 있다.
이 사건이 다른 스무여 건의 소송과 다른 이유는, 매사추세츠가 기후 피해에 대해 전혀 논하지 않고 소비자·투자자 기만을 논한다는 것이다 — 회사가 행동에 나서라고 대중을 설득했지만 그 행동은 홍보였다는 것. 그 프레이밍이 이 문서들을 하중을 지는 증거로 만든다. 증거개시 다툼도 설명해준다: 주는 다른 게 무엇이 더 있는지 묻고 Exxon은 저항하는데, 댓글러들이 담배 업계의 작전과 공유하는 패턴을 짚을 때 인용하는 게 바로 그 행태다 — 담배, 산성비, 오존 구멍, 그리고 이제 여기까지 같은 전문가, 같은 논거.
Exxon의 증권 신고서에 담긴 답변은, 주장에 근거가 없고 정책 입안자를 대신하려고 법원을 이용하는 부적절한 시도라는 것이다. 간직할 만한 댓글은 회사 자체 과학자들이 1970~80년대에 놀랍도록 좋은 연구를 하고 있었다는 것 — 예측이 들어맞았다 — 즉 이 사건은 Exxon이 과학을 이해했는지에 관한 게 아니라는 점이다. 연구 부서와 대중 발언 사이에서 그 이해에 무슨 일이 있었느냐에 관한 것이고, 새로 제출된 메모가 그 이야기의 중간 부분을 보여주는 종이 흔적이다.
LineageOS 24.0 — 361포인트
361포인트 · 댓글 136개 · lineageos.org · HN 토론
Android 17 기반으로, 프로젝트의 평소 일정보다 일주일이나 이틀 앞서 리베이스됐고, 18.1부터 24.0까지의 브랜치에 걸쳐 배포되며 2025년 8월부터 2026년 10월까지의 보안 공지가 병합돼 15.1까지 백포트됐다. 헤드라인 기능은 x86_64 PC, Apple Silicon Mac, NVIDIA DGX Spark 박스, Snapdragon X 노트북에서 부팅되는 범용 베어메탈 타깃인데 — 여기서 가장 중요한 대목이고, 폰 ROM 프로젝트를 어디서나 안드로이드 프로젝트로 바꿔, 아무도 계속 패치하고 싶어 하지 않는 노트북 하드웨어에 장기 OS 지원을 얹을 수 있게 한다.
해마다 나오는 불만의 정도는 그대로이고 타당하다: 지원 기기 목록은 거대하고, 정의가 없으며, 대부분 부트로더 언락이 알려진 구형 하드웨어로 구성돼 있고, 새로 살 수 있는 기기 목록은 짧지 않다. 지원되지 않았다가 포팅된 폰의 카메라 품질도 되풀이되는 불평이다. 둘 다 작업의 결함이 아니라, 각 기기가 한 사람이 그걸 갖고 있기 때문에 존재하는 분산 유지관리자 모델의 결과이며, 프로젝트의 답은 목록을 줄이는 게 아니라 하드웨어를 추가하는 쪽이었다.
반론은, 그리고 이게 릴리스마다 프런트 페이지에 남는 이유는, 짧다: 제조사가 몇 년 전에 버린 폰에 최신 보안 패치 수준을 올려주는 건 유지관리자들뿐이다. 한 댓글러는 자기 Pixel 4a가 아직 지원되는 게 짜증난다고 공개적으로 말하는데, 새 폰을 살 변명을 없애버리기 때문이다. ROM에 거친 부분이 있든 말든, 그게 홍보 문구 전체이고, 어떤 벤더도 맞먹을 수 없는 주장이다.
사람들에게 돈을 주고 내 README를 따라 해보게 했다 — 327포인트
327포인트 · 댓글 178개 · shkspr.mobi · HN 토론
Terence Eden은 다섯 명에게 시급 €25를 주고 새 기기에 자기 소프트웨어를 설치하게 했으며, 그들은 화면을 공유하고 소리 내어 말했다. 바로 이것에 자금을 댄 NLnet 보조금의 일부였다. 돌아온 건 그가 자기가 만들었는지도 몰랐던 가정 목록이다: 데모 링크가 틀렸고, 어떤 사람들은 터미널에서 README를 읽고, 기술 섹션 하나는 비전문가에게 아무 의미가 없었고, 섹션 순서가 헷갈렸으며, 그리고 — 문서를 쓰는 사람이라면 아플 만한 문장 — 소프트웨어가 무엇을 하는지 실제로 설명한 적이 없었다. 그의 농담은 상황을 악화시켰는데, 그게 표준적인 결과다.
방법이 핵심이다. 자기 작업을 스스로 읽는 건 이걸 못 잡는다, 어느 명령에 sudo가 필요한지, -foo가 아마 --foo를 뜻했을 거란 걸 네가 알기 때문이다; 빈틈을 찾는 유일한 방법은 누군가 실시간으로 거기에 부딪히는 걸 지켜보는 것이고, 그 한 시간에 돈을 내는 게 그렇지 않으면 출시하게 될 어떤 사용자 대면 버그보다 싸다. Eden의 프레이밍은 문서 부패가 개발자들이 계속 하는 선택이며, 동시에 사용자들에게는 매뉴얼을 읽으라고 말한다는 것이다. 다섯 명 표본은 작고 Mastodon에서 자기 선택된 것이지만, 그래도 대부분의 릴리스 회고보다 긴 결함 목록을 만들어냈다.
구조적 비판은 스레드에 있다: 일회성 사용성 테스트는 매주 바뀌는 프로젝트와 맞닥뜨려도 살아남지 못한다. 지속적인 문서 테스트에 대해 좋은 답을 가진 사람은 아무도 없다 — 가장 가까운 제안은 설치 단계를 CI에 넣는 것인데, 이는 다른 작업이고 명령을 테스트할 뿐 낯선 사람이 그걸 따라갈 수 있는지는 테스트하지 않는다. 그 빈틈이 “RTFM”이 해법이 아니라 불평으로 남는 이유다: 매뉴얼의 M은 이미 답을 아는 사람이 쓴다.
Apple/macOS, 공식 Unix 등록부에서 제거되다 — 288포인트
288포인트 · 댓글 240개 · opengroup.org · HN 토론
Open Group의 UNIX 인증 제품 등록부에 더는 최신 macOS가 올라 있지 않고, 240개 댓글 대부분은 제출의 전제가 불충분하게 명시됐다고 정확히 지적하는 사람들이다. 필터를 쓰면 macOS 26은 여전히 UNIX 03 표준 아래에 등록돼 있다; 문제는 macOS 27이 애초에 제출됐느냐다. 여러 댓글러는 “조용히”라는 말도 출처에 전혀 없으며, 제목이 증거가 뒷받침하지 않는 편집적 일을 하고 있다고 지적한다.
그 현학 뒤에는, 등록부가 애초에 좋은 대리 지표가 아니었던 실제 변화가 있다. 인증은 늘 아무도 실행하지 않는 구성에 적용됐다 — 특정 하드웨어와 OS 조합 하나, 수십 년 전에 정의된 표준으로 테스트 — 그리고 그것에 대한 Apple의 관계는 2000년대 초, Linux가 미성숙하고 Windows가 선택지가 아니었을 때 “OS X는 Unix다”가 개발자들에게 사준 거리의 신뢰였다. Linux도 등록부에 없다, 누구도 등재 비용을 내지 않았다는 더 단순한 이유에서. 인증을 잃는 건 Apple에게 측정 가능한 손실이 전혀 없다.
스레드가 실제로 논쟁하는 건 그 플랫폼이 아직 소프트웨어를 쓰기 좋은 곳이냐다. 최다 추천 댓글은 마찰이 견딜 수 없게 돼 몇 달 전 개발 환경을 NixOS로 옮긴 사람의 것으로, 그는 타이밍을 걱정한다: AI가 새 소프트웨어의 물결을 만들어냈는데 Apple은 자기 기기에서 빌드하기를 더 어렵게 만들고 있다는 것이다. 그 불평은 새로운 게 아니지만, 회사의 가장 그럴듯한 Unix 자격이 z/OS에 관한 페이지의 필터 드롭다운이 된 지금은 다르게 꽂힌다.
IRCv3 — 283포인트
283포인트 · 댓글 254개 · ircv3.net · HN 토론
워킹 그룹의 사이트로, 아무 프레이밍 없이 제출됐고, 그게 올바른 프레이밍이다: IRCv3는 RFC 1459와 RFC 2812 위의 확장 계층으로, 사람들이 IRC에 없다고 말하는 기능들을 조용히 추가해 왔다 — 표준화된 계정 인증을 위한 SASL, 메시지 태그, server-time, batch, chathistory, 리액션 — 그러면서 프로토콜을 1990년대의 클라이언트·서버와 하위 호환으로 유지한다. 전부 옵트인이다. 참여자가 구현하지 않아도 아무것도 깨지지 않는다.
그 설계 선택이 IRC가 자기를 대체한 모든 채팅 프로토콜보다 오래 살아남은 이유다. Slack, Discord, Matrix는 모두 양쪽 끝이 같은 중앙화 시스템에 있어야 한다; IRCv3는 네트워크와 클라이언트를 독립적으로 만들어, 오래된 클라이언트는 계속 작동하고 새 클라이언트는 서버가 지원하는 만큼 더 풍부한 메타데이터를 얻는다. 사이트 자체 문서는 오늘 시작하는 사람들을 위해 현대적 코어 프로토콜 재작성을 가리키는데, 프로토콜 커뮤니티가 전설 대신 온보딩에 투자하는 드문 사례다.
스레드의 흥미로운 질문은 이게 애초에 왜 프런트 페이지에 있느냐이고, 답은 이틀 전의 벽시계와 같다: 가치 제안은 기능이 아니라 소유권이다. 25년의 클라이언트와 서버가 여전히 상호운용되고, 어떤 단일 회사도 네 정체성을 회수할 수 없으며, 프로토콜은 서비스 약관 페이지가 아니라 GitHub 저장소에 문서화돼 있다. 훌륭한 논거이고 성장 이야기는 아닌데, 바로 그래서 일요일 아침에 트래픽이 다시 돌아온 것이다.
우리 집값은 오르고 재산세는 내려가면 좋겠다 — 270포인트
270포인트 · 댓글 666개 · conversableeconomist.com · HN 토론
지난 3년간의 주 재산세 개혁에 관한 David Schleicher의 논문을 가리키는 짧은 글이다: 플로리다, 오하이오, 노스다코타, 텍사스가 자가 주택에 큰 혜택을 주고 부담을 상업용 부동산, 다른 지방세, 그리고 주 재정 — 그것도 판매세와 소득세에서 나온다 — 으로 옮긴 주들에 포함된다. 주택 소유자들은 자신의 최대 자산이 급등하는 걸 지켜봤고 정치적 분노로 응답했는데, 재산세는 부(wealth)에 대한 세금이고 그 상승이 횡재가 아니라 오르는 청구서로 도착했기 때문이다.
666개 댓글 스레드에서 가장 강한 댓글은 아무도 소리 내어 말하려 하지 않는 메커니즘이다: 세원을 자가 주택에서 상업용 부동산 — 임대 아파트 건물 포함 — 으로 옮기는 건 부담을 소유자에서 세입자로 옮기는데, 세입자는 대체로 더 가난하다. 개혁은 약자를 보호한다고 팔리면서 아무것도 소유하지 않은 사람에게 세금을 매긴다. 2등 댓글은 자가 주택이 유동 자산이 아니라서 과세표준 상승이 그것을 감당할 현금이 없는 생활비 상승이라는 점을 지적하는데, 그래서 기반이 되는 자산 가치 상승이 실재함에도 반발이 합리적이다.
더 지저분한 부분은 대부분의 관할구역에서 세율이 가치에 자금을 대려고가 아니라 예산을 세우려고 정해진다는 것이다 — 감정관이 모든 것을 평가하고, 의회가 부과액을 정하고, 세율은 떠다닌다. 이는 과세표준에 관한 논쟁이 종종 얼마나 걷느냐가 아니라 누가 내느냐에 관한 논쟁이라는 뜻이고, “내 과세표준이 30% 올라서 세금이 30% 올랐다”가 대개 거짓이며 아무도 그걸 믿지 않는 이유를 설명한다. 지역 서비스와 멀티기가비트 광, 100psi 수압이 마음에 든다고 인정하는 댓글러들이 정직한 사례를 만든다: 싸움은 분배를 둘러싼 것이고, 스레드의 모든 제안은 결국 표를 던지는 누군가에게 세금을 매긴다.
Show HN: WallHop – 12ft.io가 사라져서 대체품을 만들었다 — 265포인트
265포인트 · 댓글 115개 · wallhop.io · HN 토론
세 가지 인터페이스를 가진 페이월 우회 도구다: URL을 붙여넣거나, 아무 링크에 wallhop.io/를 앞에 붙이거나, /raw와 /api 엔드포인트를 호출한다. iOS 공유 시트 단축어와 북마클릿도 있다. 랜딩 페이지에는 페이월이 저널리즘에 돈을 댄다는 면책 조항과 매일 읽는 것은 구독하라는 안내가 있는데, 이는 올바른 말이고 동시에 이런 서비스가 전부 작동을 멈추기 전에 하는 말이기도 하다.
댓글러들은 이게 Wall Street Journal, Financial Times, New York Times를 뚫는다고 보고하고, archive.today와 구별되는 특징은 CAPTCHA가 없다는 것 — 그게 제품 전부다. 스레드의 가장 유용한 질문은 이 범주의 모든 도구, 수년간 이걸 해온 브라우저 확장까지 포함해, 왜 archive.is가 믿을 만한 최후의 수단이냐인데 아무도 답하지 않는다, 이는 답이 기술적이라기보다 운영적이라는 걸 시사한다: 누군가 인프라 비용을 대면서 그 점에 대해 조용히 하고 있다는 것이다.
두 가지 반론이 스레드를 떠받친다. 첫째는 이 도구가 GPL-3 프로젝트 위에 만들어졌고 재배포 없이 수정됐다는 것인데, 저자가 제출에서 다루지 않는 라이선스 문제다. 둘째는 지속성이다 — 이전 구현은 12ft.io 포함해 전부 사라졌고, 패턴은 권리자가 멈추는 법적 비용이 그만한 가치가 있다고 판단할 때까지 이런 서비스가 돌아간다는 것이다. 현실적인 독해는 WallHop이 아이디어의 유지되는 포크이고 그것이 죽는 순간 누군가 다른 사람이 재구현할 것이라는 것이며, 흥미로운 부분은 기술이 아니라 법적 표면이다.
RAM 부족이 DDR4를 되살리고 있다 — 235포인트
235포인트 · 댓글 241개 · theverge.com · HN 토론
기가바이트는 두 개의 메인보드 라인이 Intel의 LGA 1700 소켓에서 “출시 예정” 프로세서를 지원할 것이라고 발표했다. LGA 1700은 2024년 이후 새 CPU에 쓰이지 않았고, 지금 가치가 있는 이유는 하나다: DDR4와 DDR5를 모두 받는다. 새 LGA 1700 칩은 2027년 초에 나올 것으로 예상된다. AMD는 반대 방향에서 같은 일을 하는데, 새 AM4 메인보드 시리즈와 Ryzen 7 5800X3D의 10주년 재출시다. 계획은 사람들이 현재 가격의 새 메모리를 강제로 함께 사지 않고도 새 CPU를 살 수 있게 하는 것이다.
그건 재정적 이유로 내린 진짜 엔지니어링 결정이고, 조금 암울하다. 죽은 플랫폼 두 개를 되살리는 걸 정당화할 만큼 심각한 메모리 부족은 DDR5 가격이 일시적 급등이 아니라는 뜻이고, 업계의 답은 고객에게 용량이 아니라 하위 호환성을 파는 것이다. 특히 Intel은 논평하지 않았다. 두 움직임은 또한 구매자를 더 오래된 명령어 집합과 더 오래된 PCIe 세대를 가진 구형 소켓에 묶어두는데, 그래서 제시되는 업그레이드 경로는 도착할 때쯤이면 종착역이 될 플랫폼이다.
스레드의 밑바탕 흐름은 이 부족이 하류 전반에 무엇을 하는가다. The Verge 자체의 관련 링크는 같은 원인으로 인한 SSD 가격 상승과 폰·노트북에 미치는 영향을 다루는데, PC를 조립하지 않는 사람에게 닿는 부분이다. 한 시장 세그먼트의 부족이 일반 소비자 가격 충격이 되는 게 여기서 추적할 메커니즘이다; 구체적인 SKU는 그에 비하면 잡음이다.
Nix가 내 디버거의 절반을 써줬다 — 230포인트
230포인트 · 댓글 59개 · fzakaria.com · HN 토론
이번 주 초의 결정적 빌드 VM의 후속으로, 이제 소스 패널, 스택 프레임, 북마크, 각 단계에서 누가 CPU를 쥐고 있었는지 보여주는 스레드 레인, 그리고 레이스 컨디션이 처음 나타나는 정확한 명령어까지 이분 탐색하는 “여기서부터 확인” 기능이 붙었다. 글을 만드는 관찰: 저자가 디버거 기능을 만들려 할 때마다 어려운 부분이 이미 해결돼 있었고, 그걸 Nix가 해결했었다. 디버거에는 프로그램에 대한 정확한 입력, 심볼, 소스, 그 아래 모든 라이브러리의 소스, 그리고 그걸 전부 남에게 넘기는 방법이 필요한데 — 그게 derivation의 정의다.
이게 단순 도구 글이나 다름없는 것보다 가치 있는 이유는, 보통 팀을 잡아먹는 역할을 의존성 그래프가 채우는 구체적 사례라는 점이다: 재현 가능한 빌드는 대개 공급망이나 정확성 근거로 주장되는데, 여기서는 디버깅, 환경, CI 캐시 정확성을 한꺼번에 위한 인프라 계층으로 판명된다. 저자는 아무도 쓰지 않는 능력을 쓴다는 느낌을 묘사하는데, 수십 년 된 아이디어가 마침내 주변에 충분한 생태계를 갖춰 보답하는 모습이 그렇다.
스레드가 대체로 건너뛰는 뻔한 비판은 진입로다: Nix 의존성 재현성은 이미 Nix로 빌드하는 프로젝트에만 쓸 수 있고, 두 점원 한 계좌 데모는 스크린샷에 들어가는 C 프로그램이다. 정직한 요약은 이것이 존재하는 지렛대의 시연이지 이번 주에 채택할 수 있는 도구가 아니라는 것이고 — 그 간극의 크기가 재현 가능한 빌드가 기본값이 아니라 전문가의 관심사로 남는 이유다.
Mxc: Microsoft Execution Containers 버전 1.0.0 — 220포인트
220포인트 · 댓글 66개 · blogs.windows.com · HN 토론
Microsoft의 AI 에이전트용 격리 계층으로, 이제 정식 출시됐다: 관리자가 에이전트가 건드릴 수 있는 파일과 네트워크 목적지를 선언하면, 플랫폼이 런타임에 그걸 강제할 적절한 컨테이너 백엔드를 고른다. 에이전트의 행동을 사람의 행동과 구분하기 위한 Entra 아이덴티티 작업도 예정돼 있다. 프레이밍은 문제에 대해 정직하고 — 회사들이 가진 유일한 대안은 무제한 접근 아니면 에이전트 없음이었다 — 명시된 원칙은 에이전트가 자기 자신의 보안 권한이 될 수 없다는 것이다.
스레드의 실무자들은 블로그 글보다 훨씬 덜 감명받는다. 한 사람은 백엔드 문서를 훑어보면 신중한 설계라기보다 “무슨 수를 써서라도 작동하게 만들어라”를 구현한 최근 세대 모델의 인상을 준다고 보고하고, bubblewrap 통합 문서는 의식의 흐름이라고 묘사한다. 다른 사람은 써봤는데 1.0이 아니라 기술 프리뷰에 가깝다고 말한다. 가장 구체적인 불만은 홍보와 필요 사이의 간극이다: 사람들이 원하는 건 한 애플리케이션의 읽기·쓰기를 한 디렉터리로 제한하는 것이고, 이게 그걸 한다는 게, 혹은 최상위 기업 라이선스 밖에서도 제공될 거라는 게 분명하지 않다.
흥미로운 긴장은 반론 중 능력에 관한 게 얼마나 적은가다. Windows는 수년째 이걸 위한 기본 요소를 갖고 있었다 — job object, AppContainer, WDAC — 그리고 8월 누적 업데이트가 마침내 비관리자 사용자가 앱 컨테이너를 설정하도록 허용했는데, MXC가 그 위에 세워진 변경이다. 권한 시스템이 엔터프라이즈 SKU 뒤에 잠긴 채 도착한다는 불만은 Linux 사용자들이 bubblewrap과 Flatpak이 10년째 무료인 것에 대해 해온 것과 같은 불만이고, 이게 보안으로 출시될지 규정 준수 체크박스로 출시될지를 결정할 것이다.
미안하지만, 그래도 생각은 해야 한다 — 219포인트
219포인트 · 댓글 85개 · itsallaboutthebit.com · HN 토론
DHH는 에이전트에게 Campfire를 Rails에서 Rust로, 그다음 Elixir로, 그다음 Go로 코드를 읽지도 않고 재작성하게 했다. 한 개발자가 결과를 살펴보니, 이 실험이 뒷받침하려 했던 비교가 자기 산출물 안에서 성립하지 않는다는 걸 발견했다: LLM이 묻지 않은 질문 더미에 매번 다르게 답해서, Rust 버전은 캐시 친화성을 위해 CSRF 토큰을 빼고 Redis를 인프로세스 큐로 교체했고, Elixir 버전은 원본에 가깝게 유지됐다. 그 선택들은 언어와 무관해서 “Rust가 여기서 더 빠르다”를 반증 불가능하게 만든다. 프롬프트가 하위 호환성을 명시하지 않았으니 모델은 그걸 동전 던지기로 만들었다.
바닥에 깔린 논거는 AI가 아니라 명세에 관한 것이다. 모든 프로젝트에는 아무도 적어두지 않은 제약의 긴 목록이 있다 — 지연 대 처리량, 메모리 상한, 충돌 시 알림 하나를 잃는 게 용인되는지 — 그리고 인간 구현자는 묻고서 해결하는 반면, 모델은 추측하고 넘어가며 해결한다. 스레드는 그 예시가 이걸 증명하는지에 대해 대체로 동의하고 대체로 반대한다: 한 댓글러는 원래 시스템을 만든 사람들이 사고의 90%를 했으니 이게 LLM에 이상적 사례라고 지적하고, 다른 이는 결과에 실제로 중요한 질문을 던진다 — 포팅 후에 새 기능은 어느 코드베이스에 들어가는가?
스레드에서 가장 좋은 프레이밍은 가장 값싼 것이다: workslop은 반박하기 어려운데, 생산하는 데는 아무 비용이 안 들고 반박하는 데는 많이 들기 때문이다. 그래서 85개 댓글에서 가장 구체적인 제안이 도구가 아니라 방법이다 — 재작성 전에 벤치마크를 미리 커밋해두고 측정하라. 그게 없으면 논쟁은 취향으로 축소되고, 재작성 옹호자는 작동하는 애플리케이션을 공짜로 가리킬 수 있게 된다.
Knuth 상금 수표 — 218포인트
218포인트 · 댓글 78개 · thomas-huehn.com · HN 토론
Thomas Huehn은 20년 전 Computer Modern Typefaces에서 오류를 찾았고, 확실히 하려고 몇 달을 묵혀둔 끝에, Bank of San Serriffe에서 수표를 받았다 — Knuth가 진짜 수표 보내기를 그만둔 뒤로 써온 판타지 은행이다. 오류는 1쪽 첫 문단에서 유한한 파라미터 공간을 두고 “infinitely”라고 쓴 단어였다. 수표 액면은 $2.88인데, 몇 년 뒤 Huehn이 두 번째로 제안한 오류를 보냈다가 틀렸고, Knuth가 그 이유를 설명하는 문단 몇 개를 썼기 때문이다 — 그리고 보고서의 지나가는 문장 하나를 좋은 제안으로 쳐서 $0.32짜리 두 번째 수표가 발행됐다.
이야기는 과정 자체다. Knuth는 40년째 돈을 내서 자기 책을, 기술 출판계에서 아무도 시도하지 않는 기준으로 교정받아 왔고, 이 인센티브는 양이 아니라 정밀함에 보상하도록 설계됐다 — 그래서 댓글란이 다른 수령인들로 채워진다, 수표 두 장과 벽에 걸린 액자를 가진 사람, 자기 것을 잃어버리고 인생 최대의 후회라고 부르는 사람까지. 이는 이 상이 왜 민담이 됐는지도 설명한다: 상금은 무가치할 만큼 작고, 인정은 의미 있을 만큼 충분하다.
스레드의 가장 날카로운 전환은 이제 이게 자동화됐다는 것이다. 최고 추천 우려는 누군가 LLM을 코퍼스 전체에 돌려 88세 노인을 기계 생성 보고서로 범람하게 할 거라는 것이고, 그 부탁의 공손한 표현은: 하지 마라, 이다. 그것은 보상 시스템이 자기 입력을 값싸게 만드는 첫 도구와 만나는 것이고, 버그 바운티, 코드 리뷰, 그리고 제출이 제출자에게 뭔가를 치르게 하는 데 가치가 달려 있던 다른 모든 것에 걸친 같은 문제의 예고편이다.
Terence Tao: Math 2.0 [pdf] — 214포인트
214포인트 · 댓글 255개 · teorth.github.io · HN 토론
수학이 증명 희소의 시대에서 증명 풍요의 시대로 이동했고, 이 분야의 제도·인센티브·표방된 목표 대부분이 첫 번째 시대를 위해 세워졌다고 주장하는 Caltech 강연 슬라이드다. 이를 가능케 하는 속성은 객관적 검증 가능성, 디지털화 가능성, 크고 고품질인 코퍼스인데 — 현대 머신러닝이 필요로 하는 유일한 세 가지이고, 그 셋을 모두 가진 유일한 연구 영역이다. Tao의 요점은 AI가 수학을 노린다는 게 아니다; 수학이 과학에서 가장 쉬운 표적이고, 랩들이 그걸 알아챘다는 것이다.
논쟁할 가치가 있는 두 아이디어는 둘 다 무엇이 사라지는가에 관한 것이다. 첫째는 자동화 도구로 미해결 문제의 해에 너무 일찍 도달하면 주변 분야가 불임이 될 수 있다는 것 — 증명이 도착하고, 그 경로에 세워졌을 20년치 부분 결과와 기법, 직관이 건너뛰어진다. 둘째는 도제 문제다: 수학자가 되는 전통적 경로는 지금은 풀린 문제들을 푸는 것을 거쳤고, 그와 함께 왔던 훈련과 커뮤니티를 대체할 뻔한 게 없다.
댓글은 예상되는 구도로 갈라지기를 거부하는 잡탕이다. 신약 개발에 종사하는 여러 사람은 항암제 비유에 이의를 제기하는데, 승인된 약 중 상당수가 아무도 완전히 이해하지 못하는 기전을 갖고 있고 전신마취가 표준적인 반례라는 근거에서다 — 그래서 기계의 치료법이 쓰이기 전에 인간이 기전을 이해해야 한다는 요구가 그 분야의 관행 자체보다 더 강하다는 것이다. 오래된 문제가 무너지는 걸 지켜본 수학자들의 반응을 전하는 사람들을 포함해 다른 이들은 반대 논점을 낸다: 이 전환의 직업적·정서적 현실은 슬라이드에 담기지 않고, 슬라이드의 평온함은 장르 관습이다. Tao에 대한 가장 강한 변호도 스레드에 있다: 그는 1년 안에 자기 분야에 그 일이 벌어지는 걸 지켜봤고, 이 강연은 예측이라기보다 현장 보고에 가깝다.
DuckDB 2.0이 더 빠른 이유 — 209포인트
209포인트 · 댓글 66개 · motherduck.com · HN 토론
데이터베이스 내부가 아니라 파이프라인을 돌리는 사람의 2.0 알파 실습 해설: 비동기 I/O 덕분에 2.2GB Parquet 파일에 대한 S3 쿼리가 쿼리 변경 없이 18.8초에서 7.7초로 줄어드는데, 로우 그룹을 라운드 단위가 아니라 병렬로 가져오고 디코딩하고 필터링할 수 있기 때문이다. 다른 두 헤드라인 항목은 재작성된 재귀 CTE 구현과 워커 스케줄링 재설계다. 비동기 I/O가 사람들이 만들 수 있는 것을 바꾸는 항목인데, 데이터를 로컬 디스크가 아니라 객체 저장소에 두는 데 대한 패널티를 없애기 때문이다.
측정은 자기 잡음에 대해 정직하다 — M5 노트북 한 대, 가정용 인터넷, “인용하기 전에 직접 돌려보라” — 대부분의 벤더 벤치마크가 주는 것보다 낫다. 함께 읽을 만한 것: DuckDB가 Umbra와 CedarDB가 수년째 써온 태스크 기반 실행 설계를 따라잡고 있다는 댓글인데, 이는 이번 릴리스를 혁신에서 수렴으로 재구성한다. 데이터베이스는 연구에서 생산까지의 간극이 수십 년으로 측정되는 몇 안 되는 영역 중 하나이고, 비동기 I/O 관리가 현재의 예다.
스레드가 또 알아챈 건 글쓰기다. 두 댓글러가 독립적으로 LLM 개입이 심하다고 의심하며 실제로 해석하기 어렵다고 하고, 세 번째는 트리거 — 애플리케이션을 만드는 누구에게나 헤드라인 기능인 — 는 한 줄로 퉁치면서 S3 읽기 속도에 섹션을 할애한 게 짜증난다고 한다. 사소한 것이지만 많은 걸 말해준다: 생성된 문장이 릴리스를 서사로 압축하면 그 서사가 저자의 우선순위를 골라내고, 독자는 무엇이 빠졌는지 알 수 없다.
버그를 환자처럼, 코딩 에이전트를 의료팀처럼 다룬 다섯 달 — 207포인트
207포인트 · 댓글 102개 · cockroachlabs.com · HN 토론
Cockroach Labs는 병원을 코드 유지보수 파이프라인에 대응시켰다: 펠로가 진단하고 치료하며, 리뷰 담당 전문의는 고치는 게 아니라 결함을 찾도록 프롬프트된 별도의 에이전트 인스턴스이고, 퇴원 간호사는 리뷰가 실제로 이뤄졌는지 감사하며, 에스컬레이션은 교육병원에서 빌려온 I-PASS 인계를 거치는데, 받는 에이전트는 작업을 시작하기 전에 자기 이해를 다시 적어야 한다. 하중을 지는 규칙은 지루한 것들이다: 리뷰된 계획 없이는 코드 금지, 즉흥적으로 하지 말 것, 테스트를 통과시키려고 비활성화하거나 약화하지 말 것, 모든 리뷰는 변경을 비활성화해 새 테스트가 실패하는지 확인하는 것으로 시작한다.
선례 로그가 이 글에서 가장 흥미로운 메커니즘이다. 인간이 내리는 일반화 가능한 모든 결정은 추가 전용으로 기록되고, 에스컬레이션하려는 에이전트는 먼저 로그를 읽고 인용과 함께 선례를 따라야 한다 — 선례는 인간만 만들고, 에이전트는 소비만 한다. 이는 모든 에이전트 파이프라인이 결국 맞닥뜨리는 문제에 대한 구체적 답이다, 즉 코드 말고는 아무것도 지속되지 않아서 같은 판단이 매 실행마다 다시 다퉈지는 문제. 에이전트가 에스컬레이션 전에 인용하도록 강제하는 건 어떤 선례가 계속 필요해지는지의 로그도 만들어내는데, 이런 시스템을 위해 아무도 제안한 적 없는 것 중 훈련 신호에 가장 가까운 것이다.
퇴원 간호사는 평범한 팀에 이식돼도 살아남을 부분이고, 가장 매력적이지 않다: 마지막 관문은 코드를 다시 읽지 않고, 승인이 있는지, 리뷰 템플릿이 채워졌는지, 미해결 스레드가 없는지, CI가 초록인지, 이력이 깨끗한지를 확인한다. 명시된 이유 — 에이전트가 시킨 대로 했는지 확인하고 싶은데, 가끔 안 한다 — 는 코드 위에서 에이전트를 운용한 다섯 달의 정직한 요약이다. 의료 은유가 뭔가를 더하는지는 논쟁적이다; 체크리스트는 더한다.
컴퓨터는 결정을 내릴 수 없다 — 206포인트
206포인트 · 댓글 183개 · wiki.cateat.fish · HN 토론
유용한 신조어 하나를 담은 짧은 논평이다: 결정 세탁(decision laundering). 논지는 모델이 허위 경찰 제보를 접수하거나 패키지 레지스트리를 은밀히 공격했다는 헤드라인이 소프트웨어에 주체성을 부여한다는 것이고, 랩들이 자기 모델이 이런 일을 못 하게 막을 수 있는데도 안 하기로 선택한다는 것이다. 증거는 최근 사건 목록이고, 수사적 닻은 1979년 IBM 교육 슬라이드다: 컴퓨터는 결코 책임을 질 수 없으므로, 컴퓨터는 결코 경영 결정을 내려서는 안 된다.
스레드의 진짜 기여는 이 프레이밍이 한 방향으로는 너무 영리하고 다른 방향으로는 충분히 영리하지 않다는 것이다. 컴퓨터 프로그램은 첫 if-else 이후로 결정을 내려 왔고, 알고리즘 트레이딩 회사는 30년째 소프트웨어가 수십억을 어떻게 움직일지 결정하게 해 왔다 — 소프트웨어가 하는 일에 대해 인간이 명백히, 관습적으로 책임을 진 채로. 더 날카로운 비판은 “결정 세탁”이 경영만큼 오래된 경영의 상투어를 묘사한다는 것이다: 공은 위로, 비난은 아래로, 미리 준비된 봉투 세 개. AI 버전에 이름을 붙이는 게 새로운 책임 문제를 만드는 건 아니고, 이미 존재했고 조용히 용인돼 온 문제를 드러내는 것이다.
가장 유용한 댓글은 이걸 전부 평범한 위임 문제로 재구성한다. 네가 직접 하면 네가 책임진다. 공원에서 누군가를 찾아 공짜로 하게 해도 여전히 네가 책임진다. 전문가를 고용하면 이제 책임을 배정하는 계약이 생긴다. 에이전트는 그 중간에 떨어진다 — 도구를 맡겨도 될 만큼 유능하지만, 계약도 상대방도 없다 — 그리고 에이전트가 “결정”하느냐에 관한 논쟁은 실제로는 누가 결과에 서명했느냐에 관한 논쟁이다. 답은 아무도 안 했다는 것이고, 그래서 지금 판례가 쓰이고 있다.
수학자가 Lean Theorem Prover에 대해 알아야 할 것: 신뢰성과 AI — 202포인트
202포인트 · 댓글 58개 · terrytao.wordpress.com · HN 토론
Tao의 블로그에 실린 Thomas Hales의 게스트 글이며, Math 2.0 강연의 기술적 짝이다. 형식화는 증명을 논리학의 기초까지 기계로 확인하는 것을 뜻하고, 이제 명단이 길다: 사색 정리, Feit-Thompson, 케플러, 구면 뒤집기, 8차원과 24차원의 구면 채우기, 나비에-스토크스 폭발, 그리고 페르마의 마지막 정리 — 마지막 셋은 올해 완료됐다. Hales의 관심은 능력이 아니라 신뢰성이다: 형식적 증명이 수학자들이 생각하는 것을 뜻하려면 무엇이 참이어야 하고, 검사기 자체와 정의 라이브러리, 증명되는 명제가 전부 누군가 쓴 입력일 때 신뢰 모델이 어떤 모습인지다.
그게 AI 논의가 대개 건너뛰는 질문이다. 기계가 확인한 증명은 그것이 검증하는 명제만큼만 믿을 수 있고, “이 정리가 증명됐다”와 “이 정리가 내가 의도한 것이다” 사이의 간극이 수학자를 필요로 하는 부분이다. Hales는 글 자체가 다른 형식으로 쓰여 AI로 변환됐다고 지나가며 언급하기도 하는데, 이런 종류의 공개는 18개월쯤 지나면 시대에 뒤떨어져 보이게 될 것이다.
Math 2.0 슬라이드 옆에 놓고 읽으면 두 글이 의도치 않게 깔끔한 분업을 이룬다. Tao는 사회학적 교란 — 증명이 비싸다고 제도가 가정하는 분야 — 을 묘사하고, Hales는 그 교란이 견딜 만해지게 만드는 신뢰 모델을 묘사한다, 그것이 맞다면. 댓글 수는 Tao의 255에 대해 58인데, 이는 청중이 문제의 어느 절반을 논쟁하고 싶어 하는지 알려준다.
FDA, 일부 독성 화학물질을 안전 검토 없이 식품에 첨가하도록 허용할 수도 — 201포인트
201포인트 · 댓글 102개 · theguardian.com · HN 토론
FDA는 “규제 역치(threshold of regulation)” 면제를 확대하려 한다 — 이는 현재 화합물이 발암성이 없고 0.5ppb 미만으로 첨가되면 검토 없이 식품 접촉 재료에 들어가게 해준다 — 일부 화학물질이 식품에 직접 들어갈 수 있게 하려는 것이다. 이 허점의 현행 형태 자체가 반대 근거다: 곡물 자루의 과염소산염에 대한 TOR 면제는 어린이 시리얼에서 그 화합물 농도를 측정 가능하게 증가시켰고, 어린이의 신경·생식 피해와 연관된 호르몬 교란 물질은 면제가 안전하다고 취급하는 0.5ppb 선보다 훨씬 아래에서도 위험한 것으로 간주된다.
어떤 단일 화학물질보다 메커니즘이 더 중요하다. 역치 규칙은 안전성 판단을 산술 판단으로 바꾸는데, 그 산술은 발암성을 기준으로 보정되고, 발암성은 여러 종점 중 하나일 뿐이다 — 그래서 0.5ppb에서 발암성이 아닌 화합물이 0.5ppb에서 여전히 나쁜 생각일 수 있다. 스레드에서 가장 설득력 있는 댓글은 독성학이 아니라 인센티브에 관한 것이다: 역치가 있으면 오염도 0.4%인 배치를 가진 공급자와 0.25%인 공급자가 한계치 쪽으로 섞을 강한 이유가 생기고, 식품 공급이 그렇지 않으면 처리가 필요했을 물질의 처분 경로가 된다. 그건 FDA에 대한 추측이 아니라, 어떤 명확한 선이든 불러들이는 것이다.
스레드의 정치적 프레이밍은 피할 수 없다, 제출이 RFK Jr.의 표방한 입장과 그의 부처의 행동 사이의 간극을 지목하는 사람에 의해 올라왔기 때문이다. 그를 어떻게 보든 관찰은 양쪽 다 같다: 대중이 이름 댈 수 있는 면제의 수는 0이고, 검토의 수는 셀 수 있으며, 검토 단계를 없애는 어떤 제안이든 식품 공급을 덜 읽히게 만드는 제안이다. 내용을 걱정하는 댓글들도 메커니즘을 과장하는 경향이 있다 — 한 사람은 “로켓 연료 화학물질”을 곡물 운송에 로켓 연료가 있다는 뜻으로 읽는데, 실제 용도는 정전기 제어다 — 그리고 그 엉성함이 주류 논증이 계속 실패하는 이유다.
여전히 페이지에 남은 기사들
오늘 아침 랭킹 목록에서 130개 기사가 200포인트를 넘겼고, 그중 105개는 이전 라운드업에서 이미 다뤘다. 아래 델타는 이 라운드업이 각 기사에 대해 마지막으로 발표한 숫자와 비교한 것이다; 모든 점수는 캡처 시점 기준으로 갱신했다.
| No Man Is an Island | 311 (10-10) | 324 (+13) | | Deno와의 우정은 끝났고, 이제 Node가 내 가장 친한 친구 | 322 (10-10) | 322 (+0) | | Talorys – Cloudflare 무료 티어에서 돌리는 셀프호스팅 개인 AI 에이전트 | 201 (10-10) | 319 (+118) | | Gleam은 더 이상 Erlang 소스로 컴파일하지 않는다 | 318 (10-10) | 318 (+0) | | Python 3.15 | 302 (10-10) | 314 (+12) | | SF의 임의의 두 지점 사이에서 가장 평탄한 경로 찾기 | 311 (10-10) | 311 (+0) | | Docker Agent | 303 (10-10) | 304 (+1) | | 2026년 노벨 화학상, Henri B. Kagan과 Kenso Soai에게 | 303 (10-10) | 303 (+0) | | 질량 기준으로 지구의 지배적 종은? | 303 (10-10) | 303 (+0) | | 아무도 몰랐던 행성을 찾은 것 같다. Claude Code로 찾았다 | 286 (10-10) | 298 (+12) | | ‘Wallace and Gromit,’ 90%는 혼자 | 274 (10-10) | 298 (+24) | | Common Lisp이 이제 최고의 프로그래밍 언어인 이유 | 295 (10-10) | 295 (+0) | | 견고한 소프트웨어의 느린 형성 | 291 (10-10) | 293 (+2) | | Rosalind Franklin은 상징적인 DNA 이미지에서 왜 나선을 놓쳤나? 놓치지 않았다 | 292 (10-10) | 292 (+0) | | Strands Decider 2B: 작은 오픈소스 의사결정 모델 | 285 (10-10) | 285 (+0) | | ’Jonathan’은 지구에서 가장 나이 많은 육상 동물 | 279 (10-10) | 279 (+0) | | Dust: 역전파 없이 트랜스포머 사전학습 | 279 (10-10) | 279 (+0) | | 프로그래밍은 특별하지 않다 | 251 (10-10) | 275 (+24) | | Paramount Skydance, Warner Bros. Discovery와의 $111B 합병 완료 | 271 (10-10) | 272 (+1) | | Claude Code의 메시지 제안 기능: 진짜 고객은 모델인 것 같다 | 269 (10-10) | 269 (+0) | | 4시간 배터리 저장장치는 전 세계 어디서나 가스터빈보다 설치비가 저렴하다 | 260 (10-10) | 261 (+1) | | Cleo (수학자) | 248 (10-08) | 255 (+7) | | Bevy 0.20 | 250 (10-10) | 252 (+2) | | 기계가 정밀도를 배운 방법 | 243 (10-10) | 247 (+4) | | State of Devs 2026 | 244 (10-10) | 245 (+1) | | Yandex, 48시간 만에 두 번째 데이터센터 타격 | 231 (10-10) | 243 (+12) | | PSP의 God of War, WebAssembly로 재컴파일돼 브라우저에서 실행 | 241 (10-10) | 242 (+1) | | Penguin Mail – AI를 갖춘 Linux용 오픈소스 Rust 이메일 클라이언트 | 241 (10-10) | 241 (+0) | | Show HN: Quake를 safe Rust로 포팅해 브라우저에서 플레이 가능 | 234 (10-10) | 239 (+5) | | 15m 지하 터널이 있는 집, 30만 파운드에 매물로 | 236 (10-10) | 238 (+2) | | DuckDB Ducklake | 234 (10-10) | 237 (+3) | | 요점에 도달하지 않는 것의 가치 (2015) | 233 (10-10) | 233 (+0) | | WSL3 성능은 워크로드에 따라 WSL2보다 약 5~60% 빠르다 | 217 (10-10) | 232 (+15) | | Orkut.com | 230 (10-10) | 232 (+2) | | 빅토리아 시대 엘리트들은 왜 그렇게 효과적이었나? | 227 (10-10) | 230 (+3) | | ETH-68: Linux용 이더넷 오디오 인터페이스 | 217 (10-10) | 221 (+4) | | Show HN: LED 필라멘트로 유연한 “네온” 티셔츠 만들기 | 220 (10-10) | 221 (+1) | | 독일, 옛 탄광을 유럽 최대 호수 풍경으로 탈바꿈 | 207 (10-10) | 212 (+5) | | Anthropic AI 모델, 미제 필라델피아 살인 사건에 허위 제보 제출, 경찰 밝혀 | 204 (10-10) | 211 (+7) | | OpenAI, 분할 원리, 그리고 수학 | 205 (10-10) | 210 (+5) | | 미국 남성, 봇으로 음악 스트리밍을 농사지은 혐의로 실형 | 209 (10-10) | 209 (+0) | | Wood Tape (2004) | 206 (10-10) | 206 (+0) | | 인터넷을 떠받치는 사람들 | 205 (10-10) | 206 (+1) |
105개 중 79개는 10포인트 이하만 올랐고, 24개는 전혀 오르지 않았다. 그 분포가 이야기 전부다: 움직인 것들은 거의 전부 논쟁이 해결되지 않은 기사이고, 평평한 것들은 처음 여섯 시간에 점수를 다 얻고 멈춘 기사들이다. 가장 큰 상승은 디지털 작업에서 디테일을 잃는 것에 관한 에세이로, 233에서 481로 거의 두 배가 됐다 — 뉴스 고리가 없는 기사인데 계속 독자를 찾았다. 그 뒤로 세 명의 주자: REA Reverse가 +121, 자기 Cloudflare 계정에 배포하는 게 셀프호스팅으로 쳐지느냐는 논쟁의 힘으로 Talorys가 +118, 그리고 Bitwarden의 라이선스 변경이 +106인데, 눈을 가늘게 뜨면 같은 주에 같은 논증이 다른 회사에 도달한 것이다.
움직인 것들 전반의 패턴은 이 목록의 어느 것도 더는 발견되고 있지 않다는 것이다. Cloudflare/Deno는 전날 476을 더한 뒤 하루에 36을 더했는데, 이는 해결되는 게 아니라 잦아드는 스레드의 모습이다. Telegram의 클릭 한 번 계정 탈취는 364에서 457로, 덴마크 CPR 유출은 351에서 402로, Flock 카메라 기사는 646에서 691로 갔는데 — 전부 흥미로운 질문이 수정이 출시됐느냐인 보안 기사이고, 아직 아무도 답이 없다. 정확히 0인 기사가 24개라는 건 오늘 이 페이지의 트래픽이 처음 읽기가 아니라 재독이라는 신호다.
관통하는 흐름
오늘 세 가지가 결정되고 있었고, 그중 컴퓨터가 무언가를 결정하는 것과 관련된 건 하나뿐이다.
첫째는 이 기사들 대부분이 끝나는 곳이 법적 경로이고, 결과가 당사자성 있는 사람들이 아니라 일을 하는 사람들에게 불리하게 흘러가고 있다는 것이다. Nitter의 유지관리자는 변호인이 없고, 암호화폐 기부를 요청하고 있으며, 프로젝트가 커버된다는 자신의 이전 주장을 철회했다 — 그에게 대리를 약속한 실체가 없었던 것으로 드러났기 때문이다. WallHop은 이전 구현이 전부 같은 방식으로 죽은 우회 도구의 네 번째나 다섯 번째 구현이고, 저자는 다음 사람에게 도움이 될 유일한 것 — 포크해온 라이선스 — 를 빠뜨렸다. Exxon의 내부 메모는 계속 제출되고 있고, 회사의 답변은 절차적이다 — 법원이 정책 입안자의 역할을 맡아서는 안 된다는 것 — 이는 사실에 대한 변호가 아니고 애초에 그런 적이 없다. 셋 다 실질적 주장은 강하고, 결과를 가르는 비대칭은 자원이다.
둘째는 사람들이 걸고 있는 도구들의 신뢰성이고, 오늘의 증거는 이례적으로 직접적이다. Microsoft는 에이전트용 격리 시스템을 1.0으로 출시했는데 설치해 본 사람들은 문서가 의식의 흐름처럼 읽히는 기술 프리뷰라고 묘사한다 — 체크박스로 전달되는 권한 부여 메커니즘. DuckDB 2.0은 Umbra가 수년 전 하던 것을 병렬로 해서 S3 쿼리를 2.4배 빠르게 하는데, 이는 진보지 새로움은 아니다. LineageOS는 Android 17에 빠르고, 가장 흥미로운 움직임은 범용 x86과 Apple Silicon 하드웨어에서 부팅되는 타깃이다: 벤더가 팔지 않을 패치 노동을 유지관리자들이 자원해서 하는 것. 패턴은 이 프로젝트들이 나쁘다는 게 아니라, 유용한 것들이 마케팅이 아닌 바로 그 방식으로 지루하다는 것이다.
셋째는 이 페이지가 댓글을 가장 많이 쏟으면서도 분명히 말하지 않은 것이다: 움직이지 않은 제약은 인간의 주의력이고, 그걸 건너뛰는 모든 것은 하류에서 잡힌다. DHH의 재작성이 깔끔한 예다 — 코드는 컴파일됐고, 비교는 무의미했으며, 빠진 재료는 명시되지 않은 요구 사항 목록이었다. Tao의 슬라이드는 같은 관찰을 분야 규모로 한 것이고, Hales의 글은 그것을 계산하는 버전이다: 기계가 확인한 증명은 누군가 적어낸 명제만큼만 좋다. cockroachlabs 실험은 이 페이지에서 가장 유용한 답인데, 인간을 제거하려는 시도를 멈추고 대신 인간의 결정을 지속적으로 만들기 때문이다 — 선례 로그, 필수 인용, 결함을 찾는 것만이 일인 리뷰어. 그리고 Knuth 수표 이야기는 대조군이다: 이 상이 40년간 통한 건 제출이 제출자에게 뭔가를 치르게 했기 때문이다. 제출을 공짜로 만드는 도구가 바로 그걸 깨뜨리는 도구다.