2024-05-04

15 篇热帖

1. As private equity dominates wheelchair market, users wait months for repairs (www.statnews.com)

该文章探讨了私募资本进入轮椅市场后对用户维修服务产生的负面影响。通过用户马琳·阿米劳特的案例,文章揭示了电动轮椅用户面临的维修困境:她于2020年通过Numotion公司购买了电动轮椅,初期维修响应迅速,但随后三年持续面临多个维修问题,且维修时间大幅延长。

文章指出,私募股权公司通过收购轮椅经销商等企业,逐步主导了市场供应链。这种资本运作可能导致企业更关注财务收益而非服务质量,进而影响用户的维修体验。用户往往需要等待数月才能获得关键维修,严重影响了独立生活能力和日常活动。

此外,文章提到该现象引发了对残疾人士权益保障的担忧。在资本主导的市场环境下,如何平衡商业利益与用户基本需求成为值得思考的问题。整个行业可能面临服务标准和监管方面的挑战。

2. Show HN: I built a free in-browser Llama 3 chatbot powered by WebGPU (github.com)

这是一个基于WebGPU技术的完全浏览器端、注重隐私的开源大语言模型聊天机器人。该项目无需安装或服务器,所有对话数据都保存在用户本地,支持离线使用,界面设计类似于ChatGPT。

主要特点:

  • 完全隐私: 所有对话数据均在用户本地处理,不会传输至外部服务器。
  • 浏览器内运行: 无需安装或部署后端服务器,直接在浏览器中即可使用。
  • 支持离线: 模型下载后可在无网络连接的情况下运行。
  • 易于使用: 提供了类似ChatGPT的直观聊天界面。

技术支持与依赖:

  • 核心引擎: 项目依赖webllm推理引擎。
  • 系统要求: 需要支持WebGPU的现代浏览器。目前,Google Chrome和Microsoft Edge原生支持;Firefox可通过手动启用dom.webgpu.enabled标志使用;macOS Safari有实验性支持。此外,不同模型对内存(RAM)有具体要求。

支持的模型: 项目当前支持多种开源模型,包括:

  • Llama-3-8B-Instruct(约4.3GB)
  • Mistral-7B-Instruct(约4GB)
  • TinyLlama-1.1B-Chat(约600MB)
  • Phi1.5(约1.2GB) (模型大小以量化后的版本为例)

尝试与构建:

  • 用户可通过提供的链接直接尝试在线演示。
  • 开发者可以下载仓库,使用yarnyarn build-and-preview命令进行本地编译和预览。

其他信息:

  • 项目作者正在积极寻求贡献者,以改进界面、支持更多模型、优化初始加载速度和修复错误。
  • 作者的其他相关项目包括screenshot to codePico - AI-powered app builder
3. Show HN: BandMatch – "Tinder" but for finding musicians to create bands/collab (bandmatch.app)
4. I don't want to fill out your contact form (adamjones.me)

文章批评了网站使用联系表单而非直接提供邮箱地址的做法,并列举了联系表单的诸多问题。作者指出,联系表单经常完全失效或部分功能故障,导致用户无法提交信息,例如B&Q和AWS的表单就曾出现此类问题。此外,许多表单对部分用户不可用,例如AXA的表单拒绝有效的邮箱地址,Vodafone的表单在特定时段无法访问。

联系表单通常存在用户体验问题:加载缓慢(如英国慈善委员会的表单),要求填写不必要的个人信息(如家庭住址、电话),增加数据泄露和身份欺诈风险;电子邮件则更实用,用户可草拟、计划发送并保留记录,而表单往往缺乏提交确认。表单还浪费资源,因后台仍需转换为邮件处理,且可能导致用户忘记原始问题。

作者反驳了使用联系表单的常见理由:收集结构化数据可通过自动回复或邮件链接实现;降低联系门槛的假设未经证实;垃圾邮件问题因现代过滤器已不显著;团队管理可通过共享邮箱或客服软件实现;安全性方面电子邮件通常已加密;无障碍访问也非必须使用表单。若有意设置难以填写的表单(如Meta的数据保护流程),则应受监管关注。

总之,联系表单难以完善且常降低体验,作者建议移除表单并直接在网站提供邮箱地址。

5. How hard can generating 1024-bit primes be? (glitchcomet.com)

