每日HackerNews RSS

目录 | 符号索引 Common Lisp 元规范 由 ANSI Common Lisp 标准草案(X3J13R 文档 94-101R)的 TeX 源文件渲染而成。 致谢 引言 语法 求值与编译 类型与类 数据与控制流 迭代 对象 结构 条件 符号 包 数字 字符 列表 (Conses) 数组 字符串 序列 哈希表 文件名 文件 流 打印机 读取器 系统构建 环境 术语表 附录 关于元规范 | 所有定义名称索引 | 勘误表 | 增补内容 | X3J13 清理议题 目录 | 符号索引 由 ANSI Common Lisp 标准草案修订版 15.17R (X3J13/94-101R) [sdoc 1.0.4] 的 TeX 源文件于 2026-06-22T14:20:41Z 渲染而成。

开发者 dlowe-net 推出了 **Metaspec**,这是一项开源计划,旨在将 Common Lisp ANSI 规范从原本难以解析的 TeX 格式转换为通用的、机器可读的 S-expression 格式,并配有 HTML 渲染版本。 相较于传统的 Common Lisp Hyperspec,其主要改进包括: * **可访问性:** 可以自由修改和分发。 * **结构化数据:** S-expression 中间格式非常适合开发人员构建查找工具或二次应用程序。 * **现代特性:** 文档采用 MathML 处理公式,支持浅色/深色模式,并提供了改进的可搜索界面。 * **内容完整性:** 该项目整合了超过 145 项基于勘误表的补丁,补全了之前缺失的附录和致谢部分,并保留了原始的 TeX 注释和参考文献。 Metaspec 旨在为 Common Lisp 社区提供一个更实用、更准确且对开发者更友好的标准版本。该项目托管在 Codeberg 上。

Bashblog 是一款极简的单文件 Bash 脚本,专为轻松搭建博客而设计。它利用公共服务器文件夹和标准的 Unix 工具,无需复杂的安装、数据库或依赖项。它开箱即用,支持 Linux、BSD 和 macOS,并严格遵循 Unix 哲学。 使用时,只需下载 `bb.sh`,配置相关设置,然后输入 `./bb.sh post` 即可开始撰写。脚本会自动处理后续所有工作,包括生成 HTML 页面、RSS 订阅源和索引。它支持 Markdown、草稿、文章预览、标签/分类管理以及自定义页眉页脚。尽管体量轻盈,但功能丰富,支持集成 Disqus、Twitter 和 Google Analytics。 配置灵活:用户既可以直接修改脚本,也可以使用 `.config` 文件覆盖设置,而无需触碰核心代码。所有生成的内容均为静态,确保了高性能与安全性。对于偏好通过命令行进行网页发布的用户来说,Bashblog 是一款成熟且维护良好的工具。

Hacker News新帖 | 往期 | 评论 | 提问 | 展示 | 招聘 | 投稿登录Bashblog – 一个用于创建博客的单个bash脚本 (github.com/cfenollosa)6 分,由 ludicrousdispla 发布于 1 小时前 | 隐藏 | 往期 | 收藏 | 讨论 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

2020 年,作者在三个月的休假期间彻底改变了他们的音乐制作方式。此前,他们认为创作音乐是一件依赖灵感的稀缺之事,很少能真正完成一张专辑。为了充分利用假期,作者采用了一套严谨、系统且“官僚化”的流程,将制作视为一系列可重复的机械“杂活”。 通过与在线社区合作并专注于高强度的产出(有时一天能完成三首歌),作者不再依赖运气或情感满足。这种庞大的工作量迫使他们以客观的态度审视作品,从而能够在没有完美主义或感伤包袱的情况下进行编辑和提炼。 最终,作者发现将创作过程专业化,并对劳动过程“习以为常”,使他们突破了创作瓶颈。通过将音乐视为一种有纪律的日常惯例而非难以捉摸的艺术形式,他们成功地将爱好转化为一种可持续、高产出的实践,即便在有全职工作的情况下也能持续运作。

在这篇讨论帖中,一位 Hacker News 用户反思了自己作为音乐人在创作产出上的转变。虽然许多业余爱好者在疫情期间通过增加创作来缓解压力,但作者指出,他们在疫情过后的创作势头有所放缓。 然而最近,他们通过利用 AI 工具找到了一种可持续的“中间地带”。通过将音频工程中重复且繁琐的工作交给 AI 处理,他们能够在不妥协艺术构想的前提下,快速制作出专业水准的混音作品。这种工作流程使用户能够专注于核心创作要素——如作曲、编曲和演奏技巧,通过科技加速创作过程,从而有效地兼顾制作人和表演者的双重身份。

