Article URL: https://github.com/anthropics/defending-code-reference-harness Comments URL: https://news.ycombinator.com/item?id=48403980 Points: 477 # Comments: 132
来源：Hacker News · RSS 采集
分类： 科技前沿
Hacker News 技术资讯、AI/数字化工具、最新科技动态
-
Castor: CERN Advanced STORage Manager
Article URL: https://castor.web.cern.ch/content/home.html Comments URL: https://news.ycombinator.com/item?id=48403753 Points: 57 # Comments: 24
来源：Hacker News · RSS 采集
-
Meta’s ships facial recognition on smart glasses
Article URL: https://www.buchodi.com/meta-glasses-facial-recognition/ Comments URL: https://news.ycombinator.com/item?id=48403588 Points: 285 # Comments: 256
来源：Hacker News · RSS 采集
-
WSL 2 is getting faster Windows file system access
Article URL: https://www.boxofcables.dev/wsl2-per-device-swiotlb-pools-for-virtiofs-and-virtioproxy/ Comments URL: https://news.ycombinator.com/item?id=48403377 Points: 140 # Comments: 102
来源：Hacker News · RSS 采集
-
American Wealth, Sliced Up
Article URL: https://kottke.org/26/05/american-wealth-sliced-up Comments URL: https://news.ycombinator.com/item?id=48402371 Points: 24 # Comments: 9
来源：Hacker News · RSS 采集
-
Leap in DNA synthesis slashes time to build new genetic sequences
Article URL: https://spectrum.ieee.org/faster-dna-synthesis-sidewinder Comments URL: https://news.ycombinator.com/item?id=48402116 Points: 62 # Comments: 12
来源：Hacker News · RSS 采集
-
Show HN: Hitoku Draft – Context aware local assistant
Hi guys.I have been working on Hitoku Draft, an open-source, voice-first AI assistant that runs entirely locally. I posted about it already, and now it has also transcription with voice editing. Looking for feedback, as I found that outside tech circles other people still do not use this tech much.It’s context-aware, in the sense that it reads your screen, documents, and active app to understand what you’re working on. You can ask about PDFs, reply to emails, create calendar events, use web sear…
来源：Hacker News · RSS 采集
-
Fear and Social Pressure Are ‘Overarming’ the U.S.
Article URL: https://home.dartmouth.edu/news/2026/06/how-fear-and-social-pressure-are-overarming-us Comments URL: https://news.ycombinator.com/item?id=48402052 Points: 4 # Comments: 1
来源：Hacker News · RSS 采集
-
SpaceX, Other Mega IPOs Denied Fast Index Entry by S&P
Article URL: https://www.bloomberg.com/news/articles/2026-06-04/s-p-dow-jones-keeps-megacap-ipo-rules-as-is-after-consultation Comments URL: https://news.ycombinator.com/item?id=48405718 Points: 823 # Comments: 411
来源：Hacker News · RSS 采集
-
Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed
To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons.The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is able to provide algorithm implementation with formal proof in one shot, whereas previous models required me to provide proof strategies in multiple steps.Trust in the correctness comes entirely from the Lean checker and human review of a small specif…
来源：Hacker News · RSS 采集