本文记录了使用Rust语言从零开始(无外部依赖)实现1024位素数生成器的技术探索过程,旨在满足RSA算法的密钥生成需求。项目核心涵盖随机数生成、素性测试和大数运算(BigInt)三个模块,并经历了深度的算法与性能优化。

1. 随机数生成

通过读取Linux系统的 /dev/urandom 伪设备文件,获取基于ChaCha20流密码的加密安全伪随机数(CSPRNG),确保生成素数的随机性与安全性。

2. 素性测试算法演进

  • 试除法(16位与64位):初期采用试除法,通过引入 $6k \pm 1$ 步长优化和预计算小素数列表进行初步筛选,将64位素数生成时间从30秒降至6秒,但无法扩展至更大位数。
  • Miller-Rabin 概率测试(128位及以上):为解决大数测试的效率瓶颈,放弃复杂的确定性算法,采用Miller-Rabin测试。该算法通过模幂运算和多次随机基底测试,将误判率降至极低(如 $8^{-10}$),兼顾了速度与准确性。

3. 大数运算(BigInt)的实现与优化

为突破原生数据类型的位数限制,手动实现了BigInt库,其底层数据结构经历了以下演进:

  • 二进制位数组:使用布尔数组存储,虽逻辑简单但因内存占用和缓存未命中问题,生成1024位素数需耗时约30分钟。
  • 字节与u64分块数组:将存储结构改为字节数组(Base-256),进而优化为 u64 分块数组(Base-$2^{64}$),大幅减少内存占用与计算开销,耗时降至60-90秒。

4. 关键性能优化

u64 分块架构基础上,进行了以下深度优化:

  • 算术运算:参考《应用密码学手册》实现高基数长除法,大幅提升除法速度;优化乘法循环以跳过零块;利用Rust的 overflowing_add 优化加减法。
  • Miller-Rabin 优化:使用位运算(如右移代替除以2、位掩码判断奇偶)替代昂贵的大数除法与取模;内联模幂运算以减少函数调用开销。
  • 测试逻辑与并发:在概率测试前,使用预计算的前5000个小素数进行快速试除预筛;候选数每次递增2以保持奇数;利用16个CPU线程并行执行测试,取最快返回的结果。

最终成果

通过架构设计与极致优化,1024位素数的平均生成时间从最初的数十分钟大幅缩减至约40毫秒,成功在合理时间内完成了无外部依赖的大素数生成挑战。

6. In Praise of Idleness (1932) (harpers.org)

罗素在《赞美闲散》(1932)中批判了将工作视为美德的传统观念,认为过度工作有害,并主张通过减少工作时间来增进社会福祉。

对工作伦理的批判 罗素指出,工作美德的信条源于前工业时代统治阶级对劳动者的剥削,旨在让穷人安于贫困、为富人创造剩余价值。这种“奴隶道德”在现代社会已不适用。技术发展已能以极少量劳动满足所有人的基本需求,但社会仍强迫许多人过度工作或失业,造成普遍不幸。

储蓄与投资的危害 作者反驳了“富人不工作会抢走穷人工作”的常见论点,认为消费同样创造就业。真正的弊病在于储蓄:若将钱借给政府,可能资助战争;若投资失败的企业,则浪费社会资源。相比之下,消费(即使用于享乐)更能直接促进社会福祉。

现代技术的可能性 罗素强调,现代技术已使缩短工时成为可能。一战期间,尽管大量劳动力转入军事生产,工薪阶层的生活水平却未显著下降,证明社会有能力在减少劳动的同时维持物质充裕。问题在于社会选择将技术进步用于制造失业或过度工作,而非普遍享有闲暇。

四小时工作制的构想 作者主张将每日工作时间缩减至四小时,使所有人皆能获得基本生活保障与舒适。剩余时间由个人自主支配,用于发展兴趣、参与文化活动或社会事务。这需要教育体系革新,培养人们善用闲暇的能力。

闲暇的社会价值 罗素认为,文明的进步长期依赖少数有闲阶级的贡献,但这种模式浪费且不公。若将闲暇权利普遍化,将激发更多人的创造力与同理心:艺术家可自由创作,学者能深入研究,普通人则可摆脱疲惫,更友善、更少疑忌地对待彼此。战争欲求也可能因全民需承担沉重劳动而减退。

结论 罗素呼吁摒弃将工作本身视为目的的迷信,承认闲暇的价值。通过合理组织生产、普及短工时,社会能迈向更幸福、更文明的状态。现代技术提供了消除贫困与过度劳动的条件,人们应明智地运用技术,追求真正的人类繁荣而非盲目服从工作的义务。

