🔥 微博热搜 29
2
3
5
11
13
15
16
17
18
19
22
23
24
26
28
💻 开发者社区 15
2
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
GPT-5.6 Sol Ultra证明了周期双覆盖猜想。
4
QuadRF 可以发现无人机并透过墙壁查看 WiFi
QuadRF利用Raspberry Pi 5和FPGA板实现相位阵列无线电，能穿透墙壁探测WiFi信号和追踪无人机。
5
SpaceX 希望再发射 10 万颗 Starlink 卫星，带宽增加 100 倍
SpaceX计划再发射10万颗Starlink卫星，带宽增加100倍，旨在为农村客户提供更快互联网服务。
10
13
好工具是看不见的
文章探讨了优秀工具应具备的“隐形”特性，并批评了将工具的不足之处当作“谜题游戏”来“享受解决”的错误观念。
14
15
🐙 开源项目 15
1
sponsors/mattpocock - Sponsor
Star
开发者Matt Pocock致力于开发状态机工具，专注于XState库的CLI工具和IDE扩展，旨在提升开发者工作效率。
3
sponsors/obra - Sponsor
Star
Jesse Vincent通过obra平台寻求赞助，致力于开发提升AI编码效率的工具，并展示其作品如superpowers技能框架和Chrome插件。
4
sponsors/wonderwhy-er - Sponsor
Star
Eduard Ruzga的开源项目wonderwhy-er寻求赞助，目前已有两位私人赞助者。
5
oven-sh/bun - Star
oven-sh /
bun
Incr
Bun是一个集成的JavaScript和TypeScript应用工具包，其核心是一个快速JavaScript运行时，旨在替代Node.js，并具有更快的启动时间和内存使用。
6
microsoft/TypeScript - Star
microsoft /
TypeScript
微软发布TypeScript最新版本，支持大型JavaScript应用开发，并提供社区页面供开发者交流。
7
tailscale/tailscale - Star
tailscale /
tailscale
Tailscale开源了其大部分代码，包括tailscaled守护进程和tailscale CLI工具，支持Linux、Windows、macOS等操作系统，并提供iOS和Android应用。
9
davila7/claude-code-templates - Star
davila7 /
claude-code-templates
推出 Claude Code Templates，提供 Anthropic Claude Code 的配置模板，包括AI代理、自定义命令、设置、钩子和外部集成，以优化开发流程。
10
google-labs-code/stitch-skills - Star
google-labs-code /
stitch-skills
谷歌推出Stitch Design Skills，为Google Stitch提供一系列技能和插件，支持多种编码代理，并兼容Codex、Antigravity等工具。
11
chriskohlhoff/asio - Star
chriskohlhoff /
asio
chriskohlhoff 发布了 ASIO 库的 1.38.1 版本，并更新了相关文件和配置。
12
zeux/meshoptimizer - Star
zeux /
meshoptimizer
该资讯介绍了meshoptimizer库，这是一个用于优化GPU渲染三角形网格的算法库，旨在提高渲染效率并减少存储开销。
13
abseil/abseil-cpp - Star
abseil /
abseil-cpp
Abseil/abseil-cpp是一个开源的C++库，由谷歌贡献，旨在增强C++标准库功能。
14
catchorg/Catch2 - Star
catchorg /
Catch2
Catch2是一个C++单元测试框架，提供简单自然的测试方式，支持基本的微基准测试和BDD宏。
15
jbeder/yaml-cpp - Star
jbeder /
yaml-cpp
yaml-cpp是一个符合YAML 1.2规范的C++解析器和生成器，支持跨平台构建，使用CMake作为构建工具。
💬 V2EX 热议 9
🐦 X/Twitter 13
📊 商业科技 15
15
📈 华尔街见闻 10
📰 今日头条 30
12
15
20
21
22
26
27