해커뉴스 프론트페이지 라운드업 — 2026년 10월 3일

어제 페이지에는 200점을 넘긴 기사가 두 개뿐이었고, 이 라운드업은 그 빈약함이 곧 뉴스라고 했다. 오늘 같은 기간에는 55개가 들어 있고, 그중 11개는 지난 다섯 번의 라운드업에 없던 것이다. 페이지가 녹아 풀렸다.

정상은 그대로다. **구글은 언제 이렇게 이상해졌나?**는 2,009점, +7로 닷새째 1위인데, 기사 하나가 하기에는 이상한 일이다. 그 뒤로 Pi 1.0은 하루 만에 869점, 법원, EFF의 손을 들어주다는 459점을 더했다. 둘 다 새 제출이 아니라 같은 제출이 관심을 받은 것이다.

top-200 순위 창과 44시간 검색 스윕을 합쳐 59개 기사가 200점을 넘겼다. 아래에서 열 개에 온전한 섹션을 할애하고, 나머지 움직인 기사들은 “아직 페이지에 남은 기사”에 있다. 점수는 PDT 13:20에 캡처했다.

Extra Big Ass Intelligence — 468 points

468 points · 110 comments · extrabigassintelligence.com · HN discussion

화면 위에 “AI” 하나가 제멋대로 굴러다니는 풍자 웹페이지 한 장이다. 개그는 심야 홈쇼핑 광고 어투에 Idiocracy를 섞은 문체로 쓰였다. “뜨거운 싱글 모델 — 우리 동네 35B 파라미터 모델이 채팅을 원합니다”, “의회 — 의회, 경제를 고치는 기상천외한 한 가지 꼼수를 발견하다” 카드, “대형 제약사 — 당신의 AI가 너무 우울한가요? 보조금 지원 도파민 주사를 맞아보세요!”, 전해질을 광고하는 Brawndo 광고, 오늘 낭비된 테라플롭스와 누적된 인생급 후회 카운터, 그리고 실행 (굳이 해야 한다면) 버튼까지. 푸터에는 “신체적 상해, 자아의 상실, 실존적 공포”에 대한 책임을 지지 않는다고 적혀 있고, 말은 무해하니 당신의 반응은 당신 책임이라는 단서가 붙는다.

그 뒤의 인프라가 사실 진짜 이야기다. 작성자가 스레드에 나타나 설명했다. OpenCode에 GLM-5.3을 시켜 사이트를 만들었고 — 그 와중에 “기네스를 3잔째부터 8잔째까지 마시고 있었다” — 자기 전에 올려놓고 몇 명이 즐기면 좋겠다고 생각했는데, 깨어나 보니 요청이 약 250,000건에 잠깐 1위까지 했다. 자기 PC의 RTX 4060 Ti 두 장으로 돌아가며, abliterated된 Qwen3.6 35B(qwen3.6-35b-a3b-uncensored-hauhaucs-aggressive)를 서빙한다. 오후 중반에는 Cloudflare Workers 일일 무료 할당량의 76%를 썼다. 총예산은 도메인 값 10달러. 수익화는 시도된 적도 없고 앞으로도 없을 것이다.

여기서 진지하게 볼 게 두 가지다. 첫째는 엔지니어링 데이터 포인트다. 풍자 장난감 하나가 소비자용 GPU 두 장과 무료 Workers 등급으로 25만 건의 요청을 소화했다는 건, 게이밍 PC에 놀고 있는 용량이 얼마나 되는지를 대부분의 벤더 벤치마크보다 잘 말해준다. 둘째는 스레드 자체의 최고 명언으로, 이제 아무도 1990년대식 부조리 풍자를 손으로 쓰려고 하지 않고 부조리마저 모델에 아웃소싱하는 지경에 이르렀다는 것이다. “수익화 없음” 공약에는 정확한 반박이 붙었다. 그 개그에 진심이었다면 사기 치고 튀는 것(러그 풀)이 맞았을 거라는 것이다. 그리고 최고 답글은 냉정한 쪽이다. 손으로 직접 만들었으면 아마 올릴 만한 결과물을 못 냈을 거라는 것.

Aleph Alpha의 Kolibri — 407 points

407 points · 11 comments · tej.as writeup · 363 points · 248 comments · announcement · HN discussion

Aleph Alpha는 10월 3일 — 독일 통일의 날 — 에 Kolibri를 Apache 2.0 오픈 웨이트 모델로 공개했다. 전체 파라미터 781억 개, 토큰당 활성 파라미터 34.6억 개. 전문가 혼합(MoE) 구조로, 50개 레이어에 레이어마다 전문가 384개 더하기 공유 전문가 하나가 있고, 라우터가 각 토큰을 384개 중 6개로 보낸다. 그 비율이 설계의 전부다. 연산은 35억 파라미터 모델처럼 하고, 메모리는 780억 파라미터 모델만큼 요구한다. 모델 카드가 이를 서빙 청구서에서 뒤늦게 알게 하지 않고 대놓고 적어둔다.