7. Show HN: Bloom – A shadcn like UI library for Elixir and Phoenix (bloom-ui.fly.dev)

Bloom:为Elixir与Phoenix打造的shadcn风格UI组件库

Bloom是一个针对Phoenix Core Components的富有主见、开源的扩展。它允许开发者在几秒钟内通过mix命令安装一系列预制组件,这些组件可自由编辑和定制。

核心功能与组件

  • 快速上手:通过简单的mix任务即可将组件代码添加到项目中。
    • mix.exs中添加依赖:{:bloom, "~> 0.0.7"}
    • 运行安装命令:mix bloom.install code_snippet
  • 预制组件
    • 头像组件:支持从DiceBear FM生成或使用自定义图片。
    • Bento网格组件:用于展示功能特性或创意布局的Phoenix组件。
    • 跑马灯与卡片组件:适用于展示社交证明、公司标识等场景。

开源与定制

该项目是完全开源的。如果缺少所需的组件,鼓励社区通过开源贡献来添加。

8. Vulture shortage threatens Zoroastrian burial rites (www.theguardian.com)

秃鹫短缺威胁拜火教葬礼仪式

传统葬礼仪式

拜火教(琐罗亚斯德教)社区长期使用称为“寂静之塔”(dakhma)的建筑处理死者。尸体置于塔顶,由秃鹫和其他食腐动物清除肉身,骨骼经日晒风干后收集于中央骨灰坑,通过石灰加速分解,最终过滤并排入海洋。这一仪式旨在避免污染土地、火和水等神圣元素,被视为虔诚的终极慈善行为。

秃鹫数量下降原因

近年来,秃鹫在印度、伊朗和巴基斯坦数量急剧下降,主要原因是牲畜中使用止痛药双氯芬酸。秃鹫食用含药牲畜尸体后中毒,导致肾衰竭和死亡。研究估计,印度及周边地区约97%的三种主要秃鹫物种已消失。

对社区的影响

  • 仪式执行困难:由于秃鹫短缺,寂静之塔无法正常运作,传统葬礼难以实施。
  • 文化威胁:拜火教徒如卡拉奇居民表示,传统生活方式和文化正在消亡,环境变化加剧了这一危机。
  • 替代方法:社区被迫采用火葬或埋葬等替代方式,一些成员提议圈养秃鹫以维持传统。

应对措施

  • 圈养繁殖:印度等地区探索秃鹫圈养繁殖,以补充野外种群。
  • 技术替代:使用太阳能集中器加速尸体分解,但受天气限制。
  • 政策行动:科学家建议禁止在牲畜中使用双氯芬酸,印度、巴基斯坦和尼泊尔已实施禁令。
  • 放归野外:圈养繁殖的秃鹫被释放到野外,以帮助恢复种群。
9. Turning AirPods into a fitness tracker (richarddas.com)

这是一个利用AirPods传感器计数俯卧撑的个人项目,旨在为英国癌症研究中心(Cancer Research UK)的“每天100个俯卧撑挑战”提供支持。开发者因在应用商店中找不到简单有趣的计数工具,决定自行开发。

核心理念与技术选型 项目利用 Core Motion 框架(特别是CMHeadphoneMotionManager)获取AirPods的运动数据(如俯仰角和Y轴加速度),并借助训练好的自定义GPT模型辅助理解和调用API,以解决开发中的技术问题。

应用架构 应用采用分离关注点的架构设计,主要包含三个部分:

  1. Motion Manager:负责管理AirPods的传感器数据流,启动/停止更新,并通过委托模式将俯仰角(pitch)和Y轴加速度(accelerationY)的变化传递给上层。
  2. Pushups Detector:核心逻辑组件。它管理检测会话,接收并分析来自Motion Manager的数据流。通过设定阈值(例如,加速度低于-0.7表示下潜,高于+0.4表示上推)来判断一次完整的俯卧撑动作并递增计数。同时,它利用俯仰角数据(低于特定阈值)判断用户是否处于正确的俯卧撑姿势(俯卧)。
  3. SwiftUI View:提供简洁的用户界面,包括开始/结束会话的按钮、实时显示的俯卧撑计数,以及当前姿势是否正确的提示。

