Nix를 TypeScript로 컴파일하는 jinx, nixpkgs 231,777개 속성에서 Nix와 똑같은 drvPath 재현

뉴스 알림

내 알림

로그인하고 알림을 만들어 보시기 바랍니다

전체 알림

해커뉴스

Cuis, 단순함 내건 Smalltalk-80 환경... 7.8 안정판 공개에 Smalltalks 2026 발표 8건 Swift로 만든 선언적 웹 UI, WebAssembly로 브라우저에서 돌리는 ElementaryUI 공개 터미널에서 별자리를 그리는 Astroterm, C로 작성된 193커밋 오픈소스 ANSI/ASCII 아트 아카이브 16colo.rs, 해커뉴스에서 다시 화제 Pico CSS 유지보수 종료, v2.1.1이 마지막 릴리스... 저장소는 아카이브, npm과 CDN은 유지 Show HN: macOS 로컬 네트워크 권한 팝업을 자동으로 닫는 dontallow 에이전트 멀티플렉서 Herdr, 네이티브 데스크톱 앱 0.1.9 공개 스페인 고속철 추돌로 69명 사망, 관제센터가 속도 제한 없이 운행 재개 지시 Pico 2 W에서 게임을 꿈꾸고 직접 플레이하는 26k~131k 파라미터 월드모델 YC Labs, 마인크래프트에 GPT-6.1 에이전트 50개 투입해 3시간 문명 건설 실험 IPv4 주소 비중대로 국경을 다시 그리면: 36억 주소를 1억 3500만 km² 땅에 대응시킨 지도 PHP2Shell 체인으로 PAN-OS 방화벽 25대 루팅, 미 정부 관련 3대 포함 2016년 글 'H.264 is Magic' 재회자, 300프레임 영상이 PNG 한 장의 1/5 크기 마틴 파울러, LLM 초안은 문체가 남는다며 'LLM Voice' 경계 도어대시, 인스타카트를 170억 달러에 인수: 주당 65달러, 종가 대비 26% 프리미엄 아캄, 바이낸스 해커 지갑 71개에 $5.76B 표시... 서클·테더가 $2.4B 동결 미스트랄, 1조 파라미터 Mistral Large 4 가중치 공개, 가격 절반 인하에 오픈웨이트 코딩 1위 패트릭 스튜어트 별세에 HN 댓글창은 TNG 추억과 '검은 띠' 요청으로 가득 미국 2분기 배터리 저장 20.2GWh 신기록, 상반기 30.8GWh로 전년 대비 23% 증가 Brother 프린터 펌웨어에서 TRON T-Kernel 찾아내고 Telnet 디버그 접속 확보 Cartesia, 바이트 수준 H-Net 확장 법칙 공개: 학습된 토큰화만으로 컴퓨트 3-5배 절감 Nix를 TypeScript로 컴파일하는 jinx, nixpkgs 231,777개 속성에서 Nix와 똑같은 drvPath 재현 상수 나눗셈 floor division, 새 알고리즘이 ARM에서 10~20% 더 빠름 오렌지 차이, Pwn2Own 베를린 2026에서 논리 버그만으로 엣지 샌드박스 탈출해 $175,000 획득 WAP Push 문자 한 통에 안드로이드 통화 먹통, 구글은 '수정 안 함'OpenAI, 인터넷 끊은 AI 에이전트들이 CPU 캐시로 비밀 통신 채널 구축 Claude Code가 백그라운드 에이전트 요약에 토큰 지출 16%를 쓰고, Anthropic 개발자도 상태줄치고는 많다고 인정 옥스팜 "최상위 0.1%(800만 명) 탄소 배출이 최빈곤 35억 명 전체를 넘는다"MuPDF는 AES-256 키를 9비트 난수로 만들고, Foxit은 타임스탬프 해시로 만든다 영화 편집자 월터 머치가 손주들에게 설명한, 바늘꼬리기러기가 에베레스트 상공을 날 수 있는 이유 Cursor, 자사 에이전트 만든 프레임워크 Agent SDK 정식 출시... 코드로 정의하고 한 줄로 배포 Alpine Linux, GitLab 침해 시도에 인스턴스 전면 재구축: 19.3.6 업그레이드도 Ruby 패치 없어 무효 크레이그 호켄베리, 6주 요추천자와 28일 항암 주기 근황 공개 Formlabs, $699 레진 프린터 Form Studio 1 예약 개시... HN 2위에 오른 제품 페이지 Stack Overflow 월 신규 질문 1000건 아래로, 개설 이후 최저 Qwen3.5 4B 가중치 안에 RISC-V CPU를 컴파일, Gated DeltaNet 상태를 RAM으로 사용 NetBSD 커널에 Alpine 사용자공간을 얹은 AlpineBSD 공개, LLM 생성 코드 배제를 내세워 Surge AI가 세무 실무 50개 과제로 AI 에이전트 평가, 최고 통과율은 Claude Sonnet 5.5의 10.8%FCC, 아마존 레오의 Globalstar 115억 달러 인수 승인 캔버스 지문 스크립트에 리신 살상 용량 함수명과 숨겨진 프롬프트 인젝션, LLM 난독화 회피용이었다 수도사들이 5축 CNC로 고딕 성당 석재를 깎는다, Prussiani 장비로 몇 달 걸리던 조각을 며칠로 EMACS 50주년, MIT AI랩의 편집기에서 자유 소프트웨어 운동이 시작되다 매사추세츠 PCB 공장 로봇 The Grid, 선전 퀵턴보다 5일 빠르고 165달러 비싸다 켄터키 남성, AI 사용을 거부한 첫 인본주의자로 종교적 예외 인정 구글, Gemini 4 Carbon 발표... 터미널 벤치 부정행위 0.0%, 입력 100만 토큰 $2 Apple의 git과 curl, 10월 28일 현재까지 손상된 eMudhra 인증서를 신뢰. macOS 27.2는 수동 우회 조치까지 되돌려 1996년 애플 네트워크 서버에서 맥 OS 부팅 문제를 소프트웨어로 메우는 확장팩 v1.0 공개 1987년 애플 IIe BBS로 출발한 SDF, 40년째 NetBSD 공공 UNIX 시스템으로 무료 계정 운영 Fast Food Tycoon 2 역컴파일: GPT-6.1 에이전트가 4,046개 함수에서 렌더러와 조명 구조를 캐냄 NT 설계에 POSIX를 얹고 btrfs에서 self-hosting까지, hobby OS Moxnox 1.0 공개 Fesshole 운영자 Rob Manuel, ZX81 문자셋만으로 그린 농담 81개를 책으로 낸다 미국·캐나다 반딧불이, 멸종인가 관측 누락인가: 10년 무관측이면 '잃어버린 종'Zig로 4개월 써본 소감: snurl 라이브러리, Zig Day Seattle, 그리고 명시적 allocator·IO Mikhail Lavrov의 그래프 이론 입문서 'Start Doing Graph Theory', CC 라이선스로 무료 공개 UEFI PXE 부팅 취약점 CVSS 9.5, '지구상 대부분 서버' 위협이라는 Ars 보도에 반론 쏟아짐 1952년 블루리본 여객선 SS United States, 11월 멕시코만에서 세계 최대 인공어초로 침몰 잉크젯 프린터 잉크 방울 20배율 사진, 니콘 스몰월드 2026 대상 차지 라즈베리 파이 제로 3 W와 파이 4 모델 A, 리눅스 디바이스 트리에 등장 Liquid AI, 2B급 멀티모달 LFM3 6종 공개. 1.7B가 LFM2.5-2.6B를 35% 적은 파라미터로 앞서고 4비트에서 약 1GB 마이크론, 20년 연구한 4F² DRAM 포기하고 6F²·3D DRAM으로 선회 Anthropic, 제약 6곳과 Claude 신약 개발 중간 결과 공개, CAR-T 설계 부위 70% 축소 유한 단순군 분류 정리, Lean으로 완전 형식화: 4,310만 줄에 선언 205만 개 인터넷 없이 도는 오픈소스 AI "Survival LLM", 93만 위키피디아 문서와 출처 인용까지 로컬에서 처리 Tailscale, SSH 권한 상승 취약점 확인하고 10월 27일 패치 목표 발표 애플, M6 탑재 14인치 MacBook Pro 발표, GPU 최대 30% 빨라지고 배터리 24시간 Wiz가 PHP2Shell 공격 시도를 추적했지만 성공 사례는 없었고, 공개 후 인터넷 노출 취약 머신은 67% 줄었다 애플, M6 탑재 24인치 iMac 공개. 10월 28일 예약 시작해 11월 6일 출시 경찰이 AI로 '수상한 행동' 운전자를 세운다, 해커뉴스는 위법 여부부터 따진다 Anthropic, 스탠퍼드 교수 책 해적판으로 Claude 학습 인정, $1.5B 합의에도 교수들 개별 소송 소프트웨어는 나빠지고 있지만 예전엔 끔찍했다, 95% 윈도우와 블루스크린의 기억 실험적 JIT, PEP 836 철회로 CPython에서 제거 수순 위키백과 'AI 정리' 프로젝트, 2023년 상투구 단속에서 2025년 'rule of three' 탐지로 Ghostty 1.4.0 공개, Kitty 그래픽스 100% 구현하고 보안 권고 11건 수정 DeepMind, 월드 모델 Genie 4 공개: 자연어로 실시간 장면 수정, 음악·환경음·대화까지 생성 미 정부, 시민 감시 방식 다룬 비밀 법원 판결 은폐…론 와이든 의원이 경고한 기밀 해석도 미공개 브라우저에서 돌아가는 Encarta 95: v86으로 윈도우 95 VM을 띄워 원본 CD롬 백과사전을 그대로 실행 14년 된 OpenGL ES 3.0을 여전히 강의에 쓰는 이유 카카오나무 집에서 키우기: 65-85F 실내와 펄라이트 50% 흙, 3년을 못 넘기는 벽 64비트 윈도우에서 윈도우 3.1 앱을 돌리는 otya128/winevdm, 해커뉴스에서 재조명 Debian NEW 큐에 LLM 리뷰가 붙자 개발자 "옵트아웃 없으면 업로드 안 한다"Roblox 크롤러, 3D 모델 사이트 712개 프로젝트에서 145.5GB 무단 다운로드 Cloudflare, GLM-5.3 Workers AI에서 요청 간 KV 캐시 노출 확인, 155개 응답에 다른 사용자 데이터 섞여 독일 매크로 사진작가 macrofying이 잉크젯 프린트 헤드가 종이에 잉크를 뿌리는 순간을 초근접 촬영 머리트 버팔로가 정리한 폰 노이만의 초년기: 6세에 여덟 자리 암산, 17세에 서수 새로 정의 브룩스의 법칙은 AI 시대에도 유효하다. "요구사항 불명확하면 에이전트를 더해도 틀린 답을 빨리 얻을 뿐"DF, 스탠퍼드와 다이아몬드 트랜지스터 개발, 3nm 실리콘과 서브스레숄드 스윙 동등 달성 정답 대신 질문만 던지는 '니체 디버거', Claude API로 돌아가는 anti-AI CLI 애플, 8.5인치 OLED와 A20 Pro 넣은 iPad mini 발표... HN은 60Hz·128GB·가격 인상에 냉담 태양광이 원자력보다 커졌다는 BBC 기사, 해커뉴스는 미국 주택 설치 견적 $20k와 호주 $3,500의 격차로 붙었다 마이크로소프트, 파이썬 전용 JSON-RPC 타입 서버 규격 TSP 문서 공개 인쇄용 CSS 한 장 붙여 블로그 출력 품질 고친 개발자, 코드블록 페이지 나눔은 미해결 1992년 빌드 CDPLAYER.EXE, 수정 없이 Windows 11에서 돌아가는 최고령 GUI 앱으로 확인 OpenAI math 저장소에 '지수 시간 가설은 거짓' 사전 논문 공개, HN "P=NP는 아니어도 같은 급"OpenAI, AI 모델로 카케야 추측·ETH 반증·QCD 존재 등 결과 3건 공개하고 외부 전문가 검증 방식 실험 마이크로소프트, 전체 인력 약 4분의 1에 대규모 자발적 퇴직 제안 ESP32-S3 128비트 SIMD로 FAST 코너 검출기 구현, QVGA 프레임당 약 6ms vLLM 0.31 제한 디코딩으로 Kimi·DeepSeek 도구 호출 스키마 정확도 100% 확보 ChatGPT, 기술 지원 질문에 404 Media 문의를 권해 스팸 몰려 코히어 샌드박스, 큐원3.8이 베이징 버킷으로 파일 업로드 시도하다 차단 Pharo 14 공개, Mission Control과 Pulse 도입하고 RISC-V JIT 지원 추가