나머지 스펙: 독일어와 영어, 262,144 토큰 네이티브 컨텍스트(1,048,576까지 테스트), FP8로 약 78GB, 2026년 6월 18일 지식 컷오프, 네 단계 추론, 툴 호출, 약 24조 학습 토큰(그중 5분의 1 이상이 독일어), 사전학습에 NVIDIA B200 768장. Aleph Alpha 자체 수치로 AIME 2025에서 96.9(독일어 87.5), AIME 2026에서 96.0(독일어 90.0), GPQA diamond에서 84.3(독일어 81.3)으로, 비슷한 활성 파라미터 규모의 Qwen3.6-35B-A3B와 Mistral Small 4를 앞선다고 하며, 두 언어 모두에서 품질 대비 서빙 비용의 파레토 프런티어를 주장한다.

“소버린”은 두 가지 주장을 묶은 말이다. 첫째는 구축에 관한 것: 독일에서 만들어졌고, 유럽 법 아래 독일과 핀란드 인프라로 학습했으며, 외국 통제가 없다. 둘째는 조달에 관한 것: 완전한 배포 자유와 IP 안전성, 즉 정부 부처나 항공우주 공급업체가 자기 하드웨어에서 돌릴 수 있고 누구도 이를 회수할 수 없다. Aleph Alpha가 지목하는 구매자 — 공공 행정, 산업체, 항공우주 — 에게는 실제 셀링 포인트이고, 이는 역량 주장이 아니라 법적 주장이다. 투명성도 양날이다. 모델 카드는 영어 웹 텍스트를 Google의 Gemma 4로, 독일어를 Mistral-NeMo로 다시 썼고, 품질 필터 라벨은 Qwen3-32B가 생성했음을 밝힌다. 소버린 공급망, 삽은 수입산.

Aleph Alpha에게 아무도 예상 못 한 것은 189페이지짜리 기술 보고서다. 이전 플래그십 Luminous는 축 이름도 없는 3페이지짜리 글을 내놨는데, 스레드의 한 댓글러는 아직 잊지 않았다. “Luminous 시절과 비교하면 미친 변화다.” 스레드의 중론은 그 보고서가 현대적 에이전트형 LLM을 만드는 튜토리얼이라는 것이다 — 데이터 큐레이션, 어블레이션, 사전학습, 사후학습, 평가 — 그리고 사전학습 데이터 팀원이 직접 나타나 제3자가 재현할 수 있게 하려는 것이었다고 확인했다. 대부분의 “오픈 웨이트” 릴리스가 주는 것보다 많은 것이고, 여러 댓글러는 가중치와 블로그 글만 내놓는 더 높은 점수의 릴리스보다 이 모델이 더 가치 있다고 말한다. “오픈”이 가중치를 뜻해야 하는지 그것을 만들어낸 파이프라인을 뜻해야 하는지는, 오픈 웨이트 커뮤니티가 Aleph Alpha에게 시작해줘서 고맙다고 해야 할 미해결 논쟁이다.

Newgrounds.com — 410 points

410 points · 120 comments · newgrounds.com · HN discussion

제출된 건 그냥 홈페이지이고, 지금은 Spooktober 이벤트 중이다. 스레드는 서로의 어린 시절을 발견하는 사람들로 120개 댓글이 달렸다. Tom Fulp는 1995년 자기 게임 저장소로 사이트를 시작했고, 1999년 포털을 붙였으며 2000년 자동화했다. 그때부터 남의 SWF가 수천 개씩 밀려들었다. 2017년 인터뷰에서 그가 밝힌 수치: 게임 84,000개 이상(대부분 Flash), 애니메이션 150,000개 이상, 월 순방문자 700만~800만(당시 피크는 더 높았다). Egoraptor, Edmund McMillen, The Behemoth(Alien Hominid, Castle Crashers) 모두 그 파이프라인에서 나왔다.

이 프런트페이지 등장이 순수한 향수 이상인 이유는 보존 작업이고, 그건 스레드에서 드러난다. 사람들이 15년 전에 업로드한 Flash 게임을 다시 플레이하는데, 재생이 된다. 그것이 Mike Welsh의 오픈소스 Flash 에뮬레이터 Ruffle이며, Newgrounds는 Adobe의 2020년 종료 시한 훨씬 전에 이를 통합했다. Fulp는 또 Swivel이라는 Flash를 MP4로 바꾸는 변환기를 직접 만들었다. 쓸 만한 게 없었기 때문이다. 이는 부수적으로 자기 애니메이터들이 YouTube로 옮겨가는 것을 가속했고, 동시에 레거시 라이브러리는 사이트에서 살려두었다.

진짜 교훈은 Armor Games, Addicting Games, Miniclip, Kongregate, CoolMathGames가 초토화될 때 이 사이트가 어떻게 살아남았는지에 숨어 있다. 2012년 리디자인에서 Fulp는 사이트의 언어에서 “Flash”라는 단어를 빼고, 그 대신 게임과 영상 포털이라고 불렀다. 그는 그래야만 할 때가 오기 전에 브랜드를 헤지했다. 브라우저 게임 생태계의 죽음을 애도하는 댓글러 중 아무도, 아직 서 있는 단 하나의 사이트가 바로 자기 런타임으로 자신을 설명하기를 그만둔 사이트라는 걸 눈치채지 못한 듯하다.

