랭크 윈도우와 40시간 날짜 스윕을 통틀어 41개 기사가 200포인트를 돌파했다. 그중 26개는 새로 진입했다. 나머지는 주말부터 이 라운드업이 추적해온 항목들이며, 몇몇은 상당히 크게 움직였다 — 클로드 하이쿠 출시 소식은 하룻밤 사이 점수가 거의 3배로 뛰었다.
오늘 페이지는 깔끔하게 둘로 갈린다. 상단은 추모다. 그 아래는 AI-수학 사안이 지금까지 겪은 가장 흥미로운 24시간이다: 하나의 출시, 현존하는 가장 존경받는 수학자의 비판, 하나의 철회, 그리고 모두가 가리키는 검증 체계가 사실은 그들이 생각하는 것을 검증하지 못한다고 주장하는 논문 하나.
Margaret Hamilton이 세상을 떠났다 — 2,058 points
2,058 points · 247 comments · news.mit.edu · HN discussion
해밀턴은 90세로 별세했다. 그녀는 아폴로 달 착륙선(Lunar Module)과 사령선·기계선(Command and Service Module) 양쪽의 비행 소프트웨어를 작성한 MIT 계기 연구소(Instrumentation Laboratory) 팀들—400명이 넘었다—을 이끌었다. 대중이 그녀를 기억하는 사진은 그 코드의 출력물 옆에 서 있는 모습이며, 출력물 더미는 대략 그녀 키만 했다.
기술적 유산은 구체적이며 명확히 짚을 가치가 있다. “소프트웨어 팀을 이끌었다”는 표현은 그 공적을 축소한다. 해밀턴은 당시 하드웨어의 부속품 취급을 받던 작업을 묘사하기 위해 ’소프트웨어 엔지니어링(software engineering)’이라는 용어를 만들어냈다. 그녀와 그녀의 팀은 완벽한 실행을 가정하는 대신 우선순위 기반 스케줄링과 오류 감지를 아폴로 유도 컴퓨터(Apollo Guidance Computer)에 심어 넣었고, 그래서 이글(Eagle)의 하강 중 발생한 1201·1202 프로그램 경보—컴퓨터가 부하 상황에서 우선순위가 낮은 작업을 덜어내는 현상—가 멈춤(hang)이 아니라 식별 가능한 경보로 드러났다. 관제센터(Mission Control)에는 이를 해석할 절차가 있었다. 착륙은 계속됐다.
스레드는 대부분 그녀를 만난 적 있는 사람들이다. 한 댓글 작성자는 아폴로 시대 드레이퍼 연구소(Draper Lab) 출신들이 세운 벤처캐피털을 묘사하며, 그가 전혀 이해하지 못했던 형식화된 제어 시스템에 관해 해밀턴과 나눈 대화를 이야기한다. 또 다른 이는 컴퓨터 역사 박물관의 구술 역사를 가리키며, 레비의 *해커스(Hackers)*에 나오는 심야 TX-0 세션 이야기—라운딩-절단 버그가 훗날 나비 효과가 된 에드워드 로런츠의 코드였을 가능성이 있다—를 연결한다. 스레드 저변에 깔린 것은 대다수 기관이 유능한 사람을 얼마나 형편없이 활용하는지에 대한 불만이며, 그 문제의 전형이 세상을 떠난 날 이걸 두고 논쟁하는 게 맞다.
트럼프 행정부, 마이크로소프트를 영주권 프로그램에서 정지시키다 — 690 points
690 points · 1,168 comments · apnews.com · HN discussion
행정부는 마이크로소프트를 영구 노동 인증 프로그램에서 정지시켰다—고용주가 H-1B 소지자의 영주권을 후원하기 전에 자격을 갖춘 미국인 노동자가 없었음을 입증해야 하는 단계다. 밴스 부통령이 이를 발표하며 회사가 시장 테스트를 악용했다고 주장했다. CNBC에 따르면 어도비도 동시에 노동부의 PERM 프로그램에서 정지됐으며, 노동부 장관 키스 손더링(Keith Sonderling)이 출처로 지목됐다.
실제로 벌어지는 일은 헤드라인보다 좁다. 이는 기존 프로그램 내의 특정 고용주를 겨냥한 집행 조치이지, 프로그램의 구조 개편이 아니다. 해당 의혹—회사가 소도시 신문에 요건을 게재하고, 자격을 갖춘 응답을 받지 못한 것을 시장 테스트로 간주한다는 것—은 PERM이 처음부터 유도해온 메커니즘이며, 이는 이민 사기 적발이 아니라 절차적 주장이다. 댓글 1,168개로 이 항목은 오늘 가장 많이 논의된 기사가 됐고 2위와 두 배 차이다. 최상위 댓글은 밴스 본인이 신문 광고 메커니즘을 설명한 내용인데, 이는 스레드가 그 프레이밍을 즉시 받아들였음을 보여준다.
스레드의 실질적 논점은 이민 논쟁이 좀처럼 다다르지 못하는 지점이다. 고용주가 당신의 영주권을 후원하면 당신의 거주 자격이 수년간 단일 회사에 묶이는데, 이는 사람들이 계약 노동(indentured)이라고 부르는 바로 그 구조이며 저임금을 가능케 하는 바로 그 구조다—최상위 댓글 작성자가 마이크로소프트가 “외국인을 데려와 같은 일을 시키면서 더 적게 지급했다”고 한 지적은 국적이 아니라 협상력(leverage)에 관한 주장이다. 두 댓글 작성자는 후원 투명성 데이터베이스(h1bgrader, permtrack)를 올려 고용주별 신고 임금을 비교할 수 있게 했는데, 이게 페이지에서 가장 유용한 정보다. 거의 제기되지 않는 반론은—매력적이지 않다는 이유로—국가별 쿼터도 없고 고용주 구속도 없는 추첨제가 어느 행정부가 제안한 무엇보다 단순하고 공정하다는 것이며, 어느 쪽도 이를 제안하지 않았다.
Show HN: Bigwords.page – 어떤 화면이든 표지판으로 만들기. 앱이 곧 URL이다 — 677 points
677 points · 155 comments · bigwords.page · HN discussion
메시지, 스타일, 동작이 모두 URL 프래그먼트에 담겨 있는 단일 페이지 도구다. #Hello World는 표지판을 렌더링하고, &bg=, &fg=, &font=, &interval=로 설정하며, %0A는 줄을 바꾸고, ||는 슬라이드를 구분하며, {} 자리표시자는 카운트다운 타이머를 구동한다. 텍스트는 휴대폰부터 경기장 전광판까지 어떤 화면에도 자동으로 맞춰지고, 링크와 Wi-Fi용 QR 코드는 브라우저에서 생성되며, 계정도 백엔드도 없다.
흥미로운 부분은 개인정보 주장이며, 이는 마케팅 문구가 아니라 구조적으로 사실이다: URL 프래그먼트는 서버로 전송되지 않으므로 메시지는 페이지를 호스팅하는 누구에게도 실제로 닿을 수 없다. 그것이 곧 전체 비즈니스 모델이기도 하다—호스팅할 것도, 저장할 것도, 과금할 것도 없다. 저자가 이걸 만든 동기는 원격 관리되는 태블릿이었는데, 물리적 접근 없이, 키오스크 브라우저 설정 없이 벽면 디스플레이를 바꿔야 했고, 이는 마땅한 기존 해법이 없는 실제 문제다.
스레드에서 가장 날카로운 지적은 도구에 관한 게 아니다. 같은 걸 만든 적 있는 누군가가, 텍스트가 화면에는 맞는데 오버플로를 보고하는 파이어폭스의 scrollWidth 버그를 알리고 두 줄짜리 수정법을 링크했는데, 아무것도 배포할 수 없는 저자는 이미 뿌려진 남의 링크에 이를 적용할 수 없다. 또 다른 이는 이 사이트가 해결하지 못하는 화면 꺼짐 방지 문제를 위해 웨이크 락(Wake Lock) API를 지적한다. 한 댓글 작성자는 태그라인을 후려친다: “앱이 곧 URL이다”는 LLM이 두 문단마다 하나씩 끼워 넣을 법한 문구라는 것이다. 맞는 말이다. 다만 여기서는 그런 문구 대부분과 달리 문자 그대로 사실이다.
Tell HN: 나는 10년째 탄자니아 농촌 아이의 교육비를 대고 있다 — 591 points
591 points · 162 comments · news.ycombinator.com · HN discussion
글쓴이는 당시 19세였고, 은좀베(Njombe) 고원의 이부밀라(Ibumila)에서 한여름을 보냈으며, 함께 지낸 가족의 11세 딸이 다니는 기숙학교의 연간 약 200달러 학비를 대주겠다고 제안했다. 안와리테(Anwarite)는 이제 다르에스살람 대학에서 언어학을 전공하고 졸업했으며 스와힐리어 석사 과정에 합격했다. 등록금, 학비, 각종 비용, 교재, 학용품을 포함한 18개월 전체 과정은 3,060,000 탄자니아 실링, 약 1,161달러다. 은좀베 출신 중 학위를 마치는 사람은 대략 2%다. 그는 2021년 탄자니아 교육 프로젝트(Tanzania Education Project)를 501(c)(3)로 등록했고, 지금은 같은 마을 출신 학생 다섯 명을 지원한다.
감상이 아니라 숫자를 읽어라. 숫자가 곧 논증이다: 탄자니아의 석사 학위는 미국의 괜찮은 연봉으로 따지면 2주치에도 못 미치며, 발목을 잡는 제약은 등록금이 아니라 마을에 학교가 없다는 점이다. 10년간 꾸준한 소액 송금은 일회성 거액 기부를 이긴다. 그리고 그 메커니즘—꾸준히 연락을 유지한 한 사람—은 운영비로 40%를 떼가는 자선단체가 복제할 수 없는 부분이다.
댓글 스레드는 이 장르의 정직한 버전이다. 첫 진지한 답글은 EIN(사업자 식별번호)을 눈에 띄게 게시해 달라고 요청한다. 댓글 작성자가 슈왑(Schwab) 기부자 자문 기금을 통해 기부하는데 조직을 이름으로 찾을 수 없었다는 것이다. 또 다른 이는 아동 후원 사기의 오랜 역사를 경고하며 신뢰할 만한 제3자의 보증을 요청하고, 세 번째는 직접 학비를 대는 것보다 구조적 지원(워크숍, 세미나, 강사 파견)이 더 효과적이지 않겠냐고 묻는다. 저자는 자기 사이트 이메일 주소의 오타를 고치러 직접 나타난다. 요컨대 군중의 본능은 ’검증이 먼저’였고, 그게 옳았다.
“Math 2.0”은 수학적 진보를 더 총체적으로 평가해야 한다 — 575 points
575 points · 597 comments · mathstodon.xyz · HN discussion
테런스 타오의 네 게시물짜리 스레드는 오픈AI 수학 결과물 발표에 관해 쓰인 단일 최고의 글이며, 역량 논쟁이 아니라는 바로 그 점 때문에 중요하다. 그의 주장은 인센티브에 관한 것이다: “Math 1.0”은 해법이 처음부터 이해되지 않았더라도 미해결 문제를 가장 먼저 푸는 데 프리미엄을 두었고, 그 목표는 이제 “지속 불가능할 지경까지 최적화”됐다. Math 2.0은 순수한 문제 풀이의 중심성을 내려놓고 해설, 커뮤니티 구축, 새로운 연구 방향의 개척을 평가하기 시작해야 하며, 커뮤니티도 이에 맞춰 교육, 출판, 경력 승진의 기준을 재평가해야 한다.
이를 불평이 아니라 공유지(commons) 문제로 읽어라. 이 분야의 명성 경제 전체—누가 교수직을, 연구비를, 대학원생을 가져가는가—는 문제 풀이를 기준으로 가격이 매겨졌는데, 풀이가 방금 값싸고 즉각적으로 변했다. 타오의 두 번째 논점은 발표 페이지가 다루지 않은 것이다: 미해결 문제 목록에 AI 에이전트를 갖다 대면 답을 내놓고는 떠나버린다. 분야에 아무 이해관계도 없고, 결과를 쓸모 있게 만드는 후속 작업에는 관심도 없다. 그는 AI가 자신이 언급한 방향들에서 기여할 수 있다고 명시하지만, 그러려면 “자기가 좋아하는 AI 에이전트를 미해결 문제 더미에 갖다 대는 ‘Math 1.0’ 사고방식보다 더 많은 상상력과 야심이 필요할 것”이라고 말한다.
댓글 두 개가 타오를 넘어 논점을 더 벼린다. 첫째는 오염(contamination) 논증이다: 해법이 존재한다는 사실을 아는 것만으로도 다른 모든 사람이 그 문제에 접근하는 방식이 달라진다. 그 명제가 왜 참인지를 드러내는 우회 경로를 찾는 탐색이 더 이상 같은 탐색이 아니기 때문이다. 둘째는 이런 결과를 만들어내는 메커니즘이 추론이라기보다 교차 수분(cross-pollination)에 가깝다는 것이다—모델은 수천 개의 하위 분야를 한꺼번에 보고, 어느 한 분야의 전문가라면 결코 읽지 않았을 결과들을 연결한다. 이는 성공과, 보고된 난해함을 동시에 설명해줄 것이다. 그것이 실제 역량이라면 “Math 2.0”은 철학적 질문이 아니다. 깊이(depth)가 더 이상 희소하지 않게 된 바로 그 순간, 가치가 전문화된 깊이에 있었던 학문에 무슨 일이 일어나는가라는 질문이다.
웹 페이지를 위한 애니메이션 ASCII 아트 — 444 points
444 points · 74 comments · ascii.rest · HN discussion
대략 190~196개의 애니메이션 ASCII 작품이 의존성 없는 작고 타입이 지정된 TypeScript 모듈로 배포되며, React, Next.js, Astro 또는 순수 HTML 태그에서 쓸 수 있고 MIT 라이선스다. 컬렉션은 풀컬러 장면, 로더, 차트, 타이포그래피, 27개 언어 로고, 컬러 또는 단일 잉크 버전의 리눅스 배포판 22종, 그리고 3D 도형, 물리 시뮬레이션, 생물들을 아우른다.
꼽을 만한 설계 결정은 이것들이 이미지가 아니라 코드라는 점이다. 즉 확대·축소된 비트맵이 아니라 대상의 프레임 레이트와 해상도로 다시 그려지고, 수정에 비용이 들지 않으며, 각각 인라인으로 넣을 수 있을 만큼 작다. 배포판 로고의 단일 잉크 버전은 누군가 실제 사용을 고민했다는 걸 보여주는 디테일이다—모노크롬 터미널풍 브랜드 마크는 실제 수요인데 이를 제공하는 곳이 거의 없다. 반론은 ASCII 아트가 신기함(novelty) 미학이며, 신기함 미학은 디자인 리뷰와 맞닥뜨리면 살아남지 못한다는 것이다.
수학종말(The Mathocalypse) — 367 points
367 points · 383 comments · scottaaronson.blog · HN discussion
아론슨의 글은 아홉 살 아들이 복잡도 이론가인 아내 데이나 모시코비츠(Dana Moshkovitz)를 놀리는 장면으로 시작한다. 로봇이 그녀가 평생 연구해온 문제를 풀었다는 소식으로 말이다. 그리고 그 애가 옳았다고 논증한다: 이건 수학 역사상 가장 큰 날 중 하나였다는 것이다. 발표된 372개 결과에는 티머시 가워스와 에드워드 위튼이 포함된 자문단의 추천으로 출판된 수바시 코트(Subhash Khot)의 유니크 게임 추측(Unique Games Conjecture) 증명이 있었으며, 이는 알려진 비근사성(inapproximability) 결과의 상당 부분을 떠받치는 토대다.
아론슨 본인의 프레이밍은 관대한 쪽이며, 댓글 스레드는 세 부분으로 교정을 제공한다. 첫째는 실제 적중률이다: 모델은 약 8,000개 문제에 시도되어 약 5%를 풀었는데, 이는 문제당 한 번의 3시간 시도로는 경이적임과 동시에 “372개 결과”를 인용하는 모두가 빠뜨리고 있는 정직한 분모다. 둘째는 판독 품질이다. 아론슨은 증명을 소화하려는 사람들을 인용하는데, 한 사람은 그것이 “환각제를 한 사람이 쓴 것 같은 느낌”이라고 말한다—불분명하고, 곳곳에서 말이 안 되며, 알려진 불가능성 결과를 어떻게 회피하는지 설명하지 않은 채 선행 연구의 이름만 나열한다는 것이다. 셋째는 노동 문제이며 타오와 연결되는 지점이다: 누군가는 이걸 읽어야 하는데, 그 읽기는 감사받지 못하고, 인정도 거의 못 받으며, 경쟁적이고 재미없다. 한 댓글 작성자는 이것이 이미 수많은 소프트웨어 엔지니어의 일상 업무라고 지적한다—자기가 쓰지 않은 코드를 읽고 검증하는 데 시간을 쓰는데, 이건 바로 그것이며 수학이라는 명망이 붙었을 뿐이다.
스레드에서 최고의 문장은 그 글 자체가 인간 저술의 증거라는 관찰이다. 그렇게 말하는 건 인간 아홉 살밖에 없기 때문이다. 두 번째로 좋은 건 테드 창의 2000년 단편 *인간 과학의 진화(The Evolution of Human Science)*를 가리키는 것인데, 이는 인류의 과학 이해가 그 도구에 의해 영구히 뒤처진 세계를 다루며, 5년간 해커뉴스에 대략 한 달에 한 번씩 링크되면서도 그 예리함을 잃은 적이 없다.
메타와 마이크로소프트, 직원들의 클로드 AI 사용을 줄이기 위한 조치에 나서다 — 364 points
364 points · 379 comments · rswebsols.com · HN discussion
더 인포메이션(The Information)에 따르면 두 회사 모두 앤트로픽의 클로드 내부 사용을 줄이고 자사 코딩 도구로 옮겨가고 있다. 중요한 수치는 예산이다: 마이크로소프트의 클라우드·AI 부문에서 직원 1인당 월 AI 지출 한도가 대부분의 경우 10만 달러에서 약 1만 달러로 내려갔다고 한다.
출처는 확인된 게 아니라 보도된 것으로 취급하라—이건 더 인포메이션을 전하는 SEO 지향 애그리게이터이며, 어떤 회사도 공식 기록에 수치를 남기지 않았다. 그러나 방향이 맞다면 이는 이번 분기 가장 중대한 매출 사안이다. 직원 1인당 월 10만 달러 한도는 토큰 극대화(token-maxing) 시대 하이퍼스케일러의 실제 정책이었으며, 이는 이번 자릿수 교정이 10분의 1 삭감이고 그로써 끝나는 시대가 실재했다는 뜻이다. 스레드의 두 번째 데이터 포인트—전 메타 직원이 앤트로픽의 매출이 집중도가 높아 두 고객이 4분의 1을 차지할 수 있다고 말한 것—를 더하면, 이건 더 이상 조달 결정으로 보이지 않는다.
댓글 스레드는 “클로드가 나빠졌다”나 “클로드가 너무 비싸졌다”보다 더 흥미로운 해석으로 수렴한다: 거대 연구소들은 데이터 거버넌스 이유로 자사 모델을 자체 사용(dogfood)하고 경쟁사 모델을 차단하므로, 전환은 부분적으로 구조적이다. 나머지 절반은 회계 담당자들이다. 한 댓글 작성자는 비용 때문에 클로드 접근 권한을 잃은 경험을 전하며 “토큰 극대화”에 대한 청산이 올 것이라고 예측하고, 또 다른 이는 빡빡한 예산에 더해 내부 API 마켓플레이스가 트래픽을 가장 저렴한 모델—오픈 가중치와 중국 모델 포함—로 라우팅하는 신흥 엔터프라이즈 패턴을 보고한다. 둘 다 동시에 사실일 수 있다. 프론티어 연구소들은 2년 전 자사 세일즈 자료가 손쉽게 승인받게 해줬던 좌석당 비용을 이제 정당화하라는 요구를 받고 있으며, 모델은 이제 “최고가 필요한가”라는 질문의 답이 흔히 ’아니오’일 만큼 충분히 좋아졌다.
오프그리드 생활: 헌드레드 래빗츠(Hundred Rabbits) — 355 points
355 points · 166 comments · 100r.ca · HN discussion
데빈 루 린베가(Devine Lu Linvega)와 레카 벨룸(Rekka Bellum)은 수년째 오프그리드로 살며 작업해왔다—현재는 요트 위에서—그리고 홈페이지는 이들이 내놓은 것들의 연재 일지다. 최근 항목으로는 이들의 카드게임 *돈솔(Donsol)*의 10주년 기념 결정판 재출시—이제 애니메이션 스프라이트와 제대로 된 설명서가 있고 브라우저에서 실행 가능—, 일회용 패드(one-time pad)로 메시지를 암호화·복호화하는 “래빗 웨이브스(Rabbit Waves)” 두 번째 편, 그리고 아날로그 아트 처리에 관한 페이지가 있다. 이들의 도구인 uxn은 작은 가상 머신으로, 극도로 휴대성 높은 하드웨어에서 얼마나 많은 것이 가능한지를 보여주는 사례로서 실질적인 팔로워를 얻었다.
이들의 실천을 꿰는 관통선은 그 자체를 위한 미니멀리즘이 아니라 이해 가능성(comprehensibility)이다. 한 댓글 작성자는 벨룸이 낡은 모자를 풀어 헤쳐 새 모자를 만드는 법을 알아내고 옷을 오픈소스 소프트웨어에 비유한 일지 항목을 인용한다. 그것이 실제 명제다: 오프그리드 생활이 더 낫다는 게 아니라, 자신이 의존하는 것들을 이해하고, 수리하고, 다시 만들어낼 수 있어야 하며, 이는 미학이 아니라 수련이라는 것이다. 암호학 페이지들도 같은 본능에서 나온다—직접행동 조직화는 참여자를 감시하는 플랫폼에서 이루어지니, 플랫폼을 욕하는 대신 친구들에게 암호화하는 법을 가르치라는 것이다.
최고의 반론은 스레드 맨 앞에 나오며 진지하게 받아들일 가치가 있다: 오프그리드 생활은 근본적으로 유아론적(solipsist)이며, 사회 안에서 잘 살려고 애쓰기보다 사회를 버리는 것은 막다른 길이라는 것이다. 답은 이들이 출판하는 모든 것에 암시되어 있다—그들은 자기 자신을 위해 오프그리드로 사는 게 아니라, 오프그리드로 산 다음 그 방법 전체를—실패한 부분까지 포함해—무료로 문서화한다. 그것은 은둔이 아니라, 결과를 공개한 공개 실험이다. 그것이 확장되느냐는 별개의 질문이며, 정직한 답은 확장될 생각이 없다는 것이다.
한 번 차트에 오르고 사라진 밴드를 찾은 15년의 수색 — 338 points
338 points · 123 comments · shahidhussain.com · HN discussion
2011년 저자는 공연장에서 Salvage라는 밴드의 CD를 샀다. “Electric”과 “Searchlights” 두 곡이 들어 있었고, 녹음은 분명히 전문적으로 프로듀싱된 것이었지만 밴드는 그 외에는 흔적을 찾을 수 없었다. 그는 15년간 이런저런 틈을 내어 계속 찾았다.
그는 그들을 찾아냈다. 이 글은 멤버들과 프로듀서를 인터뷰한 것이며, 보상은 재회 이야기보다 낫다. 곡들은 카디프의 매닉 스트리트 프리처스(Manic Street Preachers)의 FASTER 스튜디오에서, 록필드(Rockfield)의 빈티지 트라이던트(Trident) 콘솔로, 매닉스 본인들의 악기와 앰프를 써서 녹음됐으며, 먼저 이들의 연습실에 찾아와 라이브 연주를 듣고 나서 프로듀싱한 이가 맡았다. 모든 레이블이 거절했다. 한 시니어 A&R이 이유를 설명했는데, 그날 가장 인용하고 싶은 문장이다: 그 곡은 “밴드가 1집이 아니라 3집에 낼 법한 것”이며 “너무 성숙하다”는 것이었다. 밴드는 스타일을 바꿔 다른 이름으로 영국 업계의 주목을 받았고 글래스턴베리에 섰지만 끝내 계약을 못 얻었으며 2008년 말에 해체됐다. 멤버들은 지금 글레이셔(Glacier)와 서밋(Summit)이라는 이름으로 TV·영화 음악을 쓰고 있다.
이 이야기가 먹히는 이유는 아무도 기록하지 않는 실패 유형을 문서화하기 때문이다: 나쁜 밴드도, 운 나쁜 밴드도 아니고, 가장 좋은 곡이 너무 좋은 게 너무 이르다는 이유로 거절당한 밴드다. 스레드는 같은 장르로 가득하다—사라진 히트곡에 관한 Reply All 에피소드, 아이슬란드어로 된 비요크 곡, 80년대의 잘 알려지지 않은 카우펑크 싱글—그리고 되풀이되는 기술적 원인은 스트리밍이다. 음악 라이브러리가 로컬 파일이었을 때 당신은 그것에 대한 공간적·맥락적 기억을 형성했다. 반면 곡 이름도 없는 무한한 임대 카탈로그라면, 기억해내려는 대상에는 붙잡을 손잡이가 없다.
번역에서 길을 잃은 나비에–스토크스 — 334 points
334 points · 204 comments · arxiv.org · HN discussion
바스투니스(Bastounis), 치르첼리(Circelli), 한센(Hansen)은 아무도 확인하지 않았던 한 방향에서 검증 서사를 공격한다. 자동형식화(autoformalisation)—AI가 자연어 증명을 커널이 검사할 수 있도록 Lean으로 번역하는 것—는 오픈AI가 발표한 나비에–스토크스 폭발(blow-up) 결과를 포함해 AI 수학의 신뢰 메커니즘으로 취급되고 있다. 이들의 주장은 형식화된 Lean 증명이 자연어 증명과 대응하지 않는다는 것이다: 번역이 논증을 조용히 바꿔놓았다는 것이다.
헤드라인보다 면책 조항을 먼저 읽어라. 논문은 신중한데 보도는 그렇지 않았기 때문이다. 저자들은 오픈AI의 자연어 증명이 틀렸다고 명시적으로 주장하지 않는다. 이들은 Lean 산출물이 그것을 대표하지 않는다고—따라서 기계 검증된 인증서는 발표 페이지가 가리킨 것과 다른 무언가를 인증한다고—주장한다. 스레드의 오픈AI에 대한 가장 강력한 변호는 자연어가 충분히 부정확해서 여러 Lean 번역이 모두 정당할 수 있으며, 최상위 정리 진술이 클레이 연구소(Clay Institute)의 정식화와 일치한다면 중간 단계의 불일치는 결과에 영향이 없다는 것이다. 이는 실제 논증이며, 댓글 작성자도 사소하지 않다고 인정하는 한 가지 가정에 전적으로 의존한다: 형식화된 진술이 수학자들이 실제로 의도했던 바로 그것이라는 가정이다.
이것이 일반화 가능한 발견이다. 증명 검사기는 어떤 도출이 공리로부터 따라 나오는지를 검증한다. 그것이 공리가 당신의 의도를 담고 있는지는 검증하지 못하며, 당신이 내놓은 산문이 검사된 도출을 기술하는지에 대해서는 아무 말도 하지 않는다. Lean은 진술과 그 귀결 사이의 간극을 좁힌다. 그러나 진술과 당신이 말하고자 한 것 사이의 간극은 좁히지 못한다—그리고 그 두 번째 간극이 이제 “증명은 기계 검증됐다”는 모든 주장에서, 이 라운드업의 다른 수학 항목에 나오는 주장들을 포함해, 하중을 지는 부분이다.
소프트웨어 블로깅의 안티패턴 — 316 points
316 points · 146 comments · refactoringenglish.com · HN discussion
기술 글이 실패하는 방식들의 목록이다: 두서없이 흐르는 서론(압도적으로 가장 흔하다), 독자가 당신이 쓰는 한 가지를 빼고는 당신이 아는 모든 것을 안다고 가정하는 태도, 링크 과의존, 글이 다음 글을 예고하는 구실이 되는 “속편 주입(sequel injection)”, 과도한 격식, 그리고 평범한 렌더링 실패—모바일 오버플로, 읽을 수 없는 폰트, 깨진 HTML.
처방은 논쟁의 여지가 없고 옳다: 요점을 먼저 밝히고, 낯선 내용 앞에 독자에게 익숙한 닻을 주고, 기술 글에서 서스펜스를 쌓는 걸 그만두라. 가장 좋은 댓글은 이를 어느 스타일 가이드에도 없는 규칙으로 벼린다—교육은 스토리텔링이 아니며, 반전을 지키려고 결론을 감추는 것은 이해를 적극적으로 해친다는 것이다. 좋은 발표는 시작할 때 무엇을 말할지 알려주고, 그다음 그것을 말하고, 다시 그것을 말한다. 두 번째로 좋은 댓글은 훔칠 만한 인용문이다: 첫 문장의 유일한 목적은 당신이 두 번째 문장을 읽게 만드는 것이다.
스레드에는 모두가 품고 있는 불만도 있다. 한 댓글 작성자는 지금 마주치는 소프트웨어 블로그 대다수가 LLM이 쓴 것처럼 읽히고 “대개 형편없다”고 추정하며, 누군가 모델들에게 이 안티패턴들을 좀 알려줄 수 없냐고 묻는다. 알려줄 수 있다. 별 도움은 안 된다. 생성된 산문의 실패 유형은 규칙에 대한 무지가 아니라, 그 규칙들이 형식화하려던 것—하고 싶은 구체적인 말이 있음—의 부재이기 때문이다. 안티패턴 목록은 아무도 할 말이 없었을 때의 글이 어떤 모습인지를 기술한 것이다.
오푸스 5.5에게 프롬프트 하나와 여섯 시간을 주고 ’보이지 않는 도시들’을 시각화하게 했다 — 305 points
305 points · 158 comments · quesma.com · HN discussion
프롬프트 하나, 여섯 시간의 에이전트 작업 시간, 그리고 칼비노의 *보이지 않는 도시들(Invisible Cities)*에 나오는 55개 도시 전체를 생성된 인터랙티브 시각화로 만들어낸 결과물. 각 도시는 도표가 아니라 장면으로 렌더링됐다. 저자는 이 분야의 노련한 사람으로—오푸스 4.8, 페이블 5.1, GPT-6 아스트라를 거치며 데이터 시각화와 탐험형 설명(explorable explanations) 작업을 해왔으며—5.5를 AI 보조 디자인에서 슬롭(slop)을 걷어내고 겹침을 손으로 고칠 필요가 없어진 지점이라고 묘사한다.
스레드의 반응은 산출물보다 훨씬 흥미롭고, 품질과는 무관한 선을 따라 갈린다. 이 책을 읽은 사람들은 대체로 이것이 존재하지 않기를 바랐다: 책의 기능 일부는 도시들을 직접 그려내는 것이며, 렌더링된 버전은 당신이 간직하는 기억이 되어버리기 때문이다. 한 댓글 작성자는 무작위로 한 도시를 클릭했는데, 도입 문구가 서로 다른 다리마다 기뻐한다는 내용이었고 다리는 총 다섯 개였으며 그중 셋은 아무것도 가로지르지 않고 물길을 따라 나 있었음을 세어냈다. 그것이 해석으로서의 시각화가 실패하는 방식의 한 사례다.
두 번째 반응은 반박하기 더 어렵다. “인상적이라는 건 압니다. 그런데 별로 감흥이 없어요.” 회의 10분 전에 누가 만든 타이포그래피 잘 된 슬라이드처럼 읽힌다. 그리고 이것이 이번 출시가 보여주는 실제 변화다: 원샷 생성 작업의 상한선이 이제 충분히 높아져 결과물이 ‘쓸 만한’ 수준이 되었고, 흥미로운 질문은 모델이 이걸 할 수 있는가에서 모델이 만든 버전을 누가 왜 원하는가로 옮겨갔다. 답은 어쩌면 대부분의 사람이 원한다는 것일 수 있다—대부분의 슬라이드쇼, 대부분의 대시보드, 대부분의 랜딩 페이지는 공예가 아니라 노동이며, 생성되어야 마땅하다. 잘못은 사람이 사랑으로 만드는 것들에도 같은 논리가 통한다고 가정하는 데 있다.
Docker 에이전트 — 292 points
292 points · 134 comments · github.com/docker · HN discussion
도커의 신작은 선언형 YAML로 정의된 에이전트를 실행하는 docker CLI 플러그인으로, 도구 생태계와 멀티 에이전트 오케스트레이션을 갖추고 Go로 작성됐다. Docker Desktop 4.63+에 기본 탑재되어 나오고 홈브루(Homebrew)로도 설치할 수 있으며, 협업하는 에이전트를 구축·실행하는 데 “코드가 필요 없다”는 것이 홍보 문구다.
흥미로운 건 제품이 아니라 반응이다. 이 분야가 어디에 있는지를 깔끔하게 보여주기 때문이다. 최다 추천 비판은 “코드가 필요 없다”가, 누구나 요청하면 대체로 맞는 코드를 뽑아내는 에이전트를 갖게 된 순간부터 더 이상 세일즈 포인트가 아니게 됐다는 것이다—노코드 계층의 가치는 언제나 상용구(boilerplate) 작성에서 벗어나는 것이었고, 이제 상용구는 공짜다. 두 댓글 작성자는 에이전트 하네스가 2010년대의 자바스크립트 프레임워크와 같은 처지가 됐다고 본다: 모든 벤더가 하나씩 갖고 있고, 모두 같은 형태로 수렴하며, 차이는 대부분 이름뿐이라는 것이다. 세 번째는 다섯 개의 경쟁 프로젝트(kagent, 쿠버네티스의 agent-sandbox, LangChain의 deepagents 샌드박스 등)를 나열하며 각각 뭐 하는 건지 대놓고 묻는데, 아무도 답하지 않는다.
실질적인 기술 불만이 하나 있으며 그게 정답이다. 누군가 보안 문서를 찾다가 한참을 뒤져야 했고, 그러면서 도커의 약관이 이제 에이전트 입출력 수집을 허용한다는 점을 지적한다. 모델이 당신을 대신해 도구를 실행하게 하는 것이 전부인 카테고리에서 중요한 설정은 샌드박스 경계와 데이터 보존 조항인데, 둘 다 프론트페이지에 없다. 스레드에서 되풀이되는 주제—오케스트레이션은 어려운 문제가 아니고, 장기 지평에서의 에이전트 표류(agent drift)가 그렇다—가 더 유용한 프레이밍이며, 이들 하네스 중 어느 것도 현재 해결하지 못하는 지점이다.
로절린드 프랭클린은 상징적인 DNA 사진에서 나선 구조를 놓쳤나? 아니다 — 287 points
287 points · 97 comments · science.org · HN discussion
과학사학자와 X선 결정학자—과학사연구소(Science History Institute)의 앨리스터 스폰슬(Alistair Sponsel)과 런던 킹스칼리지의 브라이언 서턴(Brian Sutton)—가 프랭클린이 같은 DNA 시료로 찍은 그 유명한 51번 사진보다 며칠 앞서 만든 초기 회절 사진, 49번 사진에 대한 그녀의 노트를 재검토했다. 이들의 주장은 초기 사진이 이미 그녀에게 나선 구조를 보여줬고, 그래서 그녀가 더 정교한 두 번째 버전을 만들었으며, 왓슨이 나중에 자신의 공으로 주장한 그 깨달음은 그가 가질 것이 아니었다는 것이다.
스레드의 반박은 기사보다 신중하며 대체로 옳다. 1951년이면 10년간 존재해온 더 조잡한 회절 사진들에 힘입어 나선형 DNA가 이미 유력 후보였으므로, “프랭클린은 나선인 걸 알았다”는 프레이밍이 함축하는 것보다 훨씬 작은 주장이다. 스레드는 이 발견을 세 가지 별개 질문으로 분해한다—DNA가 나선이라는 것, 그것이 이중 나선이라는 것, 두 가닥이 상보적 염기를 나른다는 것—그리고 이를 서로 다른 사람에게 배정하며, 첫째는 프랭클린과 윌킨스, 셋째는 왓슨과 크릭으로 정리한다. 논쟁의 대상은 가운데 하나뿐이다. 출판된 논문의 초록 자체도 프랭클린의 실패에 관한 특정 주장을 반박하는 것이지 그녀가 구조를 발견했다는 게 아니라고 인정한다. 여러 댓글 작성자는 헤드라인이 어그로(bait)라고 지적하는데 그게 맞고, 한 명은 HN의 원래 제출 제목이 기사가 결코 말하지 않은 내용을 단언했다고 짚는다.
가장 유용한 지점은 가장 극적이지 않은 것이다: 초록과 헤드라인은 서로 다른 질문에 답하고 있으며, 방어 가능한 건 초록뿐이다. 이것이 단일 역사적 논쟁을 넘어 중요한 이유는, 스레드의 본능—프레이밍이 아니라 논문을 읽어라—이 바로 위의 수학 항목들이 요구하는 본능이기 때문이다.
Whistle: 16.9MB의 음성 인식 — 273 points
273 points · 70 comments · cactuscompute.com · HN discussion
16.9MB짜리 파일 하나로 배포되는 음성 인식 모델로, 의존성 없이 CPU에서 실행되며 회사의 Needle 모델과 같은 C++ 엔진에 로드되어 단일 바이너리가 오디오 클립에서 도구 호출까지 처리할 수 있다. 영어, 독일어, 프랑스어, 스페인어, 이탈리아어, 네덜란드어, 폴란드어를 지원하고, 발화당 최대 30초를 처리하며, 첫 토큰까지 11밀리초에 도달하고, 오디오를 전적으로 온디바이스에서 처리한다.
아키텍처 공개가 이례적으로 완전하다—샘플 레이트, 멜 빈(mel bin), 윈도와 홉(hop), 컨볼루션 스템의 채널 수와 다운샘플링 계수가 모두 글에 담겨 있어, 대부분의 모델 발표보다 자세하며 크기 주장을 단언이 아니라 검증 가능한 것으로 만든다. 웨어러블이나 마이크로컨트롤러에 인식을 내장한다면, 파이썬도 네트워크도 없는 16.9MB는 1GB짜리 Whisper 체크포인트와는 확실히 다른 제품이며, 7개 언어 지원은 바로 그 하드웨어의 그럴듯한 유럽 시장과 맞아떨어진다.
스레드는 이 주장을 검증하고 정직한 한계를 찾아낸다. 데모에는 스트리밍 출력이 없다—녹음하고 기다려야 한다—한 댓글 작성자는 이를 실시간 전사에 필수적이라고 정확히 지적하는데, 출시 측은 이를 광고하지 않는다. TV 에피소드에 돌려본 한 댓글 작성자는 60초 분량의 무관한 대사에 “Thank you”를 내뱉는 반복 실패를 겪었는데, 이는 소형 디코더의 전형적인 퇴화 모드이며 출시 전에 알아둘 가치가 있다. 가장 날카로운 댓글은 프레이밍에 관한 것이다: 음성 인식의 어려운 문제는 결코 바이너리 크기가 아니라, 입이 처진 84세 크로아티아 출신 뇌졸중 생존자가 자서전을 구술하려는 것을 알아듣는 것이다. 그 사용자에게 필요한 건 더 작은 모델이 아니다. 훨씬 더 좋은 모델이며, 16.9MB로는 거기까지 못 간다.
’조너선(Jonathan)’은 지구에서 가장 나이 많은 육상 동물이다 — 263 points
263 points · 152 comments · 404media.co · HN discussion
조너선은 세인트헬레나섬의 알다브라 자이언트 거북으로 대략 194살이며, 미국 남북전쟁 전에 부화했고 1880년대에 사진으로 찍혔다. 연구자들이 이제 처음으로 그의 게놈을 해독했으며, 대부분의 노화 경로—DNA 복구, 인슐린 조절, 미토콘드리아 기능—에서 독특한 변이체와 더불어 이례적으로 낮은 엔트로피의 DNA 메틸화를 보고한다.
보도는 신중하며 근저의 결과는 단일 게놈 하나라는 점을 계속 염두에 둬야 한다. 모든 장수 게놈 연구는 같은 경로 목록에서 변이체를 보고한다. 그 경로들은 조사된 모든 동물의 노화를 관장하는 경로이기 때문이다. 194살 거북에서 그것들을 발견한 것은 그 기제가 보존되어 있다는 확인이지, 이 특정 거북이 왜 오래 사는지에 대한 설명이 아니다. 진짜 흥미로운 비교는 논문이 아니라 스레드에 있다: 200년을 넘긴 육상 동물은 없는데, 여러 해양 종은 5~600년까지 산다. 극단적 장수가 해결된 분자적 문제라면 기록 보유자들이 사는 곳이 바다일 리 없다—이는 유전자 변이만큼이나 대사율, 온도, 포식 압력을 가리킨다.
인간 적용으로의(“그럼 우리도 더 오래 살 수 있다”) 헤드라인 도약은 언론의 프레이밍이지 연구 결과가 아니다. 스레드 최고의 농담은 장수를 극대화(min-maxing)하는 것이 속도와 카리스마를 맞바꾸는 빌드 트레이드오프라는 것인데, 웃기기도 하고 대략 비교생물학이 실제로 작동하는 방식이기도 하다.
오픈AI 연환산 매출, 앞서 시사된 것보다 200억 달러 적어 — 250 points
250 points · 147 comments · cnbc.com · HN discussion
오픈AI는 9월 말 기준 연환산 매출이 약 500억 달러에 도달했다고 투자자들에게 밝혔다. 지난달 말 널리 보도된 수치는 680억 달러였다. 엔비디아, 오라클, 코어위브(CoreWeave)는 그 차이 때문에 매도됐다. 사안에 정통한 한 사람은 CNBC에 더 높은 수치가 오픈AI 파트너들의 총매출(gross revenue)을 포함한 것이며, 앤트로픽과의 비교를 더 직접적으로 만들기 위해 그렇게 제시됐다고 말했다.
그 설명이 곧 이 이야기다. 수 주간 오픈AI의 매출로 유통된 숫자가 결코 오픈AI의 매출이 아니었음을 인정하는 것이기 때문이다. 파트너 총매출은 다른 의미를 지닌 다른 양이다: 파트너의 장부를 통과하는 돈을 세는데, 그래서 다른 파트너십 구조를 가진 경쟁사와 비교되는 회사에겐 듣기 좋은 숫자가 된다. 그 차이는 회계 오류가 아니라 정의의 치환이며, 숫자가 더 커 보이는 방향으로 이루어졌다. 투자자 프레젠테이션에 따르면 7월만 해도 연환산 약 300억 달러에 근접했는데, 이는 산수를 하고 싶은 사람에게 궤적과 수정을 같은 문장에 놓아준다.
스레드는 대부분 그 산수를 하며 시장이 내린 결론에 도달한다. 가장 인용하고 싶은 댓글은 가장 단순하다: 매출 200억 달러를 잘못 보고하고도 여전히 진지하게 받아들여지는 다른 회사가 있느냐는 것이다. 2위는 회사가 아니라 언론에 대한 정당한 일격이다—같은 매체가 한 기사를 쓰려고 높은 수치를 실었고 다른 기사를 쓰려고 낮은 수치를 실었으며, 두 번째 기사의 뉴스 가치는 대개 그들이 첫 번째 기사를 실었다는 것에 있다. 그 밑에 깔린 구조적 지점—최상위 댓글에서—은, 전체 지수의 의미 있는 한 부분을 떠받치는 밸류에이션을 가진 회사가 자발적이고 협상된 기준으로 재무를 공시한다는 것이며, 이는 시스템적으로 중요한 무언가가 비상장으로 남을 때 벌어지는 일이다.
클레오(Cleo, 수학자) — 248 points
248 points · 56 comments · wikipedia.org · HN discussion
블라디미르 레셰트니코프(Vladimir Reshetnikov)는 2013년부터 2015년 사이에 ’클레오(Cleo)’라는 이름으로 수학 스택 익스체인지에 어려운 적분 문제에 대한 답 39개를 올렸는데, 각각 중간 단계 없이 정확한 닫힌 형식만 제시했다. 정확성과 풀이 과정을 보여주지 않는 태도는 많은 사람에게 클레오가 개인이 아니라 집단이나 시스템이라고 확신시켰다. 레셰트니코프가 스스로를 밝혔고, 2023년 말 레딧 사용자의 게시 패턴 포렌식 분석이 확인 근거로 위키백과 문서에 기재됐다.
스레드에서 최고의 기술적 관찰은 비수학자에게서 나왔고 정확하다: 겉보기에 임의로 보이는 어려운 적분은 알려진 닫힌 형식을 가진 함수에서 출발해 미분하면 손쉽게 만들어낼 수 있다. 즉 이 퍼포먼스의 상당 부분은 마술이었고, 위키백과 요약은 그 점을 말하지 않는다. 그렇다고 답이 감탄스럽지 않은 건 아니다—마술의 요점은 관객이 못 한다는 것이니까—다만 답이 보이는 것보다 내용이 적었다는 뜻이다. 또한 한 댓글 작성자가 직접 던지는, 다뤄지지 않은 질문도 제기한다: 39개 중에 공범이 아닌 게 분명한 질문에서 나온 게 있느냐는 것이다.
스레드의 진짜 주제는 정체 공개(unmasking)이며, 정직하게 갈린다. 익명을 유지하며 좋은 것을 기여했다고 해서 남이 가만히 놔둬야 할 권리가 생기는 건 아니지만, 아무 해도 끼치지 않는 사람을 신상 털기하는 건 무례한 짓이며 그 탐정 놀이를 한 사람들이 그 점을 인정해야 한다. 가장 흥미로운 댓글은 클레오를 오늘날의 AI 증명과 연결한다: 답은 정확하고 유용했지만, 작업의 가치—문제에서 답으로 가는 방법을 보여주는 것—가 바로 감추어진 것이었다. 이것을 타오의 스레드와 오픈AI의 철회와 나란히 읽으면 더 이상 인터넷 미스터리 이야기가 아니다.
15m 지하 터널이 있는 집, 30만 파운드에 매물로 — 229 points
229 points · 213 comments · readingchronicle.co.uk · HN discussion
토목 기사인 토니 딘(Tony Deane)은 약 20년에 걸쳐 자기 집 아래 최대 15미터 깊이에 방과 복도로 이루어진 네트워크를 손으로 팠다. 이 부동산은 안내가 약 30만 파운드로 경매에 부쳐진다. 한 방은 수영장 옆 로켓 모양 구조물 안에 입구가 숨겨져 있다.
이 항목은 분석이 필요 없고 관찰 하나로 충분하다: 댓글 작성자들은 즉시 평면도와 추가 사진이 있는 경매 목록을 찾아냈고, 깊이 수치가 ’터널 수백만 개’가 아니라 미터 단위임을 확인했으며, 두 건의 유사 사례—해크니의 “두더지 인간(Mole Man of Hackney)” 윌리엄 리틀(William Lyttle)과 자신의 굴착을 기록한 틱톡 크리에이터—를 찾아냈다. 이 장르는 실재하며, 대부분 영국이고, 관련 전문 자격을 가진 사람들로 채워진다. 한 댓글 작성자는 본드 빌런의 첫 집이라고 부른다. 또 다른 이는 23피트짜리 로켓이 비밀 입구를 숨기는 끔찍한 방법이라고 정확히 지적한다. 둘 다 맞다.
오픈AI, 수학 결과 3건 철회 — 224 points
224 points · 518 comments · github.com/openai · HN discussion
저장소 자체의 체인지로그(10월 7일자)가 1차 출처이며, 소프트웨어 릴리스처럼 작성됐기에 전문을 읽을 가치가 있다. “Algebraicity of Weil classes on split abelian eightfolds”의 부호 오류 하나가 두 편의 종속 논문이 사용한 안정화-트레이스 상쇄 논증을 무효화시켜, 세 편의 원고가 철회됐다—Weil 클래스 논문, K3 곡면에 대한 Kuga–Satake 대응 결과, 그리고 K3 곡면의 곱에 대한 유리 호지 추측이다. 다른 원고 14편은 증명 수정, 진술 정정, 가정과 의존 관계 명확화, 그리고 오래된 인용 하나 때문에 개정됐다. 철회된 논문에는 그 결함을 설명하고 보관된 버전을 링크하는 공지가 붙는다.
24시간 만에 약 400개 결과를 1차 검토해서 오류 3건이 나온 건 좋은 오류율이자 동시에 나쁜 신호이며, 양쪽 모두 짚을 가치가 있다. 좋다는 건 발표 하루 만에 커뮤니티가 부호 오류를 잡아낸 것이 바로 검증 과정이 작동한 증거이며, 저장소가 파일을 조용히 교체하지 않고 철회를 문서화했기 때문이다. 나쁘다는 건 세 논문이 독립적이지 않았다는 점이다—잘못된 논증 하나가 그것에 의존하는 두 결과를 무너뜨렸고, 이는 실패 유형이 상관되어 있어 진짜 오류율이 3/400이 아니라는 뜻이다. 그리고 스레드가 즉시 지목하는 세 번째 이유로도 나쁘다: 이번 발표는 커뮤니티가 검증 작업을 떠맡아 달라는 명시적 요청과 함께였는데, 커뮤니티의 검증이 찾아낸 첫 번째 것이 의존 사슬의 부호 오류였다. 같은 댓글 작성자는 같은 기간에 새 논문 6편이 추가됐다고 지적하는데, 헤드라인은 이를 언급하지 않는다.
스레드가 정착하는 프레이밍은 이번 주 기계 수학에 관해 누군가 쓴 것 중 가장 날카롭다: 이것이 소프트웨어 엔지니어링 관행이 수학을 만났을 때의 모습이다. 버전 번호가 붙은 릴리스, 논문이 묶음으로 철회되는 것, 수정을 추적하는 체인지로그, 그리고 암시적으로 드러나는 공개 의존성 그래프다. 한 댓글 작성자는 패러디 체인지로그를 쓴다—“릴리스 1.3.42: 논문 139, 140 철회, 논문 47의 부호 오류 수정”—그리고 그 농담이 먹히는 건 그게 진짜 작업 흐름이기 때문이다. 스레드의 미해결 질문은 답이 없고 또 그것이 옳다: 철회가 논문을 읽은 인간 수학자에게서 나온 것인지, 자동 일관성 검사에서 나온 것인지인데, 그 둘은 보증 수준이 매우 다르고 이 규모의 코퍼스로 확장되는 건 하나뿐이기 때문이다.
오래가는 소프트웨어의 느린 형성 — 222 points
222 points · 98 comments · newsletter.dancohen.org · HN discussion
댄 코언(Dan Cohen)은 2,000만 명 넘게 쓰는 인용 관리 도구 조테로(Zotero)의 기원 이야기를 들려준다. 2006년 6월 첫 알파—당시 이름은 스마트폭스(SmartFox)였고, 변호사와 알바니아어 사전 양쪽을 참고한 끝에 이름을 바꿨다—부터 그 뒤 수십 년의 자금 지원 작업까지 말이다. 구상에서 조잡한 프로토타입까지 5년, 그 후로도 몇 년이 더 걸렸다. 그가 끌어내는 논증은 이것이 가속될 수 없었다는 것이다: “우리는 우리가 정확히 무엇을 원하는지 몰랐고, 그래서 LLM에게 일관된 프롬프트를 쓸 수 없었다.”
댓글 스레드는 논증이 가장 강한 지점과 가장 약한 지점에서 정확히 갈리고, 그 분할은 깔끔하다. 구상 단계 주장을 실질적으로 반박하는 사람은 없다—성장·인수(growth and acquisition) 담당자가 코언보다 더 잘 논증하는데, 제품의 가치는 바로 그것이 무엇을 해야 하는지 느리게 발견한 데 있었고 그 발견이 산출물이지 생산의 지연이 아니라고 지적한다. 코언이 반박당하는 건 실행 단계다: 수천 명 규모 엔지니어 회사에서 기능을 만드는 한 댓글 작성자는 “AI로 소프트웨어를 거의 즉시 만들 수 있다”는 말이 대규모에서는 그냥 거짓이라고 말한다. 거기서는 기능 하나에 다섯 팀과 1년의 조율이 필요하다는 것이다. 또 다른 이는 오히려 LLM은 당신이 원하는 걸 모를 때 뛰어나다고 말한다. 프롬프트가 아니라 실행 중인 프로토타입을 상대로 반복할 수 있기 때문이다. 5년을 5개월로 줄였을 거라는 낭만화 비난은 뒷받침될 수 있는 것보다 더 자신 있게 단언되지만, 터무니없지는 않다.
스레드에서 가장 유용한 프레이밍은 세 동작의 루프다: 무엇을 해야 하는지 결정하고, 그렇게 하게 만들고, 실제로 그러는지 확인하는 것. AI는 가운데 동작을 붕괴시키고 첫째와 셋째를 남기는데, 그래서 AI로 만드는 경험이 놀라운 속도와 완전한 정체 사이를 오간다. 코언의 글은 첫 번째 동작에 관한 좋은 논증이다. 그런데 이는 세 동작 모두에 관한 주장처럼 읽히고, 거기서 이견이 나온다.
PSP의 갓 오브 워, WebAssembly로 재컴파일되어 브라우저에서 구동 — 221 points
221 points · 110 comments · github.com · HN discussion
이건 에뮬레이터가 아니다. PSP의 MIPS 기계어를 사전에 정적으로 C++로 변환하고, WebAssembly로 컴파일하고, 콘솔의 운영체제와 그래픽 칩을 WebGL2로 그리는 작은 재구현체에 링크했다. *갓 오브 워: 올림푸스의 사슬(God of War: Chains of Olympus)*은 크롬과 파이어폭스에서 PSP 네이티브 해상도의 최대 4배로, 측정된 60프레임/초로 메뉴, 컷신, 전투를 통과하며 음악, 음성, 효과음이 온전하다. 영상 재생은 건너뛴다. *스파르타의 유령(Ghost of Sparta)*도 같은 파이프라인으로 이어졌고, 휴대폰용 화면 터치 컨트롤도 있다.
중요한 건 게임이 아니라 기법이다. 에뮬레이션은 기계의 동작을 런타임에 재현해야 하므로 인터프리터 계층이나 JIT, 그리고 타이틀별 방대한 작업이 든다. 반면 정적 재컴파일은 원본 바이너리를 한 번 변환해 네이티브 코드로 배포하는데, 그래서 여기서의 프레임 레이트가 범용 에뮬레이터로는 나오지 않는다. 스레드의 비교가 논점을 살린다: 누군가는 10년 전 i7 노트북에서 이 게임을 15fps로 돌렸다. 일반화할 수 있는 결론은, 명령어 집합이 잘 알려지고 OS 표면이 작은 콘솔은 이제 결심한 개인 한 명과 툴링만으로 다룰 수 있는 대상이 됐다는 것이며, 이는 누가 보존(preservation) 작업을 할 수 있는지가 바뀌었다는 뜻이다.
뻔한 유보 사항은 법적 문제이며, 스레드가 처음 몇 댓글에서 제기한다: 게임은 여전히 저작권 보호 대상이고, 재컴파일은 게임 없이 배포되며, 소니가 이걸 가만둘 거라고 믿는 사람은 없다. 스레드가 지적하는 더 미묘한 지점은, 그래서 보존에는 법 이론이 필요하다는 것이다—퍼블리셔들은 이 타이틀들로 돈을 벌지도, 재출시하지도 않으면서도 경고장은 보낼 것이기 때문이다.
기계는 어떻게 정밀함을 배웠는가 — 218 points
218 points · 68 comments · glinscott.github.io · HN discussion
1800년경 런던의 헨리 모즐리(Henry Maudslay) 나사 절삭 선반을 중심으로 한, 공작 기계의 부트스트랩 문제에 관한 삽화 역사다. 문제는 순환적이며 명료하게 서술된다: 선반은 자체 레일이 곧고 자체 리드스크루(leadscrew)가 균일하지 않으면 정확한 나사를 깎을 수 없는데, 1770년대 작업장은 둘 다 신뢰성 있게 만들지 못했다. 오류는 상쇄되지 않고 누적된다—휜 레일은 공구가 휨을 따라가게 만들고, 고르지 않은 나사는 고르지 않은 나삿니를 깎으며, 그 결과는 새는 피스톤, 흔들리는 축, 끼는 너트다.
이 순환을 끊은 기법들이 성과다. 기준 나사 없이 나사를 만드는 모즐리의 요령: 불완전한 나사 두 개를 써서 세 번째 나사의 절삭을 안내하되 같은 속도로 회전하도록 기어를 물리고, 두 너트를 잇는 막대를 두고 공구를 중간점에 고정해 그 위치가 둘의 평균이 되게 한다—그러면 둘에 공통된 오류가 상쇄된다. 반복적인 복사와 교정 끝에 그는 길이 5피트, 지름 2인치, 인치당 나삿니 50개짜리 기준 나사를 만들어냈고, 1피트짜리 너트가 한 번에 나삿니 600개를 물게 됐다. 이는 공학 역사상 위대한 부트스트래핑 성과 중 하나이며, 기사의 애니메이션이 산문이 못 하는 방식으로 그 기하를 읽히게 만든다.
스레드는 인간적인 면에서 이례적으로 훌륭하다. CNC가 수동 선반 수요를 쓸어버리기 전에 인도 북부에서 공작 기계 작업장을 운영했던 아버지를 둔 댓글 작성자는 한 계층의 숙련 노동에 무슨 일이 일어났는지 서술한다. 저자는 앞선 빔 엔진(beam engine) 기사용으로 와트의 실린더 보어 문제를 조사하다가 이 글로 번졌다고 밝히러 나타난다. 최고의 구조적 관찰은 이것이 지금 AI가 데이터와 겪는 것과 같은 문제라는 점이다: 품질을 산출하려면 품질의 원천이 필요하고, 하나를 만들어내기 전까지 대조할 외부 기준이 없다. 모즐리의 답—서로 독립적인 결함 있는 원천 둘을 평균 내고 반복하라—은 합성 데이터 생성이 작동하는 방식에 대한 최악의 비유는 아니다.
빅토리아 시대 엘리트는 왜 그토록 유능했는가? — 213 points
213 points · 368 comments · worksinprogress.co · HN discussion
이 기사는 역발상 실험을 벌인다. 현대의 성공 담론은 엄격한 루틴을 처방한다—새벽 5시 기상, 냉수욕, 금주, 집착적인 근무 시간, STEM 편중 교육. 역사상 최대 제국을 운영한 빅토리아 시대 엘리트는 정반대를 했다: 늦은 기상, 포트주 몇 리터, 겨우 학문이라 할 만하고 과학·공학이 대부분 빠져 있던 학교와 대학, 그리고 엄청난 양의 구조화되지 않은 사교 시간이다. 논점은 이것들이 엘리트가 극복한 악덕이 아니라, 현대적 템플릿이 최적화 대상으로 삼는 결과들—네트워크, 판단력, 장기적 관계, 그리고 즉시 행동하지 않고도 방대한 정보를 흡수하는 대역폭—을 만들어낸 메커니즘이었다는 것이다.
스레드의 최고 반론은 양적이며 효과가 있다: 통치 기구는 극도로 작았다. 1816년 런던 식민지 사무소는 직원이 14명이었고 세기 중반에 수십 명으로 늘었는데, 이는 제국이 조율이 개인적 면식으로 이루어질 만큼 작은 엘리트에 의해 운영됐다는 뜻이다. 의사결정 기구가 14명이면 구조화되지 않은 사교 시간이 바로 조율 메커니즘이며, 현대적 템플릿은 조직이 수천 명이고 조율에 프로세스가 필요한 세계에 최적화되어 있다. 그 악덕은 미덕이 아니라 네트워크의 형태였다.
두 번째 반론은 기사를 완전히 멈춰 세워야 할 것이며, 스레드 맨 위에 노골적으로 진술된다: 빅토리아 시대 엘리트는 다른 사람들이 세우고 일군 경제와 제국에서 지대(rent)를 추출하는 데 최적화되어 있었다. 그들의 유능함은 그들 자신의 기준으로 판단하자면 그들이 만들지 않은 시스템에서 잉여를 짜내는 것이었다. 이는 트집이 아니라 진짜 재구성이며, 기사는 이와 결코 맞붙지 않는다—역사를 경영 매뉴얼로 읽을 때의 문제가 바로 이것이다. 흥미로운 질문은 어떤 루틴이 유능한 엘리트를 만드는가가 아니라, 그들의 이점 중 어느 것이 실력이고 어느 것이 독점이었느냐이다.
DVD 메뉴의 아름다움 — 206 points
206 points · 130 comments · vale.rocks · HN discussion
디자인 매체로서의 DVD 메뉴를 둘러보는 글로, 포맷이 등장한 1996년부터 2000년대 전성기까지를 다룬다. 기사는 미학을 형성한 제약들을 정확히 짚는다: 720×480의 NTSC 영상(PAL은 720×576), 버튼 하이라이트 레이어를 겸하는 제한된 수의 자막·오디오 트랙, 그리고 대형 출시작의 디자이너가 내비게이션 뒤에 풀 모션 영상을 넣을 수 있을 만큼의 저장 여유다. 그 결과는 진정으로 창의적인 인터페이스 작업의 시기였다—애니메이션 메뉴, 숨겨진 기능, 내비게이션 게임—블루레이 시대가 대부분 오버레이를 얹은 영상 클립으로 평평하게 눌러버린 것들이다.
스레드는 당신이 원하는 두 가지를 해준다. 첫째, 1차 사료를 공급한다: 한 댓글 작성자는 약 250개의 DVD 메뉴를 디스크에 보관 중이라고 밝히며, 일부는 1기가바이트를 넘는다고 하는데 메뉴 자체가 작동하려면 재생돼야 하는 영상이기 때문이다. 또 다른 이는 영화를 장면별로 거꾸로 재생했던 *메멘토(Memento)*의 숨겨진 버튼 조합을 언급한다. 둘째, 향수보다 강한 반론을 공급한다. 한 댓글 작성자는 DVD 메뉴를 리버스 엔지니어링된 안티기능(anti-feature)이라고 묘사한다—애니메이션 메뉴를 헤집고 영화의 기억에 남는 모든 장면을 다 보여준 뒤에는 더 이상 그 영화를 보고 싶지 않아진다는 것이다. 또 다른 이의 버전은 더 심하다: 정교한 메뉴는 리모컨이 형편없고 플레이어가 느리고 버튼을 누를 때마다 반응에 2초가 걸리던 물리 매체에 실려 왔다.
두 입장 모두 살아남으며, 해답은 그 디자인이 관객을 얻을 자격이 있었다는 것이다. 매니아용 출시작은 정교한 메뉴를 받았고 매니아 관객은 그것을 원했다. 오늘 나오는 대중 시장 디스크가 단조로운 건 대부분의 사람이 영화만 원하고 그 외엔 아무것도 원하지 않기 때문이다. 이는 공예의 쇠퇴가 아니라 사용자를 정확히 읽은 사람들이 내린 제품 결정이며, 흥미로워지려 애쓰는 모든 인터페이스가 결국 지는 것과 같은 트레이드오프다.
아직 페이지에 남은 이야기들
오늘 200포인트를 넘긴 기사 중 열다섯 개는 이전 라운드업에서 다뤘다. 증감분은 각 기사를 추적한 마지막 라운드업을 기준으로 하며, 하나를 제외하면 모두 어제치다.
오늘 가장 크게 움직인 두 항목은 어제의 출시 발표였는데, 출시작이 프론트페이지를 떠나면 포인트가 가는 곳이 바로 거기다. Claude Haiku 5.5는 360 → 1,027, +667 올랐고, 스레드의 유용한 내용은 두 번째 물결과 함께 도착했다: 가격이 헤드라인보다 기이한데, 입력 토큰 100,000개 미만은 백만 토큰당 $0.10이고 그 이상은 $0.50이라서, 모델이 가장 쓸모없는 지점에서 가장 저렴하며 그 구간 기준은 Sonnet이나 Opus에는 적용되지 않는다. GPT‑6 and Intelligent UI는 256 → 740, +484 올랐고, 그 스레드의 비판은 리뷰처럼 읽을 가치가 있을 만큼 일관된다: 평범한 답이면 될 곳에 정교하게 생성된 레이아웃, 모델 자체의 비디오 플레이어에 관한 검증 불가능한 주장, 그리고 새로운 “지능형 UI”가 새로 발표된 광고 노출면이기도 하다는 예리한 관찰이다.
Sharing AI progress in mathematics는 1,185 → 1,316, +131로 버텼고, 페이지 2위이며 위의 철회 사안의 출처다. Visa, Mastercard and the banks는 354 → 586, +232로, 집단소송에 어울리지 않게 많은 관심인데, 스레드를 읽어보면 사람들이 가맹점 수수료율을 주유소 로열티 앱과 견주어 계산하고 있는 걸 알게 된다. JPEG XL in Chrome은 405 → 559, +154, Tell HN: GitHub refuses to remove cracked copies는 491 → 558, +67이었다. 더 작은 변동: the Commodore 64 keycap font 348 → 398, +50; the Nobel Prize in Chemistry 262 → 297, +35; EmbeddingGemma 2 411 → 429, +18; Anthropic’s diary disclosure 822 → 831, +9; the Nobel Prize in Physics 568 → 576, +8; Strands Decider 2B 274 → 281, +7; What’s Earth’s dominant species by mass? 290 → 296, +6; 그리고 GitHub incident 222 → 226, +4.
마침내 멈춰 선 항목은 나흘째 페이지 최상단에 있던 그것이다. Mistral Large 4는 1,980 → 2,025, +45 올랐고, 그 스레드는 회사 자체 유럽 데이터센터의 GPU 3,800개로 학습된 모델에게 프론티어와의 거의 동등함이 승리인지 실패인지를 두고 논쟁으로 변했다. 두 해석이 모두 나오고 어느 쪽도 어리석지 않은데, 이는 최고는 아니지만 아주 좋은 모델에 대한 대략 올바른 수준의 열의다. 함께 기록할 만한 것: 같은 출시의 두 번째 제출인 “Mistral Large 4: Le Chonk”가 아무도 다루지 않은 채 점수를 쌓았고, 오픈AI 철회 사안의 중복 제출이 자체적으로 337포인트를 기록해 위에 링크한 버전보다 113포인트 많다.
관통하는 맥락
첫째: 모두가 가리켜온 검증 계층은 광고된 것보다 얇으며, 오늘 세 개의 개별 기사가 세 가지 방식으로 이를 입증했다. 나비에–스토크스 논문은 Lean 인증서가 산문이 기술한 것과 다른 진술에 대한 충실한 도출일 수 있음을 보여준다—자동형식화는 신뢰 문제를 해결하는 게 아니라 옮긴다. 오픈AI 체인지로그는 연구 그룹을 소프트웨어 릴리스처럼 운영하면 무슨 일이 벌어지는지 보여준다: 부호 오류 하나가 두 편의 종속 논문으로 번지고 24시간 뒤에 철회 공지가 도착하는데, 이는 빠르면서도 실패가 무작위가 아니라 상관되어 있었음을 알려준다. 아론슨 본인의 스레드는 아무도 인용하지 않는 분모를 제공한다—모델은 약 8,000개 문제에 시도되어 각각 한 번의 3시간 시도로 대략 5%를 풀었는데, 이는 경이적인 역량이자 수학이 다 해결됐다는 인상과는 거리가 멀다. 타오의 기여는 1년 뒤에도 여전히 중요할 것이다. 그가 역량에 대해 논쟁하는 게 전혀 아니기 때문이다. 그는 전체 명성 경제가 ’가장 먼저 푸는 것’을 기준으로 가격이 매겨졌던 학문의 핵심 활동이 방금 상품화(commoditised)됐으며, 해법을 애초에 쓸모 있게 만든 후속 작업—해설, 커뮤니티, 새로운 방향—을 위한 메커니즘은 존재하지 않는다고 지적하고 있다.
둘째: AI 청구서가 도착했고, 매출 수정과 같은 주에 도착했다. 마이크로소프트가 직원 1인당 AI 예산을 월 10만 달러에서 1만 달러로 삭감한 것과, 오픈AI의 연환산 매출이 수 주간 유통된 680억 달러가 아니라 500억 달러로 드러난 것은 같은 이야기를 양 끝에서 말한 것이다. 월 10만 달러 한도는 모델이 전략적 헤지였고 아무도 세고 있지 않던 시절에 내려진 정책 결정이었고, 1만 달러는 마침내 누군가 세기 시작했을 때 그 숫자가 어떤 모습인지를 보여준다. 매출 수치에 대한 수정은 받은 것보다 더 많은 주목을 받을 자격이 있는 부분이다: 더 높은 수치는 파트너들의 총매출을 센 것이었고, 제시된 설명은 그것이 경쟁사와의 비교를 더 직접적으로 만들었다는 것이었는데, 이는 오픈AI의 매출로 제시된 숫자가 결코 그런 적이 없었음을 인정하는 것이다. 한편 빅토리아 엘리트 스레드는 그 자체로 인상적으로 보이는 숫자에 대한 회의주의의 그날 가장 값싼 교훈을 제공한다: 세계의 4분의 1을 덮은 제국이 중앙에서 14명에 의해 관리됐다는 것이 밝혀지는데, 이는 16명이 할 수 있는 일의 양에 관한 주장이 아니다. 세어지는 것 중 얼마나 많은 부분이 실은 아무도 세지 않는 시스템의 부분에 의해 실제로 수행되는가에 관한 주장이다. 파트너 총매출 수치와 기계 생성 증명 400편의 코퍼스에도 같은 질문이 적용된다.
셋째: 오늘의 비(非)AI 절반은 AI 절반과 같은 이야기이며, 들여다보면 대개 그렇다. 갓 오브 워의 재컴파일은 10년 된 바이너리에 대한 정적 분석의 승리다. 모즐리의 선반은 부트스트랩 문제, 즉 부정확한 사본에서 평균 내고 반복하여 정확한 기준을 끌어내야 하는 문제다. DVD 메뉴는 대부분의 사용자가 인터페이스가 아니라 콘텐츠를 원한다는 올바른 관찰에 죽어버린 디자인 매체다. 헌드레드 래빗츠는 자신이 의존하는 것을 수리할 수 있는 수련이다. 그리고 Salvage를 찾은 15년의 수색은 물리적 아티팩트 하나를 간직하고 그것을 손잡이 삼아 주변의 모든 것을 되찾은 한 사람의 이야기다. 코언의 조테로 글은 그 연결을 명시한다—요건을 아직 발견하지 못한 제품을 위해 일관된 프롬프트를 쓸 수는 없으며, 요건이 떠오르는 그 느린 대화가 곧 작업이지 간접비가 아니다. 이들 각각은 아티팩트가 중요하고 그것을 만들어낸 과정이 하중을 진다는 논증이다. 이는 생성된 작업에 대한 거부가 아니라, 생성된 작업이 어디에 맞고 어디에 맞지 않는지에 대한 명세다.