人类的认知能力有着根本性的局限:我们的工作记忆一次只能处理约四项内容,我们的注意力范围狭窄且容易产生“无意视盲”,我们的专注力也稍纵即逝。然而,软件工程师却试图构建远超这些认知容量、庞大且复杂的系统。 业界往往将系统故障归咎于“人为错误”,但这是一种误解。当系统要求操作者在脑中维持复杂的多层状态时——这是一项没有任何人能可靠完成的任务——该系统本身就存在缺陷。即便是现代人工智能模型也受限于类似的瓶颈,展现出与疲惫的人类同样的“迷失在中间”的失效问题。 现实情况是,大脑与系统之间的鸿沟是一种长期存在的状态,而非可以通过超越来解决的挑战。因此,高效的工程设计并非为了寻找“更强大”的大脑,而是为了让系统去适应有限的人类认知。通过使用精确的命名、清晰的边界、自动化测试以及可撤销的操作,我们将心理负担从大脑转移到了软件本身的结构中。为我们的认知局限而设计并不会降低卓越的上限,相反,它为所有人构建了一个更稳健、更易用且更安全的基石。

Hacker News 最新 | 往日 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 系统形态 - 有限认知下的工程设计 (shapeofthesystem.com) 7 点,由 supermatt 在 1 小时前发布 | 隐藏 | 往日 | 收藏 | 讨论 | 帮助 社区准则 | 常见问题 | 列表 | API | 安全 | 法律 | 加入 YC | 联系我们 搜索:

Wayfinder 是一个确定性的、优先离线运行的提示词路由工具。它根据提示词的复杂程度,而非外部模型调用,将请求分发至本地或云端大模型。通过分析提示词的结构(如长度、标题、列表、代码和约束条件),Wayfinder 能在微秒级完成复杂性评分。这种基于结构的方法消除了传统“评估模型路由”所带来的延迟、随机性和高额成本。 为了确保透明度和可控性,Wayfinder 允许用户通过内置的命令行界面(CLI)和网页界面,根据实际流量对阈值进行校准。它充当了一个兼容 OpenAI 的网关,无需更改现有的客户端应用或 IDE;只需将 `base_url` 指向 Wayfinder,它即可处理路由逻辑,并报告性能和成本节约指标。 主要功能包括: * **零模型调用**:路由决策通过本地可配置逻辑完成,确保过程快速且隐私。 * **灵活性**:支持二元阈值、多模型分层或定制化分类器。 * **隐私性**:API 密钥在环境变量中管理,绝不存储于配置文件中。 * **易于集成**:适用于任何兼容 OpenAI 的客户端,支持请求固定、故障转移、熔断机制及预算上限设置。 Wayfinder 提供了相应的工具,帮助用户避免为简单任务支付高昂费用,确保仅在必要时才使用昂贵的模型。

```Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 Wayfinder Router:在本地与云端大模型之间进行确定性查询路由 (github.com/itsthelore) 6 分,handfuloflight 发布于 29 分钟前 | 隐藏 | 过往 | 收藏 | 讨论 | 帮助 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索:```

403 禁止访问 nginx

Hacker News 最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 提交 登录 古老的泥板表明:市场在经济学家解释其运作原理的四千年前就已经存在 (thedailyeconomy.org) 7 分,由 NaOH 发布于 2 小时前 | 隐藏 | 过往 | 收藏 | 1 条评论 | 帮助 spudlyo 3 分钟前 [–] 令人感兴趣的是,青铜时代的商业贸易竟然已经如此复杂。考虑到那块著名的关于伊亚-纳西尔(Ea-nāṣir)的楔形文字泥板投诉——内容是关于收到劣质铜锭以及仆人受到无礼对待——这似乎也不足为奇。[0] [0]: https://en.wikipedia.org/wiki/Complaint_tablet_to_Ea-n%C4%81... 回复 指南 | 常见问题解答 | 列表 | API | 安全 | 法律 | 加入 YC | 联系 搜索:

您好,您似乎没有提供需要翻译的文本。请将您希望翻译的内容发送给我,我会为您提供对应的中文翻译。

