2024-06-28
39 篇热帖
2. Remembering Larry Finger, who made Linux wireless work (arstechnica.com)
纪念拉里·芬格:让Linux无线网络成为现实的人
拉里·芬格(Larry Finger)是一位物理学家,但他在Linux社区最为人知的遗产是通过内核提交为无线网络支持做出的广泛贡献。他为人低调,在互联网上的足迹主要由数百个Linux内核代码提交、一个关于晶体结构绘图开源软件DRAWxtl的个人页面、偶尔在Quora回答问题,以及一个显示在2024年仍有超过100次项目贡献的GitHub个人资料组成。
职业生涯与背景
芬格的技术生涯始于1963年,当时是一名Fortran程序员。他随后涉足科学计算领域,包括1970年代为PDP-11系统设计科学仪器接口,以及1980年代初期在VAX-11/780系统上的工作。之后他的工作转向Unix和Linux系统,并于1999年从华盛顿特区的卡内基科学研究所退休。他在结晶学领域的成就显著,一种极其稀有的矿物“Fingerite”即以他的名字命名。
退休生活与解决社区网络难题
退休后,芬格成为了一名全职的房车(RV)居民。1999年,他和妻子丹尼斯定居于亚利桑那州梅萨的一个55岁以上人士房车社区。当时,社区电脑俱乐部使用一台运行WinGate的Windows 98 PC管理着共享DSL连接。当新业主希望将网络扩展到22个工作站时,高昂的Windows许可证费用成了障碍。
芬格“对在关键任务角色中使用Windows 98深感怀疑”,于是他着手构建了一个DIY的Linux解决方案。在随后的系列文章中,他详细描述了如何逐步升级该网络的路由和服务器能力。最终,他建立了一个支持38个用户站点、具备个人Samba共享、会员数据库、VPN隧道、多个可用RJ-45端口以及园区全覆盖免费Wi-Fi的系统。
对Linux无线网络的核心贡献
除了在社区网络工程上的实践,芬格最深远的贡献在于Linux无线网络驱动程序的开发。他是b43无线驱动程序的主要开发者和维护者,该驱动用于支持博通(Broadcom)的无线芯片组。在长达十多年的时间里,他通过成百上千次内核提交,修复漏洞、添加新功能、支持新硬件,极大地推动了Linux无线网络的可用性和普及。
芬格的贡献持续了很长时间,直到他八十多岁高龄。例如,在2024年,他的GitHub活动显示他仍然积极参与开发工作。他的持续努力使得许多笔记本电脑和无线设备能在Linux系统上无缝工作,为桌面和移动Linux的广泛采用铺平了道路。
结语
拉里·芬格从大型机时代一路走来,其职业生涯横跨了计算机发展的关键阶段。退休后,他不仅运用技术解决了现实社区问题,更将毕生积累的技能与热情倾注于开源社区,特别是Linux无线网络领域。他的工作默默地解决了无数用户在使用Linux时面临的硬件兼容性问题,其技术遗产将持续影响Linux生态系统。
3. Software galaxies (anvaka.github.io)
Code Galaxies Visualization 是一个可视化工具,专门用于探索软件包管理器(如npm、go、ruby gems、composer等)的大型图表。它允许用户直观地查看和分析这些包管理器的复杂依赖关系网络,提供了交互式的探索体验。该工具通过图形化展示软件包之间的关联,帮助开发者更好地理解和管理软件生态系统中的依赖结构。可视化示例可以通过提供的图像链接(http://raw.githubusercontent.com/wiki/anvaka/pm/images/nuget_fly_first.png)进行参考。
4. Ask HN: What is the best code base you ever worked on?
5. A modern 8 bit design, built using 1950s thermionic valves (www.valve.computer)
域名交易平台介绍
本文主要介绍了免费域名查询平台 ExpiredDomains.com 以及域名注册商 GoDaddy 的相关信息和服务特点。
ExpiredDomains.com 平台概述
- 核心功能:一个免费的在线平台,帮助用户查找有价值的已过期或即将过期的域名。它聚合了来自众多顶级域名(TLD)的数据,并提供可搜索、可筛选的列表。
- 数据服务:平台每天更新域名数据,包括新过期的域名、拍卖更新以及来自第三方工具和专有系统的指标,如 MOZ、Majestic 的权威度评分、估算拍卖价格、品牌排名和 SEO 价格。
- 筛选工具:用户可按 TLD、关键词、域名长度、外链概况、SEO 分数、流量预估等进行过滤筛选。
- 使用成本:完全免费,无需注册或支付任何费用,即可浏览列表、查看指标和应用筛选器。
- 域名注册:该平台本身不提供域名注册服务,而是将用户引导至受信任的外部注册商和市场(如 GoDaddy)完成购买或竞价。
GoDaddy 服务介绍
- 市场地位:作为全球最大的域名注册商,拥有超过 2000 万客户,管理着超过 8400 万个域名。截至 2023 年,它是按市场份额计算的第五大网络托管商。
- 主要服务:
- 域名注册:提供广泛的域名选择和扩展名。
- 网站托管:提供可靠的网络托管服务,保证 99.9% 的正常运行时间和全天候客户支持。
- 建站工具:提供直观的网站构建器,具有可定制模板和集成营销工具。
- 平台优势:界面用户友好,提供全面的解决方案,适合寻求一体化服务的企业。
用户反馈与平台价值
- 用户评价:平台获得了用户好评,主要赞赏其免费、数据全面、搜索过滤功能强大,特别适合寻找具有 SEO 权威、现有流量或强大品牌潜力的域名。
- 平台价值:
- 提供超过 100 万个域名,涵盖 677 个以上 TLD,每日更新。
- 提供独家数据指标,以凸显域名的真实价值。
- 受到全球 SEO 专家、营销人员和投资者的专业信任。
6. 200 people charged in $2.7B health care fraud crackdown (apnews.com)
美国医疗欺诈案概述
核心事件: 美国司法部宣布在全国范围打击医疗欺诈行动中,起诉了近200名涉案人员,虚假索赔总额超过27亿美元。行动旨在威慑潜在犯罪者。
涉案人员: 被起诉者包括76名医生、执业护士及其他持照医疗专业人员。
关键案例:亚利桑那州伤口护理欺诈(索赔9亿美元)
- 涉案主体: 两家伤口护理公司的所有者亚历山德拉·格尔克和杰弗里·金。
- 核心指控: 涉嫌接受超过3.3亿美元的回扣,并欺诈性地向Medicare(美国老年医保)提交羊膜伤口移植物(一种敷料)的虚假索赔。
- 作案手法: 向临终关怀等不需要该治疗的老年患者(少于500人)施压使用该移植物,甚至有患者在使用后当日或数日内死亡。
- 涉案金额与资产: 在不到两年内提交超过9亿美元虚假索赔。两人生活奢靡,涉案资产包括豪华汽车、近600万美元的住宅、价值超过52万美元的金条、金币和珠宝。格尔克的个人及公司银行账户被冻结超过5200万美元。
- 逮捕情况: 两人本月在菲尼克斯机场试图飞往伦敦时被捕。当局发现他们携带有教人如何消失和刑法手册类书籍,怀疑其企图潜逃。
其他欺诈案例:
- 针对美洲原住民的计划: 设立虚假的戒毒所,承诺提供戒瘾治疗,随后就从未实际提供的服务向政府提交欺诈性索赔。
- 佛罗里达州HIV药物欺诈: 涉嫌分销错误标签的HIV药物。药物从黑市购得后转售给不知情的药房,最终提供给患者。有患者在服用标签与实际不符的药物后昏迷24小时。
执法成果与行动: 在此次历时约两周的全国行动中,当局查获了超过2.3亿美元的现金、豪华汽车及其他资产。司法部定期开展此类大规模打击行动,以遏制医疗欺诈。
7. A buried ancient Egyptian port reveals connections between distant civilizations (www.smithsonianmag.com)
8. Supreme Court blocks controversial Purdue Pharma opioid settlement (www.washingtonpost.com)
Supreme Court阻止普渡制药破产和解计划
美国最高法院于2024年6月27日做出分裂裁决,阻止了一项备受争议的普渡制药(Purdue Pharma)破产和解计划。
该计划的核心条款包括:
- 提供数十亿美元资金,用于应对全美鸦片类药物危机。
- 作为交换条件,保护普渡制药的所有者萨克勒家族(Sackler family)免受未来的相关诉讼。
这项裁决推翻了此前拟议的和解方案。该计划此前已在去年12月于最高法院进行了口头辩论。
9. Is Clear Air Turbulence becoming more common? (www.flightradar24.com)
10. The loneliness of the low-ranking tennis player (www.theguardian.com)
11. Frame.work laptop now available in Denmark, Finland, and Sweden (community.frame.work)
12. New ways to catch gravitational waves (www.nature.com)
新方法捕捉引力波
2015年,一次持续仅五分之一秒的振动改变了物理学的历史,这是引力波的首次直接探测——即宇宙中以光速传播的时空几何扰动。如今,科学家们正致力于开发新的观测站、实验和技术,旨在探测当前设备无法触及的引力波频率。
引力波的频率范围极广,类似于电磁波谱。不同频率的引力波源自不同的天体物理过程。当前基于地面的激光干涉仪探测的是频率在几十到几千赫兹的引力波,主要来自恒星级黑洞或中子星的合并。然而,宇宙中还存在更低频率的信号,例如来自超大质量黑洞合并的引力波,其频率可能低于1赫兹,这类信号需要新的探测方法。
为探测这些新频段的引力波,一系列雄心勃勃的计划正在推进:
- 太空任务:计划中的空间引力波观测站,如LISA(激光干涉空间天线),将在太空中部署多个相距数百万公里的探测器,形成巨大的干涉仪。这将使其能够探测频率在0.1毫赫兹到1赫兹之间的引力波,捕捉超大质量黑洞的合并、双恒星系统的演化等事件。
- 下一代地面观测站:通过升级现有设备并建造全新的大型探测器,如爱因斯坦望远镜,地面观测站有望将探测灵敏度提高一个数量级,从而观测到更遥远宇宙中的黑洞合并,并以前所未有的精度研究引力波信号。
- 脉冲星计时阵列:这种技术利用银河系中作为精确“时钟”的毫秒脉冲星。引力波经过时会扭曲脉冲星发出的无线电信号的到达时间。通过监测数十颗脉冲星组成的阵列,科学家可以探测到频率在纳赫兹级别的引力波,这些信号可能来自宇宙早期超大质量黑洞对的合并。
- 量子传感器与新型技术:研究者还在探索利用量子效应来增强引力波探测的灵敏度,例如使用纠缠态的原子干涉仪。这些前沿技术有望开辟探测更高频率引力波的新窗口。
这些新方法和项目共同构成了一个跨越多个频段的全球引力波观测网络。其目标不仅是“听”到更多的引力波事件,更是要实现对单个事件的长期观测。例如,对于相互绕行并最终合并的黑洞,新仪器有望在其合并前数周甚至数年就开始追踪其发出的、频率逐渐升高的引力波信号,从而为理解天体物理和基础物理提供前所未有的数据。
总之,引力波天文学正从单一的首次探测,迈向多频段、高精度观测的新时代。各种创新技术的发展,旨在揭示宇宙中从恒星级到宇宙学尺度的引力波源,帮助我们更深入地探索黑洞、中子星以及宇宙的起源与演化。
13. CriticGPT: Finding GPT-4's mistakes with GPT-4 (openai.com)
CriticGPT:用GPT-4查找GPT-4的错误
模型概述
我们基于GPT-4训练了一个名为CriticGPT的模型,专门用于检测ChatGPT代码输出中的错误。实验表明,当人类借助CriticGPT来审查ChatGPT代码时,其表现比无辅助的人类审查员高出60%。
应用计划
我们正在将CriticGPT类模型集成到现有的基于人类反馈的强化学习(RLHF)标注流程中,为AI培训师提供明确的AI辅助工具。这将有助于评估那些因过于复杂而人类难以单独准确评分的高级AI系统输出。
技术背景与挑战
- RLHF流程:GPT-4系列模型通过RLHF进行对齐优化,其中核心环节是由AI培训师(人类)对比评估不同ChatGPT回答的质量。
- 当前困境:随着模型推理能力和行为不断进步,ChatGPT变得更准确,其错误也变得更隐蔽。这使得AI培训师越来越难发现错误,导致作为RLHF基础的对比评估任务变得日益困难。这是RLHF的一个根本性局限,并可能随着模型知识超越所有反馈提供者而加剧对齐难度。
CriticGPT的功能与效果
- 核心功能:CriticGPT被训练用于撰写批评意见,以突出ChatGPT回答中的不准确之处。
- 效果验证:
- CriticGPT的建议并非总是正确,但能帮助培训师发现比无AI辅助时多得多的问题。
- 人机协作优势:当人类使用CriticGPT时,AI增强了人类技能,产生的批评比人类单独工作时更全面,且比模型单独工作时产生的幻觉错误更少。
- 实验结果:在二次随机评估中,来自“人类+CriticGPT”团队的批评意见,在超过**60%**的情况下被评估者认为优于无辅助人类产生的意见。
14. Python grapples with Apple App Store rejections (lwn.net)
15. Entrust Certificate Distrust (security.googleblog.com)
Entrust 证书不信任
本文出自谷歌安全博客,该博客专注于提供关于互联网安全和安全的最新新闻与见解。文章标题为“Entrust Certificate Distrust”,表明内容可能涉及对Entrust证书的信任问题,但具体细节在提供的内容中未详述。
16. Klára Dán von Neumann (en.wikipedia.org)
17. FCC rule would make carriers unlock all phones after 60 days (techcrunch.com)
FCC提案要求运营商在手机激活后60天内解锁设备,旨在提升消费者选择运营商的自由度和透明度。
核心内容
- 提案目标:FCC主席Jessica Rosenworcel提出“明确、全国性的手机解锁规则”,消费者应能自由决定何时更换运营商,设备不应被绑定限制。
- 具体规则:运营商必须在手机激活60天后提供解锁服务。
- 当前背景:目前手机通常被锁定在购买运营商,直至合约结束或付清款项;解锁流程虽已简化,但消费者对解锁条件和方式仍存在困惑。
- 潜在影响:该规则可能与现行分期付款计划、合约优惠等市场模式产生冲突,且解锁后用户仍需履行付款义务。
- 后续步骤:FCC将于7月18日公布完整提案文件并征求公众意见,预计运营商将提出异议。
关键意义
提案旨在通过统一标准解决现有手机锁定的混乱状况,增强消费者权益,但具体实施细节需在公开征求意见后确定。
18. Infrastructure set-up & open-source scripts to train a 70B model from bare metal (imbue.com)
训练70B模型基础设施搭建与开源脚本总结
项目概述
团队在数月内,用小型研究工程师团队在自己的基础设施上从零开始训练了一个70B参数模型,该模型在推理任务上超越了零样本GPT-4o。本文分享了从裸机搭建到稳定运行所需基础设施的端到端指南,并发布了相关的开源脚本。
硬件集群规格
- GPU规模:集群包含 4,088块 H100 GPU,分布于 511台机器(每台8块GPU)。
- 网络架构:
- 训练网络:采用 完全非阻塞的三层InfiniBand 网络,理论上每对GPU可通过其专属的 ConnectX-7 卡以 400 Gbps 速率同时双向通信。
- 数据网络:使用单独的 以太网 传输数据集、检查点等数据。
- 管理网络:使用独立的 以太网 进行BIOS、电源等底层硬件接口的配置与管理。
基础设施搭建过程
1. 单机配置与操作系统部署
- 初始配置:通过 iDRAC(Dell的基板管理控制器)手动在一台服务器上安装 Ubuntu 22.04。
- 批量部署:利用 MAAS(Metal-as-a-Service)结合 PXE 网络启动和自动化的iDRAC工具,为其余机器自动安装操作系统。实践中因BMC集成可靠性问题,需预先收集所有机器的MAC地址。
2. 诊断与修复故障机器
约 10% 的机器在初次启动时失败,原因包括:
- 网线未连接或接错。
- iDRAC硬件问题。
- 电源单元故障。
- NVMe硬盘损坏。
- 内部线缆缺失或松动。
- 网卡或GPU未识别。 通过自动化检查,将问题机器交给Dell返修,并让健康机器先行投入使用。
3. 建立基础监控与存储
在所有服务器上部署:
- 容器环境:Docker。
- GPU驱动:数据中心GPU驱动。
- 监控组件:Prometheus Node Exporter 和 DCGM Exporter。
- 存储池:在所有非系统盘上配置 RAIDZ ZFS池,提供容错与透明压缩功能。 随后运行基础GPU诊断,以排除硬件故障。
4. 单节点GPU训练验证
在此阶段暴露大量问题,并通过以下方式解决:
- GPU故障:多数通过物理重新插拔GPU解决。
- PCIe总线宽度受限:通过更新PCIe交换机总线固件,并重新插拔PCIe线缆解决(约25%的主机需要此操作)。
- 其他杂项问题:如NVMe硬盘锁死、硬盘顺序混乱、温度读数错误、CPU动态频率缩放异常、GPUDirect RDMA应用失败等,主要通过Dell提供的固件升级解决。
5. InfiniBand网络配置与调优
- 安装UFM:统一网络管理平台。
- 修复布线:发现顶层网络设计错误导致形成8个不连通的网络,需重新布线。
- 解决温度警报:因机架内开关间空隙导致热风循环,需数据中心合作伙伴协助解决。
- 处理端口错误与波动:通过清洁、重新连接或禁用故障光模块解决。
- 压力测试:设计专用工作负载(非NCCL优化),同时向全Fabric所有端口推送数据,以暴力方式筛选出健壮的链路。
- 启用GPUDirect RDMA:需加载额外内核模块并禁用PCIe ACS。
6. 确保机器健康:开源的健康检查脚本
为快速判断机器是否可用于训练,团队开发并开源了多项健康检查脚本,主要检查项包括:
- GPU健康:数量、ECC状态、NVLink拓扑与错误。
- 存储空间:磁盘使用率是否超过95%。
- 容器健康:Docker及GPU容器是否正常运行。
- 系统日志:
dmesg中是否有硬件Xid/SXid错误。 - 硬件状态:iDRAC错误、ZFS磁盘池状态。
- 网络健康:InfiniBand错误率、NVLink错误、GDR是否启用。
- 固件版本:GPU VBIOS、H100基板固件、Mellanox OFED驱动及固件版本。
- PCIe链路:速度与宽度是否符合预期。
- 综合测试:包括NVLink带宽、InfiniBand带宽、多节点NCCL初始化、GPU时钟节流等长时间运行测试。
训练中常见问题与调试
启动崩溃
- 检查代码版本、配置、环境变量。
- 确保所有机器在线,聚合并检查日志。
- 常见错误:PyTorch FSDP参数顺序不一致、GPU/CPU内存溢出。
训练中崩溃
- 自动运行健康检查并重启,移除不健康主机。
- 硬件故障:如Xid/SXid错误、不可纠正的ECC错误。
- 数据问题:畸形数据可能导致OOM。
无堆栈信息的挂起(常伴随机组超时)
- NCCL操作超时:最难调试。通过修改NCCL库增加日志,以定位导致集体操作卡住的故障主机或GPU。
- 使用 Py-Spy、GDB 等工具调试进程,以区分是NCCL挂起、驱动锁死还是Python代码死锁。
训练速度下降(MFU降低)
原因多样,调试策略如下:
- 检查配置:确认模型、批大小、环境变量等设置正确。
- 分析MFU曲线形态:
- 起始即很低:通常为InfiniBand网络硬件问题(如交换机故障)。
- 起始较低且稳定:可能因GDR设置错误。
- 起始中等且稳定:可能因InfiniBand链路性能下降或CPU节流。
- 定期突然骤降:通常与检查点保存或评估有关。
- 随机短暂骤降:可能由主机上其他CPU密集型任务干扰。
- 逐渐下降:发现与自动垃圾回收相关,通过禁用自动GC并定期调度手动GC解决。
- 性能良好但高频波动:通常由网络上层中度劣化或波动的InfiniBand链路引起。
- 通用调试清单:确认代码/配置未变、主机健康、依赖服务正常、指标工具准确、并可通过简化代码复现。
基础设施工具开发
为保障训练持续运行并实现自动化,团队开发了多项工具:
- 故障机器处理:系统可自动重启崩溃的训练任务,并基于健康检查选择最健康的主机重新运行。
- 网络故障处理:脚本解析 UFM事件日志,自动禁用问题链路/端口,提交维修工单,并在维修后重新启用。
- 本地镜像文件系统:在集群内部构建分布式文件系统,缓存云存储数据,减少对S3的并发访问压力,并使用三副本和一致性哈希保障数据可用性。
- 本地分布式Docker注册表:使用 Kraken 实现Docker镜像的点对点分发。
- 性能监控工具:集成Torch Profiler和NVIDIA Nsight Systems。开发了批处理时间监控工具,当某个批次异常缓慢时,转储所有工作进程的堆栈跟踪。
- 故障主机定位:开发工具可轻松将机器组划分为子集,并在子集上运行小型任务,通过交叉对比快速定位问题主机。
经验总结
- 灵活性:为训练任务预留10-20%的冗余机器,并确保网络连接允许任意健康子集运行。
- 自动化与记录:为每一种硬件/软件故障编写测试和自动化解决方案,并为不明确的错误开发解释工具。
- 可重复性:严格遵守“一次只改变一个变量”的原则。
- 验证:对外部工具或人员的声称结果进行双重验证,尤其当后续步骤依赖这些结果时。
- 自主控制:深度参与基础设施细节对于理解系统、高效调试和快速迭代至关重要。
19. Maker of RStudio launches new R and Python IDE (www.infoworld.com)
Posit公司(前身为RStudio)正式发布其新一代数据科学IDE——Positron,目前以公开测试版面向macOS、Windows和Linux平台推出。该IDE基于微软的Visual Studio Code构建,旨在为R和Python用户提供更一体化的开箱即用体验。
核心特点与改进:
- 无需额外安装扩展:Positron内置了R和Python的支持,用户只需在本机安装对应的语言基础文件及Python的IPykernel包即可使用,无需像在VS Code中那样手动安装扩展。
- 熟悉的界面与增强功能:其界面保留了VS Code的经典布局(如代码编辑区、控制台、活动栏等),但进行了多项优化。例如,内置了强大的数据与变量探索器,支持对数据框进行排序、筛选和查看摘要统计,旨在辅助代码级数据分析。
- 多语言无缝切换:为同时使用R和Python的混合项目提供了流畅体验,在切换脚本时会自动弹出对应的控制台。
- 扩展生态:虽然无法访问官方VS Code市场,但用户可通过OpenVSX注册表安装扩展。Posit公司是OpenVSX的重要赞助方。
- 小而精的优化:诸如
cmd/ctrl + enter快捷键可逐行执行Python脚本并自动跳转,提升了调试和代码检查效率。
注意事项: Positron目前仍处于积极开发中的早期阶段,用户需留意其稳定性与功能完整性可能尚未达到生产环境要求。
20. Meta LLM Compiler: neural optimizer and disassembler (twitter.com)
Meta LLM Compiler:神经优化器与反汇编器
根据提供的信息,文章的标题为 《Meta LLM Compiler: neural optimizer and disassembler》,其核心内容应围绕Meta公司开发的名为 LLM Compiler 的工具展开。该工具的主要功能定位为 神经优化器 和 反汇编器。
然而,所提供的文章内容存在技术问题,无法加载,因此无法获取关于该工具的具体技术细节、应用场景、性能指标或开发背景等实质信息。
尽管内容缺失,但可从标题推断其潜在主题:
- 神经优化器:可能指利用大型语言模型(LLM)对代码或计算图进行智能优化,以提高性能或效率。
- 反汇编器:可能指利用LLM将低级机器代码或二进制代码转换为更易读、更高级的表示形式(如汇编代码或伪代码),用于逆向工程或代码分析。
综上所述,由于原文内容不可用,无法提供更详尽的总结。若需了解该工具的详细信息,请确保网络连接正常,或尝试从其他可靠来源获取相关资料。
21. Apple II graphics: More than you wanted to know (nicole.express)
22. Aeon: OpenSUSE for Lazy Developers (lwn.net)
23. The greatest social media site is Craigslist (slate.com)
24. That Editor (github.com)
编辑器概述
That Editor 是一个专为 DOS 环境设计的编程编辑器,但作者强烈不推荐使用,建议改用 Joe 编辑器。它主要用于视频制作中的演示目的,而非实际编程。
存在原因
作者在 2010 年左右开始制作编程视频时,因硬件性能不足无法实时录制桌面,转而使用 DOSBox(内置视频录制功能)。由于 Joe 编辑器无法编译为 DOS,且 Borland C++ 3.1 IDE 无法适配宽屏显示,作者从零编写了此编辑器。
技术实现
- 文本存储:编辑器缓冲区以行向量表示,每个行元素编码字符和颜色属性(支持 VGA 8 位或 xterm-256color 扩展属性)。
- 语法高亮:基于 Joe 的 JSF 文件实现状态机,实时扫描并应用高亮。
- 元素类型:
- 16 位版本:使用 8 位属性字节(含闪烁、背景色、前景色、字符码)。
- 32 位版本:支持扩展属性(256 色、闪烁、反色、粗体、斜体等),通过修改 DOSBox 实现兼容。
- 颜色系统:遵循 ANSI 256 色标准,包括 8 基本色、高亮色、RGB 立方和灰度渐变。
- 字体处理:依赖主机 VGA BIOS 字体或算法生成的字体(针对特定分辨率模式)。
- 其他功能:硬编码温度信息、CPU 速度测量(在 DOSBox 中动态调整)、Mario 动画(修改字体实现文本模式图形)。
编译与运行
- 16 位 DOS:需在 DOSBox 中使用 Borland C++ 4.52、Turbo Assembler 和 Turbo Link 编译。
- 32 位 DOS(DPMI):在 Linux 中使用 DJGPP 工具链编译,需 DPMI 驱动程序(如 HDPMI32)。
- Linux 版本:支持 64 位系统,需 SDL2 库,但存在键盘输入和窗口管理兼容性问题。
功能与警告
编辑器功能有限(如四个同时光标、撤销重做),主要满足视频演示需求。作者多次强调:此编辑器不适合日常使用,仅为演示设计;建议用户选择专业编辑器如 Joe。
25. The Rhisotope Project: Insertion of radioisotopes into live rhinoceros (www.wits.ac.za)
威茨大学(Wits University)的Rhisotope项目进入新测试阶段,已成功向20头活体犀牛的角中植入低剂量放射性同位素。该项目旨在利用核技术打击犀牛角偷猎与走私。
核心内容与进展:
- 新阶段实施:经过三年研究,项目于2024年6月24日开始,由James Larkin教授领导的团队与犀牛保护及兽医专家合作,对20头犀牛实施了手术。团队在犀牛角上钻孔,植入无毒的放射性同位素,随后对动物进行24小时监护,为期六个月,以评估该方法的可行性和安全性。
- 技术原理与目的:项目利用遍布全球机场、港口等边境口岸的逾1.1万个辐射探测门及训练有素的人员。植入犀牛角的放射性同位素可被这些现有设施检测到,从而使被走私的犀牛角“显形”。其核心目标是降低犀牛角在终端用户眼中的价值,并大幅提升边境走私活动的侦测能力,以此打击偷猎犯罪。犀牛角目前是黑市上价值最高的虚假商品,其非法贸易是全球有组织犯罪的主要资金来源之一。
- 项目意义与扩展:该项目是一个跨学科研究创新的典范,展示了核技术在保护濒危物种方面的应用潜力。其长远规划是将此技术扩展至大象、穿山甲及其他动植物。除了技术研发,项目还注重社区教育与赋能,特别关注提升偏远地区农村女性在保护工作中的角色。
- 背景与愿景:Rhisotope项目于2021年1月在南非创立,现致力于成为利用核技术保护全球受威胁物种的领导者。自2008年以来,南非已有近1万头犀牛因偷猎死亡,野生动物走私已成为全球第三大有组织犯罪活动。
26. Identity Verification Used by X, TikTok, and Uber Exposed Driver's Licenses (gizmodo.com)
27. Astronauts take shelter in Starliner, other spacecraft after satellite breakup (www.space.com)
摘要:
2024年6月26日晚,国际空间站(ISS)上9名宇航员因一颗卫星在近地轨道解体产生碎片,采取预防措施,短暂转移至各自的对接返回飞船(包括波音“星际客机”、SpaceX“龙”飞船和俄罗斯“联盟”飞船)内躲避。整个过程约一小时,之后空间站恢复正常运行。
- 事件原因:卫星监测公司LeoLabs与美国太空司令部指出,解体的是已停止工作的俄罗斯“资源-P1”(Resurs-P1)地球观测卫星,产生了超过100块可追踪碎片。该卫星于2013年发射,2021年退役。
- 风险应对:美国宇航局(NASA)与军方合作监测空间站周围环境。当可追踪碎片(约5厘米大小)进入以空间站为中心的“披萨盒”状保护区(约4 x 50 x 50公里)时,空间站通常会采取规避机动。若存在需要撤离的风险,宇航员将按程序进入返回飞船内躲避。
- 背景与关切:此次事件凸显了日益严重的空间碎片问题。目前北美防空司令部追踪的轨道物体超过45300个。空间碎片对国际空间站和航天器构成持续威胁。
- 波音“星际客机”任务进展:此次事件同时牵涉到正在空间站执行首次载人试飞任务的波音“星际客机”飞船。该飞船原定执行10天任务,但已因推进器故障和氦气泄漏问题滞留超过三周。联合发射联盟(ULA)首席执行官表示,飞船氦气储量充足,除一台推进器将在脱离时关闭外,其余27台反应控制系统推进器仍可工作,故障已基本排除。飞船的返回日期尚未确定,预计将不早于7月2日(原计划太空行走日),但太空行走本身也因冷却剂泄漏问题而推迟。NASA和波音表示将在确保安全且工作完成后,再将宇航员送回地球。
28. Two million checkboxes (written in Elixir) (twomillioncheckboxes.com)
29. Computational Life: How self-replicating programs emerge from simple interaction (arxiv.org)
计算生命:自我复制程序如何从简单交互中涌现
生命起源与人工生命领域共同探讨生命是什么,以及它如何从一组独特的“前生命”动力学中浮现。大多数生命涌现的基质中,一个共同特征是当自我复制出现时,动力学会发生显著转变。虽然关于自然界中自我复制体如何产生存在一些假设,但我们对自我复制体涌现的一般动力学、计算原理和必要条件知之甚少。在“计算基质”中尤其如此,其交互涉及逻辑、数学或编程规则。
本文通过研究几种基于不同简单编程语言和机器指令集的计算基质,为理解自我复制体的涌现机制迈出一步。研究表明,当随机的、非自我复制的程序被置于缺乏任何显式适应度景观的环境中时,自我复制体倾向于自发出现。这源于随机交互和自我修改过程,并且无论是否存在背景随机突变都可能发生。研究还发现,在自我复制体出现后,持续演化出日益复杂的动力学行为。最后,文章展示了一个反例:在一个极简编程语言中,尽管自我复制体在理论上是可能的,但迄今为止并未观察到其自发涌现。
30. Supreme Court overrules Chevron deference [pdf] (www.supremecourt.gov)
最高法院推翻雪佛龙尊重原则
美国最高法院在案例“Loper Bright Enterprises v. Raimondo”(案号22-451,日期2024年6月28日)中推翻了雪佛龙尊重原则(Chevron deference)。雪佛龙尊重原则是一项法律原则,要求法院在解释模糊的行政法规时尊重相关行政机构的专业解释。
案例详情
- 案例标识:标题为“Loper Bright Enterprises v. Raimondo”,案号22-451,裁决日期为2024年6月28日。
- 文档元数据:PDF文件创建于2024年6月27日,格式版本为PDF 1.6,由Acrobat Distiller 23.0(Windows)生成。文档包含线性化结构,但未显示AcroForm、XFA、集合或签名。
文档内容结构
- Syllabus(摘要):第1页包含Syllabus,说明该摘要是为读者方便准备的,不构成法院意见的一部分,参考案例为“United States v. Detroit Timber & Lumber Co.”。
- 页面分布:从第2页到第114页,页面标题仅列出编号,未提供实际文本内容。这表明提供的PDF内容可能不完整或为占位符。
裁决意义
- 核心变化:推翻雪佛龙尊重原则意味着法院在解释行政法规时将不再自动尊重行政机构的解释,可能增强司法独立性和法律解释的权威性。
- 影响范围:该裁决可能重塑行政法领域,影响未来对模糊法规的司法审查方式。
由于提供的文档内容主要限于元数据和目录,未包含判决的具体法律论证或细节,因此摘要基于标题和可用信息进行概括。
31. Misconceptions about loops in C (dl.acm.org)
32. Parkinson's Link to Gut Bacteria Suggests Unexpected, Simple Treatment (www.sciencealert.com)
研究背景与关联
帕金森病是一种影响全球近1000万人的神经退行性疾病,其早期症状常表现为便秘和睡眠问题,可能在运动障碍和痴呆等典型症状出现前20年就已存在。既往研究提示,肠道微生物群的变化可能与帕金森病的发病相关,但具体机制尚不明确。
关键发现
- 肠道微生物与维生素缺乏:研究人员分析了日本94名帕金森病患者和73名健康对照者的粪便样本,并对比了中国、德国、美国等地的数据。结果显示,不同国家的患者肠道菌群虽然具体种类不同,但均影响了核黄素(维生素B2)和生物素(维生素B7)的合成途径。
- 下游影响:B族维生素的缺乏导致短链脂肪酸(SCFAs)和多胺减少,这两种物质对维持肠道黏膜健康层至关重要。肠道保护层变薄会增加肠道通透性,使神经系统更易暴露于环境毒素(如农药、清洁剂)。
- 病理机制:毒素可能促使α-突触核蛋白过度产生,该蛋白在大脑黑质多巴胺能细胞中积累,引发神经炎症,最终导致运动障碍和认知衰退。
潜在治疗启示
- B族维生素补充:研究提出,针对因肠道菌群失调导致B族维生素缺乏的帕金森病亚群患者,补充核黄素和/或生物素可能有益。早期研究也表明,高剂量核黄素结合饮食调整(如减少红肉摄入)可能改善部分患者的运动功能。
- 个性化干预:通过肠道微生物群分析或粪便代谢物检测,识别特定缺乏的患者,并针对性口服B族维生素补充剂,可能成为有效的治疗策略。
- 环境与生活方式:减少毒素暴露和维持肠道微生物健康同样可能具有保护作用。
研究局限与展望
帕金森病病因复杂,并非所有患者均由相同机制引发。未来需进一步验证B族维生素补充的临床效果,并探索基于个体微生物特征的精准干预方法。该研究发表于《npj帕金森病》。
33. TeamViewer Security Breach (www.teamviewer.com)
摘要 2024年6月下旬,TeamViewer 遭遇了一次网络攻击。公司迅速检测、调查并修复了此次事件。根据与微软顶尖网络安全专家共同进行的详细调查,已确认该事件仅限于其内部企业IT环境。其独立的产品环境、连接平台以及任何客户数据均未受到影响。公司的产品在任何时候均可安全使用。事件发生后,TeamViewer 进一步增强了安全态势和流程,增加了额外的保护层。
事件概述
- 2024年6月26日:首次检测到事件。
- 2024年6月27日:发布首次声明。
- 2024年7月4日:发布最终声明,并完成主要的事件响应和调查阶段。
沟通时间线 (原文此部分未提供具体内容,故此处无摘要。)
解决方案与缓解措施 公司已将员工认证程序强化至最高级别,并实施了进一步的强效保护层。此外,已开始重建内部企业IT环境,旨在使其恢复到完全可信的状态。
34. Everything I Knew About Stretching Was Wrong (tylertringas.com)
关于拉伸和移动性的一切我都知道错了
个人经历概述
过去一年,作者的身体移动性和灵活性从极度糟糕(持续疼痛影响生活质量)改善到相当良好。37岁时,由于疫情期间专注力量训练(增加了20磅肌肉),但完全忽略了灵活性和移动性,加上高压生活,导致身体僵硬、活动范围严重受限,并出现神经疼痛(如手指麻木)。尝试了按摩、Theragun、物理治疗、瑜伽和预锻炼拉伸,但三个月内无效。
转折点与核心学习
通过Twitter和YouTube发现新方法,特别是与Sam Martin(Move Better Project)的虚拟咨询,诊断出胸廓出口综合征。以下是改变作者移动性方法的关键原则:
1. 长时拉伸
- 要点:每次拉伸需保持至少2分钟,有时5分钟以上,才能有效增加灵活性。短暂拉伸(如瑜伽热身)仅能维持现状,无法改善。
- 应用:作者每天花费30-45分钟进行移动性训练,直到情况改善后缩短时间。
2. “Smash”技术,而非摩擦
- 要点:用工具(如长曲棍球)在肌肉僵硬点施加压力,保持2分钟或直到肌肉释放,而不是移动摩擦。可结合肢体移动以增强效果。
- 原因:摩擦仅增加血流,无法分解筋膜粘连或释放慢性僵硬肌肉。
3. 训练神经系统
- 要点:灵活性不仅涉及肌肉物理拉伸,更需训练神经系统放松。专注于呼吸和 mindfulness,逐个肌肉放松,而非咬牙硬撑。
- 效果:这对下肢髋部和腘绳肌灵活性尤为关键。
4. 持续紧绷也源于力量不平衡
- 要点:僵硬肌肉可能由周围肌肉过度发达导致拉力不平衡。需结合拉伸、按摩和力量训练纠正。
- 方法:短期力量训练可能加剧紧绷,但长期结合按摩、拉伸和强化可恢复平衡。
实用工具推荐
作者试用多种工具后,列出以下有效且廉价的物品:
- 长曲棍球:主要施压工具。
- Psoas工具:用于深层肌肉(如肩部、背部)的“核选项”释放。
- 阻力带:用于力量训练纠正不平衡和肩部拉伸(建议带门锚套装)。
- 瑜伽块:支持灵活性受限的体位(如劈叉)。
- 大型瑜伽垫:提供更多活动空间。
推荐学习资源
- YouTube频道:
- Sam Martin(Move Better Project):短而具体的练习视频,提供虚拟咨询。
- Smashwerx:针对力量举重者的高强度方法,例如胸部释放视频。
- Strength Side:全面力量和健身频道,包括日常移动性例程。
- Instagram:@kruseelite 和 @twstraining。
- 特定视频:如psoas工具释放肩胛骨紧绷的视频。
总结
通过长时拉伸、针对性施压、神经系统训练和力量平衡纠正,作者显著改善了移动性和疼痛。关键在于方法论的改变,而非仅依赖传统按摩或短期干预。
35. Understanding React Compiler (tonyalicea.dev)
React 编译器解析
核心问题
React 的核心架构会重复调用组件函数,这简化了开发模型但可能引发性能问题。当函数包含昂贵操作时,应用会变慢。开发者需要手动进行性能优化(例如指定何时重新运行函数),这一过程繁琐且易出错。
React 编译器的作用
React 编译器是一个自动化工具,它通过重写代码来实现性能优化,替代了开发者手动进行的优化工作。它会将开发者编写的代码转换为功能等价但包含缓存逻辑的新代码,从而减少不必要的重复计算。
基础概念
编译器、转译器与优化器
- 转译器:将代码转换为功能等价的另一种语言或同一语言的不同版本。例如,将 JSX 转换为嵌套函数调用。
- 编译器与优化器:均属于广义的编译器范畴,分析代码并生成功能等价的新代码。
- 共同点:它们将代码文本转换为数据结构(如抽象语法树 AST),分析并处理后生成新代码。
React 核心架构与缓存
- 架构:React 维护两棵 Fiber 树(current 和 work-in-progress),通过协调(reconciliation)确定 DOM 更新。
- 缓存(Memoization):缓存纯函数的结果,相同输入时直接返回缓存输出,避免重复计算。React 的钩子(如
useMemo)允许在 Fiber 节点上存储缓存数据。 - 钩子存储:状态和缓存通过链表结构存储在 Fiber 节点上,这解释了“钩子规则”(不能在循环或条件语句中调用钩子)。
React 编译器工作原理
- 分析代码:将代码解析为 AST,识别需要优化的部分。
- 生成缓存逻辑:
- 创建一个缓存数组(通过类似
_c(6)的调用),用于存储函数结果、中间值等。 - 插入条件判断,检查输入是否变化。若未变化,直接返回缓存值;若变化,重新计算并更新缓存。
- 创建一个缓存数组(通过类似
- 精细缓存:
- 不仅缓存函数结果,还缓存组件返回的 JSX 对象、映射函数等。
- 例如,缓存
pItems.map((item) => <li>{item}</li>)中的箭头函数,避免重复创建。
- 代码转换:编译后的代码仍包含 JSX,随后由转译器(如 Babel)进一步转换为实际运行的 JavaScript 代码。
影响与权衡
- 性能提升:自动缓存减少了重复计算,优化了 React 应用的响应速度。
- 内存交换:用设备内存存储缓存,可能增加内存使用,对数据密集型应用需留意。
- 调试复杂性:抽象层增加可能使调试更困难,但深入理解编译器原理有助于定位问题。
使用建议
React 编译器旨在自动化性能优化,减少手动缓存管理的负担。它目前仍处于实验阶段,未来可能成为标准工具。开发者应理解其内部工作原理,以便更好地利用和调试。
36. Quaternion Differentiation (2012) (fgiesen.wordpress.com)
37. Show HN: Conway's Game of Life, but as a div full of Braille characters (px.neocities.org)
38. Einstein and his peers were resistant to black holes (www.bbc.com)
39. The Death of NYC Congestion Pricing (www.apricitas.io)
纽约拥堵定价政策取消及其反映的美国基建困境
政策背景与意义
纽约市及周边郊区构成全球最大的城市经济集群,曼哈顿地区拥有惊人的经济产出与人口密度。与美国大多数城市不同,纽约拥有极高的公共交通使用率,因此其交通政策具有全国性示范意义。拥堵定价政策原计划对进入曼哈顿下城的车辆收费,旨在减少拥堵、改善空气,并为公共交通项目筹集资金。
该政策在全球范围内并非新事物——伦敦、斯德哥尔摩等城市实施类似政策已有数十年,且通常在实施后获得公众支持。从经济角度看,这能纠正道路使用的低效定价,鼓励更高效的出行方式。对纽约而言,疫情后公交乘客量下降而大桥与隧道收费收入恢复,使拥堵定价成为必要的财政工具,同时能将部分成本转移给游客和郊区居民。
政策取消的原因
尽管具备经济与环境效益,该政策在即将实施前被州长宣布“无限期暂停”。主要阻力来自:
- 成本与通胀担忧:政策在选民眼中首先被理解为一项增税,尤其对郊区司机(如新泽西州居民)而言,他们需付费进入曼哈顿,但收益(公交投资)主要归属纽约。
- 对MTA效率的质疑:批评者认为大都会运输署(MTA)已拥有充足预算,但因成本过高而效率低下。纽约的基建项目以全球最昂贵著称,工期漫长,削弱了公众对新增收入能带来实质改善的信心。
- 收益感知薄弱:高昂成本迫使MTA仅承诺有限的系统扩张(如轻轨而非地铁),未能提供足以改变出行的愿景,使得政策带来的公交投资收益显得微不足道。
取消的即时后果
政策突遭取消带来严重后果:
- 财政损失:前期投入的数亿美元研究、法律诉讼和建设费用付诸东流。
- 项目搁置:MTA资本计划面临重组,第二大道地铁二期、Metro-North宾州站接入等重大项目可能被推迟或取消。
- 成本上升风险:不确定性增加承包商风险溢价,削弱MTA信用评级,进一步推高未来融资成本。
- 机构能力受损:政策反复打击公务人员士气,加剧人才流失,使规划更依赖外部顾问,不利于长期成本控制。
反映的美国基建深层问题
纽约的遭遇折射出全美基础设施建设的系统性困境:
- 成本过高:美国,尤其是纽约的公交基建成本远超国际水平。繁琐的审批、多重否决权、政治妥协等因素不断推高开支。
- 网络效应不足:许多公交线路因规划不当(如位于低密度区域)而利用率低下。成功案例(如洛杉矶公交扩张、华盛顿地铁运营改革)表明,结合用地开发与网络优化至关重要。
- 投资不足与优先级错位:美国对公交基建的实际投入长期停滞,且存在重公路轻公交的倾向。然而公路建设同样面临成本飙升问题,表明核心在于成本控制能力,而非否定公交投资本身。
未来展望
尽管政策受挫,但替代方案有限,法律挑战仍存,拥堵定价未必永久终结。若纽约彻底放弃该政策,其作为美国唯一重度依赖公交的城市地位可能进一步削弱。全国范围内,美国城市亟需借鉴国内外成功经验,在控制成本的同时扩大交通网络,以支持经济与人口增长。