Rust 메타데이터 조기 방출로 빌드와 검사가 최대 2배 빨라진 프로토타입 공개

Rust 메타데이터 조기 방출로 빌드와 검사가 최대 2배 빨라진 프로토타입 공개

  • rustc의 -Zearly-metadata 플래그가 아이템 인터페이스 검사를 마친 직후, 함수 본문 검사 전에 크레이트 메타데이터를 .early-rmeta 파일로 기록함. cargo는 CARGO_HEADSTART=1로 이 파일을 파이프라이닝해 의존 크레이트가 먼저 컴파일을 시작하게 함
  • 4코어 벤치마크에서 rust-analyzer check가 24%, build가 15% 빨라졌고 codex-rs check는 14%, rustc-perf 21개 벤치마크는 build 기준 2%에서 37%까지 전부 빨라짐
  • 러스트 컴파일러 팀과 메인라인 편입을 논의 중이나 이 변경 셋 그대로는 받아들여지지 않을 전망. 저장소가 LLM으로 작성됐고 전체 설계를 깊이 고민하지 않았다는 점이 이유로 언급됨
  • Rust는 2019년 eager metadata emission으로 파이프라이닝을 처음 넣었고, 이 프로토타입은 메타데이터를 그보다 더 일찍 쓰는 방식임. 캐시가 아니라 rustc가 멈추고 재개하는 파이프라이닝 심화임
  • 포화된 빌드에서는 rustc CPU를 3%에서 7% 더 쓰기 때문에 넓은 크레이트 그래프는 4코어에서 이득이 없음

Hacker News opinions

메인라인 컴파일러에 들어갈 경로가 있는지 궁금하네.

컴파일러 팀이랑 지금 얘기 중임! 근데 이 변경 셋은 안 들어감. LLM이 쓴 거고 전체 설계를 깊이 고민한 흔적이 없음. 비슷한 게 언젠가 들어오면 좋겠음.

개선 폭이 크다!

쉬운 승리 같은데 왜 아무도 안 했는지 궁금함. Rust AI 정책 때문에 누군가 손으로 다시 구현해야겠지만, 좋은 아이디어라는 건 증명된 셈임.

Rust는 몇 년째 이 방향으로 가고 있음. 2019년 eager metadata emission으로 파이프라이닝을 처음 넣었고, 이후 메타데이터를 덜 장황하게 만들고 압축도 실험했음. 더 eager하게 만들자는 건 오래 눈여겨봤는데, 추측으로 승인한 크레이트에서 에러가 났을 때 어떻게 할지가 아직 결정 안 됨.

이거 캐시 같은 거임? turborepo랑 비슷한 개념인가?

내가 이해한 건 함수 외부 API를 믿고 다운스트림 작업을 병렬로 돌리는 것임. 본문 타입체크가 실패하면 컴파일을 중단하고 헛수고한 셈이지만 그런 경우는 드묾.

zulip에 쓴 거 복붙하면, .early-rmeta 파일이 생기고 인자와 반환값 타입체크 결과가 들어감. -Zearly-metadata가 rustc 플래그고, 나중에 진짜 메타데이터가 오면 교체하는 법도 필요했음. rustc가 특정 지점에서 멈췄다 재개하고 cargo가 그걸 찾아 반응해야 함. 프로세스를 죽이는 게 아니라 기다리게 하는 거라 슬롯을 낭비하지 않음.

빌드 단위의 더 깊은 파이프라이닝임. CPU 파이프라이닝처럼. Rust에 원래 파이프라인 빌드가 있었는데 이게 더 밀어붙인 것.

이 기법의 단점까지 다룬 스레드가 며칠 전 'How to speed up the Rust compiler in September 2026' 제출에 있음. 링크 타고 가보면 좋음.

거기 댓글 단 사람이 이 글 올린 사람임.

이미 되고 있는 줄 알았는데 더 이른 단계인가 봄. 제네릭 메서드를 인스턴스화하지 않고 기대하는 심볼만 적어두고 별도 빌드 프로세스가 그걸 듣게 하면 어떨까 하는 생각도 해봤음.

이미 되고 있음. 크레이트를 빌드할 때 cargo는 의존성이 전부 끝날 때까지 기다릴 필요 없이 메타데이터만 나오면 됨. 이 프로토타입은 완전한 타입체크 전에 메타데이터를 더 일찍 쓰게 하는 것. 코어가 이미 꽉 차 있으면 이득이 없음.