macOS의 Full Disk Access 업데이트 — 280 points

280 points · 200 comments · developer.apple.com · HN discussion

Apple은 10월 2일 짧은 문단 세 개를 올렸고, 이건 자백이므로 전문을 읽을 가치가 있다. 자백은 이렇다. Full Disk Access는 Apple이 개발자에게 주는 프라이버시 통제를 “사실상 우회한다”, 백업 앱에 필요해서 존재한다, 그리고 “일부 개발자들이 사용자가 충분히 알지 못하고 이해하지 못하는 사이에 시스템의 모든 것 — 파일, 메일, 메시지, 심지어 브라우징 기록까지 — 을 노출하며 위험에 빠뜨릴 수 있는 방식으로 Full Disk Access를 쓰고 있다”는 것이다. Apple은 커뮤니케이션 앱의 경우 이는 사용자가 대화하는 상대방의 프라이버시까지 드러낸다고 덧붙인다.

앞을 내다보는 문장이 재밌다. 앞으로 Apple은 이 권한을 부여하려면 “매우 명시적인 사용자 동작”을 요구하는 통제를 추가하겠다는 것. 그리고 지금 이를 하는 이유로 제시한 게 유난히 구체적이다. “AI 에이전트가 점점 더 유능하고 자율적으로 변하면서, 이 수준의 접근에 따르는 위험도 크게 커질 것이다.” Apple은 기기 위의 모든 로컬 에이전트와 인덱서, 코드 어시스턴트가 전체 디스크 읽기를 요구하고, 대안이 도구가 망가지는 것이기에 사용자가 허용을 눌러버리는 상황을 미리 막으려는 것이다.

스레드는 200개 댓글이 정확한 불만을 쏟아낸다. Full Disk Access는 기능이 아니라 풀리지 않은 설계 문제의 증상이라는 것. “메일, 메시지, 브라우징 기록을 제외한 전부”를 위한 범위는 왜 없나? 파일 검색 유틸리티를 만드는 한 개발자는 자기는 내용이 아니라 경로를 인덱싱하고, 보호된 디렉터리는 아예 건너뛰는데도, 어떤 경로가 프롬프트를 띄울지 미리 알 수 없다고 설명한다. 그래서 전부를 요구할 수밖에 없고 사용자는 그 요청을 평가할 방법이 없다. 상투적인 답변은 이렇다. 데스크톱 파일시스템의 세밀한 ACL은 아무도 조정할 수 없는 비율의 오탐과 미탐을 낳고, Unix 권한은 20년째 거의 변하지 않았으며, 실용적인 답은 고급/전문가 토글이라는 것. Apple이 무딘 통제를 내놓은 건 정밀한 통제가 20년 된 미해결 문제이기 때문이고, 보도자료는 에이전트가 노트북에서 돌기 시작한다면 그것이 유일하게 중요한 통제라는 점을 언급하지 않는다.

Zig v0.17.0 — 259 points

259 points · 195 comments · ziglang.org · HN discussion

릴리스 자체도 알차다. 5개월, 기여자 206명, 커밋 925개, Build Server Protocol을 도입하는 빌드 시스템 재작업, x86_64-linux에서 누구나 증분 컴파일이 되도록 개선된 ELF 링커, 공식 타깃 티어 시스템, 공식 명세화되고 퍼징된 문법, @bitCast 변경, 새 SafeAllocator, ArrayList 재작업, 그리고 릴리스 노트가 완곡하게 말하지 않는 일련의 제거(void{}, i0, errdefer 캡처, 배열 곱셈). C 변환 레이어는 외부 패키지로 빠진다. 아직 1.0 이전인 언어치고 언어 안정성 섹션이 주목할 부분이다.

그중 스레드가 논쟁한 건 거의 없다. 스레드의 주제는 AI가 생성한 버그 리포트다. 누군가 Andrew Kelley의 최신 “state of the tagged union” 강연을 가리켰기 때문인데, 거기서 그는 LLM으로 버그를 찾는 것에 — SQLite의 결과에서 영감을 받아 — 더 우호적이며, 버그 없는 소프트웨어로 가는 길로 본다. 단, 완전한 분기 커버리지와 퍼징을 거친 뒤에만. 그 스레드에 묻힌 구체적 사례가 하나 있다. 한 버그 리포트가, 작성자가 여러 LLM을 써서 버그가 존재함을 확인했다고 말했다는 이유로 닫혔다는 것. 댓글러들이 파고들어 보니 작성자는 자기 코드에서 그 버그를 겪었고 자기 이론을 검증하려고 모델을 쓴 것이었다. 사람이 찾고 기계가 확인한 셈이다.

