Mark as Read
Mark as Unread
Why 536 was 'the worst year to be alive' (2018)
Source
文章探讨了公元536年被称为“活着最糟糕的一年”的原因。研究表明,冰岛火山爆发导致欧洲陷入黑暗,气温骤降,引发饥荒和瘟疫。通过对瑞士冰川冰芯的分析,科学家们确认了536年、540年和547年多次火山爆发,并揭示了这些灾难对欧洲社会经济的长期影响。冰芯记录还显示,在经济复苏后,640年铅含量激增,标志着白银开采的复兴。
Mark as Read
Mark as Unread
Inventing the Adventure Game (1984)
Source
这篇文章是关于冒险游戏的发明,主要探讨了早期电子游戏的发展。它追溯了从基于文本的冒险游戏 _Colossal Cave_ 到动作冒险游戏 _Adventure_ (Atari 2600 平台) 的演变,并介绍了教育模拟游戏 _Rocky's Boots_。文章详细介绍了游戏设计中的关键元素,如玩家输入、对象、生物、迷宫以及构建机器等。此外,还讨论了游戏设计灵感、空间感和生物行为模拟等问题,并附有程序结构说明。
Mark as Read
Mark as Unread
New Tool: lsds – List All Linux Block Devices and Settings in One Place
Source
文章介绍了新工具 **lsds**,一个用 Python 编写的命令行工具,用于一站式查看 Linux 块设备及其配置信息。 **lsds** 直接从 sysfs 读取数据,避免了运行多个命令和关联输出的麻烦,例如 `lsblk`、`lsscsi` 等。文章展示了 **lsds** 的基本用法,包括查看设备信息、自定义显示列、以及使用 `--pivot` 和 `--verbose` 选项。此外,文章还探讨了不同类型 SSD 的写入缓存模式和 FUA 标志,以及该工具在不同环境下的输出示例。
Mark as Read
Mark as Unread
Odin, a Pragmatic C Alternative with a Go Flavour
Source
Odin 是一种务实的 C 语言替代品,强调简单、性能和可读性。它内置动态 maps 和数组,并提供丰富的开箱即用功能,旨在提升编程体验。Odin 语法简洁,借鉴了 Jai 的设计,并采用 Go 的错误处理方式。与 Jai 相比,Odin 更注重实用性而非元编程;与 Zig 相比,Odin 更注重简洁和用户体验。虽然文档和社区建设有待加强,但其务实的设计和对开发人员的关注,使其成为一个值得关注的 C 语言替代方案。
Mark as Read
Mark as Unread
In the Network of the Conclav: How we "guessed" the Pope using network science
Source
文章探讨了网络科学如何应用于分析教皇选举。研究者构建了“梵蒂冈网络”模型,通过分析枢机主教间的关系,包括官方合作、主教传承和非正式关系,评估其“突出地位”。模型关注地位、信息控制和联盟建设能力三个关键因素,并结合年龄因素,预测潜在的“准教皇”人选。研究结果揭示了梵蒂冈网络中的中心人物,并强调了该模型作为理解选举背景的工具,而非预言。
Mark as Read
Mark as Unread
Rollstack (YC W23) Is Hiring TypeScript Engineers (Remote US/CA)
Source
Rollstack (YC W23) 正在招聘远程 TypeScript 工程师,地点位于美国/加拿大。该公司致力于报表自动化,通过连接 BI 工具,自动生成和更新数据驱动的幻灯片和文档。技术栈包括 TypeScript、React、Node.js、Prisma、Temporal、OpenAI API 等。 工程师将参与构建新功能、优化数据同步、集成 BI 工具和内容平台。 薪资范围为 14 万至 20 万美元,并提供股权。 申请者需具备 2-6 年相关工作经验,2 年 TypeScript、Node.js 和 React 经验。 面试流程包括技术和匹配面试。
Mark as Read
Mark as Unread
The Anarchitecture Group
Source
文章介绍了 **The Anarchitecture Group**,一个成立于1970年代纽约的艺术家团体。该团体批判现代主义建筑的僵化,成员包括艺术家和建筑师。他们通过匿名合作、文字游戏和照片等方式,探讨城市、居住方式和财产等问题,揭示建筑在资本主义中的角色。成员之一 **Matta Clark** 的“建筑切割”作品,是对废弃建筑的改造,进一步深化了团体的理念,评论社会对物质财富的追求。
Mark as Read
Mark as Unread
Show HN: Oliphaunt – A native Mastodon client for macOS
Source
本文介绍了 macOS 原生 Mastodon 客户端 Oliphaunt 的 beta 测试,需要通过 TestFlight 应用参与。文章详细说明了 TestFlight 的使用方法,包括安装、测试 beta 应用、提供反馈、管理自动更新等。用户需先安装 TestFlight,然后通过邀请或公开链接加入测试,并可提交反馈。文章还强调了隐私保护,开发者仅能使用收集到的数据改进应用,且不能与第三方共享。
Mark as Read
Mark as Unread
Show HN: BlenderQ – A TUI for managing multiple Blender renders
Source
BlenderQ 是一款基于终端的用户界面 (TUI) 工具,用于管理本地 Blender 渲染任务。它允许用户将多个 `.blend` 文件添加到队列中,并在终端中监控渲染进度。该工具使用 Node.js (TypeScript) 构建,具有交互式界面、主题支持,并提供简单的导航和状态跟踪。目前处于 Beta 阶段,需要 Node.js (v20+) 和 Blender (v3.5+) 作为先决条件。用户可以通过 npm 或 pnpm 全局安装,并使用命令行添加 `.blend` 文件或指定目录。作者选择 Node.js 是因为其开发效率和 Ink 框架的优势,使其能快速构建功能完善的 TUI。
Mark as Read
Mark as Unread
Past, Present, and Future of Sorbet Type Syntax
Source
这篇文章回顾了 Sorbet 类型语法的设计演变,探讨了其在 Stripe 的起源和发展。文章分析了多种类型语法设计方案,包括 TypeScript、头文件、JSDoc 和 Python 的方法,最终选择了 DSL 方法。文章强调了类型是表达式的特性带来的约束,如语法冲突和前向引用问题,并讨论了通过块延迟评估等方式解决这些问题。最后,文章展望了未来 Sorbet 语法可能的变化,旨在提升用户体验。
Mark as Read
Mark as Unread
Show HN: A backend agnostic Ruby framework for building reactive desktop apps
Source
这是一个基于 Ruby 的框架,名为 Hokusai,用于构建与后端无关的响应式桌面应用程序。它使用 Raylib 或 SDL2 作为后端,并提供示例计数器应用程序。开发需要安装 xmake 和 Ruby,并按照步骤构建和运行。该项目使用 Peer Production License 协议。
Mark as Read
Mark as Unread
Former Supreme Court Justice David Souter Dies at 85
Source
前最高法院大法官 **David Souter** 去世,享年85岁。他于1990年由 **George H.W. Bush** 总统任命,2009年退休。**Souter** 在任期间出乎意料地加入了法院的自由派阵营,与保守派立场有所不同。他毕业于 **Harvard**,生活低调,喜欢回到新罕布什尔州,抵制现代科技,并以其智慧和对公共服务的奉献而闻名。
Mark as Read
Mark as Unread
Entire BART system is down due to computer systems failure
Source
由于计算机系统故障,整个BART系统曾一度瘫痪,现已恢复服务。但由于早前的列车控制问题,预计所有目的地的服务将出现重大延误。文章提供了BART的各种服务信息链接,包括时刻表、行程规划、车站详情、使用指南、新闻、关于BART的信息以及联系方式等。
Mark as Read
Mark as Unread
ALICE detects the conversion of lead into gold at the LHC
Source
ALICE 实验在 LHC 中观察到铅原子核在高能碰撞中转化为金。这种转化是通过强电磁场诱导的,导致铅原子核失去质子。研究团队量化了这种转化过程,发现LHC每秒产生约89000个金原子核。尽管实现了炼金术士的梦想,但产生的金的量极少,仅为29皮克,远不足以用于实际应用。这项研究也验证了电磁解离的理论模型,对理解和预测LHC的性能有重要意义。
Mark as Read
Mark as Unread
Itter.sh – Micro-Blogging via Terminal
Source
**itter.sh** 是一个基于 **SSH** 的极简主义社交媒体平台,用户通过终端进行交互。它没有网页界面、**JavaScript** 和算法推荐,专注于纯粹的文字分享。用户通过 **SSH** 注册、登录,发布短消息("eets",180字符限制),并使用简单的命令进行互动,如查看时间线、关注用户等。该平台使用 **Python**、**AsyncSSH** 和 **Supabase** 构建,旨在提供一种摆脱喧嚣的社交体验。
Mark as Read
Mark as Unread
Show HN: Hyper – Standards-first React alternative
Source
文章介绍了 Hyper,一个首重标准的 React 替代方案,旨在通过使用 HTML、CSS 和 JavaScript 等 Web 标准,构建简洁、可扩展的用户界面。Hyper 强调简单性,减少抽象,并提供解耦的设计系统,与 React 的单体架构形成对比。文章通过对比 React 和 Hyper 在简单和复杂组件、设计系统和可扩展性方面的差异,展示了 Hyper 的优势。Hyper 最终目标是构建更简单的堆栈,并计划在全栈应用和生成式 UI 方面进行发展。
Mark as Read
Mark as Unread
Dasung Paperlike 13K is a 13.3 inch E Ink color monitor
Source
Dasung Paperlike 13K 是一款 13.3 英寸 E Ink 彩色显示器,分辨率为 3200 x 2400,灰度内容可达 300 ppi,刷新率最高 37 Hz。它支持 USB Type-C 和 HDMI 输入,具备触摸屏和“反向触摸控制”功能,并提供 3.5 毫米音频插孔、内置扬声器和物理按键。这款显示器采用铝合金机身,配有多种配件,包括支架和保护盖。彩色版售价 749 美元,黑白版 679 美元。虽然色彩表现不如 LCD 或 AMOLED,但具有低功耗和护眼特性。目前支持 Windows、Linux 和 Android,预计 3 周内发货。
Mark as Read
Mark as Unread
21 GB/s CSV Parsing Using SIMD on AMD 9950X
Source
文章介绍了 .NET CSV 解析器 Sep 在 AMD 9950X 处理器上的性能优化,特别是通过 SIMD 技术实现高达 21 GB/s 的解析速度。作者详细分析了从 .NET 7.0 到 9.0,以及从 AMD 5950X 到 9950X 的性能演进。核心在于改进了 AVX-512 代码生成,绕过了 mask 寄存器问题,并引入了 AVX-512-to-256 解析器,最终实现了性能的显著提升。文章还对比了不同解析器的性能,并展示了代码和汇编级别的优化细节。
Mark as Read
Mark as Unread
Hollow Core Fiber (HCF)
Source
Hollow Core Fiber (HCF) 是一种新型光纤,与传统光纤不同,它通过空心纤芯传输光,而非实心玻璃或塑料。这种设计减少了信号损耗和延迟,提高了功率处理能力,并降低了非线性效应和色散。HCF 具有制造复杂、成本较高、耐用性较差等挑战,但其在电信、医疗设备、高功率激光系统、传感和数据中心等领域有广泛应用前景。
Mark as Read
Mark as Unread
Reconstructing illusory camouflage patterns on moth wings using computer vision
Source
该研究利用计算机视觉技术,通过两种方法(固有图像分解和深度学习)重建蛾翅膀上的错觉伪装图案,以探究其潜在的深度信息。研究首先评估了这些方法在模拟蛾翅膀图案的自然三维表面的表现,然后应用于六种蛾类的翅膀图案。结果显示,基于Retinex理论的固有图像分解对真实深度线索和高对比度图案敏感,而深度学习模型仅对具有强烈图像深度线索的蛾类有反应。研究揭示了视觉线索的解释不仅取决于信息,还受经验影响。
Mark as Read
Mark as Unread
Sofie: open-source web based system for automating live TV news production
Source
Sofie 是一个用于自动化直播电视新闻制作的开源 Web 系统。它专为演播室和直播节目设计,由挪威公共服务广播公司 NRK 开发并使用。文章提供了 Sofie 的用户指南、开发者文档和版本发布信息,并鼓励用户加入 Slack 社区进行交流。
Mark as Read
Mark as Unread
USPTO refuses Tesla Robotaxi trademark as "merely descriptive"
Source
美国专利商标局 (USPTO) 驳回了 Tesla "robotaxi" 商标申请,理由是该词汇过于通用,仅具描述性。文章指出,Tesla 的未来计划依赖于无人驾驶双座汽车,但其商标申请受阻。同时,"Cybercab" 商标申请也被驳回,原因在于与其他公司已注册的类似商标可能造成混淆。文章还提到了 Tesla 在自动驾驶技术方面面临的挑战,以及与 Alcon Entertainment 的诉讼。
Mark as Read
Mark as Unread
Show HN: Aberdeen – An elegant approach to reactive UIs
Source
文章介绍了 Aberdeen,一种使用纯 TypeScript/JavaScript 构建响应式 UI 的方法,无需 virtual DOM。核心思想是使用匿名函数发出 DOM 元素,并在底层代理数据变化时自动重新运行。Aberdeen 具有优雅、快速、体积小等优点,并提供列表功能、客户端路由等。缺点是社区和生态系统相对较小。文章还提供了示例和学习资源,并宣布了 1.0 版本的发布。
Mark as Read
Mark as Unread
NSF faces shake-up as officials abolish its 37 divisions
Source
美国国家科学基金会(NSF)面临重大改革,计划废除其下属的37个部门,以响应总统的指令。此举涉及大量裁员和项目缩减,部门主管将被撤换。改革部分源于预算削减,也可能涉及资助流程的重组,包括增加审查层级。观察人士担忧,NSF可能更容易受到政治影响。该机构已取消了大量资助,并计划进一步裁员。
Mark as Read
Mark as Unread
Catholic Church to Excommunicate Priests for Following New US State Law
Source
华盛顿州新法要求神职人员报告儿童性侵忏悔,引发天主教会强烈反弹。教会警告,遵守新法将面临绝罚,认为其侵犯宗教自由,违反忏悔保密原则。该法律与教会教义冲突,挑战了教会与国家之间的界限。美国司法部正在调查该法是否违宪。此事件涉及宗教自由与保护儿童的冲突,可能对其他州相关法律产生影响,并引发全国性讨论。
Mark as Read
Mark as Unread
CryptPad: An Alternative to the Google Suite
Source
CryptPad 是一款开源、端到端加密的协作办公套件,旨在替代 Google Suite。它提供文档、表格、看板等多种工具,支持实时编辑和协作,并注重用户隐私。用户评价普遍认为其易于使用、安全可靠,是注重隐私的 Google Docs 替代品,无需牺牲功能或易用性。CryptPad 允许匿名协作,数据安全,且界面简洁,适合团队协作和个人使用。
Mark as Read
Mark as Unread
Data manipulations alleged in study that paved way for Microsoft's quantum chip
Source
一项关于微软量子芯片的研究因数据操纵指控受到质疑。2017年发表在 _Nature Communications_ 上的论文,展示了纳米线作为量子比特的可行性,但内部邮件显示研究人员对数据处理存在担忧。一位作者承认存在“未公开的数据操纵”,导致更正,但部分作者认为不足以解决问题,应撤回论文。该研究涉及寻找 Majorana 准粒子,但该领域此前已有多篇论文被撤回或面临质疑。微软坚称对研究结果有信心,而期刊则认为此事已结束。
Mark as Read
Mark as Unread
Amazon's Vulcan Robots Now Stow Items Faster Than Humans
Source
文章介绍了亚马逊的 Vulcan 机器人,该机器人系统在德国仓库中测试,用于存储物品。研究表明,Vulcan 机器人存储速度已超越人类平均水平,且速度是18个月前的三倍。机器人通过提前规划优化存储流程,一次性掌握所有物品信息,从而提高效率。虽然人类在操作和高密度存储方面仍有优势,但机器人正在缩小差距。亚马逊计划让 Vulcan 机器人每天运行20小时,存储80%的商品,目标是每小时存储300件商品。
Mark as Read
Mark as Unread
Implementing a Struct of Arrays
Source
文章介绍了使用 C++26 Reflection 实现 Struct of Arrays (SoA) 的方法,目标是优化内存使用,类似于 Zig 语言中的 `MultiArrayList`。文章首先阐述了SoA的优势,然后通过一个 `Point` 结构体,详细展示了如何使用 `std::meta::define_aggregate()` 和其他 C++26 Reflection 特性,构建 `SoaVector`,实现 `push_back` 和索引操作,包括 const 和非 const 索引运算符,以及代理引用。最后,文章简要对比了 C++ 实现与 Zig 的 `MultiArrayList`,并指出 Zig 在类型定义上的简洁性。
Mark as Read
Mark as Unread
Show HN: Hyvector – A fast and modern SVG editor
Source
这是一款名为 Hyvector 的 SVG 编辑器,目前处于 1.0 beta 版本。它提供基础的 SVG 编辑功能,包括文件操作、编辑、对象管理、视图控制和帮助。界面简洁,用户可以通过它进行 SVG 文件的创建和修改,并能调整图形的填充、描边等属性。
Mark as Read
Mark as Unread
The Linux Kernel's PGP Web of Trust
Source
文章分析了 Linux Kernel 使用的 PGP 信任网络。该网络依赖于密钥集合,维护在 git 仓库中,并要求密钥的信任路径长度不超过5。文章指出,由于 GnuPG 2.4.x 开始拒绝使用 SHA-1 签名,可能导致大量密钥失去信任路径,影响密钥的有效性。如果移除 SHA-1 签名,将有大量公钥不再符合添加条件,包括一些重要的开发者密钥。文章最后提到了一个密钥签名活动,旨在改善这种情况。
Mark as Read
Mark as Unread
本文档是 WebAssembly (WASM) 核心规范的 2.0 版本,是 W3C 的候选推荐草案。它描述了 WASM 的核心标准,一种安全、可移植的低级代码格式,旨在高效执行和紧凑表示。文档包括了 WASM 的结构、验证、执行、二进制格式和文本格式等内容,并声明该规范将作为“living standard”持续更新,而非转换为 Recommendation 状态。
Mark as Read
Mark as Unread
Boy Accidentally Orders 70k Lollipops on Amazon. Panic Ensues.
Source
一位父亲的儿子在玩手机时,误在 Amazon 上订购了价值近 3000 美元的 7 万根棒棒糖,且无法退货。这位父亲不得不将棒棒糖分发给社区、朋友、邻居和当地食品储藏室。他希望以此警示其他家长,小心孩子使用手机购物。这起事件在社交媒体上引发讨论,许多人分享了类似经历。
Mark as Read
Mark as Unread
Doge software engineer's computer infected by info-stealing malware
Source
文章披露,一名DOGE软件工程师的电脑被信息窃取恶意软件感染。泄露的“stealer logs”中发现了该工程师的凭据,表明其设备可能已被入侵。该工程师同时在CISA任职,可能接触敏感信息。文章指出,其多个账户的用户名和密码出现在恶意软件日志中,可能涉及多起数据泄露事件。虽然凭据泄露不一定代表个人受损,但结合其工作性质,攻击者可能已获取其掌握的敏感信息。
Mark as Read
Mark as Unread
6502 Illegal Opcodes in the Siemens PC 100 Assembly Manual (1980)
Source
文章探讨了西门子1980年PC 100汇编手册中收录的6502处理器“非法”操作码。该手册基于Rockwell的原始资料,但增加了“特殊指令”章节,详细描述了AAX、DCM、LAX和ISB等非法操作码的功能和寻址方式。作者分析了这些操作码的准确性,指出西门子手册在稳定操作码的获取上是正确的,但对不稳定操作码的理解存在偏差。文章推测这些信息可能源于西门子的原创研究或其他来源。
Mark as Read
Mark as Unread
Verification, the Key to AI (2001)
Source
文章核心观点是:成功的 AI 关键在于其自我验证能力。作者认为,AI 系统应能在其知识范围内进行自我验证,而非依赖人工评估和修改。文章通过分析基于搜索的 AI 系统(如 Deep Blue)的优缺点,强调了验证在规划、评估和动作结果等层面的重要性。缺乏自我验证能力的 AI 系统将难以构建大型、可靠的知识系统,其规模将受限于人工监控的范围。作者呼吁 AI 系统应具备验证自身知识的能力,以克服现有 AI 系统的脆弱性。
Mark as Read
Mark as Unread
LegoGPT: Generating Physically Stable and Buildable Lego
Source
LegoGPT 是一种基于文本提示生成物理稳定且可搭建的 LEGO 模型的方法。该方法通过构建大规模的 StableText2Lego 数据集,训练自回归大型语言模型,预测下一个 LEGO 积木。为了确保稳定性,LegoGPT 在推理过程中采用有效性检查和物理感知的回滚机制。实验表明,LegoGPT 能生成稳定、多样且美观的 LEGO 设计,并支持文本纹理化和自动组装。研究还发布了数据集、代码和模型。
Mark as Read
Mark as Unread
eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6
Source
文章讲述了作者在使用 eBPF 程序拦截 DNS 请求时遇到的一个难题。程序在拦截 `dotnet` CLI 的 DNS 请求时,发现其流量被识别为 IPv6,但实际是 IPv4。经过深入研究,作者发现 `dotnet` 使用了 `DualMode sockets`,将 IPv4 地址映射到 IPv6 地址(`IPv4-mapped IPv6 addresses`)进行通信。这导致 eBPF 程序误判。最终,作者通过修改 eBPF 程序,同时处理 IPv4 和 IPv6,并根据协议区分 IPv6 和映射的 IPv4,解决了问题。
Mark as Read
Mark as Unread
18世纪,英国皇家海军舰艇 HMS _Wager_ 在执行秘密任务时遭遇风暴,于德雷克海峡附近失事。船员在恶劣环境下挣扎求生,因坏血病、饥饿和内斗不断减员。幸存者在荒岛上与当地人短暂接触,后因船长残暴统治和资源匮乏,内部矛盾激化,最终爆发了枪击事件。部分船员试图逃生,但最终只有少数人成功离开,揭开了这场海难背后残酷的生存斗争。
Mark as Read
Mark as Unread
文章介绍了 Royal Society 在 1958-59 年组织的南智利探险队。探险队由科学家组成,旨在研究当地动植物、地质构造,并重新考察达尔文曾考察的地区。文章重点介绍了探险队的行程、发现,以及近期添加到 Society 馆藏的 300 多张摄影幻灯片。这些照片记录了探险过程,也展现了当地的自然风光和原住民生活。
Mark as Read
Mark as Unread
For better or for worse, the overload (2024)
Source
文章深入探讨了C++中的重载解析机制,特别是关于限定转换在其中的作用。文章首先介绍了标准转换序列,然后详细解释了cv限定符、cv资格签名以及类型相似性的概念。核心在于阐述了限定转换的规则,以及如何通过算法确定类型转换是否成功。文章还分析了几个代码示例,展示了重载解析中可能出现的复杂情况,并讨论了隐式转换和临时对象实体化。最后,文章反思了重载解析机制的复杂性,并提出了对隐式转换是否值得的疑问。
Mark as Read
Mark as Unread
Usenix ATC Announcement
Source
USENIX 宣布,由于参与人数下降和社区变化,将于2025年7月结束历史悠久的 USENIX Annual Technical Conference (ATC)。ATC 曾是多个重要技术发布的诞生地,但随着专业会议的兴起,其影响力逐渐减弱。尽管如此,USENIX 仍将庆祝 ATC 的遗产,并鼓励社区分享回忆。USENIX 强调了财务挑战,并感谢社区的支持,同时展望未来,继续通过其他会议推动创新。
Mark as Read
Mark as Unread
Starlink User Terminal Teardown
Source
文章是关于对 Starlink 用户终端(UTA)的初步拆解分析。研究者拆解了Rev3版UTA,分析了其硬件和固件。硬件方面,UTA包含RF前端芯片和定制的四核Cortex-A53 SoC,并配备了安全芯片STSAFE-A110。固件分析显示,固件未加密,包含引导链、内核和文件系统,网络堆栈架构类似DPDK。研究者构建了QEMU仿真环境进行调试。文章还提到了一个名为“Ethernet Data Recorder”的程序,用于记录与卫星遥测相关的数据包,并讨论了UTA上的SSH密钥问题。最后,文章强调了卫星技术在未来攻防中的重要性。
Mark as Read
Mark as Unread
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]
Source
文章分析了 Apple 为 iMessage 设计的后量子密钥协商协议 PQ3。该协议旨在增强安全性,特别是抵御量子计算机攻击。研究使用形式化方法验证 PQ3 的安全性,包括身份验证和密钥协议。通过形式化验证,文章旨在提供对 PQ3 安全性的严格评估,并识别潜在的漏洞。这项工作对密码学社区和关注安全消息传递系统的人具有参考价值,有助于理解 PQ3 的优缺点,并为安全协议的设计和验证提供参考。
Mark as Read
Mark as Unread
Audiobookshelf: Self-hosted audiobook and podcast server
Source
文章介绍了 `audiobookshelf`,一个用于自托管有声读物和播客的服务器。它允许用户在自己的服务器上管理和播放有声读物和播客。文章提供了该项目的文档、用户指南、常见问题解答、支持信息以及展示页面链接。同时,也提供了 `Discord`、`Docker` 和 `GitHub` 的链接,以及 `Google Play Store` 和 `Apple App Store` 的下载链接。
Mark as Read
Mark as Unread
Cogentcore: Open-source framework for building multi-platform apps with Go
Source
该文章介绍了开源框架 **cogentcore/core**,它使用 Go 语言构建,用于创建跨平台的 2D 和 3D 应用程序。开发者可以使用单一的 Go 代码库,在 macOS、Windows、Linux、iOS、Android 和 Web 等多个平台上运行应用,实现“一次编码,到处运行”。文章还提供了项目的相关信息,包括许可协议、星标数量、分支数量、文件目录、贡献者以及代码语言构成等。
Mark as Read
Mark as Unread
Gender characteristics of service robots can influence customer decisions
Source
宾夕法尼亚州立大学的研究表明,服务机器人的性别特征会影响顾客决策。研究发现,具有男性特征的机器人对权力感较低的女性更具说服力。而“可爱”的设计,如大眼睛和圆脸,则会减弱性别差异的影响,使男性和女性顾客反应相似。研究人员建议,酒店业可根据顾客性别和权力感,选择不同性别的机器人,以优化推荐和销售策略。
Mark as Read
Mark as Unread
Newsreels from the UCLA Film and Television Archive
Source
加州大学电影电视档案馆与 Packard Humanities Institute 合作,推出了一个网站,方便公众访问 Hearst 新闻短片收藏。这些新闻短片由 Hearst Corporation 于 1981 年捐赠。网站提供 1929 年至 1967 年间在影院放映的新闻短片,旨在促进公众对历史和文化的研究。 网站声明,新闻短片反映了当时的社会观点,部分内容可能令人不适,但档案馆并不认可其中所有观点。
Mark as Read
Mark as Unread
Show HN: Req Update Check
Source
该文章介绍了一个名为 `req-update-check` 的 Python 工具,用于检查 `requirements.txt` 文件中 Python 包的更新。它能显示更新的严重程度、包主页和变更日志,并支持文件缓存以提高性能。该工具支持多种安装方式,包括从 PyPI、GitHub 或源代码安装。文章还提供了命令行选项和 Python API 的使用示例,以及对 `requirements.txt` 文件格式的支持说明。最后,文章说明了开发和贡献的流程,并声明了 MIT 许可证。
Mark as Read
Mark as Unread
Podfox: First Container-Aware Browser
Source
文章介绍了名为 Podfox 的“容器感知”浏览器,它通过 SOCKS 代理实现浏览器与 Podman 容器的网络通信,解决了端口冲突问题。Podfox 允许用户通过配置 PAC 文件,在 Firefox 中访问容器内的服务。此外,文章还分享了作者将整个 CLI 开发环境容器化的经验,利用 Homebrew 和 Podman 的特性,实现了在容器内复用宿主机工具,并介绍了简化容器启动的 Podchamp 工具。
Mark as Read
Mark as Unread
Fui: C library for interacting with the framebuffer in a TTY context
Source
`fui` 是一个用 C 语言编写的库,用于在 tty 环境中与 framebuffer 交互,实现用户界面。它通过直接写入 framebuffer 设备,并使用图层系统进行绘制,支持绘制线条、矩形、圆,文本渲染,以及键盘和鼠标事件处理。该库还包含一个音频系统,可播放声音。文章介绍了安装方法,权限设置,并提供了示例程序,如简单的 Asteroids 游戏。
Mark as Read
Mark as Unread
Prepare your apps for Google Play's 16 KB page size compatibility requirement
Source
Google Play 要求所有面向 Android 15+ 设备的新 App 和现有 App 的更新,自 2025 年 11 月 1 日起必须支持 16 KB 页面大小。这项技术要求旨在提升新设备上的 App 性能,例如更快的启动速度、改进的电池使用情况等。 开发者应尽早检查 App 兼容性,特别是包含原生代码的 App,可能需要更新 SDK 或重新编译。 许多流行的 SDK 和游戏引擎已提供兼容版本。 开发者可以通过 Play Console 的 App bundle explorer 检查 App 的合规性,并在 16 KB 环境中测试 App。
Mark as Read
Mark as Unread
A flat pricing subscription for Claude Code
Source
文章介绍了 Max plan 用户如何通过统一订阅使用 Claude 和 Claude Code。Claude Code 是一个命令行工具,允许用户在终端访问 Claude 模型进行编码。用户需订阅 Max plan,安装 Claude Code 并使用 Claude 凭据进行身份验证。使用限制在 Claude 和 Claude Code 之间共享,根据消息长度和项目复杂性而异。达到速率限制时,用户可以选择升级 Max plan、切换到 pay-as-you-go 模式或等待重置。
Mark as Read
Mark as Unread
How the US Built 5k Ships in WWII
Source
二战期间,美国通过政府主导和私营企业合作,大规模建造了约5000艘舰船。政府提供资金、制定策略并监督进度,而私企则负责建造船厂和舰船,并通过焊接、预制等技术革新,大幅缩短了建造时间。其中,Liberty Ship 是关键的货船型号,其建造流程类似装配线,预制大型部件,极大地提高了效率。这种大规模生产模式,尤其是在Kaiser的造船厂中,达到了极致,但也借鉴了Hog Island造船厂的经验教训,避免了单一组装点的拥堵问题,最终助力美国赢得了战争。
Mark as Read
Mark as Unread
文章探讨了Clojure语言在动态类型环境下保持稳定性的原因。作者认为,Clojure生态系统稳定并非依赖静态类型,而是通过设计和约定来实现。核心在于避免破坏性改动,如不重命名命名空间、函数和关键字,不增加或减少数据需求。作者强调,Clojure倾向于创建新函数而非修改现有函数,从而避免破坏现有代码。这种设计哲学使得Clojure库在实践中保持了高度的稳定性,即使在动态类型环境下也能有效应对变化。
Mark as Read
Mark as Unread
Show HN: Extension for full-text browser history search
Source
该文章介绍了一款名为 Rearview 的浏览器扩展程序,旨在增强浏览历史记录的管理。它提供智能历史记录功能,包括全文搜索页面内容、多条件过滤(日期、时间、访问频率)以及基于 AI 的对话助手,帮助用户更高效地查找和回顾浏览信息。该扩展程序支持 Chrome、Edge 和 Firefox 浏览器,并提供反馈、博客、文档、API 参考等资源。
Mark as Read
Mark as Unread
How to start a school with your friends
Source
与朋友共同创办学校需要经过一系列步骤。首先,寻找拥有共同教育愿景和互补技能的伙伴。明确学校愿景,进行市场调研,制定详细的商业计划,包括财务预测和筹款方案。接着,筹集资金、寻找合适的校址,并获得必要的许可和认证。招聘教师和工作人员后,开始招生并进行宣传。整个过程中,需要保持耐心,从小处着手,注重教育质量,并根据情况调整计划。 此外,文章还强调了与朋友合作的特殊挑战,如沟通、角色分工和冲突解决的重要性。
Mark as Read
Mark as Unread
The Rise and Fall of the Visual Telegraph (2017)
Source
文章追溯了视觉电报的兴衰。Claude Chappe 发明了光学电报,通过可变臂的位置组合传递信息,开启了长途通信的新时代。该系统在法国大革命时期得到推广,用于军事和政治目的。然而,由于技术竞争和 Claude Chappe 的个人困境,光学电报最终被电报取代。文章还提到了蒙马特等地遗留的视觉电报痕迹。
Mark as Read
Mark as Unread
From: Steve Jobs. "Great idea, thank you."
Source
文章讲述了作者在 NeXT 工作时,申请了邮箱别名 `steve@next.com`,结果收到了大量发给 Steve Jobs 的邮件。意识到错误后,作者将该邮箱转发回了 Steve Jobs,并为此道歉。令人意外的是,Steve Jobs 回复了“好主意,谢谢”。作者分享了这段经历,并表示这是他收到的唯一一封来自 Steve Jobs 的邮件,弥足珍贵。文章还提到了另一位用户向 Steve Jobs 询问 iPhone 触觉反馈的经历。
Mark as Read
Mark as Unread
Block Diffusion: Interpolating Autoregressive and Diffusion Language Models
Source
该研究提出了Block Diffusion语言模型,它结合了自回归模型和扩散模型的优点。Block Diffusion通过在离散去噪扩散模型和自回归模型之间插值,实现了高质量、任意长度的序列生成,并支持KV缓存和并行化。研究通过高效的训练算法和数据驱动的噪声调度,解决了扩散模型在似然建模和固定长度生成方面的局限性,并在语言建模基准测试中取得了新的进展。
Mark as Read
Mark as Unread
文章探讨了将静态资源作为服务器的理念,核心在于“混合”框架的优势。作者认为,这类框架同时支持“server”和“static”输出模式,减少了工具碎片化,并提供了更大的灵活性。通过在构建时运行“server”框架,生成静态页面,可以实现零成本的静态网站托管。文章强调,静态网站本质上是提前运行的“server”,这种方式与React Server Components(RSC)等技术结合,能带来更高效的开发和部署体验。
Mark as Read
Mark as Unread
文章介绍了 Reservoir sampling 算法,一种在未知数据流大小的情况下进行公平随机抽样的技术。核心思想是,对于每个新数据,以 k/n 的概率选择它,并随机替换已选中的数据。文章通过扑克牌的例子,详细解释了该算法的原理,并展示了其在日志收集场景中的应用,解决了在数据量未知的情况下,限制采样数量的问题,保证了公平性和内存使用的可控性。
Mark as Read
Mark as Unread
Ciro (YC S22) is hiring a software engineer to build AI agents for sales
Source
Ciro 是一家由 Y Combinator 支持的初创公司,专注于利用 AI 构建销售潜在客户挖掘工具。他们正在招聘软件工程师,主要工作是开发 AI agent,帮助销售人员更高效地寻找和筛选潜在客户,提高工作效率。Ciro 团队由来自 Meta、Stanford、Google 等背景的成员组成,并已获得多家知名投资机构的投资。公司强调卓越、快速行动和团队合作的价值观。
Mark as Read
Mark as Unread
Show HN: Using eBPF to see through encryption without a proxy
Source
Qtap 是一个基于 eBPF 的无代理网络流量捕获工具,用于拦截预加密的网络流量,并提供丰富的上下文信息,如进程、容器等。它允许用户无需修改应用程序或安装代理即可了解出口流量,适用于安全审计、网络问题调试、API 开发等场景。Qtap 易于安装和使用,支持快速启动的演示模式,并提供社区交流渠道。该项目目前处于早期开发阶段,欢迎社区贡献。
Mark as Read
Mark as Unread
Void: Open-source Cursor alternative
Source
本文介绍了 Void,一个开源的 Cursor 替代方案。它基于 `vscode`,允许用户在代码库中使用 AI agents、checkpoint和可视化更改,并支持本地模型或 host。Void 不保留用户数据,直接与 providers 通信。文章提供了项目的 GitHub 链接、许可证信息、代码库结构、贡献指南、支持方式以及相关话题和发布信息。
Mark as Read
Mark as Unread
Notes on rolling out Cursor and Claude Code
Source
文章分享了推广 Cursor 和 Claude Code 的一些经验和笔记。由于正文内容缺失,无法具体总结推广策略或技巧。但可以推断,文章可能涉及了如何有效推广这两个工具,例如通过哪些渠道、采用什么样的方式,以及可能遇到的挑战和解决方案。
Mark as Read
Mark as Unread
First American pope elected and will be known as Pope Leo XIV
Source
文章报道了美国 Cardinal Robert Prevost 当选为下一任教皇,他将被称为 Pope Leo XIV,成为历史上首位美国教皇。他在首次讲话中呼吁和平并向已故 Pope Francis 致敬。Prevost 来自芝加哥,69 岁,曾任南美洲传教士和秘鲁主教,并领导梵蒂冈主教任命办公室。当选需要三分之二的选票。
Mark as Read
Mark as Unread
Hypermode Model Router Preview – OpenRouter Alternative
Source
文章介绍了 Hypermode 推出的 **Model Router**,它提供一个统一的 API,方便开发者连接多种 AI 模型,包括开源和商业模型。**Model Router** 简化了模型编排,允许在不同模型间无缝切换,优化成本和性能,并提高可靠性。主要功能包括统一 API 访问、回退机制、模型偏好设置、成本优化、安全合规等。开发者可以使用熟悉的 SDK 和工具,快速试验和迭代,构建更灵活的 AI 应用。
Mark as Read
Mark as Unread
Google Measures and Manages Tech Debt
Source
文章探讨了 Google 如何衡量和管理技术债。Google 通过定义技术债的十个类别、季度工程师调查来衡量其影响,并建立技术债联盟推动改进。文章强调,技术债管理应成为战略问题,而非单纯的工程问题。Google 采用框架、成熟度模型、教育培训、工具和指标等方法,最终显著降低了工程师因技术债而受阻的比例。文章总结,目标并非消除技术债,而是有意识地管理,平衡交付速度与代码质量。
Mark as Read
Mark as Unread
Progress toward fusion energy gain as measured against the Lawson criteria
Source
文章探讨了利用 Lawson 判据评估聚变能量增益的进展。Lawson 判据是衡量聚变反应堆性能的关键指标,它综合考虑了等离子体的密度、温度和约束时间,评估实现自持聚变反应的可能性。科研人员通过技术革新和实验改进,致力于提升聚变反应堆性能,使其达到甚至超越 Lawson 判据的要求,以期最终实现可控聚变能源。
Mark as Read
Mark as Unread
Huawei unveils laptop running self-developed HarmonyOS as Windows licence expire
Source
华为发布首款搭载自研 HarmonyOS 的笔记本电脑,此前其 Windows 许可证已到期。这款笔记本运行 HarmonyOS 5,具备 AI 功能,并预装了华为 AI 助手 Celia。 软件方面,预装了 WPS、DingTalk 等中国软件,并兼容 HarmonyOS 智能手机上的众多移动应用,如 RedNote、Bilibili 和 Feishu。 预计到今年年底,该设备将支持超过 2000 个应用程序。
Mark as Read
Mark as Unread
20 years to give away virtually all my wealth
Source
作者计划在未来20年内捐出其几乎全部的财富。
Mark as Read
Mark as Unread
Trump's NIH Axed Research Grants Even After a Judge Blocked the Cuts
Source
文章揭露了特朗普政府在法官阻止后,仍通过终止研究资助的方式削减 NIH 经费。华盛顿州检察长起诉称,政府违反禁令,削减了与性别认同相关的研究经费。内部记录显示,NIH 官员在DOGE的指示下,终止了数百项资助,且终止原因与总统的行政命令相关。政府辩称行动基于政策和科学优先,但证词表明DOGE直接参与了资助终止,且政府对终止原因的解释不透明。
Mark as Read
Mark as Unread
Google to Back Three New Advanced Nuclear Projects
Source
Google 将与 Elementl Power 合作,投资三个先进核能项目。此举旨在应对数据中心日益增长的排放问题,并助力 Google 实现 2030 年全天候无碳能源运营的目标。Google 承诺为每个项目提供早期开发资金,每个项目预计发电量至少 600 兆瓦。此前,Google 已与 Kairos Power 签署协议,部署小型先进核电项目。Google 还与其他公司承诺支持到 2050 年将全球核能容量增加三倍。Elementl Power 致力于开发、融资和管理核电项目,计划到 2035 年在美国上线超过 10 吉瓦的核能。
Mark as Read
Mark as Unread
**QueryHub** 是一款 AI 驱动的数据库交互平台,旨在简化数据库操作。它通过自然语言处理,让用户可以用英语提问,自动生成 SQL 查询,从而解决编写复杂 SQL、数据库分析耗时等问题。核心功能包括 AI 聊天机器人、自动 SQL 生成、Schema 理解、查询管理和数据可视化。**QueryHub** 简化了数据访问,加速开发,并增强数据理解。用户可以免费试用,连接 PostgreSQL 数据库,并以安全的方式进行数据交互。
Mark as Read
Mark as Unread
Microservices Are a Tax Your Startup Probably Can't Afford
Source
文章指出,对于初创公司而言,过早采用微服务可能得不偿失,反而会增加部署、开发和维护的复杂性,降低迭代速度。作者认为,单体架构在早期更具优势,能让团队专注于交付价值和生存。只有在遇到真正的扩展瓶颈时,才应考虑微服务。文章强调,应避免任意的服务边界,优先考虑开发效率,并从简单的单体架构开始,逐步优化,按需拆分,而不是一开始就追求微服务。
Mark as Read
Mark as Unread
Yes, the Apple II MouseCard IRQ Is Synced to the VBL
Source
文章探讨了Apple II MouseCard的中断(IRQ)是否与垂直消隐(VBL)同步的问题。经过调查和代码分析,确认了MouseCard的IRQ与VBL精确同步,并在VBL开始时触发。文章详细解释了MouseCard固件如何通过软件实现VBL检测,以及68705 CPU如何通过硬件计时器以与VBL相同的频率触发IRQ。最后,文章给出了程序员在NTSC和PAL Apple II上同步鼠标IRQ的建议,并指出了这种方法的一些优缺点。
Mark as Read
Mark as Unread
Will protein design tools solve the snake antivenom shortage?
Source
文章探讨了利用蛋白质设计工具解决蛇毒血清短缺问题的可能性。文章首先介绍了蛇毒血清生产的困境,包括成本高、供应不足等问题。接着,详细分析了蛇毒的复杂性,包括不同蛇科、蛇种、甚至同一蛇种内毒液组成的差异。虽然计算设计能开发出针对特定毒素的结合物,但文章认为,由于市场因素,即使有通用抗蛇毒血清,也难以根本解决短缺问题。文章最后指出,蛋白质设计可能带来的优势在于提高抗蛇毒血清的热稳定性,但总体而言,市场激励不足是主要挑战。
Mark as Read
Mark as Unread
Artifact (YC W25) Is Hiring
Source
Artifact (YC W25) 正在招聘前线部署软件工程师,地点在纽约。该职位薪资为 12万-17万美元,并有股权。主要职责包括与航空航天、机器人等行业的客户合作,部署和支持 Artifact,构建相关应用和脚本,并与核心工程团队协作。应聘者需有3年以上全栈软件工程师经验,熟悉物理系统,具备跨堆栈调试能力和良好的沟通能力。Artifact 是一款为硬件工程师打造的协作式 IDE,旨在加速工程生命周期。
Mark as Read
Mark as Unread
Xenon is an open source universal game cheating framework C++
Source
Xenon 是一个基于 C++ 的开源游戏作弊框架,旨在简化游戏作弊程序的开发。它提供模块化设计,支持内部(DLL 注入)和外部作弊方式,并兼容 Unreal Engine、Unity 等多种游戏引擎。框架包含 ESP、Aimbot、Radar 等功能,支持 ImGui UI,并提供内存管理和事件驱动架构。文章还介绍了内部和外部作弊的优缺点,以及自动 DLL 注入的示例。该项目采用 MIT 许可,欢迎贡献。
Mark as Read
Mark as Unread
Using NASA’s SMAP satellite to detect L-band interference
Source
文章描述了使用 NASA 的 SMAP 卫星检测 L 波段干扰的过程。由于访问需要验证,读者需要通过 Cloudflare 的安全检查才能继续阅读。文章强调了 Cloudflare 提供的性能和安全保障。
Mark as Read
Mark as Unread
Secret Messages Detected on Egyptian Obelisk in Paris
Source
巴黎协和广场的埃及方尖碑上发现了秘密信息。埃及古物学家Jean-Guillaume Olette-Pelletier注意到碑上的象形文字可能包含crypto-hieroglyphics,即只有精英才能解读的秘密信息。在清洁过程中,他确认了至少七个crypto-hieroglyphics的存在。这些信息旨在强调拉美西斯二世的神圣地位,并仅供特定贵族在奥佩特节期间观看。这些信息强化了法老的统治权力,传递了“国王是神化身,不可废黜”的宣传。
Mark as Read
Mark as Unread
Thunder Compute (YC S24) Is Hiring a C++ Low-Latency Systems Developer
Source
Thunder Compute (YC S24) 招聘 C++ 低延迟系统开发工程师。该公司是 YC 孵化的初创企业,致力于构建最便宜的 GPU 云平台,目标是提高 GPU 利用率。现招聘系统工程师,要求精通 C++,有优化 NIC 或 GPU 性能的经验,并熟悉底层网络等。工作地点可选纽约、旧金山或亚特兰大,薪资 15 万至 20 万美元,并提供股权。
Mark as Read
Mark as Unread
Mycoria is an open and secure overlay network that connects all participants
Source
Mycoria是一个开放且安全的overlay network,旨在实现自由连接。它强调人人平等、开放包容,并注重隐私和安全,采用身份验证和加密技术,防止窥探和监视。Mycoria设计目标是小巧、简单,兼容现有基础设施,并默认安全和私有。其特性包括自动端到端加密、现代密码学、智能路由、Dashboard、.myco DNS解析等。未来还将实现网络自动优化和私有地址轮换。
Mark as Read
Mark as Unread
Gmail will soon stop support for the 3DES encryption cipher for incoming SMTP
Source
Gmail 将于 2025 年 5 月 30 日停止对传入 SMTP 连接的 3DES 加密算法的支持。此举旨在增强安全性,防范与过时加密方法相关的潜在漏洞。届时,使用 3DES 的电子邮件系统将无法向 Gmail 帐户发送邮件。管理员需确保发送系统配置为使用更安全的 TLS 密码套件,具体信息可在帮助中心找到。此变更影响所有 Google Workspace 客户。
Mark as Read
Mark as Unread
I can't understand Apple's Critical Alert policy
Source
作者发布了一款药物提醒 iOS 应用,需要使用 Critical Alerts API 以确保用户不会错过重要通知。然而,Apple 拒绝了该请求,理由是无法保证应用的使用场景。作者对这一决定感到困惑,认为 Critical Alerts 的选择加入机制足以避免滥用,且 Apple 自己的 Health 应用也在使用该 API。更令人不解的是,一些非紧急用途的提醒应用却获得了授权。作者认为,没有 Critical Alerts,应用的功能将大打折扣,可能对用户健康造成威胁。
Mark as Read
Mark as Unread
Examining problematic speech and behavior in World of Warcraft (2022)
Source
这篇文章探讨了在大型多人在线游戏《魔兽世界》中,玩家对负面行为的感知和反应。研究通过访谈,分析了玩家对游戏内攻击性言论、骚扰行为的看法,以及线上身份、头像和匿名性如何影响这些行为。核心观点包括:玩家对负面行为的容忍度受多种因素影响,如持续时间、严重程度和个人经历;性别差异会影响对负面行为的解读;以及玩家在游戏中可能采取的负面行为,并试图合理化这些行为。文章还探讨了“恶意骚扰”的定义,以及团队合作中的权力关系对负面行为的影响。
Mark as Read
Mark as Unread
Parametric Modeling with Grasshopper
Source
文章介绍了使用 Grasshopper 进行参数化建模的基础知识。Grasshopper 是 Rhino 的可视化编程界面,用于通过组合参数和组件来生成几何体。文章详细讲解了如何在 Grasshopper 中创建点、线、折线、曲线和表面等基本几何体,包括使用滑块、文本面板、Rhino 绘制等多种方式定义几何体,并提供了相关组件的使用方法和示例。最后,文章还提到了如何通过拉伸、放样等方法创建实体和自由曲面。
Mark as Read
Mark as Unread
Show HN: US Routing – Python library for fast local routing in the United States
Source
`us-routing` 是一个基于 Python 的库,用于在美国境内进行快速本地路由。它基于 North American Roads 数据集,可以规划城市、邮政编码或坐标之间的路线。该库支持多种路线规划选项,并提供详细的路线信息。用户可以通过 `pip` 或 `poetry` 安装,并提供了简单的用法示例。此外,文章还介绍了自定义路由器和贡献方式。
Mark as Read
Mark as Unread
Yggdrasil is an experimental compact routing scheme that is fully decentralised
Source
Yggdrasil 是一种完全去中心化的实验性路由方案,采用最短路径,节点间通过 peering connections 互联。它具有自修复能力,适用于 mesh networks。每个节点拥有加密身份和 IPv6 地址,无需手动配置。Yggdrasil 旨在构建多跳网络,不依赖 Internet,适用于边缘计算和 mesh networks。与 Tor 等匿名网络不同,Yggdrasil 不提供匿名性。它目前处于 alpha 级别,不建议用于关键任务,项目目标是测试其可扩展性。
Mark as Read
Mark as Unread
Foundation DB Record Layer SQL API
Source
该文档介绍了 FDB relational 子项目的 SQL API,用于与 Record Layer 数据库交互。该 API 仍在积极开发中,包含 SQL 数据类型、SQL 命令(DQL、DDL、DML)和函数。此外,还涵盖了数据模型,包括数据库、模式、表和索引,以及直接访问 API。文档内容持续更新,旨在提供全面的 SQL API 参考。
Mark as Read
Mark as Unread
June Huh dropped out to become a poet, now he’s won a Fields Medal (2022)
Source
June Huh曾是辍学诗人,后来因将组合数学与几何学联系起来的深刻见解,荣获Fields Medal奖。文章讲述了他从对数学漠不关心到最终获得数学界最高荣誉的非凡经历。他曾辍学写诗,后来在大学接触数学,通过解决组合数学中的重大问题,展现了他在数学领域的独特见解和艺术性。他擅长发现事物,并以独特的方式将看似不同的几何学和组合数学领域联系起来,最终证明了Rota猜想等重要问题。
Mark as Read
Mark as Unread
OpenAI 推出“OpenAI for Countries”倡议,旨在支持全球各国基于民主原则构建 AI 基础设施。该倡议是“Stargate project”的延伸,将与各国合作,提供以下支持:建立国内数据中心、定制 ChatGPT、加强 AI 模型安全控制、共同筹集国家启动基金,并投资于全球“Stargate Project”。目标是在第一阶段与 10 个国家或地区合作,以促进 AI 的民主化发展,并提供与专制 AI 不同的选择。
Mark as Read
Mark as Unread
'I paid for the whole GPU, I am going to use the whole GPU'
Source
文章探讨了GPU利用率,将其分为GPU分配利用率、GPU Kernel利用率和Model FLOP/s利用率(MFU)三个层面。GPU分配利用率关注已分配GPU的实际使用时间,受经济和DevOps限制。GPU Kernel利用率衡量GPU运行代码的时间占比,受数据传输、CPU调度等因素影响。MFU则衡量模型实际算术带宽利用率,受通信、内存带宽、kernel编写等影响。文章强调了提高GPU利用率的重要性,并提供了相关工具和优化建议,特别是针对神经网络推理工作负载。
Mark as Read
Mark as Unread
GovEagle (YC W23) Is Hiring
Source
GovEagle (YC W23) 正在招聘短期平台工程承包商。GovEagle 是一家利用 AI 帮助政府承包商快速起草提案的初创公司。该职位要求3年以上经验,主要负责 Kubernetes 工作负载、Celery 队列、Redis 缓存和云网络的可靠性审计,并进行优化。技术栈包括 Python、Redis、Kubernetes、Celery、Docker 等。薪资范围为 3K - 10K 美元。
Mark as Read
Mark as Unread
Web search on the Anthropic API
Source
Anthropic API 引入网页搜索功能,允许 Claude 访问网络最新信息。开发者可通过启用此功能构建 AI 应用,增强 Claude 的知识库,获取实时数据。Claude 会根据请求判断是否需要搜索,生成查询、分析结果并提供引用。应用场景包括金融、法律、开发者工具等。用户可控制搜索范围,通过域名允许/阻止列表管理。网页搜索也适用于 Claude Code,提升开发效率。Poe 和 Adaptive.ai 等平台已开始使用。该功能现已在部分 Claude 模型上提供,按搜索次数收费。
Mark as Read
Mark as Unread
How to Average in Prolog (2017)
Source
文章探讨了在 Prolog 中计算数字列表平均值的不同方法。作者首先展示了使用标准库函数 `length` 和 `sumlist` 的简洁实现,但随后指出,为了迎合教学需求,需要避免使用这些库函数。文章接着介绍了通过递归实现平均值计算的过程式代码,并展示了如何将其转换为 Prolog 代码。最后,作者强调了 Prolog 拥有简洁、高级的库,但在某些情况下,为了满足教学要求,需要避免使用这些库,转而使用更复杂、更冗长的递归实现。
Mark as Read
Mark as Unread
作者发布了网站 [Mac Themes Garden](https://damien.zone/introducing-mac-themes-garden/),该网站展示了超过 3000 个 Classic Mac 时代的 Kaleidoscope 主题,用户可以浏览、下载和探索。文章介绍了网站的背景、制作过程和技术细节,包括从 Airtable 数据库获取数据、使用 Astro 构建网站、CSS 模拟 Mac OS 9 UI 元素,以及生成 Open Graph 图像。作者还分享了未来计划,如按颜色搜索、展示自定义图标、与 [InfiniteMac](https://damien.zone/introducing-mac-themes-garden/) 联动等。
Mark as Read
Mark as Unread
Proposal: Add bare metal support to Go
Source
该提案建议为 Go 增加裸机支持,引入 `GOOS=none` 目标,允许 Go 运行时在没有 OS 支持的情况下运行。这基于现有的 `GOOS=tamago` 项目,但旨在将其整合到上游。构建的应用程序将依赖 Go 运行时和外部驱动程序包。文章详细介绍了需要定义的几个函数,如 `cpuinit`、`runtime.hwinit`、`runtime.printk` 等,以及编译方式。提案基于 TamaGo 项目的改进,并强调了其在测试、用户空间执行、真实硬件和半虚拟化等方面的应用,以及在 ARM 和 AMD64 上的成功案例。
Mark as Read
Mark as Unread
Vagus Nerve Stimulation Erases PTSD
Source
一项研究表明,迷走神经刺激(VNS)结合传统疗法,能有效消除对治疗有抵抗力的PTSD患者的症状。在为期六个月的随访中,所有参与者均未被诊断出PTSD。VNS通过增强神经可塑性,改善了治疗效果。目前正在进行双盲2期试验,以验证研究结果并寻求FDA批准。
Mark as Read
Mark as Unread
Open source Google Analytics replacement
Source
Rybbit 是一个开源、注重隐私的 Google Analytics 替代方案,设置简单,界面直观。它提供关键的 Web 分析指标,如会话、用户、页面浏览量等,且不使用 cookie,符合 GDPR 和 CCPA 标准。Rybbit 支持自定义目标、用户旅程、漏斗分析,以及高级过滤、自定义事件、实时会话和地理位置跟踪等功能,并支持组织和无限数量的站点。
Mark as Read
Mark as Unread
Ty: A fast Python type checker and language server
Source
文章介绍了 `Ty`,一个用 Rust 编写的快速 Python 类型检查器和语言服务器。该项目目前处于预发布阶段,尚未准备好用于生产环境。文章提供了项目在 GitHub 上的相关信息,包括代码、问题、Pull requests、许可证、贡献方式等。
Mark as Read
Mark as Unread
Samsung is paying $350M for audio brands B&W, Denon, Marantz and Polk
Source
无法总结。文章内容显示为错误信息,无法获取有效信息进行总结。
Mark as Read
Mark as Unread
Motion (YC W20) Is Hiring a Senior Engineers
Source
Motion (YC W20) 正在积极招募高级工程师。文章简短地宣布了这一招聘信息,表明该公司正在扩大团队。
Mark as Read
Mark as Unread
Create and edit images with Gemini 2.0 in preview
Source
文章宣布了 **Gemini 2.0 Flash** 预览版中新增的图像生成功能。开发者现在可以通过 [Google AI Studio](https://developers.googleblog.com/en/generate-images-gemini-2-0-flash-preview/) 和 [Vertex AI](https://developers.googleblog.com/en/generate-images-gemini-2-0-flash-preview/) 使用“gemini-2.0-flash-preview-image-generation”模型,实现更快的图像生成和编辑。新功能包括更好的视觉质量、更准确的文本渲染和更低的过滤拦截率,支持重新构建产品、实时协作编辑、对话式编辑等。
Mark as Read
Mark as Unread
Ghost students are creating an 'agonizing' problem for Calif. colleges
Source
加州高校正遭遇“幽灵学生”带来的困扰。这些学生注册了课程,却从未真正参与学习,导致学校难以准确预测学生人数,影响资源分配和课程安排。这种现象给学校带来了财务压力,并可能影响教学质量。文章强调了这个问题对高校运营的负面影响,但未详细说明“幽灵学生”的具体定义或产生原因。
Mark as Read
Mark as Unread
Telling Lies: Bowie and Online Music Distribution in 1996
Source
1996年,在线音乐发行尚处于早期阶段。文章聚焦于 David Bowie 尝试通过其网站免费发布单曲 "Telling Lies",以此探索数字音乐发行。尽管面临下载速度慢、音质差等技术挑战,这次实验仍被视为营销成功。文章还探讨了当时对未来在线音乐发行模式的展望,以及 Bowie 对互联网影响音乐的看法。
Mark as Read
Mark as Unread
Reverse Engineering "DNA Sequences" in the Lost World: Jurassic Park Video Game
Source
这篇文章逆向工程了游戏《侏罗纪公园:失落的世界》中“DNA序列”的生成机制。作者分析了游戏如何使用32位整数来编码DNA信息,并推断出其内部逻辑。通过研究,作者揭示了游戏如何利用位运算和查找表来生成和管理DNA序列,从而影响恐龙的特征。文章深入探讨了游戏开发者如何巧妙地运用有限的计算资源,创造出复杂的生物遗传系统。
Mark as Read
Mark as Unread
OpenSearch 3.0 Released
Source
OpenSearch 3.0 发布,重点增强向量数据库性能,以满足 AI 驱动的需求。新版本在向量引擎方面引入了 GPU 加速,提升了处理速度和效率,并降低了成本。同时,数据管理功能也得到优化,包括 gRPC 支持、Pull-based Ingestion 等,提高了数据传输和处理效率。此外,核心升级也改进了搜索基础设施,提升了可维护性、性能和效率。
Mark as Read
Mark as Unread
Show HN: eInk optimized manga with Kindle Comic Converter (+Kobo/ReMarkable)
Source
**Kindle Comic Converter (KCC)** 是一款漫画转换工具,专为 eInk 阅读器优化。它能全屏显示漫画,去除边距,并提供图像处理选项,提升 eInk 屏幕显示效果。KCC 支持多种输入格式,如 JPG/PNG/CBZ/PDF,输出 MOBI/AZW3/EPUB/KEPUB/CBZ 等格式,并能调整文件大小以提升性能。该工具并非 Amazon 官方出品,但能有效改善漫画在 Kindle、Kobo 和 ReMarkable 等设备上的阅读体验。
Mark as Read
Mark as Unread
Waiting for Postgres 18: Accelerating Disk Reads with Asynchronous I/O
Source
Postgres 18 引入异步 I/O (AIO) 以加速磁盘读取,核心在于新的 `io_method` 配置参数,提供 `sync`、`worker` 和 `io_uring` 三种模式。`worker` 模式使用后台 I/O 工作进程,`io_uring` 模式则利用 Linux 内核的 `io_uring` 接口,后者性能更优。在云环境测试中,AIO 将读取性能提升了 2-3 倍。AIO 改变了 I/O 时间的解释方式,`EXPLAIN ANALYZE` 可能低估 I/O 工作量,需要通过 `pg_aios` 等工具进行监控。未来版本有望支持异步写入。
Mark as Read
Mark as Unread
WeightWatchers files bankruptcy
Source
WeightWatchers 因财务困境申请破产保护。该公司面临沉重债务,导致其无法继续正常运营。
Mark as Read
Mark as Unread
Mistral ships le chat – enterprise AI assistant that can run on prem
Source
Mistral 发布了企业版 AI 助手 Le Chat Enterprise,基于新的 Mistral Medium 3 模型。该产品旨在解决企业 AI 面临的挑战,提供统一的 AI 平台,包括企业搜索、代理构建器、自定义数据和工具连接器、文档库、自定义模型和混合部署等功能。Le Chat Enterprise 支持本地部署,强调隐私和数据安全,提供深度定制和完全控制,并提供高级解决方案和价值交付。它现已在 Google Cloud Marketplace 上提供,并将在 Azure AI 和 AWS Bedrock 上推出。
Mark as Read
Mark as Unread
Unity’s Open-Source Double Standard: the ban of VLC
Source
文章揭示了 Unity 对开源软件的双重标准。作者的开源项目 VLC for Unity 在 Unity Store 上架后被封禁,原因不明。尽管作者尝试妥协,甚至移除 LGPL 代码,但仍被拒绝。讽刺的是,Unity 本身及其构建的游戏却使用了 LGPL 依赖项。文章随后介绍了作者创建的 Videolabs Store,用于继续分发 VLC for Unity,并提供多媒体咨询服务,以支持开源项目的可持续发展。
Mark as Read
Mark as Unread
Using tests as a debugging tool for logic errors
Source
文章探讨了在 Java 开发中,如何利用单元测试作为调试逻辑错误的有效工具。 逻辑错误源于代码实现与业务需求不符,传统调试手段难以应对。文章强调了测试用例在验证程序语义中的作用,并介绍了通过测试定位、隔离和理解逻辑错误的方法,例如假设测试、状态演变测试和回归测试。 此外,文章还提到了现代 IDE 在单元测试和调试器之间的协同作用,以及 AI 在自动生成测试方面的应用,最终目的是将测试失败转化为对代码行为的深刻理解,从而提高代码质量。
Mark as Read
Mark as Unread
Jargonic Sets New SOTA for Japanese ASR
Source
Jargonic V2 刷新了日语自动语音识别(ASR)的SOTA纪录。文章指出,由于日语的复杂性,传统的ASR模型在实际应用中表现不佳。Jargonic V2 专注于提高转录准确性和专业术语召回率,尤其在制造业、物流等行业。其专有的 Keyword Spotting 技术无需重新训练即可识别特定领域术语,召回率高达94.7%。基准测试结果显示,Jargonic 在 CommonVoice v.13 和 ReazonSpeech 数据集上均优于 Whisper v3、ElevenLabs、Deepgram 和 AssemblyAI,显著降低了字符错误率(CER)。
Mark as Read
Mark as Unread
CLion Is Now Free for Non-Commercial Use
Source
文章宣布,针对非商业用途,CLion IDE 现已免费。这意味着学生、开源开发者、内容创作者和业余爱好者可以免费使用 CLion,用于学习、项目开发等非商业目的。商业用途仍需购买付费订阅。文章还解释了免费许可的范围、续订方式、匿名数据收集以及如何申请非商业订阅。
Mark as Read
Mark as Unread
Sandy Bridge-era motherboard gets M.2 SSD boot support 12 years after launch
Source
技嘉为13年前的B75M-D3H主板发布新固件,修复了PKfail漏洞,并意外增加了对M.2 NVMe SSD启动的支持。该主板原本不支持M.2,但通过固件更新,用户可使用M.2转PCIe适配器启动。虽然速度受限于PCIe 2.0,但仍能提升老旧系统的性能,从SATA III升级到PCIe 2.0。此次更新可能并非有意为之,但为老平台带来了新的可能性。
Mark as Read
Mark as Unread
My quest to make motorcycle riding that tad bit safer
Source
作者开发了名为 BrakeBright 的智能刹车灯系统,旨在提高摩托车骑行安全。该系统能检测发动机制动减速并激活刹车灯,并在紧急制动时闪烁。文章讲述了 BrakeBright 的设计、原型制作、测试和迭代过程,包括使用运动传感器和微控制器,以及在实际骑行中遇到的挑战和改进。最终产品经过严格测试,并增加了固件更新功能。作者希望 BrakeBright 能被更多骑手使用,提升骑行安全。
Mark as Read
Mark as Unread
Migrating a JavaScript Project from Prettier and ESLint to BiomeJS
Source
文章介绍了将 JavaScript 项目从 Prettier 和 ESLint 迁移到 BiomeJS 的过程。BiomeJS 是一个集代码格式化和 linting 于一体的工具,旨在替代 Prettier 和 ESLint,提供更快的性能和更简化的配置。文章比较了 Biome 与 Prettier 和 ESLint 的差异,并提供了 Biome 的入门指南,包括配置、集成到代码编辑器、忽略错误、设置 pre-commit hook 和 CI 工作流等。最后,文章讨论了是否应该切换到 Biome,并指出其优势和局限性。
Mark as Read
Mark as Unread
文章介绍了 Zed 编辑器推出的 Agentic Editing 功能,这是一个基于 AI 的代码编辑工具。该功能允许用户通过 Agent Panel 与 AI 交互,完成代码修改、问题解答等任务。Zed 采用 Rust 编写,开源且注重隐私安全,用户可自定义模型和工具。Zed 提供免费使用和付费 Pro 计划,Pro 计划提供更多 AI 使用量。文章强调了 Zed 的目标是打造最佳代码编辑器,而非通过 AI 服务盈利。
Mark as Read
Mark as Unread
文章探讨了美国血液制品出口的规模。虽然此前有报道称血液制品占美国出口的2%,但作者通过分析美国贸易数据,指出实际情况更为复杂。根据2023年数据,直接使用血液的制品出口约占商品出口总额的0.53%。而考虑到可能含有血液的制品,如免疫制品和细胞治疗产品,作者估算总占比约为0.69%。文章强调了数据分析的复杂性,并指出该估算仍有一定的不确定性。
Mark as Read
Mark as Unread
Tabular (YC S24) Is Hiring
Source
Tabular (YC S24) 是一家位于柏林的初创公司,致力于开发 AI 会计助手。公司正在招聘创始工程师,提供 8万-12万欧元年薪,并提供股权。该职位面向不限经验者,要求参与构建核心架构,负责与客户沟通、建立后端系统、测试 AI 方法等。Tabular 获得了 Y Combinator 和其他投资者的种子轮融资,目前团队规模为 5 人。
Mark as Read
Mark as Unread
Zed: High-performance AI Code Editor
Source
文章介绍了 Zed,一款基于 Rust 构建的、开源的 AI 代码编辑器,号称是世界上最快的。它集成了 AI agent 功能,可以帮助程序员完成代码编辑、问题解答等任务。Zed 强调隐私和安全,默认不收集用户数据。用户可以选择不同的语言模型,包括自带 API 密钥或在本地运行。Zed 提供免费和付费计划,付费计划提供更多 AI 使用量。文章鼓励用户试用,并介绍了未来的发展计划,包括调试器、改进的协作以及 Windows 版本的发布。
Mark as Read
Mark as Unread
Show HN: Agents.erl (AI Agents in Erlang)
Source
该项目基于 Erlang 构建,提供了一个 OpenAI API Agent 框架,名为 `Agents.erl`。它具备分布式架构,通过动态 API 客户端生成、全面的 API 覆盖、容错机制、速率限制和流式支持等特性,实现了 AI Agent 的功能。核心架构采用分层监管树,方便管理和维护。用户可以通过简单的命令启动 Agent,运行带工具的 Agent,并自定义工具。此外,还支持直接访问 OpenAI API。项目使用 MIT 许可证,并提供了构建和运行的步骤。
Mark as Read
Mark as Unread
EPA Plans to Shut Down the Energy Star Program
Source
环境保护署(EPA)计划关闭 Energy Star 项目。
Mark as Read
Mark as Unread
Jury orders NSO to pay $167M for hacking WhatsApp users
Source
WhatsApp 因 NSO Group 利用漏洞入侵用户手机,获得 1.67 亿美元的惩罚性赔偿,以及 4.44 亿美元的补偿性赔偿。 NSO 通过“无需点击”的漏洞利用方式,向律师、记者等人权活动家等目标手机安装间谍软件 Pegasus。 WhatsApp 修复了漏洞并通知了用户。 此判决是对 NSO 的严厉驳斥,也为黑客攻击受害者及其技术提供商开创了先例,并揭露了 NSO 的一些做法。
Mark as Read
Mark as Unread
Creativity came to pass
Source
文章预言了AI时代创造力的消逝。起初,AI创作粗糙,但很快进步并取代人类创作,导致艺术家失业,创意产业衰落。AI生成的艺术品变得普遍,人们不再重视人类创作,技能退化。由于艺术家抵制AI抓取,人类创作的知识和价值观未被纳入AI训练,导致AI对艺术的理解失真。最终,艺术工具停产,艺术知识失传,AI成为唯一的“艺术”,而缺乏限制和挑战的AI世界扼杀了新一代的创造力。
Mark as Read
Mark as Unread
FTC bans hidden fees for live events and short-term rentals, effective May 12
Source
美国 Federal Trade Commission (FTC) 将于 5 月 12 日起实施新规,禁止现场活动、酒店和短期租赁中的隐藏费用。新规要求商家在广告中明确显示总价,包括所有已知费用,且总价的显示要比其他定价信息更醒目。该规则适用于现场活动门票销售商、酒店、Airbnb 等短期住宿提供商,以及第三方平台。新规还禁止“诱饵式定价”等行为,并要求商家提供关于费用的真实信息,避免使用模糊术语,例如“便利费”等。
Mark as Read
Mark as Unread
Why Bloat Is Still Software's Biggest Vulnerability (2024)
Source
文章指出软件膨胀是当前最大的安全漏洞。作者认为,软件安全问题源于代码量过大,导致攻击面增加,且依赖项管理混乱。文章回顾了软件安全现状,并指出当前商业模式下,安全投入与利润不成正比。作者呼吁精简软件,减少代码量和依赖,提高软件质量。最后,作者介绍了自己开发的精简图像共享工具 Trifecta,以此证明即使代码量少,也能实现功能。
Mark as Read
Mark as Unread
DEA Once Touted Body Cameras, Now Abandoning Them
Source
文章揭示了 Drug Enforcement Administration (DEA) 在四年后突然停止使用 Body Camera 的决定。DEA 称此举是为了与 Trump 撤销的行政命令保持一致,但未公开说明原因。尽管 DEA 曾大力宣传 Body Camera 的透明度,但此举引发担忧,前检察官认为这会增加特工工作难度。其他联邦机构如美国法警署和烟酒枪炮及爆炸物管理局仍在继续使用 Body Camera。文章还提到了 Body Camera 的资金投入、政策细节以及其对执法问责制和公众信任的影响。
Mark as Read
Mark as Unread
Alignment is not free: How model upgrades can silence your confidence signals
Source
文章探讨了模型升级对置信度信号的影响。作者发现,在从GPT-4o升级到GPT-4.1-mini后,模型的不确定性信号消失,导致难以检测违规内容。尽管尝试了多种方法恢复信号,均未成功。文章强调,模型升级并非单纯的性能提升,而是可能导致AI系统失效的分布偏移。因此,在升级模型时,需要记录原始数据,并采取替代安全措施,尤其是在使用闭源模型时。
Mark as Read
Mark as Unread
本文档是独立游戏 VVVVVV 的源代码,由 Terry Cavanagh 制作。文章提供了游戏源代码的 GitHub 链接,并介绍了游戏的主要贡献者。源代码包含桌面版和移动版,采用 ActionScript 和 C++ 等语言编写。文章还提供了游戏的许可证信息,并鼓励用户编译游戏供个人使用,但分发需遵守许可协议。
Mark as Read
Mark as Unread
Show HN: Whippy Term - GUI terminal for embedded development (Linux and Windows)
Source
Whippy Term 是一款面向嵌入式开发者的现代化 GUI 终端,支持 Linux 和 Windows 系统。它提供现代化的用户界面,具备书签、十六进制转储、插件扩展等功能。主要面向需要与设备通信的嵌入式开发者,支持串口、TCP/IP、UDP 等通信方式,并通过插件支持 I2C 和 SPI 协议。内置 ANSI 终端仿真,并原生支持二进制协议,方便与嵌入式设备和二进制协议交互。
Mark as Read
Mark as Unread
Sutton and Barto Book Implementation
Source
该项目是一个基于 Sutton 和 Barto 著作《Reinforcement Learning: An Introduction》中算法的 Python 实现。 仓库包含多种强化学习方法,如 Multi Armed Bandits、Model Based、Monte Carlo、Temporal Difference 等,并提供了示例代码。 项目通过 `setup.py` 安装,代码模块化组织,方便学习和参考。 欢迎贡献代码改进。
Mark as Read
Mark as Unread
Continue (YC S23) is hiring software engineers in San Francisco
Source
Continue (YC S23) 在旧金山招聘软件工程师,主要开发 AI 代码助手。 职位要求6年以上经验,精通 TypeScript、Node.js 和 React/Next.js,对 AI 工程或机器学习感兴趣。 薪资范围15万-20万美元,并提供股权。 工程师将参与核心产品指标优化、UI 细节掌控、抽象设计以及社区互动。 Continue 是一家开源 IDE 扩展公司,由 YC 资助,拥有大量 GitHub star 和下载量。
Mark as Read
Mark as Unread
AI focused on brain regions recreates what you're looking at (2024)
Source
通过专注于特定大脑区域,AI 能够根据猴子的脑部记录,以惊人的准确度重建其所看到的图像。研究表明,这种方法显著提高了图像重建的精度。专家认为,这是目前为止最接近、最准确的重建结果。
Mark as Read
Mark as Unread
iOS Kindle app now has a ‘get book’ button after changes to App Store rules
Source
由于苹果App Store规则调整,Amazon更新了iOS版Kindle应用。新版Kindle应用增加了“Get Book”按钮,用户可直接通过移动浏览器购买电子书。此前,为避免苹果抽成,用户需通过浏览器登录Amazon网站购买。这一更新简化了在iPhone上购买电子书的流程,尤其是在Kindle设备Wi-Fi连接不稳定的情况下。然而,苹果的上诉结果可能导致Amazon撤回此更新。
Mark as Read
Mark as Unread
India launches attack on 9 sites in Pakistan and Pakistani Jammu and Kashmir
Source
印度对巴基斯坦及其控制的克什米尔地区内的九个地点发动了袭击。
Mark as Read
Mark as Unread
The CL1: the first code deployable biological computer
Source
文章介绍了世界首个可部署代码的生物计算机 **CL1**。该设备将真实神经元与硅芯片结合,构建了与环境实时交互的闭环系统。**CL1** 允许用户直接连接神经元,部署代码,并进行研究,例如探索大脑功能、疾病机制等。它具有低功耗、自给自足、即插即用等特点,并提供了一种伦理上优于动物实验的替代方案。
Mark as Read
Mark as Unread
Claude's system prompt is over 24k tokens with tools
Source
文章披露了,`Claude` 的系统提示词(System Prompt)长度超过 24k tokens,并且包含了工具调用。文章展示了相关代码库的链接,提供了关于该系统提示词的更多信息。
Mark as Read
Mark as Unread
ACE-Step: A step towards music generation foundation model
Source
ACE-Step 是一个开源的音乐生成 Foundation Model,旨在解决现有音乐生成模型在速度、连贯性和可控性之间的权衡问题。它结合了扩散生成、Deep Compression AutoEncoder 和轻量级线性 Transformer,实现了快速的音乐合成,并提供了多种风格、语言和乐器支持。ACE-Step 具备变体生成、重新绘制和歌词编辑等可控功能,并提供了 Lyric2Vocal 和 Text2Samples 等应用。项目还计划推出 RapMachine 和 StemGen 等功能。该模型在硬件性能方面表现出色,并提供了详细的安装和使用指南,以及训练方法。
Mark as Read
Mark as Unread
Engineered adipocytes implantation suppresses tumor progression in cancer models
Source
该研究提出了一种名为脂肪操纵移植(AMT)的癌症治疗方法。通过基因工程改造脂肪细胞,使其更有效地利用葡萄糖和脂肪酸,从而“抢夺”肿瘤的营养供应,抑制肿瘤生长。研究发现,将工程化脂肪细胞与癌细胞或肿瘤模型共培养或移植,能显著抑制多种癌症的进展,包括乳腺癌和胰腺癌。此外,该方法具有可定制性,例如通过调控尿苷代谢来抑制特定类型的胰腺癌。
Mark as Read
Mark as Unread
Cell Mates: Extracting Useful Information from Tables for LLMs
Source
文章探讨了如何利用表格数据增强大型语言模型(LLM)的能力。目前,LLM在处理表格数据方面表现不足,主要障碍在于缺乏有效的表示方法。文章提出了一种三步管道:理解数据结构、学习提问类型、创建机械摘要(如均值、相关性等)并生成图表。该方法旨在从表格数据中提取有用信息,并可用于RAG系统,补充现有数据,例如科学论文和行政数据。
Mark as Read
Mark as Unread
TeleMessage, used by Trump officials, can access plaintext chat logs
Source
TeleMessage 提供的 TM SGNL 应用,是为特朗普政府官员定制的 Signal 修改版,但其安全性极低。该应用将用户的明文聊天记录存储在本地数据库,并通过后台服务定期上传到 TeleMessage 的存档服务器。这些服务器位于公共云上,可能被未加密地访问。分析代码表明,TM SGNL 绕过了 Signal 的端到端加密,将消息以明文形式发送到存档服务器,从而可能泄露聊天内容。黑客攻击事件也证实了该应用的安全漏洞。
Mark as Read
Mark as Unread
How "Night of the Living Dead" Accidentally Became Public Domain
Source
文章讲述了经典恐怖电影《活死人之夜》意外进入 Public Domain 的原因。由于发行商的疏忽,未在电影拷贝上贴上版权声明,导致该片可以被免费观看和传播。这一错误使得导演 George Romero 损失了数百万美元的收入。尽管如此,Public Domain 的特性也促进了该电影的广泛传播,使其成为备受推崇的经典之作。
Mark as Read
Mark as Unread
Will Supercapacitors Come to AI's Rescue?
Source
文章探讨了AI训练对电网造成的电力需求峰值挑战。由于AI工作负载的快速增长,数据中心对电力的需求波动剧烈,可能威胁电网稳定。为了解决这一问题,多家公司推出了超级电容器组方案。超级电容器能够快速充放电,在短时间内提供电力缓冲,平滑电网负载,避免电池的快速衰减。这种技术尤其适用于应对AI的瞬时电力峰值,并有助于电网更好地适应可再生能源的波动性。
Mark as Read
Mark as Unread
Brush (Bo(u)rn(e) RUsty SHell) a POSIX and Bash-Compatible Shell in Rust
Source
`brush` 是一个用 Rust 编写的、兼容 POSIX 和 bash 的 shell。 它在 Linux 和 macOS 上构建和测试,并提供对 Windows 的实验性支持。 `brush` 适用于交互式使用,能执行大多数 `sh` 和 `bash` 脚本,但目前存在一些已知限制,不建议在生产环境中使用。 项目欢迎贡献和反馈,可以通过 `cargo install --locked brush-shell` 或克隆仓库运行。 该项目使用 `reedline`、`clap` 等 crate,并提供了测试策略。
Mark as Read
Mark as Unread
When Abandoned Mines Collapse
Source
文章探讨了废弃矿井坍塌的力学原理及工程应对。由于早期采矿缺乏规划和监管,房柱式采矿留下的不稳定结构易受水、应力变化等因素影响,导致地面沉降和天坑。文章通过模型演示了坍塌过程,并指出沉降可能造成的危害。现代采矿技术有所改进,但仍需预测、测量和修复沉降。文章强调了解决历史遗留问题的重要性,以及在资源获取与环境保护之间寻求平衡的工程努力。
Mark as Read
Mark as Unread
A Taxonomy for Rendering Engines
Source
文章探讨了构建实时渲染引擎分类法的必要性,旨在为该领域提供更丰富的语境,促进技术交流和经验分享。作者提出了一个示例分类法,包含产品特性、生产流程和技术要求三个维度,每个维度下又细分了多个子项,例如引擎用户、平台支持、可扩展性需求等。文章强调了规模和用户的重要性,认为技术如果没有用户,价值将大打折扣。最终,作者鼓励从业者在讨论引擎架构时,更多地思考并展示与选择相关的语境描述符,而非盲目遵循固定标准,以适应行业发展趋势。
Mark as Read
Mark as Unread
Show HN: Feedsmith — Fast parser & generator for RSS, Atom, OPML feed namespaces
Source
这是一个名为 Feedsmith 的 JavaScript 库,用于快速解析和生成 RSS、Atom、JSON Feed、RDF 和 OPML 等 Feed 格式。它支持多种命名空间,如 Podcast、iTunes 和 Dublin Core。该库提供通用和格式特定的解析器,并能保持原始 feed 结构,同时提供标准化功能。Feedsmith 具有快速解析、类型安全 API、Tree-shakable 等特点,可在 Node.js 和现代浏览器中使用。它还支持 JSON Feed 和 OPML 的生成。基准测试表明其解析速度较快。
Mark as Read
Mark as Unread
GenAI-Accelerated TLA+ Challenge
Source
本次挑战赛由 TLA+ Foundation 与 NVIDIA 合作举办,旨在探索 GenAI 与 TLA+ 的结合。参赛者需开发利用 GenAI 提升形式化规范可用性、可访问性和自动化的工具、工作流程或方法。 奖品包括 RTX 5090 和 Github Copilot 订阅。 参赛作品将由 TLA+ Specification Language Committee 评审,重点评估功能、与 TLA+ 生态系统的相关性以及 AI 的使用。 提交作品需在 MIT 许可证下发布,并使用验证手段检查 AI 生成的内容。 提交截止日期为 2025 年 7 月 3 日。
Mark as Read
Mark as Unread
Matt Godbolt sold me on Rust by showing me C++
Source
文章作者受到 Matt Godbolt 关于 C++ 的演讲启发,通过对比 C++ 和 Rust 在处理类型安全和错误方面的差异,展示了 Rust 在避免常见编程错误上的优势。作者以 `sendOrder` 函数为例,详细阐述了 C++ 为了实现类型安全需要编写大量代码,而 Rust 则通过语言特性更容易地避免了这些问题。文章强调了 Rust 在设计上的优势,即使是初学者,也能通过 Rust 减少因错误导致的脑力消耗。
Mark as Read
Mark as Unread
Is Planet Nine Alone in the Outer System?
Source
文章探讨了太阳系外围可能存在一颗名为 Planet Nine 的行星。研究者通过分析 IRAS 和 AKARI 远红外线数据,寻找可能存在的候选天体,并发现了一对匹配的候选源。尽管无法确定其轨道,但这项研究为 Planet Nine 的搜寻提供了新的线索。文章还提到,对其他天体轨道的研究表明,可能存在影响其运行的引力,但现有观测结果与最初的 Planet Nine 假说存在差异。文章最后强调了对 Planet Nine 的持续探索,认为其是推动科学发展和激发想象力的动力。
Mark as Read
Mark as Unread
Curl: We still have not seen a single valid security report done with AI help
Source
文章表达了对使用 AI 辅助生成安全报告的强烈不满。作者要求提交关于 [#curl](https://www.linkedin.com/posts/) 安全报告的提交者声明是否使用 AI,并对 AI 生成的垃圾报告采取即时禁令。作者认为,目前尚未看到任何由 AI 辅助生成的有效安全报告,并将其视为一种浪费时间的 DDoS 攻击。
Mark as Read
Mark as Unread
A Brief History of Cursor's Tab-Completion
Source
文章讲述了 Cursor 收购 Babble 的故事,Babble 是市场上领先的 tab-completion 模型。 Babble 源于 Jacob Jackson 的 TabNine,通过编辑序列训练,优于传统的 Fill-in-the-Middle 方法。 Babble 拥有 1M 上下文窗口,在速度和范围上超越竞争对手。 Cursor 收购 Babble 提升了自身产品,并凭借数据优势在 AI 驱动的编码助手领域占据领先地位。
Mark as Read
Mark as Unread
Single hair-like electrode outperforms traditional 21-lead EEG
Source
宾夕法尼亚州立大学的研究人员开发了一种3D打印的单根发丝状电极,用于脑电图(EEG)监测。这种电极比传统21导联EEG更可靠,能更稳定地监测大脑活动,且佩戴更舒适。它通过3D打印的生物粘合剂固定在头皮上,不易移动,减少了信号干扰。该技术有望应用于消费者健康产品、心理健康监测和脑机接口(BCI)等领域。
Mark as Read
Mark as Unread
Show HN: Plexe – ML Models from a Prompt
Source
Plexe是一个通过Prompt构建机器学习模型的工具。用户可以用自然语言描述模型需求,Plexe利用多Agent架构自动构建模型,包括分析需求、规划、生成代码、测试评估和部署。它支持分布式训练、数据生成、Schema推断和多种LLM provider。用户可以通过Python库使用Plexe,并提供快速开始、特性、安装和文档等信息。
Mark as Read
Mark as Unread
Mass spectrometry method identifies pathogens within minutes instead of days
Source
慕尼黑工业大学和伦敦帝国理工学院的研究人员开发了一种基于 **mass spectrometry** 的新方法,可在数分钟内识别细菌,大幅缩短了传统诊断所需的时间。该方法通过检测组织和粪便样本中的细菌代谢产物,利用一个包含232种细菌物种及其代谢产物的 **database** 来实现快速识别。这种方法能检测多种重要病原体,为个性化医疗提供可能。研究人员计划进一步扩展 **database**,以实现该方法在临床实践中的广泛应用。
Mark as Read
Mark as Unread
Gemini 2.5 Pro Preview: even better coding performance
Source
Gemini 2.5 Pro Preview (I/O edition) 发布,重点提升编码能力。新版本在前端Web开发方面表现优异,在WebDev Arena排行榜上排名第一。该模型在代码转换、编辑和Agentic工作流方面也有改进。文章展示了其在视频转代码、功能开发和快速构建应用等方面的应用,例如根据YouTube视频创建交互式学习应用。开发者可以通过 Google AI Studio 和 Vertex AI 使用 Gemini 2.5 Pro,新版本还修复了函数调用错误,并提高了触发率。
Mark as Read
Mark as Unread
Show HN: Clippy, 90s UI for local LLMs
Source
文章介绍了名为 `Clippy` 的应用,它将 90 年代的 UI 风格与本地 LLM 结合。`Clippy` 允许用户在本地运行各种大型语言模型,提供简洁的聊天界面,无需复杂设置即可使用。它支持自定义模型、提示和参数,强调离线、本地、免费的特性。该项目是对经典 `Clippy` 和 Microsoft 90 年代设计的致敬,并提供了 macOS、Windows 和 Linux 的下载链接。
Mark as Read
Mark as Unread
Accents in Latent Spaces: How AI Hears Accent Strength in English
Source
文章介绍了如何使用 AI 模型感知英语口音强度。通过构建“口音指纹”并将其映射到潜在空间,模型能够区分不同口音的强弱。文章展示了该模型在口音辅导应用中的应用,例如评估学习者的进步、语音转换和降噪对口音的影响。研究表明,口音强度评估独立于母语,且可以通过练习改变。该技术可用于量化口音学习过程、评估语音识别系统性能以及监测文本转语音系统中的口音变化。
Mark as Read
Mark as Unread
Nnd – a TUI debugger alternative to GDB, LLDB
Source
文章介绍了一个名为 `nnd` 的 Linux 平台调试器,作为 `GDB` 和 `LLDB` 的替代方案。`nnd` 具有 TUI 界面,主要用 Rust 编写,强调速度快、UI 流畅。它适用于 x86 64 位原生代码调试,例如 C++ 和 Rust。`nnd` 具有一些限制,例如仅限 Linux、不支持远程调试和多进程。文章还提供了安装和构建方法,并说明了其开发状态和未来改进方向。
Mark as Read
Mark as Unread
Throwaway Code: Don't recycle, throw it away (2017)
Source
文章提倡使用“抛弃式代码”来解决编程难题。作者在学习 React 过程中,因调试问题耗时过多而停滞。通过实践 Dave Ceddia 提出的“抛弃式代码”方法,即为每个练习创建可丢弃的代码,作者快速构建了原型,解决了问题。核心观点是:遇到编码问题时,通过频繁编写并丢弃代码来练习,可以更高效地学习和解决问题。
Mark as Read
Mark as Unread
MTerrain: Optimized terrain system and editor for Godot
Source
该文章介绍了一个名为 MTerrain 的 GDExtension 插件,专为 Godot 引擎设计,用于创建高度优化的开放世界地形。MTerrain 具有八叉树 LOD 系统、地形着色器、与 Godot 导航系统集成、草地系统、路径系统和编辑器工具等功能,支持高达 16km x 16km 的地形。文章还提供了快速上手指南,包括构建方法和相关视频链接,并鼓励通过 Patreon 支持。
Mark as Read
Mark as Unread
Malaya's Timeless Design
Source
这篇文章探讨了马来亚邮票的设计,涵盖了多个方面。文章详细分析了邮票的设计元素,如建筑、字体、颜色和油墨,以及印刷技术。内容还涉及二战时期、英国军事管理时期和英国殖民地时期的邮票,并研究了马来各州的邮票。此外,文章还运用了多种科学分析方法,如扫描电子显微镜、傅里叶分析等,对邮票的纸张、油墨等进行深入研究。
Mark as Read
Mark as Unread
Show HN: Outpost – OSS infra for outbound webhooks and event destinations
Source
Outpost 是一个开源的自托管基础设施,用于处理出站 Webhooks 和事件目的地。它支持多种目标类型,包括 Webhooks、Hookdeck Event Gateway、Amazon EventBridge 等。Outpost 采用 Go 编写,具有低依赖性,并针对高吞吐量和低成本运行进行了优化。它提供事件主题、至少一次交付保证、事件扇出、重试机制、多租户支持、用户门户等功能。文章还提供了快速入门指南,教你如何使用 Docker 部署和测试 Outpost。
Mark as Read
Mark as Unread
Cuttlefish 'talk' with their arms, study reveals
Source
研究发现,Cuttlefish 通过手臂动作进行交流,形成一套名为“arm wave signs”的通信系统。研究人员观察到四种不同的手势:“up”、“side”、“roll”和“crown”,这些手势涉及特定的手臂姿势和运动,并可能结合皮肤颜色变化。Cuttlefish 不仅能通过视觉感知这些信号,还能通过水中的振动感知。它们对正向播放的视频和原始录音反应更强烈,表明这些信号具有意义。这种双通道通信系统可能利用了侧线和平衡囊。研究人员认为,这与脊椎动物的视听交流存在有趣的相似之处,并暗示这些手势可能在多种情境下发挥作用。
Mark as Read
Mark as Unread
OpenAI agrees to buy Windsurf for about $3B
Source
OpenAI 计划以约 30 亿美元收购 Windsurf。
Mark as Read
Mark as Unread
Taking the bite out of Lyme disease
Source
文章主要介绍了关于Lyme disease的新研究。**Northwestern University**的研究发现,抗生素piperacillin在低剂量下能有效治疗该病,且对肠道菌群影响小。研究还揭示了Lyme disease治疗后持续症状的原因:身体对细菌细胞壁残余物的反应。研究人员希望这些发现能促进更准确的检测和改进治疗方案。
Mark as Read
Mark as Unread
Propositions as Types [pdf]
Source
“类型即命题” (Propositions as Types) 揭示了编程语言类型系统与逻辑命题之间的深刻联系,即 Curry-Howard 对应。该对应关系指出:命题对应类型,证明对应程序,证明归约对应程序执行。这意味着,一个类型的值代表了对应命题的证明。例如,`Bool` 类型对应“真或假”,`A -> B` 对应蕴含关系。这种对应关系在类型安全编程、程序验证和自动化定理证明等领域有广泛应用,为构建更可靠的软件和解决数学问题提供了新视角,对理解类型系统至关重要。
Mark as Read
Mark as Unread
Memory-safe sudo to become the default in Ubuntu
Source
Ubuntu 25.10 将默认采用 **sudo-rs**,这是一个用 Rust 编写的内存安全版 `sudo` 工具。此举是 **Canonical** 提高核心系统组件安全性和可维护性的举措之一。**sudo-rs** 由 **Trifecta Tech Foundation (TTF)** 开发,旨在解决传统 `sudo` 存在的漏洞。为了推广,维护者将完成多项功能,并与现任 `sudo` 维护者合作。目标是让用户无需更改工作流程即可使用。此举为最终用户测试提供了时间,并为下一个长期支持版本(Ubuntu 26.04 LTS)的发布做好准备。
Mark as Read
Mark as Unread
Shape and topology morphing of closed surfaces integrating origami and kirigami
Source
文章提出了一种结合 **Origami** 和 **Kirigami** 原理,实现封闭曲面形状和拓扑形变的平台。该平台通过协调面板的旋转,使 **Origami-Kirigami** 组合体能够在立方体和球体之间形变、不同大小的球体之间缩放,以及在球体和圆环之间改变拓扑结构,并具有可编程的双稳态。研究采用两阶段设计策略,先实现几何兼容性,再确定旋转关节方向以实现双稳态。该框架为设计具有封闭构型的双稳态可重构结构和超材料提供了新思路。
Mark as Read
Mark as Unread
Getting things "done" in large tech companies
Source
在大型科技公司中,"Getting things done" 并非简单指完成任务,而是指**完成**并**获得公司管理层的认可**。文章指出,持续改进并非目标,工程师应将工作推进到管理层满意程度,然后转向其他任务。 关键在于,工作要**对管理层可理解**,例如能产生或节省资金的项目。 许多工程师容易陷入无休止的改进,而忽略了交付成果。 最终,"Getting things done" 意味着让管理层理解并满意,这比技术细节更重要。
Mark as Read
Mark as Unread
Scientists taught parrots to video call each other, and the birds loved it
Source
科学家们教宠物鹦鹉使用 Video Call 互相交流,结果它们很喜欢这种方式。研究发现,鹦鹉们通过视频通话建立了友谊,甚至学会了新技能。这项研究表明,Video Call 可以改善圈养鹦鹉的生活,缓解它们的孤独感。但研究人员也提醒,未经训练的随意视频互动可能适得其反,需要谨慎操作。
Mark as Read
Mark as Unread
Inheritance was invented as a performance hack
Source
文章追溯了`inheritance`(继承)的起源,它并非为了代码复用,而是源于性能考量。`Simula`语言发明`inheritance`是为了简化其简陋的垃圾回收器,并支持`intrusive lists`(侵入式链表),以节省内存。由于`Simula`的垃圾回收器限制,无法使用`composition`(组合),因此发明了`inheritance`。`inheritance`允许对象继承自`intrusive list`节点,简化了`intrusive lists`的使用。文章最后指出,虽然`inheritance`在现代被用于代码复用,但作者更倾向于使用`composition`和`modules`。
Mark as Read
Mark as Unread
NSA spied through Angry Birds, other apps: report (2014)
Source
根据 Edward Snowden 泄露的文件,NSA 通过 Angry Birds 等 App 收集用户个人数据。这些 App 涵盖地图、游戏和社交网络等,涉及全球数亿部智能手机。情报机构可以获取位置、政治倾向等详细信息。虽然 NSA 否认针对普通美国人,但文件显示情报部门能轻易访问 App 数据。GCHQ 也参与其中,表明日常软件可能被用作间谍工具。
Mark as Read
Mark as Unread
Show HN: AnuDB– Backed on RocksDB, 279x Faster Than SQLite in Parallel Workloads
Source
AnuDB 是一个基于 RocksDB 的轻量级、无服务器文档数据库,专为 C++ 应用设计,使用 MessagePack 序列化 JSON 文档。它提供嵌入式、无模式的存储方案,支持灵活查询和索引。AnuDB 继承 RocksDB 的事务特性,并支持 ZSTD 压缩。它还集成了 MQTT 接口,方便实时数据通信。性能方面,AnuDB 在并行工作负载中表现优异,并提供 Docker 支持。该项目包含丰富的 API 和示例,方便用户快速上手。
Mark as Read
Mark as Unread
FTC rule on unfair or deceptive fees to take effect on May 12
Source
FTC发布关于不公平或欺骗性收费规则的常见问题解答,旨在帮助消费者和企业理解该规则。该规则将于2025年5月12日生效,主要禁止诱饵开关定价等误导性收费行为,尤其针对现场活动票务和短期住宿行业。规则要求企业提前告知消费者总价和费用,以提高价格透明度。FAQs提供了关于规则适用范围、强制性费用、信息披露等方面的指导。
Mark as Read
Mark as Unread
The Turkish İ Problem and Why You Should Care (2012)
Source
文章讨论了土耳其语中字母“İ”的大小写问题,它与英语不同,可能导致程序在处理字符串比较时出现错误。即使应用程序只支持英语,也可能受到影响。文章建议使用 `StringComparison.Ordinal` 或 `StringComparison.OrdinalIgnoreCase` 进行字符串比较,并推荐使用代码分析工具(如 FxCop)来检测和避免此类问题,提高代码质量和安全性。
Mark as Read
Mark as Unread
Hyper – Outperform React on every metric
Source
文章介绍了 Hyper,一个旨在超越 React 的用户界面构建语言。Hyper 强调简单性和极简主义,通过更简洁的 HTML 语法,减少样板代码,实现更易于维护和扩展的组件。文章对比了 React 和 Hyper 在简单组件、复杂组件和可复用组件上的差异,指出 Hyper 在代码量、抽象层和编译需求上都优于 React。Hyper 最终目标是构建一个极其简单的堆栈,并计划通过全栈应用和生成式 UI 来实现。
Mark as Read
Mark as Unread
Gorilla study reveals complex pros and cons of friendship
Source
一项针对野生山地大猩猩的长期研究揭示了友谊的复杂性。研究表明,友谊对大猩猩的健康和繁殖有不同的影响,取决于群体规模、性别等因素。例如,小群体中友好的雌性更健康但后代少,而大群体中的雌性则相反。雄性方面,紧密的社会关系可能增加患病风险,但减少受伤可能。研究强调了“最佳”社交类型因个体情况而异,并指出社会环境是健康和寿命的重要影响因素。
Mark as Read
Mark as Unread
DoorDash to acquire Deliveroo
Source
DoorDash 将以 39 亿美元收购英国食品配送公司 Deliveroo。Deliveroo 董事会已接受 DoorDash 的收购要约,每股 180 便士。此次收购对 Deliveroo 的估值为 29 亿英镑。对 DoorDash 而言,此举是继 2022 年收购 Wolt 后,再次发力海外市场。Deliveroo 在伦敦上市后股价表现不佳,此次交易标志着其作为上市公司的终结。
Mark as Read
Mark as Unread
Sneakers (1992) – 4K Restoration
Source
文章介绍了 1992 年电影《球鞋战士》的 4K 修复版蓝光碟。该版本由 Kino Lorber 发行,画质和音质均获高分评价,特别是视频的 4K 修复带来了显著提升。蓝光碟包含多种音轨和字幕,并附带导演和演员的评论、纪录片和预告片等额外内容。文章还提供了对电影剧情的简要介绍,并推荐了该蓝光版本。
Mark as Read
Mark as Unread
The curse of knowing how, or; fixing everything
Source
文章探讨了程序员因技术能力而产生的“修复一切”的冲动,以及由此带来的困境。作者认为,掌握技术能力后,会发现软件的各种问题,并产生改进的欲望,但无休止的修复和重构最终会导致倦怠。文章强调,真正的技能在于辨别哪些问题值得解决,学会放手,而不是试图修复所有问题。最终,作者认为,学会“让事情保持破碎”是程序员需要掌握的最重要的技能。
Mark as Read
Mark as Unread
An Interactive Debugger for Rust Trait Errors
Source
文章介绍了针对 Rust 中 trait 错误开发的交互式调试器 Argus。由于 Rust 的 trait 系统复杂,错误信息难以理解,Argus 通过 GUI 界面,允许开发者逐步探索推断树,从而更有效地定位错误。研究表明,使用 Argus 能显著提高开发者定位 trait 错误的速度。Argus 作为 VSCode 扩展提供,源代码可在 GitHub 上找到。
Mark as Read
Mark as Unread
Wrapping Paper Turns All Your Presents into Bread
Source
文章介绍了一款概念性的Wrapping Paper,由设计师[Ippei Tsujio](https://spoon-tamago.com/bread-wrapping-paper/ )设计,其外观模仿面包,能将礼物伪装成法棍、恰巴塔等面包。这种设计利用棕色调、面粉质感和手工痕迹,营造出逼真的面包外观。目前该产品仍处于概念阶段,尚未投入生产。
Mark as Read
Mark as Unread
RSC for Astro Developers
Source
文章对比了 Astro 组件和 React Server Components (RSC) 的异同,并为 Astro 开发者提供了 RSC 的入门指南。Astro 中,Astro 组件在服务器端运行,Client Islands 用于交互。RSC 中,Server Components 和 Client Components 分别对应 Astro 的两种组件。RSC 使用 `'use client'` 指令区分服务器和客户端代码。RSC 允许共享组件,提供更流畅的交互体验,并支持类似 SPA 的导航。尽管 RSC 学习曲线较陡峭,但它解决了 Astro 的一些局限性,并提供了更强大的功能。RSC 是全栈 React,可以作为框架的构建块。
Mark as Read
Mark as Unread
An Appeal to Apple from Anukari: one tiny macOS detail to make Anukari fast
Source
作者 Anukari 发现其 3D 物理合成器在 macOS 上因 GPU 时钟频率管理问题导致性能不稳定。由于 macOS 对 GPU 负载的判断机制不适用于 Anukari 这种实时音频处理应用,导致 GPU 时钟频率无法维持在最高状态。作者通过“浪费加速”策略(运行额外负载)来规避此问题,但该方法在部分硬件上效果不佳。文章呼吁 Apple 改进 macOS,例如将 Audio Workgroup 概念扩展到 GPU 处理,或在 Metal API 中提供实时敏感度选项,以确保 Anukari 在所有 macOS 设备上的稳定性能。
Mark as Read
Mark as Unread
Keeping Open WebUI Free, Fair, and Sustainable
Source
为了维护 Open WebUI 的自由、公平和可持续性,项目引入了基于 BSD-3 许可证的品牌保护条款。自 v0.6.6 版本起,用户仍可免费使用、修改和分发,但需保留品牌标识,除非满足用户量少于50人、贡献者并获得许可或拥有企业许可证这三种情况。此举旨在防止不良行为者剥削项目成果,维护社区精神,并鼓励贡献。对于企业用户,可联系获取专有或企业许可证。
Mark as Read
Mark as Unread
文章介绍了一个关键 CSS (Critical CSS) 生成器,它提取网页首屏所需的最小 CSS 规则集,并将其内联到 HTML 中。这样做可以加快页面渲染速度,提升性能和 SEO,改善用户体验。使用方法包括:将生成的 CSS 粘贴到 `` 的 `