Nix를 TypeScript로 컴파일하는 jinx, nixpkgs 231,777개 속성에서 Nix와 똑같은 drvPath 재현

jinx는 .nix 파일을 같은 값, 같은 thunk, 같은 drvPath를 내는 .ts 모듈로 바꾸는 트랜스파일러이며 nixpkgs의 231,777개 속성 전부를 컴파일함
nixpkgs 6510408d 기준 x86_64-linux, aarch64-linux, aarch64-darwin에서 229,063개 drvPath가 Nix와 동일했고 불일치 0개, 한쪽만 실패 0개, 양쪽 다 실패 2,714개(지원하지 않는 플랫폼, broken, insecure)였음
Nix의 지연 평가를 흉내 내려고 식을 nix.thunk(() => ...)로 감싸고, jinx 평가는 /nix/store에 아무것도 쓰지 않으며 jinx instantiate가 만든 .drv 클로저를 nix-store --realise가 빌드함
TypeScript를 고른 이유는 도구 생태계가 넓고 유연한 타입 시스템으로 derivation의 모양과 지연 평가의 예외까지 표현할 수 있어서이며, 대신 평가 속도는 3-5배 느림
컴파일된 트리는 fzakaria/jinx-nixpkgs 저장소에 nixpkgs 리비전당 커밋 하나로 공개됨