实现与优化 开发者通过可视化传感器数据(使用Swift Charts)来识别动作模式,并经过多次实际测试,调整了检测阈值,以提高计数准确性。最终实现的应用体验流畅:用户只需戴上AirPods,点击开始,即可自动、实时地完成俯卧撑计数,手机无需在眼前。应用还增加了音频反馈功能,方便用户在不便查看屏幕时获得确认。

总结与意义 该项目展示了如何结合Core Motion、SwiftUI和AI技术,在24小时内构建出一个将日常物品(AirPods)转变为实用健身工具的创新应用,体现了技术应用于解决具体问题的可能性。文章最后呼吁读者为抗癌事业捐款。

10. How to build a $20B semiconductor fab (www.construction-physics.com)

半导体是信息技术革命的基石,其制造工艺的进步使电子计算成本不断降低,推动了从个人电脑到人工智能的各类技术发展。然而,制造半导体的晶圆厂成本却从20世纪60-70年代的数百万美元飙升至如今的100-200亿美元。这一矛盾源于摩尔定律:晶体管尺寸不断缩小和性能提升,使得制造条件要求极为苛刻。

现代芯片制造基于平面工艺,通过反复叠加材料层并进行图案化、掺杂和热处理来构建复杂的电路结构。关键步骤包括:

  • 层叠:通过沉积等方法添加极薄材料层。
  • 图案化:利用光刻技术,通过掩模将电路图案转移到硅片上,并通过蚀刻移除多余材料。
  • 掺杂:向硅中引入杂质以改变其电学特性,从而形成晶体管等元件。
  • 热处理:修复晶体结构并固化材料。

随着特征尺寸缩小至纳米级别,对精度的要求达到原子水平,任何微小污染或振动都可能导致芯片失效。因此,现代晶圆厂是一个高度受控的生态系统,其主要特点包括:

  1. 多层级结构:核心是洁净室,下方是放置支持设备的亚层,上方是空气循环区。
  2. 极端洁净环境:洁净室等级达到10级或100级(每立方英尺空气中≥0.5微米的颗粒数),空气每小时更换数百次。晶圆在密封容器中运输和处理,形成局部更高洁净等级的“微环境”。
  3. 精密支撑系统:为防止振动干扰,厂房远离震动源,地板采用加厚混凝土并配备主动减震装置。此外,还需严格控制电磁干扰、温湿度及电源稳定性。
  4. 庞大的辅助设施:包括化学品供应、废气处理、超纯水生产、气体分离厂以及巨大的能源消耗(可达100兆瓦)。

建造挑战与成本构成

  • 建设周期通常为2-4年,美国的建造时间和成本高于亚洲。
  • 成本中70-80%用于采购工艺设备,尤其是光刻机(占总成本约20%)。设备由少数专业公司(如ASML、应用材料)制造,单台售价可达数亿美元。
  • 更先进的制程节点需要更多掩模和工艺步骤,导致设备数量和总成本进一步增加。

行业结构变化: 由于建造和运营先进晶圆厂的高昂成本,仅少数公司(如台积电、三星、英特尔)能承担。行业转向无晶圆厂设计代工制造相结合的模式,设计公司专注于芯片设计,将生产委托给拥有大规模晶圆厂的代工厂,以实现经济规模。

总之,现代半导体晶圆厂是大规模生产原子级精密制造的极致结合,其天文数字般的成本反映了推动摩尔定律向前发展所必须支付的代价。

11. Microsoft ties executive pay to security after multiple failures and breaches (arstechnica.com)
12. The Matrix: A Bayesian learning model for LLMs (arxiv.org)

论文摘要:《矩阵:用于大型语言模型的贝叶斯学习模型》

本文提出了一种新颖的贝叶斯学习模型,用于解释大型语言模型(LLMs)的行为,重点关注其核心优化指标——下一个token预测。研究基于一个理想的生成文本模型,该模型表示为一个具有先验的多项式转移概率矩阵,并探讨LLMs如何近似这个矩阵。

主要贡献包括:

  • 连续性定理:建立了嵌入向量与多项式分布之间的联系,为模型表示提供了理论基础。
  • 贝叶斯学习原则:论证了LLMs的文本生成过程与贝叶斯学习原则一致,将模型训练视为从数据中推断概率分布的过程。
  • 上下文学习解释:基于该框架,解释了上下文学习能力如何在更大规模的模型中 emergent,即通过先验和观测数据动态调整预测。
  • 实证验证:利用instrumented Llama模型的可视化工具,展示了下一个token概率的分布,支持了理论模型的有效性。