```Hacker News新帖 | 往期 | 评论 | 提问 | 展示 | 招聘 | 投稿登录我构建了一个 100% 本地化的网络隐私设备,以阻止智能家居监视 (edgedefenseai.com)7 个积分,由 arundass 发布于 2 小时前 | 隐藏 | 往期 | 收藏 | 1 条评论 帮助 Wasparrow 2 小时前 | 下一条 [–] 太棒了!智能家居隐私是目前一个巨大的问题,100% 本地化绝对是正确的方向。作为一名正在用 Rust 构建云代理网格的 16 岁开发者,我一直对底层的网络流量操纵和安全性很感兴趣。在低端设备上本地解析流量时,你是否遇到过性能瓶颈,或者为此编写了专门的优化?很高兴看到你做出了这个开源且注重隐私的项目!回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

福特汽车重新聘用了 350 多名资深工程师(内部戏称为“灰胡子”),以纠正因过度依赖人工智能检测系统而导致的质量控制失误。在公司的自动化策略导致数十亿美元的损失和大规模召回问题后,高管们承认,人工智能缺乏识别复杂设计缺陷所需的细腻判断力。 这些经验丰富的工程师目前负责进行人工质量审查并培训公司的人工智能系统。这种以人为本的转变已经取得了成效:福特近期在 16 年来首次位居 J.D. Power 新车质量研究(IQS)榜首。 尽管由于遗留问题,福特目前仍是美国召回数量最多的汽车制造商,但管理层坚持认为这种策略转型正在奏效。福特并不打算放弃人工智能,而是转向一种混合模式,即在资深员工的专业知识和直觉支持下,将技术作为一种辅助工具。

最近的一场 Hacker News 讨论揭示了福特汽车在优先发展人工智能而非人力资源后所面临的挑战。评论者认为,企业领导层目前沉迷于“AI 可以取代人类专业知识”的“狂热幻梦”中,往往将其视为万能方案,而非仅仅是一个辅助工具。 回顾福特的发展历程,用户们指出,该公司过去对“质量第一”的承诺在过去二十年中已大幅减弱,导致竞争对手超越,品牌忠诚度也随之下降。论坛中的共识是,许多公司目前过度执着于速度和自动化,错误地将高产出置于可持续的质量之上。这次讨论提供了一个警示:以人工智能取代熟练的人类员工,往往会导致系统性故障,并削弱最初推动公司成功的核心产品质量。

2017年,野生动物摄影师穆罕默德·阿尔蒙塔西尔(Mohammed Almuntasir)在利比亚西南部拍摄到了沙丘猫的影像,为这种行踪诡秘的物种在该国的存在提供了首份实物证据。这种猫常被称为“沙漠幽灵”,长期以来一直有传言称其栖息于该地区,但此前始终缺乏确凿证据。 阿尔蒙塔西尔与动物学家菲拉斯·海德(Firas Hayder)合作,开展了一项为期八年的远程主导研究。尽管在地形崎岖且冲突频发的地区考察十分危险,但研究团队与当地图阿雷格人社区合作,在利比亚撒哈拉沙漠追踪了这些动物。他们的研究发表在《干旱环境杂志》(*Journal of Arid Environments*)上,证实了沙丘猫在13个地点有分布,揭示了该地区是这一物种的重要栖息地。该研究还记录了撒哈拉臭鼬在8个新地点的存在。 这些发现凸显了利比亚沙漠此前鲜为人知的生物多样性。然而,研究人员警告称,这些猫正面临非法宠物贸易和意外捕猎的持续威胁。他们强调,建立保护工作并提升当地居民的意识,对于保护这些适应沙漠环境的物种,以及确保利比亚独特且尚待探索的生态系统的长期健康至关重要。

```Hacker News最新 | 过往 | 评论 | 提问 | 展示 | 招聘 | 投稿登录一个 YouTube 视频如何意外证明了利比亚沙猫确实存在 (theguardian.com)19 点 由 n1b0m 1 小时前发布 | 隐藏 | 过往 | 收藏 | 1 条评论 帮助 toomuchtodo 1 小时前 [–] https://www.youtube.com/watch?v=eWLD9g73HLk回复 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系 搜索: ```

ClickHouse Cloud 推出了 **WAL-RUS**,这是一款基于 Rust 开发的开源工具,用于 PostgreSQL 的备份和 WAL 归档。尽管广泛使用的 WAL-G 非常可靠,但其基于 Go 的架构依赖于垃圾回收机制,会导致不可预测的“锯齿状”内存模式和较高的虚拟内存消耗。这种不可预测性迫使运维人员必须过度配置资源,而这些资源本可用于数据库本身。 WAL-RUS 的设计旨在通过以下优势解决这些运维挑战: * **可预测的内存使用**:利用 Rust 的手动内存管理,WAL-RUS 将峰值虚拟内存消耗比 WAL-G 降低了 70% 以上。 * **守护进程架构**:它通过保持持久连接来实现连续、高性能的流式传输,避免了频繁创建新进程带来的开销。 * **无缝兼容性**:WAL-RUS 完全兼容 WAL-G 的配置和归档格式,支持轻松迁移。 WAL-RUS 专为资源受限的环境打造,在不牺牲功能的前提下提供了稳定、高效的性能。它目前支持 ClickHouse Cloud 的托管 PostgreSQL 服务,并作为一个欢迎社区协作的开源项目持续发展。

抱歉。

更多

联系我们 contact @ memedata.com