每日科技摘要-11-08-晚报

跨平台 UI、语言与部署方法都有进展，强调性能、简洁与工程效率

Snapchat开源跨平台UI框架Valdi：用声明式 TypeScript 写原生 iOS/Android/macOS 界面，无需 WebView/JS 桥。支持热重载、VSCode 调试、自动复用和视口感知渲染，已在 Snap 生产跑了八年，可嵌入现有应用。
Zig为何如此圈粉？：Zig 语法简洁、跨编译强、C 互操作好，支持编译期执行与内置测试。以数独示例展示位域/位运算能力，适合系统编程与高性能场景。
Ruby中的友好属性模式：通过“Friendly Attributes”用直观哈希收口多样输入，自动规范化属性，减少样板代码，提升可读性，并兼容传统写法，便于测试与查询。
用 ZFS Jails 实现 FreeBSD 下的不可变软件部署：结合 ZFS 快照与 jails，每次发布从快照克隆，零停机升级、秒回滚；配合 Caddy 做反代与健康检查，部署可复现、稳定。
本地优先 Htmx：将 SSR 代码编译为 WASM 在 Service Worker 内本地渲染，拦截请求、前台快速响应，后台与服务器同步，兼顾简洁与性能。

简化一致性协议与数据结构选择的实证指引

让民主高效运转：修复并简化Egalitarian Paxos：提出 EPaxos*，用更简单且正确的故障恢复算法，扩展容错范围，在最优副本数下实现高效命令排序，提升复制状态机的性能与可靠性。
Scheme：Hashtable 和 A-list，如何选？：基准显示数据量<50用 a-list 简单高效；50–2000 视场景权衡；>2000 建议改用 hashtable 以获更好性能。

成本、吞吐与模型服务的新动向

用图片替代文本，能省下LLM的Token吗？：将文本转图像可省约40%提示词 token，但会拉高生成 token 与延迟；除非用 gpt-5-chat，整体成本/效率并不占优，适用面有限。
Cerebras Code现已支持GLM 4.6，速度高达每秒1000个Token：上线基于 GLM 4.6 的高速代码生成，吞吐>1000 tok/s，提供免费/Pro/Max 套餐，面向不同强度的编码需求。

苹果公证机制与 DMA 之争升温，自由软件社区组织共创

苹果“公证”机制：开发者与用户的软件自由被封锁：指控苹果以强制审核、公证与高门槛阻挠第三方商店与自由软件，呼吁欧盟强力执法与去中心化审核，保障用户自由安装与验证权。
FSF40 黑客马拉松：11月21–23日全球线上活动，欢迎各水平贡献者参与 GNU Boot、Guix、Org Mode 等项目，设奖项与证书，免费注册。

从副业实战到客户定位，聚焦“简单、聚焦、可持续”

副业淘宝店经营 1 周年，我获取了哪些经验？：一年销售约18万、净利约2万，依赖低价货源与回购，未做大促/付费投放；评分偏低、增长乏力，但收获技能与协作经验，未来寻求被动化。
如何快速锁定你的理想客户：先只选一个买家角色，用产品匹配度、市场规模、分销渠道三维评分，在最多三个候选中筛选并验证，再围绕其构建价值叙事与内容。

从自制开发板到老 Mac 改造，动手即学习

在 Quadra 650 上跑 68060 处理器：通过 ROM 修改，让装有 68060 的 Quadra 650/800/Centris 650 启动原版 System 7.1；仍属实验性质，功能有限，附构建说明。
开发板原理揭秘：自己动手打造专属板卡：以 RP2040 为例覆盖从原理图、PCB、布线到生产文件全流程，讲清电源去耦、USB‑C、晶振、闪存与 GPIO 设计，并给出 KiCad 与手工焊接要点。

头部 IP 调整内容策略，内购与玩法边界继续摸索

政府停摆削弱网络防御，漏洞与积压风险并存

数字钥匙加速但习惯难改，健身硬件安全与信任受检验