1. Firefox for iOS (네이티브 광고 차단) ↗

Firefox iOS 앱에 네이티브 광고 차단 기능을 내장하여, 별도 확장 프로그램 없이 iOS에서 광고를 차단한다. iOS에서 네이티브 광고 차단은 오랫동안 요구되던 기능으로, 495포인트·207댓글이라는 높은 반응과 시간당 58.3의 빠른 속도가 그 기대감을 반영한다.

▲ 495 · 💬 207 · ⚡ 시간당 58.3

2. Buf LSP (Protobuf LSP 서버) ↗

Buf CLI에 내장된 Protobuf 전용 LSP 서버로, VSCode·IntelliJ·Neovim 등에서 정의로 이동, 코드 완성, 참조 검색, 문법 강조 등 현대적 IDE 기능을 제공한다. Protobuf가 처음으로 본격적인 LSP 지원을 갖추게 된 점이 개발자들의 주목을 받았으며, Google도 Buf의 컴파일러를 일부 사용한다는 언급이 신뢰도를 높였다. — 📊 성과 신호: Protobuf-ES가 Chromium에 사용됨; Google이 자사 대규모 코드베이스 일부에서 protocompile 사용 중

▲ 89 · 💬 59 · ⚡ 시간당 26.7

3. MathCode ↗

자연어로 수학 문제를 입력하면 Lean 4 정리로 변환하고 형식 증명을 시도하는 터미널 AI 코딩 에이전트로, 지속적 Lean REPL과 정리 라이브러리, Obsidian 지식 그래프를 포함한다. AI와 형식 수학 증명을 결합한 새로운 접근 방식이 관심을 끌었으며, 워밍업 이후 컴파일 검사를 ~0.4초로 단축한 기술적 차별점이 개발자 커뮤니티의 흥미를 유발했다. — 📊 성과 신호: Lean REPL 컴파일 검사 속도 ~0.4s (기존 ~30s 대비)

▲ 49 · 💬 13 · ⚡ 시간당 11.2

4. Chestnut (comma.ai eGPU 독) ↗

comma.ai가 출시한 오픈소스 펌웨어 기반 PCIe Gen4 x4 USB4 eGPU 독으로, 단독 버전 $249, AMD Radeon RX 9060 포함 버전은 $799이며 일반 PC와도 호환된다. eGPU 시장 최초로 브리지 칩 펌웨어가 GitHub에 오픈소스로 공개되었고, George Hotz의 comma.ai 프로젝트라는 점에서 128포인트를 기록하며 하드웨어·자동차 AI 양쪽 커뮤니티의 주목을 받았다. — 📊 성과 신호: 가격: Tiny chestnut $249 / Chestnut with RX 9060 $799; 1B 파라미터 드라이빙 모델(기존 대비 파라미터 30x, FLOPs 100x); 플릿 하루 약 100만 드라이빙 분 로깅(15% 학습 클러스터 투입); DMA 경로 ~700MB/s, PCIe TLPs 제어: 쓰기 3.6MB/s·읽기 1.8MB/s

▲ 128 · 💬 35 · ⚡ 시간당 2