2024-09-15
36 篇热帖
2. How America's universities became debt factories (anandsanwal.me)
美国大学如何成为债务工厂
美国学生贷款系统存在根本性缺陷,核心在于贷款无法通过破产免除。这一制度设计催生了一个价值万亿美元的债务泡沫,并塑造了一个奖励失败、惩罚成功的扭曲体系。
系统性问题与数据佐证
- 2003年,美国学生贷款总额约为2500亿美元;如今已超过1.7万亿美元。
- 激励机制错位:大学获得资金无需考虑教育质量或学生就业结果;贷款机构(包括政府和私人)因贷款不可免除而几乎无风险地持续放贷。
- 结果堪忧:
- 仅有41%的大学生在四年内毕业,但大学无需为低毕业率承担后果。
- 2023届毕业生平均学贷为37,574美元,但40.5%的应届毕业生在首份工作中存在“就业不足”(即从事不需要大学学位的工作)。
- 自1980年至2020年,大学学费上涨了180%,而教育质量和就业准备能力并未同步提升。
制度漏洞与既得利益者
- 市场反馈机制失效:大学和贷款机构受到“不可免除”贷款的庇护,无需改进产品或评估贷款偿还能力。
- 纽约联邦储备银行数据显示,刑事司法、表演艺术和艺术史等专业的毕业生就业不足率超过60%。
- 该系统形成了一个稳固的利益联盟:
- 大学:获得有保障的资金。
- 贷款机构:获得有保障的回报。
- 政客:获得前两者的政治献金,维持现状。
- 他们共同缺乏改革动力。
危机的广泛影响
- 年轻毕业生背负沉重债务,难以创业、购房或投资未来,阻碍个人发展和整体经济活力。
- 债务危机已蔓延至老年群体。联邦政府可以从社会保障金中扣款来偿还违约的学生贷款(每月需至少保留750美元)。
- 2015年,有11.4万老年人的社会保障金因此被扣减。
- 60岁以上持有学贷的美国人在2005至2015年间翻了两番。
- 近40%的65岁及以上联邦学贷借款人处于违约状态。
危机起源与政策演变
- 1976年的《教育修正案》最初将学生贷款排除在破产免责之外(为期五年),以防学生毕业后立即破产逃债。
- 1998年,这一期限变为永久。2005年的《破产滥用预防和消费者保护法》将规则扩大至私人学生贷款,彻底将借款人变为贷款机构的“被俘获市场”。
提出的解决方案与实施障碍 文章指出解决方案明确但推行困难:
- 恢复贷款的破产免责权。
- 将贷款条款与学位价值挂钩。
- 对教育机构实施风险共担要求(如毕业生违约率过高,学校需承担财务后果)。
- 阻碍在于,实施这些改革会冲击现有利益格局:大学需彻底改革财务模式,贷款机构将面临真实风险,政客将失去重要捐款来源。因此,有能力改革的人恰恰是受益于现行体制的人。
结论 美国站在十字路口:要么继续制造永久的债务阶层并抑制经济增长,要么做出艰难抉择,建立可持续、公平的高等教育体系。延迟的每一天,都有更多学生签下可能终身无法逃脱的债务契约。
3. D&D is Anti-Medieval (www.blogofholding.com)
文章摘要:《D&D is Anti-Medieval》
本文旨在论证《龙与地下城》(D&D)——尤其是原始版本(OD&D)——并非如其官方描述的“奇幻中世纪战争游戏”,而是一种内在文化逻辑与美国个人主义、功绩社会更为契合的游戏,实质上反对中世纪封建制度。
核心论点:D&D缺乏中世纪封建要素
作者指出,尽管游戏规则书宣称设定基于中世纪欧洲,但游戏机制和文化细节中几乎不存在真正的封建制度核心要素:
- 非封建经济:财富主要形式是货币与珠宝,而非土地与牲畜;土地可免费获取,建造城堡只需支付建材费用,无需竞争或纳税。这更接近现代或文艺复兴时期的货币经济。
- 无骑士与贵族:游戏中不存在“骑士”一词。野外城堡的统治者(战士、法师、牧师)更像是功成名就的冒险者,而非世袭骑士阶层。他们数量稀少,类别多样,并未形成统治性的骑士秩序。
- 无封臣制度:获取追随者和军队的方式是雇佣,通过支付月费并结合魅力来维系忠诚,而非通过土地分封换取效忠的封臣制。
- 无君主制:没有证据表明存在王国或世袭君主。玩家可建立男爵领地,但无法晋升为公爵或国王。权力局限于城堡周边,且无须向任何上级领主宣誓效忠。
- 无失落帝国:地下城遗迹中宝藏的财富水平与当时社会相当,并未显示曾存在一个更富饶的古代帝国。世界似乎一直处于类似状态,而非某个封建王国的余晖。
- 缺乏欧洲文化细节:怪物种类(如强盗、狂战士、苦行僧、游牧民)来源多元,并非专属欧洲;武器盔甲也多为跨文化存在的前火药时代装备。玩家“男爵领地”的结构是一种普世的、非文化特定的权力形式。
D&D的真正内核:美国式幻想
作者认为,OD&D摒弃了封建模式,代之以一套基于现金经济、近乎无政府状态、无阶级社会的规则,其核心是:
- 等级制精英统治:权力(如控制领地、领导怪物)直接由经验值和等级决定,形成一种“等级统治”(levelocracy),而非血统贵族统治。这本质是反封建、反贵族的。
- 对财富积累的痴迷:游戏规则强烈暗示了一种重商主义或资本主义式的、为赚钱而赚钱的倾向。
- 美国历史与精神的投射:这种设定与19世纪美国的边疆精神(土地被视为可自由获取)、强盗大亨所代表的“靠能力与金钱实现上升”的理念,以及“白手起家”的美国梦高度吻合。作者推测,游戏设计师盖瑞·盖斯可能有意将美国经验融入其中(如早期设定以美国地图为蓝本)。
结论
D&D并非“奇幻中世纪”游戏。它创造了一个空无政府、崇尚个人奋斗、财富决定地位的刀剑与魔法世界,这实质上是美国梦在幻想世界的体现。虽然后续D&D作品常在表面上添加中世纪欧洲装饰,但其内核(功绩社会、雇佣关系、财富追求)与《魔戒》等经典欧洲奇幻(强调血统、命运、固有社会阶层)存在根本冲突。OD&D作为这一“美国奇幻”风格的原始、连贯范例,具有独特的意义。
4. Founder Mode, hackers, and being bored by tech (ianbetteridge.com)
5. Bitcoin puzzle #66 was solved: 6.6 BTC (~$400k) withdrawn (www.blockchain.com)
6. LLMs Will Always Hallucinate, and We Need to Live with This (arxiv.org)
大型语言模型(LLM)的幻觉并非偶然错误,而是系统固有的必然特征。研究基于计算理论和哥德尔第一不完备定理,论证了从训练数据编译、事实检索、意图分类到文本生成的每个阶段,都存在产生幻觉的非零概率。由于LLM的根本数学与逻辑结构所限,无法通过架构改进、数据集增强或事实核查机制彻底消除幻觉。文章将此内在属性称为“结构性幻觉”,从数学确定性角度挑战了认为幻觉可被完全缓解的主流观点。
7. Show HN: Bullshit Remover (www.bullshitremover.com)
“Bullshit Remover” 是一个在线工具,其核心功能是帮助用户清理和提炼文本内容。
- 核心口号:粘贴无用的文本,获得真实的核心内容。
- 工作方式:用户输入需要处理的文本(例如看似杂乱或冗余的示例文本),工具会进行处理。
- 输出目标:从输入的文本中去除无关或误导性信息,提炼并输出精简、清晰的真实内容。
8. Open Source security camera on Raspberry Pi (github.com)
Raspberry Pi WebRTC 开源安全摄像头
项目概述:Raspberry Pi WebRTC 是一个开源项目,将 Raspberry Pi 或 NVIDIA Jetson 设备转变为低延迟(约200ms)的 WebRTC 流媒体平台,适用于构建安全摄像头或实时流媒体应用。
核心功能:
- 支持原生 WebRTC,具备硬件或软件编码能力。
- 提供快照、录制和广播功能。
- 通过 WebRTC DataChannel 实现远程控制和 IoT 消息传递。
- 支持多种信令方式,包括 MQTT、WHEP 和 WebSocket。
系统要求:
- 设备:Raspberry Pi(Zero/3/4/5)或 NVIDIA Jetson(Nano/NX/Orin)。
- 摄像头:CSI 或 USB 摄像头,兼容 libcamera、libargus 或 V4L2 驱动。
快速开始指南:
- 刷写 Raspberry Pi OS Lite 到 SD 卡。
- 安装依赖包:
libmosquitto1、pulseaudio、libavformat61、libswscale8、libyaml-cpp0.8。 - 下载最新二进制文件并解压。
- 使用 MQTT 信令(如 HiveMQ、EMQX 或自托管代理)连接摄像头和客户端。
- 运行 pi-webrtc 命令,配置摄像头参数和 MQTT 设置(例如指定摄像头、分辨率、MQTT 服务器详情等)。
高级用法:
- 通过 SFU 向 1000+ 观众广播直播流。
- 使用 V4L2 驱动支持 USB 摄像头。
- 作为 Linux 服务运行,实现自动化管理。
- 支持录制、双向音频通信和双向 DataChannel 消息传递。
- 可流式传输 AI 或自定义源到虚拟摄像头。
- 集成 Home Assistant 使用 WebRTC 摄像头,支持 WHEP 和 Nginx 代理配置。
9. Lazarus Group laundered $200M from 25 crypto hacks to fiat (zachxbt.mirror.xyz)
10. Falsehoods programmers believe about TCP (lwn.net)
11. Show HN: Wordllama – Things you can do with the token embeddings of an LLM (github.com)
WordLlama 项目总结
项目简介
WordLlama 是一个快速、轻量级的自然语言处理(NLP)工具包,专为模糊去重、相似度计算、排序、聚类和语义文本分割等任务设计。它推理依赖极少且针对 CPU 优化,非常适合资源受限的部署环境。
工作原理
WordLlama 通过提取大型语言模型(如 LLaMA 2/3)的 token 嵌入代码本,训练出一个小型的无上下文模型(类似 GloVe 或 Word2Vec)。生成的模型体积小巧(默认 256 维模型仅 16MB),且性能优于传统词向量模型。
核心特性
- 极速推理:通过 token 查找和平均池化生成嵌入,仅依赖 NumPy 即可在 CPU 上高效运行。
- 套娃表示(Matryoshka):支持按需截断嵌入维度,灵活平衡模型大小与性能。
- 二进制嵌入:支持打包为小整数数组,利用汉明距离加速计算(推荐 512 或 1024 维)。
- 兼容 Model2Vec:支持加载 Model2Vec 静态嵌入模型(包含多语言模型)。
关键功能与 API
- 文本嵌入 (
embed):生成指定维度的文本向量。 - 标准库集成 (
key):返回可调用函数,直接用于 Python 的sorted/min/max进行相似度排序。 - 相似度与检索 (
similarity,topk,filter):计算余弦相似度,执行 Top-K 检索和阈值过滤。 - 排序与去重 (
rank,deduplicate):根据查询相似度排序文档,或基于阈值模糊去重。 - 聚类 (
cluster):使用 KMeans 算法对文档进行分组。 - 语义分割 (
split):将长文本按目标大小(默认 1536 字符)分割成语义连贯的块,同时保留句子和段落结构。 - 自定义推理 (
WordLlamaInference):支持传入自定义静态嵌入数组和分词器进行推理。
性能表现
在 MTEB 基准测试中,WordLlama 各维度模型在聚类、重排、分类和 STS 等指标上均显著优于 GloVe 300d 等传统模型。在 CPU 单核环境下处理 8000 篇文档速度极快,展现出卓越的运算效率。
训练与开发
- 嵌入提取:提供专用脚本从 Hugging Face 的
safetensors文件中提取 LLM 的 token 嵌入。 - 模型训练:支持通过配置文件自定义训练流程,训练完成后可按不同套娃维度保存模型权重。
- 开源与生态:项目基于 MIT 许可证开源,并提供了 Gradio 演示和 CPU RAG 等社区项目支持。
12. Fair: A Go library for serving resources fairly (github.com)
FAIR:一个用于公平分配资源的Go库
核心概述
FAIR 是一个 Go 语言库,旨在资源受限的环境中确保公平性。它帮助将有限的资源均匀地分配给多个客户端,防止资源过度分配和饥饿现象。
设计理念与核心算法
- 基于随机公平蓝队算法:其核心算法源于常用于网络拥塞控制的随机公平蓝队,并做了修改。
- 按需节流:FAIR 的哲学是仅在资源确实短缺时进行节流。这与令牌桶或漏桶等方法不同,后者即使在资源仍可用时也可能拒绝请求。
- 高效数据结构:状态存储在类似多层布隆过滤器的数据结构中,内存需求恒定,不随客户端数量增加而线性增长。通过哈希旋转机制定期重新哈希客户端,避免关联行为持续数分钟以上。
关键特性
- 框架与协议无关:易于集成到任何 HTTP 或 gRPC 服务中。
- 自动调优:开箱即用,配置极简,同时支持灵活的手动调优。
- 高度可扩展:能够处理海量客户端,内存占用恒定。
- 简单的模型:提供简单的资源与错误跟踪模型,可轻松适配多种节流场景。
效果评估
文章通过一个示例展示了 FAIR 的效果:在 20 个客户端竞争每秒再生 20 单位资源的场景下:
- 无节流时:两个“不公平”客户端抢占了不成比例的大量资源,导致正常工作负载“饥饿”。
- 使用 FAIR 时:正常工作负载几乎不受影响,不公平客户端被有效节流。从更长时间看,即使是不公平的工作负载也能获得其公平份额。
安装与使用
安装
go get github.com/satmihir/fair
快速开始
- 基本/自定义配置:通过构建器模式创建跟踪器,可快速使用默认配置或自定义参数(如哈希旋转频率)。
- 启用统计与调试:可配置收集每个“桶”的统计数据,用于调试公平性决策。
- 注册请求:为每个传入请求调用
RegisterRequest,传入客户端标识符,根据返回结果决定是否节流该请求。 - 报告结果:
- 对于表示资源短缺的失败,报告
OutcomeFailure。 - 对于成功获取资源,报告
OutcomeSuccess。 - 对于业务逻辑中非资源短缺的失败,则不报告。
- 对于表示资源短缺的失败,报告
调优与日志
- 简化调优:通过
GenerateTunedStructureConfig接口,只需传入预期并发客户端数、每层桶数和每个不良流程可容忍的坏请求数,即可生成优化配置,无需直接操作算法参数。 - 日志记录:提供可启用的日志功能,默认禁用,可通过
SetLogger方法使用内置的标准库日志器。
其他信息
- 开发:包含运行测试和静态分析的命令。
- 许可:FAIR 基于 MIT 许可证发布。
13. Why Scrum Is Stressing You Out (rethinkingsoftware.substack.com)
14. Ask HN: Former gifted children with hard lives, how did you turn out?
15. Learn Git Branching (learngitbranching.js.org)
16. The Waterfall Model was a straw man argument from the beginning (2015) (www.jjinux.com)
17. One in five genetics papers contains errors thanks to Microsoft Excel (2016) (www.science.org)
18. Google Has Officially Killed Cache Links (gizmodo.com)
19. OpenSCAD: The Programmer's Solid 3D CAD Modeller (openscad.org)
OpenSCAD 总结
OpenSCAD 是一款用于创建实体三维CAD模型的软件,它面向程序员和工程师,以其独特的基于脚本描述的建模方式而著称。
核心特点:
- 定义: 一款用于创建实体3D CAD对象的软件。
- 性质: 自由及开源软件。
- 平台: 支持 Linux/UNIX、Windows 和 Mac OS X 系统。
资源与获取:
- 可在官网下载适用于不同操作系统的版本。
- 拥有活跃的社区支持,用户可通过 IRC 频道
#openscad(libera.chat 网络)以及 Mastodon、Bluesky 等平台进行交流讨论。 - 设计文件可在 Printables、Thingiverse 和 Makerworld 等平台分享与查找。
学习与支持:
- 入门教程: 提供官方教程帮助新手快速上手。
- 组件库: 提供现成的构建模块库,便于复用和提高效率。
- 参考书籍: 整理了关于 OpenSCAD 的相关书籍列表。
- 速查表: 提供模块与函数的概览,方便查阅。
- 实验性功能: 提供了可在网页浏览器中直接使用的原型版本“OpenSCAD Playground”。
20. Fuck founder mode. Work in "Fuck off mode" (old.reddit.com)
21. Twelve sentenced for violent home invasion robberies to steal cryptocurrency (www.justice.gov)
22. Geometric Search Trees (g-trees.github.io)
几何搜索树(G-Trees)技术摘要
目的与背景
几何搜索树(G-trees)是一个随机且历史无关(history-independent)的搜索树家族。传统随机搜索树(如Treaps、Skip-lists和Zip-trees)多为二叉结构,虽理论高效,但在实际硬件中,受CPU缓存和块存储影响,每个节点存储多个元素的高元数(arity)树性能更优。然而,现有高元数随机树的概念复杂度远高于二叉版本。G-trees旨在提供统一框架,将二叉随机树自然推广至高元数结构,在提升缓存与外部内存效率的同时保持概念简单性。
核心思想与结构
G-trees的核心洞察源于Zip-trees的特性:具有相同几何分布秩(rank)的元素会形成有序链表。G-trees将此特性转化为定义属性,允许使用任意集合数据结构来组织同秩元素序列(即G-nodes)。
- Zip-trees:底层数据结构为有序链表时的特例。
- Zip-zip-trees:通过递归使用G-trees作为底层结构生成。
- $k$-zip-trees(新型结构):底层结构为每节点最多存储$k$个元素的块($k$-lists),结合参数为$1/k$的几何分布生成。该结构在概念上与二叉树同等简单,但显著优化了硬件缓存和块存储的I/O效率。
理论分析
G-trees在性能上高概率近似完美平衡搜索树:
- 树高:以G-nodes计算的树高在高概率下为$O(\log n)$。
- 节点大小:每个G-node的期望元素数量恒定(如$k$-zip-trees中为$O(k)$),偏离期望值的概率呈指数级下降。
- 树规模:G-nodes总数期望为$O(n/k)$,与元素总数呈线性关系。
关键算法与功能
G-trees提供统一的zip(合并)和unzip(分割)操作,适用于所有支持按任意键分割和合并集合的底层数据结构。
- 插入与删除:通过
unzip将树分割为目标键的左右子树,再利用zip2(合并双树)或zip3(合并双树及中间元素)进行重组。 - 时间复杂度:因G-node期望大小为常数,底层集合操作可视为$O(1)$,整体增删操作在高概率下仅需$O(\log n)$时间。
扩展变体
文章探讨了Leafy G-trees(叶子G树),将数据全存于叶节点,内部节点仅存路由键。分析揭示Skip-lists本质上是一种带有特定“缺失”边的Leafy Zip-tree。此外,通过链接叶子节点,可自然泛化出类似B+-tree的G+-trees及支持多元素的**$k$-Skip-lists**,大幅扩展了其在外部存储系统中的应用潜力。
23. The Bastard Operator from Hell (1999) (bofh.bjash.com)
《The Bastard Operator from Hell (BOFH)》是一个讽刺幽默的系列故事,主角是一个恶意且狡猾的系统管理员(BOFH)及其助手(PFY)。该系列通过夸张的情节描绘了IT支持部门的黑暗面,充满了办公室政治、权力斗争、技术恶作剧以及对官僚主义的嘲弄。网站内容展示了该系列的完整目录,包括不同年份和不同来源的多个故事集。
系列构成与来源:
- 原始系列:故事最初发表于《DATAMATION》杂志,包含从《Genesis》到《The Last Bastard Operator From Hell》等多篇故事,以及后续的特别篇。
- 新系列:后续故事由《NETWORK WEEK》杂志刊载,内容延续了BOFH的恶行,如对付新老板、处理预算问题、实施报复等。
- 年度合集:包括《The Bastard '97》和《The Bastard '98》,每年包含多个故事,涵盖审计、欺诈、团队建设、办公室冲突等主题。
主题与风格:
- 核心主题:故事围绕系统管理员滥用职权、戏弄用户、操纵同事和上司展开,揭示了IT支持环境中的权力游戏和黑色幽默。
- 常见情节:包括恶作剧(如破坏打印机、篡改系统)、职场阴谋(如陷害上司、逃避工作)、对技术问题的夸张处理,以及对管理层与技术人员之间矛盾的讽刺。
- 角色关系:BOFH与PFY构成搭档,共同应对各种挑战,如审计、预算压力、团队建设活动等;上司和用户常成为他们捉弄的对象。
警告与版权:
- 网站内容包含成人主题、暴力、脏话等元素,建议读者自行判断。
- 电子版权分别由《DATAMATION》和《NETWORK WEEK》杂志所有,其他权利归作者Simon Travaglia保留。
该系列通过荒诞的情节和尖刻的对话,讽刺了IT行业中的官僚作风、技术傲慢及职场人际关系,成为互联网文化中极具代表性的幽默作品。
24. Powerful, Open-Source, Programmatic CAD (www.implicitcad.org)
文章摘要
该文章介绍了 ImplicitCAD,一个开源、基于编程的 CAD 项目,旨在利用数学和计算机科学简化 3D 打印时代的设计工作。
核心特点与目的
- 解决问题: 解决传统 CAD 在应对复杂、参数化 3D 对象设计时的不足。例如,根据描述锁针高度的数字列表来设计钥匙,需要编程逻辑。
- 优势: 允许设计“对象的类”,并通过变量进行参数化。支持构建领域特定语言(DSL)、对设计对象进行单元测试,并利用版本控制系统(如 GitHub)进行协作。
- 理念: 将设计中重复、低效的“愚蠢工作”抽象并自动化,从而推动 3D 打印革命。
功能示例
文章提供了一段示例代码,用于创建一个由 5 个圆形联合而成的扭曲挤出体,并带有圆角效果。这直观展示了通过编写代码来定义和生成复杂 3D 形状的方式。
使用方式
项目旨在提供便捷的体验。用户无需复杂的安装过程,只需一键点击,即可在 Web 浏览器 中直接试用 ImplicitCAD,开始进行基于代码的 CAD 设计。
25. CSCI 181G PO: Game Engine Programming (cs.pomona.edu)
CSCI 181G PO: 游戏引擎编程 课程大纲
本课程每周围绕2-3个核心主题进行教学,并会根据当前开发的游戏项目需求来调整优先级。
课程结构与时间安排
课程持续整个学期,从1月中旬开始至4月底结束。主要阶段包括:
第一阶段:Rust语言基础(1月中下旬)
- 主题:Rust语言入门、版本控制与单元测试、栈与堆、借用机制、编写规范的Rust代码。
- 交付物:《Rust Book》读书报告(分两部分)、待办事项列表应用。
第二阶段:游戏开发核心实践(1月底至3月上旬)
- 主题:交互性、Rust模块系统、实体与空间、帧率控制、精灵与图形、从磁盘加载关卡、Unity引擎、连续空间、碰撞检测与响应、物理与运动、动画、音频音效、资源管线、Web平台移植、重构为游戏对象。
- 交付物:按周完成一系列不同类型的原型游戏,依次为:模拟游戏、文字Rogue-like、图形化Rogue-like、冒险游戏、平台游戏。
第三阶段:项目深化与技术拓展(3月中旬至4月)
- 主题:项目规划、团队组建、重构为实体组件系统、游戏进度与菜单、位图文本、游戏状态与模式、以及一系列技术讲座。
- 交付物:项目计划书、角色扮演游戏原型、游戏试玩报告。
第四阶段:项目收尾与展示(4月底)
- 活动:最终游戏项目提交与演示日。
主要特点
- 实践驱动:课程核心是通过完成一系列递进的原型游戏项目来学习游戏引擎编程。
- 技术栈多元:初期专注于Rust语言,随后会接触并集成Unity、Godot、Bevy等游戏引擎/框架。
- 主题系统化:涵盖从基础编程、模块系统、图形渲染、物理碰撞、音频资源到架构设计等游戏引擎的关键组成部分。
- 时间节奏紧凑:每周都有明确的学习主题和项目交付物,确保持续进度。
26. Show HN: I made a digital circuit drawing and simulation game (github.com)
文章标题: Show HN: 我制作了一个数字电路绘图和模拟游戏
游戏概述:
这是一个数字电路绘图和模拟游戏。游戏规则简单:小像素三角形代表NAND门,黑色像素是背景,其他所有元素都是电线。游戏旨在通过互动方式帮助玩家学习电路设计概念。
版本1.1的主要更新:
- 模拟引擎改进: 重做为基于Elmore延迟计算的可变延迟事件驱动模拟。考虑电线拓扑和扇出影响,创建距离/传播延迟映射,使模拟更接近真实电路行为(如扇出越高延迟越高,树状传播与线条传播不同),帮助玩家建立电路设计直觉。
- 可视化增强: 将距离映射到像素,玩家可观察电线传播时的发光效果,使用着色器实时渲染,直观理解电路工作原理。
- 交互性提升: 采用基于delta的设计,允许暂停、前后控制模拟,便于调试循环电路。
- 图层系统: 支持最多3层,电线可跨层连接,NAND门仅限底层,上层电线传播速度更高,增加设计灵活性。
- 战役系统: 引入低节奏战役模式,逐步提供问题解决挑战,让新用户学习电路概念,测试和改进解决方案,并追踪进度。
- 蓝图库存: 添加类似库存的UI,用于保存和重用电路蓝图,增加游戏的进阶维度和效率。
- 声音效果: 电路模拟时根据活动发出“哔哔声”,增强互动体验。
- 模拟延迟机制: 模拟不再是立即的,玩家可在沙盒模式中通过探索延迟机制构建自己的时钟,同步组件需高效设计,增加挑战和乐趣。
- 能量计算探索: 加入简化的能量计算公式/指标,用于探索电路能效与速度之间的关系(功能仍在开发中)。
- 物理文档: 提供了物理文档链接以获取更详细信息(工作中)。
构建说明:
- Windows: 使用CMake和Visual Studio进行构建。
- Linux/macOS: 通过git clone仓库(https://github.com/lets-all-be-stupid-forever/circuit-artist.git),然后使用CMake和make命令构建。
27. Declarative Programming with AI/LLMs (blog.codesolvent.com)
声明式编程与AI/LLMs的结合正重塑软件开发范式。声明式编程通过指定“做什么”而非“怎么做”来简化任务,依赖执行引擎自动完成实现,SQL是最典型的例子。AI/LLMs有望解决声明式系统长期面临的两大挑战:指令语言和工具集。
传统声明式系统受限于特定领域语言(DSL)的表达能力和工具集的丰富度。许多现有系统的工具只是将命令式功能(如列表迭代)暴露给声明式层,本质上仍是命令式编程的变体。AI的引入带来了根本性变化:自然语言本身成为DSL,无需定义刚性语法;同时,AI可通过代码生成(CodeGen)创造真正任务导向的工具,并利用AI输出驱动更多AI输出,形成自我强化的工具生态。
以Solvent-Botworx平台为例,用户用自然语言描述应用需求,AI将其转换为结构化配置(如JSON),再交由声明式引擎处理。这一流程与COBOL等传统商业语言的指令形式有相似之处,但更灵活且可审计。AI解耦了声明式系统与特定平台的绑定,未来构建此类系统的核心在于设计工具链,以处理AI生成的配置,并进一步生成可测试、审查的命令式逻辑。
可靠性和一致性是AI应用的关键挑战。作者指出,最可靠的AI方案应减少对AI原始输出的直接依赖,转而结合工具驱动自动化。AI在此架构中主要扮演“抽象智能”角色,负责解析指令和数据、生成结构化输出,而声明式引擎则充当“护栏”,通过严格逻辑验证和安全检查确保结果合理。这种AI作为声明式执行引擎一部分的模式,能为要求高可靠性的场景提供稳定性。
传统软件公司(如SAP)可能借此机遇降低系统复杂度:通过AI将复杂功能模块化为声明式工具,用户可用自然语言组合这些工具,从而减少对昂贵定制咨询的依赖。尽管模型训练仍是基础,但在可预见的未来,声明式处理仍是确保AI输出可靠一致的关键路径。当前AI模型虽智能但尚不稳定,将其“锚定”于声明式引擎是实现一致性的必要措施。
28. OpenTelemetry and vendor neutrality: how to build an observability strategy (grafana.com)
OpenTelemetry 与供应商中立性:构建可观测性策略
遥测架构的三个关键层
OpenTelemetry (OTel) 的核心优势在于供应商中立性。理解该概念需先明确遥测架构的三个关键层:
- 应用和基础设施:被观测的遥测数据源。
- 遥测收集器:负责收集、过滤、处理和转发信号。
- 遥测后端:包含数据存储与探索(如可视化仪表板),用于提取数据价值。
OTel 的供应商中立性愿景
OTel 旨在消除传统专有工具导致的供应商锁定,其核心策略包括:
- 松耦合:打破数据收集、存储与分析间的紧耦合。OTel 组件(SDK、API、OTLP、Collector)相互独立,支持灵活组合。
- 开放标准:摒弃专有代理,采用社区统一的语义约定和 OTLP 协议。开源的 OTel Collector 作为参考实现,确保数据格式标准化,避免单一厂商控制。
遥测后端的局限性
供应商中立性在遥测后端层存在天然局限。OTel 专注于数据的生成、收集、管理和导出,明确将存储和可视化排除在项目范围外。
- 后端依赖特定数据库的 Schema、查询语言以及自定义的仪表板和警报,目前业界对此缺乏统一标准。
- 团队在后端的定制化投入会产生沉没成本,增加迁移难度(类似选择特定编程语言后的重写成本)。因此,OTel 无法在后端层实现绝对的供应商中立。
最大化灵活性的实施策略
为充分利用 OTel 构建高灵活性的可观测性策略,建议采取以下实践:
- 从应用和链路追踪入手:使用 OTel SDK 和兼容收集器,解耦数据收集与后端存储,为未来架构演进保留选择权。
- 分层逐步采用:无需一次性全面接入。可先在协议层(OTLP)标准化,再逐步引入特定语言的 API/SDK。若使用非 OTel API,应优先选择符合 OTel 语义约定的工具。
- 确保插桩(Instrumentation)可重用:利用同一套插桩配置将数据发送至多个后端进行对比评估。得益于架构解耦,后续可独立更改收集方式或替换后端,无需重构整个系统。
29. Ask HN: Must-Read Books for Startups?
30. Fractran: Computer architecture based on the multiplication of fractions (wiki.xxiivv.com)
Fractran 计算机体系结构总结
核心概念
Fractran 是一种完全基于分数乘法的计算机体系结构。其程序主要由两部分构成:
- 累加器(Accumulator):一个单一整数,通过质因数分解来表示寄存器状态。每个质数(如2, 3, 5)代表一个独立的寄存器,其指数即为该寄存器的值。
- 分数指令(Fractions):代表操作指令。程序依次测试分数,若累加器乘以该分数能得到整数,则累加器更新为该乘积。分数的分子和分母分别对应寄存器的增加与消耗。
符号重写表示法
为提升可读性,Fractran 采用符号重写规则(如 :: 左侧 > 右侧)替代晦涩的纯分数。编译器自动将符号映射为质数,左侧符号构成分母(消耗),右侧构成分子(生成)。规则按顺序测试,匹配成功后更新累加器并从头重新搜索。
编程结构与功能
- 控制流与逻辑:通过规则间的循环重写实现循环结构;二元逻辑(与、或、非)和比较操作(大于、小于、等于)通过多条规则组合及消耗寄存器的循环来实现。
- 算术运算:加减乘除、翻倍、减半及奇偶校验等,均转化为在寄存器间移动、消耗或累加值的重写规则序列。
- 复杂应用:支持实现斐波那契数列、阶乘、栈机、井字棋及 Fizzbuzz 等,证明了其在状态管理、运算符优先级控制及交互输入输出方面的能力。
关键特性与优化
- 催化剂与不约分:不强制约分可保留“催化剂”(规则两侧共有的符号),使条件匹配更精确,简化并加速底层实现。
- 死代码消除:左侧条件被下方规则完全包含的不可达规则会被视为注释并忽略。
- 详尽规则(Exhaustive Rules):若规则右侧不包含上方任何规则的左侧符号,系统可连续执行该规则而无需重新搜索,显著提升计算效率。
- 可逆计算:Fractran 具备可逆性。在满足分子分母不重复且显式表达状态缺失的前提下,程序可通过反转分数(交换左右侧)反向运行恢复初始状态。
系统实现
Fractran 的解释器极其轻量,核心运行时仅需约 20 行代码,支持符号映射的完整运行时也仅需约 300 行代码。
31. Dissecting the gzip format (2011) (www.infinitepartitions.com)
Dissecting the gzip format 文章总结
本文深入剖析了GZIP文件格式及其核心压缩算法DEFLATE。文章从数据冗余的基本概念出发,逐步讲解了实现GZIP压缩与解压所需的关键技术,并辅以可读性优先的C语言代码示例。
核心压缩算法:DEFLATE
GZIP依赖于DEFLATE算法,该算法结合了三种技术:
- LZ77算法:通过在已处理的数据流中查找与当前序列重复的先前出现位置,用反向指针(距离,长度)替代重复数据,从而压缩冗余。
- Huffman编码:一种变长前缀编码方法。它根据符号出现频率分配不同长度的码字(高频符号用短码,低频符号用长码),确保无歧义解码并进一步压缩数据。Deflate格式对Huffman树的构造有特定规范,使其仅通过传输每个符号的码字长度就能重建。
- 游程编码:在描述Huffman码表时,用于高效表示连续的零长度(符号不出现)或重复的前一个长度。
GZIP解压流程
解压过程可概括为:
- 读取GZIP头:验证文件标识(魔数
1F8B)、压缩方法等元数据,可能包含原始文件名、注释等可选信息。 - 处理多个Deflate块:文件主体由一个或多个块组成。每个块以一位标记是否为最后一块,以及两位表示块类型:
- 00:未压缩块。
- 01:使用固定预设的Huffman码表压缩。
- 10:使用动态声明的Huffman码表压缩。
- 解码动态Huffman码表(对于类型10的块):
- 首先读取一个由19个3位字段构成的码表,它描述了用于编码后续“码表长度”的Huffman树。
- 使用该树解码出(可能经游程编码压缩的)“码表长度”序列,该序列定义了用于解码实际数据的字面/长度码表和距离码表的Huffman树结构。
- 解码压缩数据:使用上一步构建的Huffman树,循环读取符号:
- 如果是字面值(0-255),直接输出。
- 如果是长度码(>256),后续会跟有额外位和距离码,指示从输出缓冲区的先前位置复制指定长度的数据。
- 如果是结束码(256),则停止解码当前块。
关键技术细节
- 位序处理:GZIP中的位流以LSB(最低有效位)在前的方式打包到字节中,但解码时需按MSB在前的顺序解释。代码通过
bit_stream结构和read_bits_inv函数处理此转换。 - 码表长度编码:实际数据的Huffman码表长度本身是用另一个Huffman树编码的(递归结构)。为避免无限递归,这棵“码表的码表”的长度用固定的3位字段指定。
- 固定Huffman码表:为小数据块优化,避免存储动态码表的开销。距离值用固定的5位编码,长度则使用预设的Huffman树。
- 码表构建:
build_huffman_tree函数根据输入的“范围-码长”数组,遵循Deflate规范高效地构建出Huffman树结构。 - 数据解压:
inflate_huffman_codes函数是核心,它解析Huffman码流,处理字面值和复杂的反向指针(长度和距离可能包含额外位)。
代码结构概览
文章提供的代码实现了上述逻辑的关键部分:
bit_stream和next_bit、read_bits_inv:处理位流的读取和位序转换。build_huffman_tree:根据码长范围构建Huffman树。read_huffman_tree:解析Deflate块头,构建解码所需的两棵Huffman树。inflate_huffman_codes:执行实际的LZ77解压。inflate:主解压循环,处理块类型和多个块。main:解析GZIP文件头并启动解压。
文章最后指出,完整的GZIP文件需要CRC和未压缩数据长度的尾部校验以确保数据完整性,但这部分细节留待后续介绍。
32. To forget is an ethical act (emilygorcenski.com)
这篇文章探讨了数字时代记忆与遗忘的伦理意义。作者以清理自己长达十年的推特历史为引子,分享了删除数万条推文的经历、过程中的技术挑战与情感反思,以及对社交媒体生态的深刻批判。
核心观点
- 遗忘是伦理行为:苏珊·桑塔格指出,记忆承载伦理重量,但为了防止未来痛苦,有时刻意遗忘也是必要的。作者借此为清理数字足迹赋予伦理正当性。
- 社交媒体的毒性:推特被形容为“地狱网站”,因其鼓励攻击性行为、脱离语境的恶意解读、语言纯洁性斗争及“取消文化”。平台机制扭曲了互动,将仇恨转化为流量。
- 数字遗产的清理:作者编写脚本,手动审核并删除了约四分之三的旧推文。过程繁琐(受API限制、链接腐烂等),但旨在保留有历史价值的内容(如关于“团结右翼”集会的记录),删除无意义或有害的争论。
- 自我反省:作者承认自己曾参与网络论战、使用身份政治作为武器、沉迷于“灌水”式批评,并意识到这种行为无益于构建性对话。他选择离开推特,转变为“建设者”。
- 技术平台对比:作者尝试了Mastodon和Bluesky等替代平台,批评Mastodon体验糟糕,而赞赏Bluesky的开放API、自定义功能和更健康的社区氛围,并实践了“自动删除”策略以保持内容新鲜。
- 个人转变:清理过程促使作者反思人生阶段——从中年视角审视数字痕迹,规划未来。他引用丁尼生的诗歌《尤利西斯》表达继续探索的渴望,并转向阅读、健身等更充实的生活。
关键细节
- 清理规模:估计删除了约3万条推文,保留了约6000条。
- 技术手段:因推特搜索功能失效,作者开发脚本按周解析推文存档,批量处理并记录ID。
- 情绪影响:回顾旧推文带来尴尬、痛苦,但也成为自我成长的契机。
- 未来展望:作者计划继续使用Bluesky,并探索人生下一阶段的目标,寻求像同行(如Molly Conger、Molly White)那样的影响力。
这篇文章既是对个人数字生活的剖析,也是对社交媒体文化的批判,最终指向在数字时代如何伦理地管理记忆与身份。
33. AT&T's Hobbit Microprocessor (2023) (thechipletter.substack.com)
34. The Death of the Magazine (www.honest-broker.com)
杂志之死:一个商业模式的衰落与新闻业的未来
杂志业的结构性缺陷
与大多数企业不同,杂志业务几乎总是萎缩而非扩张。文章以1960年《财富》500强前五家公司(如通用汽车、埃克森美孚)为例,指出这些公司尽管历经问题,但收入长期增长并超越通货膨胀。而同期美国发行量最大的五本杂志(如《读者文摘》、《生活》)如今均已停刊或大幅萎缩。杂志业成为了一个对投资者而言的“死亡陷阱”。
国家地理的案例研究
《国家地理》曾是一个庞大的帝国,拥有1200万美国家庭订阅,并关联着科学探索、慈善资助和强大的衍生业务(地图、拼图、电视特别节目)。然而,它未能抵挡杂志业的整体崩溃。2019年运营控制权移交迪士尼后,其战略转向短形式视频(如TikTok、Instagram Reels)和快速消费的“内容”。2023年解雇了所有专职撰稿人,转为依赖自由撰稿人,并终止了美国报刊亭销售。其核心的长篇深度报道、科学和旅行内容被边缘化。文章认为,这标志着一个曾经致力于展示优质写作和严肃新闻的品牌的没落。
行业普遍困境与关键转折点
这种衰落并非《国家地理》独有:
- 其他杂志的境遇:《美国遗产》(2013年停刊)、《体育画报》(写作质量下降)、《时代》、《新闻周刊》等均大幅缩水或质量下滑。
- 核心问题:传统杂志已不再是严肃新闻的最佳平台。它们追逐短形式内容,对优质写作失去信心。然而,读者却渴望更长、更聪明的内容,导致他们绕过杂志,直接忠诚于作家本人(如通过Substack等平台)。
- 恶性循环:杂志订阅量下降 → 削减成本、压低作者稿酬 → 优秀作家离开创办个人平台 → 订阅量进一步下降。稿酬自1960年代以来远未跟上通货膨胀,这是行业衰退不可逆转的最大警示信号。
- 少数幸存者:《纽约客》、《大西洋月刊》、《哈珀斯》等因其长期坚持高质量写作而可能存活更久,但即便如《新共和》(被科技富豪收购后也经历动荡)也并非高枕无忧。
- 网络杂志同样惨淡:Vice Media、BuzzFeed的困境,以及Axios、Salon、Slate等网络媒体的影响力下降,表明数字形态也未找到成功出路。
结论:新闻业的未来
文章将此现象定性为“杂志之死”,但强调这不是新闻业的死亡。读者支出正从订阅杂志转向订阅个人作家。新闻业可能通过其他形式复兴。作者认为,电影制片厂和体育队是值得借鉴的榜样——它们明白观众的忠诚度附着于明星人才,而非仅仅商业品牌。未来的解决方案需要大胆创新,围绕吸引和培养优秀人才来构建,但传统出版商普遍缺乏这种思维。最终,许多杂志可能会被私募股权基金接管,以完成最后的清算。尽管哀其消逝,但从业者必须着手构建取代这些“过往恐龙”的坚实新平台。
35. Randomness extractors: making fair coins out of biased coins (bytepawn.com)
从有偏硬币到公平硬币:随机性提取器概述
核心问题
文章探讨了如何从可能有偏且相关的随机输入比特流中,生成均匀随机(公平)的输出比特流。目标是在输入比特流熵率 $0 < H_{input} < 1$ 的条件下,输出接近 1 比特熵率的流,代价是输出比特率降低。
基础概念与代码结构
文章定义了 Python 基类:
BitSource:产生比特流(以整数表示)。RandomnessExtractor:从BitSource获取比特,有时输出比特,有时返回None。 实现了BiasedBitSource作为有偏比特源示例。
提取方法演进
1. 平凡情况:公平源的直通
PassthroughExtractor:直接传递输入比特,适用于公平输入(偏差 0.5)。
2. 经典方法:冯·诺依曼提取器
- 适用条件:输入比特流独立同分布(i.i.d.),但偏差未知或已知。
- 原理:将输入比特两两分组:
01→ 输出110→ 输出000或11→ 丢弃
- 优点:即使偏差未知,也能生成无偏输出;理论上最优。
VonNeumannExtractor实现了该逻辑。
3. 应对变化偏置:奇偶校验提取器
- 问题:若比特偏置随时间变化,冯·诺依曼方法失效。
ParityExtractor:取输入比特的连续 N 个块,输出其奇偶校验位(模 2 和)。随 N 增大,输出偏差减小,接近公平。- 示例源:
VaryingBiasedBitSource生成偏置动态变化的比特。
4. 马尔可夫链输入:布鲁姆提取器
- 输入:比特由马尔可夫链产生,具有状态相关转移概率。
- 关键假设:提取器知晓马尔可夫链的内部状态。
BlumExtractor原理:- 对每个状态,记录上次离开该状态时产生的比特。
- 当再次离开该状态时,取当前比特与记录比特组成对。
- 应用冯·诺依曼规则(01→1,10→0)。
- 效果:将马尔可夫链输入归约为独立同分布情况处理。
一般性限制
- 若输入比特流结构完全未知(可能相关且偏差未知),则无法从中提取出任何完美均匀的比特。
总结
文章通过渐进式示例(从简单直通到针对 i.i.d.、变化偏置、马尔可夫依赖的提取器),说明了随机性提取的不同策略及其适用条件,并指出在信息不足时提取的极限。所有示例代码均已开源。后续将对生成比特流进行统计随机性测试。
36. Warewoolf: A minimalist novel-writing system/rich text editor (github.com)
Warewoolf:极简小说写作系统/富文本编辑器
目的与设计理念
Warewoolf 专为小说写作设计,追求极简主义。用户无法更改字体、行距或颜色,但提供了组织、编辑和修订小说所需的核心功能,支持完全键盘操作,无需鼠标。
界面结构
系统由三个文本面板组成,无图标或工具栏:
- 章节面板:管理小说章节。
- 编辑器面板:用于写作和编辑。
- 笔记面板:记录项目或章节笔记。
所有格式化通过快捷键完成,例如按 Alt 键可调出文件菜单,按 CTRL + H 显示快捷键帮助。
核心功能
- 全键盘导航:优化键盘操作,实现无鼠标写作体验。
- 无干扰写作:可切换面板显示,仅保留手稿可见。
- 文本导入与转换:
- 支持纯文本和 docx 文件导入。
- 可解析简化版 Markdown(MarkdownFic)或自定义标记,识别斜体、标题等。
- 自定义字符串标记章节分隔,或按标题自动分割章节。
- 章节管理:
- 轻松重排序章节并自动重新编号(如“第一章”、“第二章”)。
- 编译章节为单个手稿或导出为独立文件。
- 保持每章笔记和整体项目笔记。
- “参考”部分用于存放不计入编译或字数的文档(如角色列表、地点信息)。
- 实用工具:
- 一键通过电子邮件发送草稿。
- 内置文件管理器(用于重命名、删除、复制、移动文件)。
- 内置 Wi-Fi 管理器(仅限 Linux,适用于 writerDeck)。
- 内置电池监控器(仅限 Linux,适用于 writerDeck)。
- 写作辅助:
- 字数统计和目标设置:显示总字数、章节字数、会话字数,并提供进度条。
- 每章保存为单独的 .txt 文件,确保即使处理长篇小说也能保持性能。
- 大纲和软木板功能:软木板以 Markdown 文件保存,兼具大纲作用。
- 可调整编辑器宽度和文本显示大小。
- 拼写检查(需手动运行,无自动更正或语法建议)。
- 文件支持与导出:
- 支持 Word .docx 导入/导出。
- 自动保存和自动备份选项。
- 保存章节为 .txt 文件,使用轻量级 Markdown 风格格式化,确保长期可读性和兼容性。
- 导出格式包括:纯文本、MarkdownFic、标准 Markdown、docx、HTML 和 .epub。
安装与运行
- 二进制版本:在 releases 页面提供适用于 Windows、MacOS、Debian AMD64 和 Debian ARM64(如 Raspberry Pi)的安装程序。
- 从源代码运行:
- 需要安装 Node.js。
- 在源代码目录运行
npm install安装依赖。 - 使用
npm start运行程序。 - 要创建二进制文件,可运行
npm run make,根据系统自动生成相应版本。
文档与状态
- 更多详细信息请参阅 Wiki。
- 版本更新历史(摘要):
- v2.2.1(2025-10-09):修复错误,优化备份进度提示。
- v2.2.0(2025-10-07):新增 .epub 导出、参考功能、章节笔记等。
- v2.1.0(2025-09-28):引入软木板功能、标准 Markdown/HTML 导出、电池显示等。
- v2.0.0(2024-03-30):重大更新,切换至 .txt 文件保存,改进解析算法,支持 MacOS。
- 此前版本:逐步添加内置管理器、自动功能、格式支持等。
Warewoolf 通过简化设计专注于写作本质,同时提供强大工具支持小说创作全流程。