研究结果提供了对LLMs功能的新见解,为其能力和局限性奠定了统计学基础。该框架对LLMs的设计、训练和应用具有潜在影响,可指导未来技术发展。论文于2024年提交,最新版本于2024年9月更新,文件大小为2800 KB。

13. I never stopped learning from Daniel Dennett (nautil.us)

作者Anil Seth回忆了他与已故哲学家丹尼尔·丹尼特的交往与思想影响。1991年,作者作为本科生被丹尼特的著作《意识的解释》深深吸引,该书为他研究意识问题指明了方向。尽管多年间通过书信和传闻了解丹尼特,但直到2016年在加拿大高等研究院的会议上才首次见面,丹尼特平易近人且充满智慧。

文中提及两个关键事例:作者2016年TED演讲后,丹尼特以“近乎完美但并非完全”的推文给予温和而精准的批评;2020年疫情期间,丹尼特虽婉拒为作者的新书撰写推荐语,却主动将书稿用作课程教材,并通过多次视频会议深入讨论,极大提升了书稿质量。

作者逐渐认同丹尼特关于进化对理解心智的核心作用、自由意志的观点(尽管两人在2021年就此有过辩论),以及大脑中不存在“内在观察者”或“剧场”的立场。丹尼特常被称作“幻觉主义”哲学家,但这并非否定意识存在,而是认为意识与大脑物理过程之间的关系并非神秘难解的“困难问题”。丹尼特更关注的是“困难问题”:当心理内容进入意识后,“接下来会发生什么?”。

文章指出,丹尼特以其思想遗产、将哲学与科学结合的努力,以及培养的众多学生,成为智识界的温柔巨人。他的离世使相关讨论从鲜活的思想交锋转变为历史解读。最后,作者假设丹尼特一生持唯物主义观点,并以其观点反思了死亡这一命题。

14. The Mirror Fusion Test Facility (2023) (www.beautifulpublicdata.com)

镜像聚变测试设施(MFTF-B)项目摘要

历史背景与项目命运

  • 1986年2月21日,美国劳伦斯利弗莫尔国家实验室为耗资近10亿美元、历时近十年建造的“镜像聚变测试设施-B”(MFTF-B)举行了落成典礼。
  • 然而,就在同一天,由于联邦预算压力,该项目被无限期搁置,这台庞大的机器从未启动运行。时任能源部长约翰·赫林顿在致信中解释,此举是为了控制赤字。

技术概况

  • MFTF-B采用“磁镜”聚变路线,其核心是重达约400吨的“阴阳”形状超导磁体系统,内部冷却至零下425华氏度,能产生比地球磁场强15万倍的磁场,用以约束温度高达5亿开尔文的等离子体。
  • 该磁体使用了30英里长的铜和铌钛导线,是当时世界上最大的超导磁体。

聚变研究竞争背景

  • 20世纪70年代的能源危机推动了美国对聚变能源的巨额投资。聚变反应模仿太阳的能量产生过程(将较轻的原子核结合成较重的核并释放能量),被视为潜在的清洁、安全、近乎无限的能源。
  • 当时存在两大主流研究方向:普林斯顿等离子体物理实验室主导的“托卡马克”(环形)路线,以及MFTF-B所代表的“磁镜”(线性)路线。选择大规模推进磁镜技术部分是为了给托卡马克研究提供竞争压力和替代路径。

项目废弃与后续

  • 里根政府因预算削减决定搁置该项目,令研究人员深感挫折。国会议员曾努力争取资金以挽救部分研究,但最终未果。
  • 该项目耗资约3.5亿美元(1986年美元价值,约合2023年的9.65亿美元)。设施在关停后逐步拆解,建筑于2005年左右被拆除。

近期突破与启示

  • 2022年12月,劳伦斯利弗莫尔国家实验室的“国家点火设施”(NIF)宣布首次实现了净能量增益的聚变反应(点火),即聚变释放的能量超过了激光输入的能量。
  • NIF采用的是第三种方法:使用192束高能激光轰击微小燃料靶丸。这一里程碑为聚变能源研究带来了新的希望,但实际应用仍需数十年。MFTF-B的失败与NIF的成功共同体现了聚变探索之路的复杂性与巨额投资风险。
15. Discord Applying Forced Arbitration - opt-out before it is too late! (bsky.app)