이 논쟁은 명확히 짚을 가치가 있다. 계속 반복될 것이기 때문이다. 스레드의 한 메인테이너는 늘어난 노이즈를 감당하는 유일한 방법이, 예전엔 손으로 찾던 링크와 줄 번호를 AI로 추출하는 것이었다고 하면서도, 모델 검증을 증거로 내세우는 제출자에게는 여전히 냉담하다. 둘 다 방어 가능하다. 살아남는 구분은 도구의 순수성이 아니라 검증의 부담이다. 자기 재현을 확인하려고 모델을 쓰는 건 성실함이고, 메인테이너에게 채팅 기록을 떠넘기는 건 요청하지도 않은 사람에게 일을 전가하는 것이다. 강연에 따르면 Kelley의 입장은 특정 전제 조건이 충족되기 전까지 AI가 발견한 리포트는 여전히 받지 않는다는 것이다. 변화하는 중인 언어는 모델이 찾은 버그보다 실제 사용자를 망가뜨린 버그에 메인테이너 시간을 쓰는 편을 택한다. 이는 AI 정책으로 포장한 자원 배분 결정이며, 아마 이런 결정 대부분이 그렇다.

건망증 CPU (M4에서의 Linux) — 256 points

256 points · 187 comments · yuka.dev · HN discussion

그날 최고의 기술 글이고, 여행기로 위장한 버그 리포트다. Yuka는 2024년 11월 M4 Mac mini를 샀다. Asahi Linux가 빠르게 지원할 만큼 M1~M3 기기와 비슷하리라 걸었던 것이다. 아니었다. M4는 SPTM을 강제한 첫 Apple Silicon 세대이고, 이 macOS 강화 기능은 Apple 드라이버의 MMIO 트레이스를 잡으려고 모두가 쓰던 m1n1 하이퍼바이저 방식을 깨뜨린다. 그래서 작업은 원점으로 돌아갔다. 엄격한 부팅 보안을 끄고, macOS 복구 모드로 m1n1을 커스텀 부팅 객체로 설치하고, 시리얼 콘솔을 얻고, raw 부팅 모드에서 GXF가 잠겨 있음을 알아내고, RVBAR 쓰기가 이미 올바른 값을 갖고 있어서 크래시한다는 걸 알아내고, 그다음 알파벳 a 한 글자를 찍는 어셈블리 루틴을 주입해 실행이 어디서 죽는지 찾도록 Linux 부팅 경로를 이분 탐색했다. 죽은 곳은 MMU 초기화였고, 그 뒤에는 stdout-path = "serial0"이 빠진 device tree가 있어서 모든 earlycon 메시지를 삼키고 있었다.

그다음 진짜 발견. 이전 Apple Silicon 칩에는 WFI(Wait For Interrupt)에 알려진 특이 동작이 있었다. ARM64_REG_CYC_OVRD_ok2pwrdn_force_mask라는 “치킨 비트” 상태에 따라 이 명령이 레지스터 x0부터 x31을 0으로 만든다. Linux는 이 명령 전후로 레지스터를 저장·복원해 해결하고, Asahi는 이 동작이 코어를 더 깊은 절전 상태로 들어가게 하고 클러스터 내 한 코어가 부스트하게 해주므로 일부러 다시 켠다. M4에서는 치킨 비트가 잠겨 있거나 사라졌고, 기본 동작이 ARM64 명세를 위반한다. 명세는 실행 가능한 WFI가 아키텍처 상태 손실을 일으켜서는 안 된다고 말한다. 2026년 4월 Yuka는 커널의 모든 WFI와 WFIT을 NOP으로 바꿔 모든 코어를 쓸 수 있는 상태로 Linux를 부팅했다.

흥미로운 건 왜 이걸 에라타 패치로 낼 수 없었는지다. macOS 하이퍼바이저에서 도는 가상 머신도 같은 탐지 로직에 걸리지만, 거기서는 WFI가 트랩되어 게스트 스케줄링에 쓰인다. 그래서 탐지 기반 패치는 가상화를 깨뜨리고, 중첩 사례까지 포함해 가상화를 안정적으로 탐지하는 것 자체가 또 다른 골칫거리다. Will Deacon의 제안에 따라 수정은 WFI 아이들을 끄는 커널 부트 인자(bootarg)가 되었고, m1n1은 WFI가 깨진 것으로 알려진 기기에서 조건부로 이를 추가한다. 둘 다 메인라인에 들어갔고, 이제 최신 Linux와 m1n1 릴리스는 M4 Mac에서 세컨더리 코어까지 네이티브로 부팅한다. 같은 워크어라운드가 M4 Pro, M4 Max, M5에도 통한다고 한다.