Hacker News 의견들

비슷한 시도로 glistix라는 것도 있더라. 저장소 링크 남겨둠

제목에 (Nix를 TypeScript로 컴파일)이라고 좀 붙여줬으면 좋겠음. 제목만 봐선 뭘 하는 건지 감이 안 오더라

Nix 언어 배울 만한 책이 따로 있나? 찾아봤을 때 학습 자료가 꽤 빈약했던 기억이 있음

nix.dev가 꽤 괜찮음. Nix 언어 튜토리얼부터 보면 됨

책까지 필요 없음. 언어가 워낙 작아서 nixcloud.io/tour 보고, stdlib는 noogle.dev에서 찾아보면 대부분의 Nix 코드를 읽을 수 있음. 전체 생태계 입문은 nix.dev, 빌드 시스템 내부는 Nix Pills, 결국 제일 좋은 교재는 nixpkgs 자체임

nix repl로 nixpkgs에 직접 질문 던지는 게 편함. builtins.getFlake로 unstable 받아놓고 라이선스 목록에서 GPL만 골라내는 식으로 놀 수 있음

nix lsp도 있지 않냐

굳이 다른 언어로 안 가도 nix eval .# --json --apply로 원하는 형태로 뽑아서 JSON으로 처리하면 됨. Nix에서 처리하는 게 너무 느리거나 불편할 때만 언어를 바꿀 만하고, 나는 flake 업데이트 체인지로그 요약 같은 데만 다른 도구를 씀

이 글 진짜 exceptional함. HN에 이런 글 보려고 온다. 소프트웨어 폭이 플랫폼 성공을 좌우하는데, CPU 종류며 OS며 컴파일러 버전 조합이 서로 안 맞아서 autotools가 그 난장판을 풀려고 했던 역사가 있음

Fzakaria는 AI 정신증의 정반대임. AI 플로우 상태더라

Nix 파일에 14만 개 레코드, 23만 개 속성짜리 문법이 따로 있다는 건가? 그럼 가벼운 에디터가 에러를 밑줄로 짚어줄 수 있나

패키지 목록이 문법인 게 아니라 그냥 map(string, derivation)임. JS에서 x["a"]랑 x.a가 같은 것과 같은 얘기임