였늘의 HN μ„œλΉ„μŠ€ νŠΈλž™μ…˜ ν˜„ν™© μΈν¬κ·Έλž˜ν”½
였늘 κ°€μž₯ λœ¨κ±°μ› λ˜ μ„œλΉ„μŠ€: Firefox for iOS Native Adblocker
HN TRACTION RADAR
πŸš€ 였늘 HNμ—μ„œ 뜬 μœ μ‚¬ μ„œλΉ„μŠ€ 5건
ν•΄μ»€λ‰΄μŠ€ ν”„λ‘ νŠΈνŽ˜μ΄μ§€μ—μ„œ 골라낸 μ„œλΉ„μŠ€ νŠΈλž™μ…˜ 뢄석
πŸš€ 뢄석 5κ±΄πŸ“‘ 후보 ν’€ 30건
였늘 ν•΄μ»€λ‰΄μŠ€ ν”„λ‘ νŠΈνŽ˜μ΄μ§€μ—μ„œ λ°˜μ‘μ΄ 특히 λœ¨κ±°μ› λ˜ μ œν’ˆΒ·μ„œλΉ„μŠ€λ₯Ό 골라, 각 μ„œλΉ„μŠ€ νŽ˜μ΄μ§€λ₯Ό 직접 읽고 무엇을 ν•˜λŠ” μ„œλΉ„μŠ€μΈμ§€Β·μ™œ λ–΄λŠ”μ§€ λΆ„μ„ν–ˆμ–΄μš”.
였늘의 νŠΈλž™μ…˜ 톱3
πŸ₯‡Firefox for iOS Native Adblocker
β–² 494 Β· πŸ’¬ 207 Β· ⚑ μ‹œκ°„λ‹Ή 58.3
πŸ₯ˆBuf LSP
β–² 89 Β· πŸ’¬ 59 Β· ⚑ μ‹œκ°„λ‹Ή 26.8
πŸ₯‰MathCode
β–² 49 Β· πŸ’¬ 13 Β· ⚑ μ‹œκ°„λ‹Ή 11.2
πŸš€ νŠΈλž™μ…˜ 뢄석
5
πŸ‘‰ μΉ΄λ“œλ₯Ό ν΄λ¦­ν•˜λ©΄ ν•΄λ‹Ή μ„œλΉ„μŠ€ νŽ˜μ΄μ§€λ‘œ μ΄λ™ν•©λ‹ˆλ‹€.
πŸš€ νŠΈλž™μ…˜ 뢄석5
1. Firefox for iOS Native Adblocker β†—
Firefox for iOS now includes a built-in, native ad blocker, allowing users to block ads directly within the browser on iPhone and iPad without third-party extensions. A major privacy-focused feature landing in a mainstream mobile browser sparked broad HN interest, driving 494 points and 207 comments β€” one of the highest engagement items in this batch.
β–² 494 Β· πŸ’¬ 207 Β· ⚑ μ‹œκ°„λ‹Ή 58.3
2. Buf LSP β†—
Buf's LSP server brings full IDE support to Protobuf β€” go-to-definition, code completion, reference lookup, and semantic highlighting β€” for VSCode, Neovim, and other LSP-compatible editors via the Buf CLI. Protobuf is widely used but historically lacked modern IDE tooling; filling that gap with a production-grade LSP server resonated strongly with developer-tool-focused HN readers, earning 89 points and 59 comments. β€” πŸ“Š μ„±κ³Ό μ‹ ν˜Έ: Protobuf-ES used in Chromium; Google uses Buf's protocompile compiler alongside protoc in parts of its codebase.
β–² 89 Β· πŸ’¬ 59 Β· ⚑ μ‹œκ°„λ‹Ή 26.8
3. MathCode β†—
A terminal AI coding assistant with a built-in math formalization engine that converts plain-language math problems into Lean 4 theorems and attempts formal proofs using a persistent Lean REPL and Mathlib integration. The niche intersection of AI agents and formal mathematics verification drew curiosity from HN's technically inclined audience, achieving 49 points and 13 comments despite a narrow target use case. β€” πŸ“Š μ„±κ³Ό μ‹ ν˜Έ: Lean compile checks reduced to ~0.4s after warmup (vs. ~30s cold); based on the AUTOLEAN project.
β–² 49 Β· πŸ’¬ 13 Β· ⚑ μ‹œκ°„λ‹Ή 11.2
4. ASUS Oxiis Intelligent Bike Booster β†—
A motorized e-bike conversion kit by ASUS featuring 500W peak power, adaptive boost technology, a wireless cadence sensor, smart brake-detecting taillight, and a removable modular battery with premium aluminum construction. An unexpected hardware product from ASUS β€” better known for PCs β€” entering the e-bike market generated strong discussion, topping this batch with 603 points and 423 comments despite lower recent velocity. β€” πŸ“Š μ„±κ³Ό μ‹ ν˜Έ: Peak power: 500W.
β–² 603 Β· πŸ’¬ 423 Β· ⚑ μ‹œκ°„λ‹Ή 7.2
5. Chestnut (comma.ai eGPU Dock) β†—
Comma.ai's Chestnut is a PCIe Gen4 x4-to-USB4 eGPU dock with fully open-source firmware for its ASM2464PD bridge chip, available for $249 (dock only) or $799 bundled with an AMD Radeon RX 9060 8GB. Open-source firmware on a bridge chip that has always been a closed black box in competing products β€” combined with George Hotz's reputation and the automotive computing angle β€” made this a compelling HN story, earning 128 points and 35 comments. β€” πŸ“Š μ„±κ³Ό μ‹ ν˜Έ: Pricing: $249 (bare dock), $799 (with RX 9060 8GB); DMA path ~700 MB/s over USB3; PCIe TLP control: 3.6 MB/s write / 1.8 MB/s read; raises on-device power budget from ~10W to ~100W; comma fleet logs ~1M driving minutes/day, 15% pulled into training; new 1B-parameter openpilot model has 30x parameters and 100x FLOPs vs. prior on-device model.
β–² 128 Β· πŸ’¬ 35 Β· ⚑ μ‹œκ°„λ‹Ή 2
νŠΈλž™μ…˜ μ§€μˆ˜λŠ” ν•΄μ»€λ‰΄μŠ€μ˜ μ‹€μ œ μΆ”μ²œΒ·λŒ“κΈ€ λ°˜μ‘(μ‹œκ°„λ‹Ή ν™”λ ₯)을 κΈ°μ€€μœΌλ‘œ κ³„μ‚°λ©λ‹ˆλ‹€. 뢄석 λ²”μœ„λŠ” ν•΄μ»€λ‰΄μŠ€ ν”„λ‘ νŠΈνŽ˜μ΄μ§€μž…λ‹ˆλ‹€.
somodusWhile I sleep
my AI agent works for meBuild your own AI agent β†’