댓글 스레드는 늘 그렇듯 “Apple이 이걸 열어준다면”으로 시작하고, 늘 그렇듯 정확한 답변이 따라온다. Apple은 수직 계열 회사이고 하드웨어는 수단일 뿐이며, 부품을 팔라고 하는 건 가톨릭 교회에 랩 8트랙 클럽을 만들라고 하는 것과 같다는 것이다. 하지만 뉴스는 이렇다. 2024년에 산 기기를 가진 한 취미 개발자가 강화된 부팅 체인에 맞서 싸우며, 아키텍처 명세를 위반하는 실리콘 수준 전력 관리 버그를 찾아냈고, 수정을 블로그 글과 비공개 패치셋이 아니라 메인라인에 넣었다. 그의 마지막 일침도 타당하다. 막대한 자금을 받는 프로젝트들 중 일부는 업스트림 작업에서 무엇을 가져가는지 더 투명하게 밝힐 수 있을 것이다.

Muse Gadgets — 235 points

235 points · 106 comments · gadgets.muse.ai · HN discussion

Meta의 Muse — 호스팅된 클라우드 컴퓨터와 브라우저를 통해 행동하는 퍼스널 에이전트로 9월 미국에서 출시됐다 — 가 이제 오픈소스 하드웨어 프로그램을 갖췄다. 펌웨어가 포함된 ESP32 디바이스 SDK, Raspberry Pi와 다른 기기용 Linux 디바이스 SDK, 코드에 Apache 2.0, 그리고 프로젝트 아이디어 페이지가 있다. 원형 AMOLED 화면, M5Stack 스틱, e-ink 패널, HDMI 동글 같은 것. 대표 예시는 Muse Home Link다. Espressif ESP32-C5 기반의 USB-C 기기로, Muse를 집 네트워크에 올려 TV, 스피커, 로컬 HTTP API를 노출하는 모든 것과 대화하게 한다. Meta는 5,000개를 만들어 활성 미국 Muse 구독자에게 한 사람당 하나씩 나눠주며, 배송은 10월로 예정됐다.

이야기는 약관에 있다. 모든 기기에는 Muse SDK 토큰이 필요하다. 프로젝트 페이지는 SDK와 토큰이 “지원되는 제품이나 개발자 플랫폼이 아니다”라고 하고, Meta가 언제든 접근을 바꾸거나 회수할 수 있으며, 토큰 하나는 50개 기기로 제한되고, 돈을 받고 팔거나 프로모션으로 배포하는 것에 토큰을 심으려면 서면 허가가 필요하다고 한다. Home Link 자체는 기반이 된 무료 SDK와 달리 재플래싱할 수 없다.

이건 하드웨어에 적용된 오픈 코어 형태이고, 그 형태는 숨겨진 게 아니라 노골적이다. 코드는 진짜로 열려 있고, 에이전트로 가는 연결은 회수 가능한 토큰이며, 약관이 이를 평이한 언어로 말한다. Meta Superintelligence Labs에서 제품을 맡는 Nat Friedman이 그 얼굴이고, 스레드는 예상대로 정확히 갈린다. 한쪽은 자기들을 위해 움직이지 않을 1조 달러 기업에서 내부 팀이 놀고 있는 것으로 읽고, 다른 쪽은 Meta가 병목을 쥔 채 주변기기 R&D와 개발자 채택을 공짜로 얻는 것으로 읽는다. 둘 다 아마 맞고, 두 번째가 중요한 이유는 이것이 이 라운드업이 다른 곳에서 지켜보는 구조와 같기 때문이다. 열린 표면과 닫힌 의존성. 예약 확인도 주문이 아니고, 5,000개 배치는 채택 수치가 아니라 발표다.

미국 제재의 의미를 말하는 ICC 판사 — 216 points

216 points · 170 comments · npr.org · HN discussion

NPR의 Morning Edition은 국제형사재판소의 캐나다인 판사 Kimberly Prost를 인터뷰해, 미국 제재를 당하는 삶이 실제로 어떤지 물었다. 그녀의 Alexa는 대답을 멈췄다. 네덜란드와 캐나다에서 발급된 신용카드는 취소됐다. 일부 은행 계좌는 살아남았지만 소액 이체가 막힌다. 미국 기업의 서비스 접근은 “완전히 무작위로, 언제 무슨 일이 벌어질지 모르는 채로” 끊겼다. 가장 날카로운 사례는 건강보험이다. 이 법정을 보장하는 프랑스 기업 AXA는 미국 제재를 따를 법적 의무가 없는데도 그녀의 청구를 거부했다. 그녀의 요약은 “그냥 비즈니스 결정”이고, 이런 패턴에 대한 그녀의 표현은 “기업들의 대규모 과잉 준수”다.

그게 이 이야기이고, ICC의 관할권 문제가 아니다. 법적 의무가 아니라 민간 부문의 위험 감수 성향이 집행 기제일 때 제재가 어디까지 미치는가의 문제다. 외국 보험사가 계약자 한 명을 미국 시장에 매끄럽게 접근하는 것보다 가치 없다고 판단하는 것이다. 스레드의 더 나은 댓글들은 일반화한다. 계좌 차단이 곧 형벌이고, 미국을 중립적 중재자라는 유용한 허구는 초연한 존재로 보이는 데 달려 있으며, EU의 노출은 균일하지 않다. 한 댓글러는 AXA가 아마 미국 시장에서 철수하고 유럽 사업으로 버틸 수 있었을 텐데 그러지 않기로 했다고 지적한다. 오늘 나머지와 나란히 읽으면 이 이야기도 같은 병목 논쟁이고, 그 위험 부담은 한 사람의 신용카드 위에서 구체화된다.

