加州居民数据删除请求（DROP）将于8月1日起强制执行 -- Californians' data deletion requests, DROP, become enforceable Aug. 1
加州一项新规将于8月1日生效，允许用户要求企业删除其个人数据，且该请求具有法律强制执行力。
Show HN: NixOS-DGX-Spark – 在DGX Spark上运行Nix与NixOS -- Show HN: NixOS-DGX-Spark – Nix and NixOS on the DGX Spark
该文章介绍了如何在NVIDIA DGX Spark及Asus Ascent GX10上使用Nix或安装NixOS，提供了USB镜像和NixOS模块，并说明了在DGX OS（Ubuntu）上使用Nix的安装步骤、配置要求及运行CUDA应用时需借助nix-gl-host的注意事项。
AI海报赢得俄亥俄州博览会比赛 -- AI poster wins Ohio State Fair contest
俄亥俄州博览会海报大赛2026年规则更新：2027年起将禁止使用AI生成作品，以更好地支持本土艺术家。大赛鼓励创作体现博览会特色的原创设计，并感谢公众反馈以持续优化赛事。
欧盟年龄验证项目强制要求硬件绑定认证 -- EU Age Verification Project Mandates Hardware-Bound Attestation
欧盟开源年龄验证项目因强制要求硬件绑定认证引发争议。该项目要求将凭证存储在受保护硬件中，以防止复制或篡改，但批评者认为这限制了Linux、定制安卓ROM等开放系统的支持。项目方表示这是架构要求，并邀请替代方案。
Show HN: Fuse – 静态类型函数式编程语言 -- Show HN: Fuse – statically typed functional programming language
Fuse是一种静态类型、纯函数式编程语言，支持高阶类型和特设多态。它编译到GRIN全程序优化器，生成LLVM原生代码。语言特性包括静态类型系统、纯函数式编程、类型推断、代数数据类型、泛型和trait。
"击垮这位女士"：eBay骚扰行动如何导致5600万美元赔偿 -- 'Crush this lady': how eBay harassment campaign led to $56M payout
eBay因对一对夫妇实施骚扰和威胁的恶意活动，被法院判决赔偿5600万美元。该活动包括发送活蜘蛛和血腥面具等，旨在恐吓批评eBay的博主。
SwiftUI 七年之后 -- SwiftUI After 7 Years
SwiftUI发布七年后仍像永久测试版，存在性能、布局和数据流问题，缺乏向后兼容性。文章通过苹果官方教程故障和与UIKit对比，指出其用便利性牺牲精确性，并批评苹果从追求卓越转向“差不多就行”的企业文化。
Show HN: Kakehashi – 在Linux ARM上运行macOS二进制文件的实验性用户空间 -- Show HN: Kakehashi – Experimental userspace to run macOS binaries on Linux ARM
该项目是一个面向Linux ARM64的用户态macOS翻译层，无需JIT即可加载Darwin Mach-O二进制文件，映射独立libSystem并转换BSD系统调用。已验证可运行7-Zip、curl等程序，支持Docker/Colima和UTM环境。
Show HN：Sprocket——硬件与软件开发的最佳AI代理 -- Show HN: Sprocket – The Best AI Agent for Hardware and Software Development
这是一段YouTube视频页面，标题为“Sprocket Demo Video”，由Aarav Gupta上传，视频内容为Sprocket的演示，并提供下载链接https://spikonado.com。页面还包含登录验证提示及其他推荐视频。
F*：一种面向证明的通用编程语言 -- F*: A general-purpose proof-oriented programming language
F是一种面向证明的通用编程语言，支持纯函数式和带效应编程，结合了依赖类型与基于SMT求解和策略交互的证明自动化。它默认编译为OCaml，也可提取到F#、C、Wasm或汇编。F由微软研究院、Inria和社区在GitHub上开源开发。