Article URL: https://www.lego.com/en-us/product/sagrada-familia-21065 Comments URL: https://news.ycombinator.com/item?id=48400918 Points: 125 # Comments: 105
来源：Hacker News · RSS 采集
分类： 科技前沿
Hacker News 技术资讯、AI/数字化工具、最新科技动态
-
Sagrada Família Lego set
Article URL: https://www.lego.com/en-us/product/sagrada-familia-21065 Comments URL: https://news.ycombinator.com/item?id=48400918 Points: 157 # Comments: 128
来源：Hacker News · RSS 采集
-
When AI Builds Itself: Our progress toward recursive self-improvement
Article URL: https://www.anthropic.com/institute/recursive-self-improvement Comments URL: https://news.ycombinator.com/item?id=48400842 Points: 447 # Comments: 594
来源：Hacker News · RSS 采集
-
Retro-Tech Parenting
Article URL: https://havenweb.org/2026/05/28/retro-tech.html Comments URL: https://news.ycombinator.com/item?id=48400588 Points: 308 # Comments: 207
来源：Hacker News · RSS 采集
-
Show HN: Open Terminal – A Bloomberg Style App for Research
Article URL: https://tesseractanalytics.ai/ Comments URL: https://news.ycombinator.com/item?id=48400544 Points: 5 # Comments: 4
来源：Hacker News · RSS 采集
-
Anthropic’s open-source framework for AI-powered vulnerability discovery
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 采集
-
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 采集
-
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 采集