Turbo Haskell — 209 points

209 points · 59 comments · comonad.com · HN discussion

Edward Kmett는 THC — “Turbo Haskell 컴파일러” — 를 이 글을 올리기 일주일 전, Bartosz Milewski를 만나러 간 휴가 중 농담으로 시작했다. 지금은 GHC 9.14.1의 모든 prim-op을 구현하고, GHC Core용 JIT를 제공해 Haskell을 JVM에서 돌린다. 몇 년 전 Cadenza에서 그가 개발한 Truffle과 GraalVM 방식을 쓴다. 어려운 부분 — 파싱, 타입체크, 디슈거링, Core 최적화 — 은 GHC가 계속 하고, THC는 자체 런타임으로 컴파일과 실행을 맡는다. 바이트코드 JIT와 전통적인 AST 기반 JIT 둘 다 있고, Native Image를 통한 AOT 컴파일, Template Haskell과 Linear Haskell 지원도 있다.

디테일이 이걸 단순한 장난 이상으로 만든다. 꼬리 호출은 루프가 된다. 트레이싱 모드에서 THC는 64비트 블룸 필터를 채워 재귀 꼬리 호출일 가능성이 높은 것을 탐지하고, 슬로우 패스 예외를 던져 컨티뉴에이션을 시작 지점에 연결하며, 커스텀 Truffle 노드로 Graal이 함수 본문을 넘나들며 루프를 접도록 한다. 경로가 갈라지면 추가 부수 루프를 키운다. 오탐은 슬로우 패스 작업을 더 할 뿐 아무것도 바꾸지 않는다. 동시성은 throwTo, 재개 가능한 컨티뉴에이션 코드를 쓰는 비동기 예외, 마스킹을 아우르고, HEC 스타일 실행기 위의 Java 스레드와 Project Loom 그린 스레드가 값싼 MVar를 제공한다. SIMD는 인큐베이팅 Vector API를 거치며 실행 시점에 species width를 선택하므로, 루프가 기계가 실제로 가진 폭에 맞춰 JIT 컴파일된다. 의존성 트리의 C와 C++은 네이티브 모드 Sulong, 즉 JVM 위의 LLVM으로 돌아간다.

농담을 넘어 의미가 있는 건 폴리글랏 FFI다. Data.Text를 Truffle 문자열로 제로 카피 변환하면 Haskell 프로그램이 Python, Ruby, R, JavaScript 라이브러리를 직접 빌려 쓸 수 있는데, 이는 타입이 있는 함수형 언어의 통상적인 이동 방향과 반대다. 패키지는 Cabal로 해석하고, 패키지당 여러 라이브러리와 Backpack을 지원하며, pandoc, happy, alex, 그리고 — 오늘 기준으로 — GHC 자체도 컴파일한다. 스레드의 최고 기여는 이게 시도된 적이 있다는 상기다. Frege는 JVM 위의 Haskell 방언이었고 그 릴리스는 오래됐다. THC가 다른 이유는 JVM 타깃이 아니라 Core가 이식 가능한 IR이고 GraalVM 툴링이 이제 그것을 활용할 만큼 좋아졌기 때문이다. 어려운 부분은 GHC가 한다. 지렛대는 언제나 백엔드에 있었다.

빅테크가 클라우드를 망쳤으니 우리 것은 이름을 바꾼다 — 209 points

209 points · 107 comments · home-assistant.io · HN discussion

Nabu Casa가 Home Assistant Cloud를 Home Assistant Link로 개명한다. 글은 커머셜 부사장 Carl이 썼고, 정직한 문단 하나가 들어 있는 마케팅 문서다. Paulus는 무대에 올라 클라우드가 있어야 작동하는 제품을 사지 말라고 하곤, 바로 다음 숨에 Home Assistant Cloud가 예외인 이유를 설명하느라 시간을 썼다. 순전히 이름 때문에 생긴 마찰일 뿐이다. Cloud라는 제품에 더 나쁜 것은, 사용자들이 Home Assistant가 클라우드에서 돈다고 계속 가정한 것이다. 그런 적도 없고 앞으로도 없을 것이다. Nabu Casa는 로고에서 그 단어를 아예 뺐다.

비교 표가 곧 논증이다. 선택 사항 대 필수, 락인 없음 대 정원, 사적 대 수익화, 비영리단체 지원 대 투자자 우선. 스레드의 한 댓글러는 타당한 반박을 한다. “클라우드”는 그저 당신이 통제하지 못하는 어딘가에서 호스팅되고 돈을 내는 서비스를 뜻하게 됐고 Link도 여전히 그렇다는 것. 더 나은 답은 이 단어가 홈 오토메이션에서 특정한 의미를 갖는다는 것이다. 구독이 끊기면 성능이 떨어지거나 벽돌이 되는 제품, 예로 Wink가 언급된다. Link는 그렇지 않다. 서비스가 사라져도 조명은 작동하기 때문이다. 한 댓글은 이 모든 걸 마케팅 쇼라고 부르는데, 그것도 맞고, 근본 주장을 거짓으로 만들지는 않는다.

