「弯道超车」赛车入门指北 05：让赛车粉身碎骨，才是保命的真正方式
AI 速览 当你下次在屏幕前看到两台赛车撞得粉身碎骨、而车手淡定地推开残骸向看台挥手致意时，希望你能想起今天的故事。 查看全文
开发
围绕「开发」分类汇集的全球近期技术动态与前沿报道。
1w token 每秒
Beyond the Glass
AI 速览 “Beyond the Glass”仅为标题，无实质科技资讯内容，无法提炼要点。
Lean now ships with verified kernels
AI 速览 Lean 现已内置经过形式化验证的内核。
XRP has failed to make holders rich like bitcoin and ether. Here’s why
AI 速览 XRP未能像比特币和以太坊那样让持有者致富，原因在于其价格表现远逊于两者。
US federal judge denies joint Gemini-CFTC bid to undo $5 million settlement
AI 速览 美国联邦法官驳回Gemini与CFTC联合申请撤销500万美元和解协议的请求，法院指出Gemini在庭审前3周自愿达成和解，政策变化不构成重开判决的理由。
Last rites for Gentoo's Chromium package
AI 速览 Gentoo Linux 已对 Chromium 软件包启动“last rites”流程，即将从 Portage 树中移除。
The Folders Programming Language
AI 速览 Folders是一种编程语言。
Greece drafts law requiring data centers source 60% of power from renewables
AI 速览 希腊起草法律，要求数据中心60%的电力来自可再生能源。
一面专注体验，一面表达个性：麦金獭钢化膜与极稚墨水屏手机壳体验
AI 速览 从正面的手感与显示聊起，再翻到背面看看换图的玩法。 查看全文
Tesla makes cars that fly? [video]
AI 速览 特斯拉发布飞行汽车相关视频。
Chirp Pong – uses microphones and audio for networked game play
AI 速览 Chirp Pong利用麦克风和音频实现联网游戏玩法。
Bitcoin buyers snap up a brief drop below $80,000 as Asian stocks rebound
AI 速览 比特币短暂跌破8万美元后，亚洲股市反弹之际，买家迅速逢低买入。
蹬了小半年浏览器侧的 PowerPoint 在线编辑器，支持在线协作，在线分享和直播。几乎完整的动画
说说我买谷歌 Gmail 老账号被骗的经历
Porsche Mission S
AI 速览 保时捷发布Mission S。
我的第一个 300 stars 开源项目 Runner
让读书笔记不再吃灰：我做了一款跨平台书摘管理工具
AI 速览 从微信读书的 3 万条划线出发，我做了一个让阅读笔记重新回到日常的 App。 查看全文
Woman arrested after blocking delivery robot in Center City Philadelphia
AI 速览 费城中心城区一名女子因阻挡送货机器人被逮捕。
Comparing Chromium Development at Google and Igalia
AI 速览 Google与Igalia的Chromium开发模式对比。
Scaling Indic Pretraining: 2.8 Trillion Tokens and an Open Data Generation Pipeline
AI 速览 印度AI初创公司推出开源数据生成管道，构建了2.8万亿token的Indic语言预训练数据集，以推动印度语言大模型预训练规模化。
Any window from your Mac, on your iPhone and iPad
AI 速览 Mac窗口现可串流至iPhone和iPad。
Tesla Roadster
Tesla Roadster。
The Tesla Roadster flew, drove upside down, and hit 60mph in under a second
AI 速览 特斯拉在得克萨斯州韦科市展示下一代Roadster，该电动超跑完成倒立行驶、短暂飞行，并实现不到1秒加速至60英里/小时，但量产尚未启动。
Tesla Debuts 2026 Roadster
AI 速览 特斯拉发布2026款Roadster。
Thank You, Deno
AI 速览 Deno 项目相关方发布“Thank You, Deno”内容，向 Deno 致谢。
RPKI now protects 70% of internet routes
AI 速览 RPKI现已保护70%的互联网路由，较去年的54%有所提升。
HOL Light Tutorial
AI 速览 HOL Light教程发布，介绍这一交互式定理证明工具的使用方法。
派早报：Apple 智能国行 Beta 版本将于本月晚些时候上线测试版本
AI 速览 SpaceXAI 发布 Grok Voice 3.0 语音模型、微软发布 XBOX Nano 口袋手柄等。 查看全文