2026 年 6 月 30 日 · 星期二
读过 26 篇 · 精选 17 篇
WG3 Stockholm 会议接受 QUALIFY、INSERT BY NAME、SELECT list EXCLUDE 和 JOIN TO ONE 等 SQL 特性，PGSQL 20 预计跟进，Key joins 待定，发布时间视未来会商而定。
SQL 标准刚接纳 QUALIFY 过滤、JOIN TO ONE 安全校验和 SELECT 列排除，Postgres 20 可直接抄这些，避免踩坑
作者是 Google DeepMind 研究员，详细指出「信任不足以替代治理」，批评 Google 与国防部合同的模糊条款、允许军方合法用途、无独立监督机制，并回顾 DeepMind 创始人曾试图建立独立董事会但失败，最终结论是信任文化不足以应对外部压力。
DeepMind 多次独立治理尝试全崩，Pentagon 合同证明信任和安全文化挡不住商业压力。
Rust 在多线程编程中通过所有权类型、Send / Sync 特性和函数签名约束实现本地推导数据竞争全局属性，完全消除数据竞争错误；文章对比 AI 生成代码在全局理解上的弱点，指出语言设计可帮助 AI 缓解局部代码缺陷引发的全球状态爆炸。
Rust 让数据竞争从全局难题变函数签名检查，AI 生成代码无需大量不必要防守检查
Marcus 提出了 “浏览器原生图形 SSH 外壳” 概念：服务器通过 SSH 暴露小型 HTTP 服务器提供的浏览器图形界面替代终端，应用可注册为文本编辑器等，内置 API 互访，支持 Unix 域套接字、原生外框架 App，并已开源 Outer Shell 提供演示。
Outer Shell 拿 Unix socket + SSH 打包本机 app 成浏览器图形 shell，零加密开箱即用！
Fil-C 支持长 jmp / setjmp 和 ucontext API 的内存安全实现，无栈损坏风险，但 setjmp 复杂性强且 ucontext 用法受限。
Fil-C 上下文切换全内存安全，ucontext API 复制粘贴就行
Sekaictf 2026 基础设施完整复盘：全新 rCTF 平台、Kubernetes 自定义 operator、GCP anycast + 云 LB 架构、6.4k 实例零宕机，性能数据与细节全揭秘
kustomize + CRD 一键 git push，infra operator 帮你建密封挑战盒，LB DNS 全自动
CUDA 内核从编译到 GPU 执行全程拆解：nvcc PTX + SASS、驱动 QMD + doorbell、SM 调度 warps 与指令流，逐行追踪 RTX 4090 上的 1 + 1=2 计算细节。
nvcc 编译 CUDA 内核到 SASS，CUDA 12.2 模块 LAZY 加载，GPU 通过 QMD、doorbell 跨 PCIe 启动向量加法
Solod v0.2 新增 net 包、TCP/UDP/Unix sockets 支持、32 位/WebAssembly/bare metal 目标编译、C 互操作改进、stdlib 扩展，单连接服务器模式下可运行网络服务
Solod v0.2 给零 runtime 系统语言加了 net 包，TCP 服务器一键写好、deadline 防卡住、还能编译到 wasm 和裸金属
作者重温童年‘电脑房’经历，描述便携计算设备从固定到随身携带的转变，总结了便利与注意力干扰的权衡，并分享个人重置边界的实践。
用手机充电架 + 无口袋裙子 + 桌面主工作，手机通知只能在家选时间接，避免了注意力被扰乱的碎片
1. 该文作者自己花一周时间从零（无标准库、无参考资料）在 Agda 中证明了 FTA 的构造性存在部分（n≥1 可分解为 0 个或多个质数的乘积），附完整注释与「带洞」版教学文档，适合已有基本 Agda 经验的用户。
在 Agda 中从头完整证明算术基本定理，能直接复制到 AI 工程项目的分解验证
GNU 扩展让 BRE 里的 \+ 匹配一或多次，POSIX 未标准化但 FreeBSD / macOS 等主流系统支持，建议用 - E。
FreeBSD 用 \+ 在 BRE 里就是 + 一次或多次，Linux shell 脚本直接抄这个扩展
Rheo 0.4.0：Typst 的多格式发布基础设施，允许同一 Typst 源码生成网页、PDF、EPUB
Rheo 让 Typst 一次写就 PDF、HTML、EPUB 三格式，替代 LaTeX 繁琐
作者分享自用 Ampere Altra AArch64 服务器改装成桌面系统约 11 个月的完整体验：硬件配置、内核 PCIe erratum 补丁导致每周重编译、AMD GPU 故障后换 Nvidia 驱动崩溃、迁移到 x86-64 Ryzen 系统并总结不再重复实验。
Ampere Altra 桌面实验 11 个月后放弃，GPU 内核 bug + Flatpak 缺失把 x86 6 核换回来
Slint 1.17 在 Linux/macOS 上用 libuv prepare hook 实现事件循环集成，解决了 Node 绑定中 UI 线程每 16ms 强制醒来、CPU 空转和事件延迟问题，但 Windows/Deno/Bun 仍用 16ms tick；npm slint-ui 包已可用。
Slint 1.17 用 libuv hook 让 Node.js 桌面 UI 事件秒到、CPU 闲时归零
刘易斯・鲁纳的 Haskell 博客《Diagrams for Penrose Tiles》，完整介绍了用 diagrams 包构建 Penrose kite-dart 图块的 Haskell 代码，包括合法性规则、半图块、补丁操作、膨胀 / 分解构造正确可延拓图块的方法，以及 2026 年更新的兼容性说明。
Haskell Diagrams 包教你用 kite / dart 画 Penrose 瓦片，代码现成可抄
Furality Ultra A / V 制作过程写实记录，详述 CRVF 视频流媒体、Blender + DMX 控制俱乐部 6DoF 设备、Davinci Resolve 插件（MDMX Fixture、MDMX CRC Recalc、VideoRemap、Spout Sender）和 TouchDesigner 音效响应 luma glow 生成工具，包含具体 fixture 定义与局限性讨论。
Davinci Resolve 插件让 MDMX 直接在 timeline 里 keyframe 屏幕与灯光，免得再导视频文件预览世界
Temporal Shrinking 讨论随机测试、fuzzing 改进、输入缩小（shrinking）在无状态与状态生成下的应用，以及 Antithesis 针对确定性模拟测试（DST）中的「时间旅行式」故障定位方法。
把 Temporal Shrinking 用到时间敏感的分布式系统测试里，Antithesis 直接帮你锁定 bug 关键时间段，远比猜的快
读完去做事。