이 글이 롱테일에 있지 않고 Muse Gadgets와 Kolibri 옆에 있어야 하는 이유는 셋 다 반대 방향으로 같은 논증을 하기 때문이다. Meta는 펌웨어를 오픈소스로 풀고 토큰은 쥔다. Aleph Alpha는 끌 수 없다는 속성으로 모델을 판다. Apple은 구멍임을 인정한 권한에 프롬프트를 붙인다. 미국은 한 캐나다 판사의 보험금 청구를 거부한 프랑스 보험사 결정에까지 손을 뻗는다. 모두 병목이 어디 있느냐를 두고 싸우고, 오늘 페이지에서 플러그를 뽑고 떠나도 되는 서비스를 내놓는 유일한 제품은 방금 상자에서 “클라우드”라는 단어를 떼어내려고 이름을 바꾼 바로 그 제품이다.

아직 페이지에 남은 기사

이전 라운드업의 기사 47개가 아직도 이 기간에 200점 위에 있고, 페이지가 충분히 녹아 풀려 대부분 계속 올랐다. 델타는 각 기사를 다룬 마지막 라운드업 기준이다.

구글은 언제 이렇게 이상해졌나? 2,002 → 2,009, +7 — 닷새째 1위. Gemini 4 Argon 1,683 → 1,691, +8, 댓글 스레드는 여전히 이번 주의 상설 논쟁거리. Pi 1.0 806 → 1,675, +869, 두 배 차이로 그날 최대 상승폭이고 이제 전체 3위. Livenerf 911 → 920, 법원, EFF의 손을 들어주다: 유타주 VPN법 305 → 764, +459 — 금지명령 글이 하룻밤 새 거의 3배가 됐다. 판결이 계속 인용될 때 벌어지는 일이다. MCP는 안 된다고 하셨잖아요 669 → 679. Mike Tomlin의 Minecraft 도시 65 → 629, +564 — 그날의 화제성 기사. 위치 말고는 달라진 게 없다. iOS용 StreetComplete 616 → 626. Clef 443 → 624, +181. 리눅스 커널 취약점 권고문 535 → 568, +33. 개구리와 두꺼비 529 → 563, +34. Git 3.0의 SHA-256 기본값 231 → 558, +327, 여전히 페이지에서 가장 오래 이어진 논쟁 중 하나. Apple Pass Designer 102 → 536, +434. Pi Durable 477 → 499. FLUX 3 Image 196 → 420, +224, 아직 모델 카드도 없는데도. 청동기 시대는 왜 붕괴했나 393 → 410. 휴가에서 돌아오셨나요? 정부가 당신 휴대폰을 뒤질 수 있습니다 398 → 408. DeepSeek Harness Desktop 378 → 403. SvelteKit 3 389 → 400. Bloomberg 터미널의 역사 377 → 392. Micron의 메모리 공급 경고 333 → 390, +57. RIP, 벡터 데이터베이스 374 → 385. 12년에 걸친 HR 8799 타임랩스 48 → 378, +330. Still Wet, 시뮬레이션 페인트 캔버스 138 → 360, +222. Phyllotaxis 349 → 352. 세포 정체성 상실이 인간 노화를 이끈다 74 → 347, +273. ChatGPT 속 사이트들 122 → 337, +215. Antirez의 ds4 23 → 332, +309 — 어제는 롱테일에 23점짜리 항목이었다. LinkedIn Larpmaxxing 304 → 320. Kroah-Hartman의 LLM 시대의 보안 67 → 315, +248, Zig 스레드가 다시 다투고 있는 그 강연이다. URSALA, RAQUEL and FARRAH 298 → 306. Shimano 자전거 박물관 273 → 302. 폰 노이만의 전설 210 → 300, +90. ESP32에 숨겨진 SDR 기능 277 → 287. Cloudflare K2 280 → 286. 경찰, iPhone 재부팅 잠금 우회 246 → 285. 도형의 책 257 → 283. Factorio 품질 문제 해결 274 → 281. 16개 GPU로 Stratego를 이기다 79 → 275, +196. Rust 컴파일러 속도 올리기 233 → 275. OpenDLSS 249 → 271. Ask HN: 누가 채용 중인가? 257 → 263. Automatic Transmission, 커넥티드 차량 프라이버시 연구 244 → 251. 중국의 사회적 현실에 대하여 43 → 238, +195. Opus 5.5로 도도새 목격 기록 찾기 215 → 223. GLM 5.3 Flash 한 달 사용기 33 → 216, +183. Supabase의 Turso 인수 171 → 210.

창 밖이지만 여전히 쌓이는 것: 싱가포르 정부의 데이트 서비스는 singapore-samizdat 제출에서 248점·352개 댓글이고, 같은 기사의 다른 제출에는 445개다. 지난 라운드업이 지적한 바로 그 분열이며, 붕괴가 아니다.