저장소를 체크인된 패치 더미로 만든 건 좀 우스움. Git이 이미 버전 관리인데 버전 관리 안에서 버전 관리를 할 필요는 없지.

한 저장소에 다 넣고 싶었고 이게 잘 작동했음. 컴파일러 팀에 보여줄 때는 포크해서 리뷰용 브랜치를 만들었음.

해커뉴스
울프럼, AI가 수학을 대신한다는 주장에 1988년 Mathematica 사례 들어 반박해커뉴스 프런트에 다시 오른 피터 왓츠의 '블라인드사이트', 의식은 진화의 사치라는 논쟁하일브론 문제 최선 배치 모은 사이트, 아마추어 수학자들이 신기록 잇달아 갱신Apple Magic 키보드·트랙패드를 Apple ID 없이 두 Mac에서 공유하는 오픈소스 Magic Switch전 세계 등화 75,919개를 지구본에 올린 mapped.earth, 모바일 핀치 줌 깨짐과 데이터 과다 표시 지적macOS 사진·동영상 모든 프레임을 AI로 검색하는 오픈소스 SCM, HN에서 프레임 샘플링 비용 논쟁Rust 메타데이터 조기 방출로 빌드와 검사가 최대 2배 빨라진 프로토타입 공개글라슈테에서 주운 쓰레기로 만든 30분짜리 진자시계, NOMOS 레지던시에서 제작돼 GTC 기준 시계로노스이스턴대, 차량 21대와 동반 앱 30개 추적해 커넥티드카 데이터 흐름 공개Strata, RTX 4090에서 Qwen3.8 Flash Next 125B를 초당 124 토큰으로 돌려Playdate C 최적화 비법: 게임보이 에뮬레이터 코어를 20KB에서 2KB로GPU 트레이스 시각화 도구 gpuvis, 커밋 1,778개에 스타 921개VGHF 디지털 아카이브, 잡지 5000종 돌파하고 일본어 잡지 지원 시작C2PA 제외 범위로 파일 전체를 서명에서 빼내 타임스탬프까지 위조한 PoC 공개3Blue1Brown 그랜트 샌더슨의 2023년 '수학의 교육적 저주' 강연이 해커뉴스에서 다시 화제메타 Muse가 앱스토어 1위, 기술은 새로울 게 없고 설계가 이겼다는 분석Jagex, 언리얼 엔진으로 만드는 신작 RuneScape MMO RS4 공개. 출시까지 몇 년러시아가 발전소를 때려도 미콜라이우 수돗물이 나온 이유는 덴마크 지원 오프그리드 태양광쓰레기통 6개에 UWB 태그 붙여 "내놨는지" 확인하는 BinRangeLiDAR로 찾은 뉴욕시 최고 높이 나무 후보 4그루, 20년 넘은 기록 갱신 제안Nolan Lawson이 본 '플랫폼을 쓰라'는 말이 안 먹히는 이유: jQuery 시대의 습관, 문서화 격차, 직접 만드는 재미에이전트에 필요한 건 메모리가 아니라 문서라는 주장, 메모리 플러그인은 전부 RAG라는 지적EMT 자격을 딴 소프트웨어 엔지니어가 꼽은, EMT가 되지 않은 21가지 이유 순위로댕 미술관 3D 스캔 소송, 콩세유 데타가 포인트 클라우드를 비문서로 재분류현직 전기공의 반박: 대학 순등록금은 연 $2,500 미만, 임금 프리미엄은 여전히 대졸 쪽HN: 'Triumph of the Nerds' 제작자 밥 크링글리 별세, 애플 초기 직원 출신사이먼 윌리슨 "사용량 기반 서비스엔 기본 하드 예산 상한 필요"... AWS·구글 클라우드 지출 한도 도입OpenAI 안전 리더 데이비드 로빈슨 사임, "문화가 망가졌다" 경고얀 르쿤 "AI가 인류 멸망시킬 우려 전혀 없다", 아모데이는 '현혹된 상태'라고 비판OPM 국장이 '모범 연방 직원'으로 지목한 20세 DOGE 출신, 최소 6개 주에서 형사 책임 위험밸브 Timur Kristóf, GCN 1.0/1.1 구형 AMD GPU를 AMDGPU 커널 드라이버로 끌어올린 작업 XDC 2026에서 발표Cloudflare, Workers와 Artifacts로 차세대 Git 플랫폼 공모전 개최... 상금 $25k는 크레딧 지급 논란Opus 5.5 프롬프트 가이드: 'think carefully' 지우고 CLAUDE.md에 정지 규칙 넣으라고 권고연방판사, Flock 번호판 검색을 '무차별 대량 감시'라며 수정헌법 4조 위반 판결중력장으로 우주선을 슬링하는 브라우저 게임 Hole Punch 공개MPEG-2 TS를 MOQ로 패키징하는 IETF 드래프트, 해커뉴스 프런트페이지 논의는 가치를 잘못 짚었다는 반박스탠퍼드 철학백과 'Holes' 항목 2025년 개정: 구멍은 실재하는가, 아니면 없는 것인가Goffin 앵무새 15마리, 몸을 장애물로 인식하는 BAO 과제서 97.8% 성공지렁이 이동을 지도로 그리는 탐지기 구상, 현장 데이터는 1988년 연구뿐Show HN: Offrun, 맥에서 Claude Code와 Codex를 한 워크스페이스로 관리FTL, 리눅스 바이너리 호환 사용자 공간 OS로 클라우드 컨테이너 격리 겨냥Cities: Skylines 2의 도시가 너무 사각형이고 너무 깨끗하다는 미학 비판, AI 목업 이미지 두고 HN에서 공방C++ Insights: 컴파일러 눈으로 본 C++ 소스, GitHub 스타 4.5kAleph Alpha, 78B 총 파라미터에 활성 3B, 1M 컨텍스트의 오픈웨이트 MoE Kolibri를 Apache 2.0으로 공개GitHub 새 대시보드가 기본 화면으로 전환, 이슈와 PR 중심 개편에 피드는 별도 탭으로 분리cp의 -r과 -R, GNU coreutils에서는 2002년에 병합됐지만 BSD와 POSIX는 여전히 -R만 권장16억 삼각형 Zorah 씬, meshoptimizer 압축으로 glTF 63.3GB를 32.6GB로 줄여닌텐도 64용 파트너-N64 개발 키트, 개조 콘솔로 브레이크포인트와 리셋을 구현GS1, 50년 만에 바코드 퇴출 선언하고 2027년부터 QR코드로 전환Mat Duggan이 그린 'tmux가 OS인' 데스크톱, 하루 6번 화면 전환과 창 관리 3유형 문제 짚음Kagi, Orion 리눅스와 윈도우 개발 중단하고 오픈소스로 전환Cloudflare, OHTTP 게이트웨이 클로즈드 베타 공개. Privacy Gateway는 OHTTP Relay로 개명이디오크라시 풍자 사이트 'Extra Big Ass Intelligence', Brawndo와 'OW! My BALLS!'로 LLM 슬롭 흉내Emacs에서 Org-mode로 쓰고 Gleam과 Pandoc으로 굽는 블로그 파이프라인Show HN: LDraw 어셈블리 언어로 레고 CAD 모델 생성하는 오픈소스 툴셋 ldraw-nova 공개베네치아의 콘스탄티노플 전쟁 실패가 최초 채권시장을 낳았다해커뉴스 화제: Newgrounds 25년째 그대로, Ruffle이 플래시 게임 살려냄GLM 5.3 Flash 한 달 챌린지, 2B 토큰 중 절반만 지켜지고 에너지 사용은 계획의 3.5배하버드 원전 인근 암 연구 방법론, 코스트코에 적용하니 연 12만 명 사망애플, macOS Full Disk Access에 추가 통제 예고, AI 에이전트 위험을 근거로 제시M4 Mac mini에 리눅스 부팅 성공, 잠긴 레지스터와 SPTM 벽 넘은 기록Meta, Muse AI 하드웨어 연동 오픈소스 SDK 공개... ESP32와 라즈베리파이 지원Redis 만든 antirez, C로 쓴 로컬 추론 엔진 ds4 공개. 128GB 맥에서 DeepSeek V4 Flash 2비트 양자화로 초당 39토큰 생성4살에 미국으로 이주한 중국계 미국인이 쓴 LessWrong 에세이 '중국의 사회적 실재', 해커뉴스에서 국가 심리 일반화 논쟁으로 번짐전략(Stratego) AI 아타락소스, 세계 최강자에 15승 1패. GPU 16장에 수천 달러로 학습노화는 손상 축적이 아니라 세포 정체성 상실: 네이처·셀 새 논문 2편이 제시한 모델133광년 밖 HR 8799, 켁 망원경 10장으로 만든 12년 행성 궤도 타임랩스Greg Kroah-Hartman, Anthropic Mythos가 보고한 커널 취약점 79개 중 실제 버그픽스는 10개뿐이라고 밝혀Zig 0.17.0 릴리스, 빌드 시스템 재작업과 x86_64 리눅스 증분 컴파일 지원OpenAI, ChatGPT에서 프롬프트로 사이트 만들고 게시하는 'Sites' 공개애플, Wallet 패스 디자인 도구 Pass Designer 베타 공개, macOS 27 요구미국 연방법원, 유타주 VPN 연령인증법 SB 73에 예비 금지명령오라클 위스콘신 AI 데이터센터, 전력망 승인 지연으로 2027년 인도 목표 흔들나치 독일, 남은 우라늄 큐브를 다 모아도 원자로를 못 만든다 (PNAS Nexus)아이폰 진동 패턴을 모스 부호로 만들어 지인 25명 문자 알림을 구분한 개발자Claude Opus 5.5가 붓질을 코드로 써서 그린 유화 75점, 이미지 생성 없이 물감 시뮬레이션으로 완성Black Forest Labs가 FLUX 3 Image 공개, 바운딩 박스로 이미지 구도를 직접 지정GPT-6 Astra, agent-wow로 월드 오브 워크래프트 시작 지역 퀘스트를 40분 만에 완료에이전트 코딩의 네 기수: 슬롭, 소외, 기술 퇴화, 팀 붕괴Supabase가 Turso를 인수, 주당 100만 개 DB를 찍어내는 에이전트 인프라로 통합3~4년 만든 오픈소스 멀티트랙 오디오 편집기 Audionaut, MCP로 Claude Code 에이전트 편집 지원폰 노이만에 관한 Halmos의 1973년 전기 PDF가 해커뉴스에 올라 책 추천과 말년 논쟁으로 번짐버자드가 본 수학계 AI 슬픔 5단계, AGMAI는 OpenAI에 결과물 공개 요구에드워드 케멧, 일주일 만에 GHC Core를 JVM에서 JIT 실행하는 Turbo Haskell 공개산소 결핍 염수 웅덩이 미생물이 금속 퇴적물을 만든다, 죽은 구역이 아니라 초기 생명 단서라는 연구시마노 자전거 박물관 리뷰: 3,200개 부품으로 분해한 자전거와 2027년용 빈 전시 케이스클래스 없는 CSS 테마 28종을 한 페이지에서 갈아 끼워 비교하는 CSS Bed, 해커뉴스에서 재조명arXiv, 10월 1일부터 제출자당 월 2편으로 제한. 9월 제출 40,363건으로 2년 만에 두 배Opus 5.5가 네덜란드 동인도회사 문서에서 찾아낸 1615년 도도새 사냥 기록싱가포르 정부, 공무원 대상 데이팅 서비스 FirstDate 파일럿 시작. 30문항 설문에 Gale-Shapley 매칭Frog and Toad 패러디 동화가 해커뉴스 화제, AI 에이전트 탈출 사건을 우화로 풀어DeepSeek Harness, macOS와 Windows 데스크톱 앱으로 공개 프리뷰 시작스펙과 테스트로 브라우저 엔진을 생성하는 Bez, 해커뉴스 댓글은 회의적해커뉴스 AI 예측 10년치를 모아 투표하는 goalposts 공개, 3분의 1은 판정 불가컨텍스트를 파일로 다루는 Context Language Models, 기존 모델 제로샷만으로 정확도 11.4% 높이고 FLOPs 21.5% 절감데비안 커널 보안 권고 DSA-6528-1에 CVE 1,313개, 제목은 'several'SvelteKit 3 공개, 설정은 vite.config.ts로 옮기고 $lib 별칭은 #lib로 바뀜노스이스턴대, 미국 차량 21대와 앱 30개 추적… 커넥티드카 개인정보가 제조사와 제3자로 흘러간다생성AI가 웹 개발 교육 시장을 무너뜨린다: 2ality 폐쇄, 강의 매출 반토막Git 3.0의 SHA-256 기본 전환은 값비싼 실수라는 주장
3 alerts
New alert

My alerts

Sign in to create alerts.

All alerts

Duneby 제욱AIby 제욱해커뉴스by 성현