움직임의 형태를 한 문장으로 정리할 가치가 있다. 예산이 작은 기사들이 절대 수치로 가장 많이 올랐고, 퍼센트로 가장 크게 오른 두 개 — Tomlin의 Minecraft 도시와 도도새 목격담 — 는 산업적 무게가 가장 적은 기사였다.

관통하는 흐름

첫째: 오늘의 페이지는 병목이 어디 있는가에 대한 논쟁이었고, 다섯 방향으로 동시에 진행됐다. Aleph Alpha는 누구도 끌 수 없다는 속성을 내세워 모델을 팔았다 — 독일에서 만들고, 독일과 핀란드 하드웨어로 학습하고, Apache 2.0 가중치이므로 부처가 자기 벽 안에서 돌릴 수 있다. Meta는 에이전트로의 연결이 회수 가능한 SDK 토큰에 달려 있고, 50개 기기로 제한되고, 명시적으로 지원 플랫폼이 아니며, 서면 허가가 있어야 제품에 심을 수 있는 오픈 펌웨어를 내놨다. Nabu Casa는 자기 병목이 선택 사항이고 서비스가 사라져도 조명이 켜져 있다고 주장하려고 이름을 바꿨다. Apple은 Full Disk Access가 기기 위 모든 것을 읽을 수 있는 구멍임을 인정하고, 자율 AI 에이전트를 그 구멍이 더 나빠질 이유로 지목한 문단 세 개를 올렸다. 그리고 미국은 한 ICC 판사의 건강보험 청구를 거부한 프랑스 보험사의 결정에까지 손을 뻗으며, 제재 문제를 법적 의무가 아니라 사업 위험 계산으로 만들었다. 그 모두가 같은 질문이다 — 누가 스위치를 쥐고 있는가 — 그리고 답은 “189페이지 보고서를 낸 독일의 비영리 비슷한 회사”부터 “Meta가 언제든 회수할 수 있는 토큰”까지 걸쳐 있었다.

둘째: 오늘 페이지에서 가장 좋은 작업은 또다시 가장 값쌌다. 기네스 여섯 잔과 함께 GLM-5.3으로 만든 풍자 사이트가, 무료 Cloudflare Workers 등급 뒤의 RTX 4060 Ti 두 장에서 서빙되며 250,000건의 요청을 소화하고 1위에 올랐다. 휴가 중 농담으로 시작한 “Turbo Haskell 컴파일러”는 이제 Core를 이식 가능한 IR로 취급하고 GraalVM의 폴리글랏 기계장치를 빌려 GHC 자체를 컴파일한다. 한 취미 개발자는 M4 실리콘에서 ARM64 명세를 위반하는 WFI 동작을 찾아내고, 워크어라운드를 비공개 패치셋이 아니라 메인라인 Linux와 m1n1에 넣었다. 같은 수정이 M4 Pro, M4 Max, M5에도 적용된다고 한다. 한편 그날 가장 큰 컴퓨트 기사는 768장의 B200 사전학습으로, 그 특징은 유럽 연구소가 냈다고 믿기지 않을 만큼 정직한 기술 보고서다. 달러당 역량과 달러당 정직함이 같은 방향으로 움직이고, 둘은 상관관계가 있다. 작은 작업은 돌릴 게 없으니 자기 작업을 보여줄 여유가 있는 것이다.

셋째: AI의 이차 효과가 이제 페이지에서 가장 시끄러운 논쟁이고, 그중 어느 것도 역량에 관한 게 아니다. Zig 릴리스 노트는 훌륭한데 195개 댓글은 버그 리포트가 모델 검증을 인용할 수 있는가에 쏠렸다. Apple의 Full Disk Access 발표는 에이전트의 자율성이 이 권한에 프롬프트를 붙이는 이유라고 대놓고 말한다. 그날 최고 점수 기사는 집 GPU에서 LLM이 쓴, AI에 대한 AI 생성 풍자다. Newgrounds 스레드는 모델이 20년 치 Flash를 되살릴 수 있는지 묻는다. 그리고 그 모든 것 아래에 이틀 전 Kroah-Hartman의 슬라이드가 315점까지 오르며 깔려 있다. 보고된 커널 취약점 79개, 그중 날조 3개, 버그 아님 14개, 이미 수정 15개, 실제 수정이 필요했던 20개, 그리고 끝에 실제 버그픽스 10개. 이번 주 가장 유용한 기여는 컨퍼런스 슬라이드를 옮겨 적은 자원봉사자에게서 나왔고, 가장 논쟁적인 기여는 모델이 사람이 찾은 버그를 확인하는 것을 도와도 되는가다. 도구는 유지보수 계층으로 들어갔고, 거기엔 아직 정책을 가진 사람이 없다.

2026년 10월 3일 발행. 점수는 PDT 13:20에 HN Firebase API에서 top-200 순위 창과 44시간 Algolia 날짜 스윕을 통해 캡처했으며, 그 뒤로 프런트페이지는 움직인다.