Micron 是一种系统编程语言，结合了 Oberon 的模块化与严格性以及 C 的灵活性，支持引导代码、驱动程序、内核、应用程序和直接 C 调用。它使用 0–5 级语言级别来控制可用特性并防止不安全依赖。项目包含编译器、解释器和 IDE，并提供许多迁移的基准测试、操作系统示例和一本教科书。Micron 支持泛型、内联、编译时过程和 Pascal 风格运算符；保留字存在小写和大写形式。编译器和解释器已就绪，而原生后端和 C 转译器仍在进行中；后端大多基于栈。它可使用 LeanQt/BUSY 或 Qt 5 构建，并提供预编译系统。Micron 采用 GPL 2/3 许可，运行时和 Oakwood 库也可在 MPL 或 LGPL 下获得。
每日HackerNews RSS
Micron（“MicroOberon”）是 Rochus Keller 开发的一种精简、静态类型、模块化的系统语言，它融合了 Oberon 的简洁性与 C 的底层能力。它旨在支持引导代码、驱动程序、内核和应用程序，不使用垃圾回收器或不安全的系统方言，提供显式内存布局、有符号/无符号整数、指针操作和直接 C 调用。其“语言级别”允许模块声明所需能力，并仅导入同等或更低级别的模块，防止意外依赖（如堆分配）。其他特性包括泛型、结构化接口和编译时过程。编译器、解释器、IDE 和教科书均已存在；示例包括 Smalltalk-80、Scheme 9、P4 Pascal 和 Project Oberon 的移植，包括一个 RISC-V 系统。原生后端仍在进行中。评论者称赞了全面的工作和示例，讨论了 Oberon 的传承，并就 Pascal 风格的顶层声明和单遍编译速度进行了辩论。
百倍开发者 100x Developers
16 小时前
作者认为"100倍开发者"的说法被夸大且不切实际，尤其在企业环境中。虽然AI可以在特定狭窄场景下产生巨大倍率——如新手、微小任务或衡量任务影响——但大多数此类说法都来自没有代码债务、代码审查或利益相关者的单人、低摩擦项目。真正的企业工作涉及协作、遗留代码和限制收益的人类流程。在团队中，2倍的提升已经很出色；10倍是罕见的，100倍基本上不可能。作者安慰开发者不必因未能达到这些虚高的数字而焦虑，并专注于现实、可持续的进步。
Hacker News 的评论者讨论关于“100 倍开发者”的说法，尤其是在 AI 的背景下。他们指出，最初的 10 倍概念比较的是特定任务中表现最好与最差的开发者，而现代用法很模糊：是一个开发者与一个团队相比，还是与普通开发者相比。有人举出小型精锐团队胜过大型组织的例子，如 WhatsApp 与 Facebook Messenger。其他人对 AI 生产力的说法持怀疑态度，认为这些说法依赖拉取请求等输入指标，而非业务成果，且一些报告的收益被夸大。评论者还争论低技能开发者是否从 AI 中受益更多、按地区调整的薪酬是否重要，以及极端倍数是否合理。总体而言，该帖混杂了轶事、玩笑和对衡量开发者生产力的疑虑。
最大内积搜索（MIPS）是检索的核心，但穷举比较代价高。传统近似方法与查询无关，可能错过匹配。本工作通过离线训练小型神经网络，为固定键数据库和已知查询分布摊销 MIPS。SupportNet 学习簇支持函数，比基于质心的分区更好地路由查询，以更低延迟提升路由召回。KeyNet 预测最佳匹配键，并可重写标准 IVF 索引的查询，降低搜索成本并提升召回。Natural Questions 上的实验表明，学习得到的路由器和搜索器在延迟和扫描预算下优于基线。SupportNet 适合校准分数或紧计算，KeyNet 适合快速键近似。大型系统可将两者结合。总体而言，将 MIPS 解编码到网络权重中，以前期训练换取高效、查询特定的检索。
Hacker News 的讨论聚焦于苹果关于 RAG 更快检索的帖子。评论者争论学习型检索方法是否主要在超大规模场景下才有意义，而由 LLM 驱动的更简单的 BM25 或基于 grep 的搜索在较小数据集上往往表现更好。其他人指出检索可能给模型带来偏见，嵌入/BERT 方法在代码库上可能不如 grep，苹果可能利用此类研究来加强本地化、私密 AI 和 Siri。总体而言，该帖突出了速度、规模、相关性和模型能力之间的权衡。
叙述者回忆在2000年代初与 Tim 在 Python Labs 共事。Tim 是 Guido 传奇的早期 Python 协作者、把关者与润色者，也是《Python 之禅》的作者。他谦逊、温暖、聪慧，虽无装腔作势，却激励了叙述者。他一度修复了关键数据库错误，挽救了一个重要客户。作为 2001 至 2014 年的 Python Software Foundation 董事，他帮助 Python 成长为主流语言。他的幽默、精准与善良塑造了 Python 文化，也塑造了叙述者自身的开源领导力。在悲伤中。
Hacker News 帖子宣布 Python 基础贡献者 Tim Peters 去世。评论者记住他是《Python 之禅》（`import this`）的共同作者、Timsort 的创造者、SpamBayes 和 Python 核心的贡献者，以及长期的 Python 软件基金会董事。许多人分享关于他的幽默、耐心、技术深度以及对编程哲学影响的个人轶事。其他人讨论《Python 之禅》的原则、复杂与繁琐、Python 的演进，以及他在 Stack Overflow/Usenet 的帮助。一些评论还重新提到他被 Python 领导层停职的相关争议，批评流程并支持 Peters。链接包括 Guido 的公告、Wikipedia 和悼念。该帖大部分是悼念，混合技术欣赏与社区辩论。
本混合方法研究探讨了Reddit用户迁移如何影响Lemmy这一去中心化论坛类平台。增长数据显示，注册激增与Reddit的API变更及黑屏抗议相关，用户集中于lemmy.world和lemmy.ml等主要实例，表明去中心化中出现中心化趋势。对48,272条评论的VADER情感分析发现，对Lemmy和迁移主要持积极看法，同时批评Reddit，并抱怨技术问题或较小社区。对354名用户的调查显示，迁移主要由对Reddit政策/API变更的不满和对替代品的渴望驱动；许多用户适应容易，每日使用Lemmy，并打算长期继续使用。16名用户的访谈提供了关于社区响应、去中心化、功能偏好和缺失Reddit内容的细致视角。总体而言，Lemmy表现出较强的适应能力和用户承诺，但面临技术缺陷、联邦复杂性、内容多样性及中心化趋势等挑战。未来工作应关注审核工具、实例可持续性及长期社区增长。
Hacker News 上的一个帖子讨论了一篇关于 Reddit 迁移对 Lemmy 影响的论文。用户们争论 Lemmy 是否能匹配 Reddit 的小众社区。有人说 Lemmy 政治色彩浓厚，文化因实例而异，还有 tankie 观点；其他人喜欢 programming.dev 作为类似 Reddit 的替代品。评论者指出 Reddit 的 subreddit 网络效应使迁移变得困难，而 Reddit 的 UX 变更、机器人和版主让用户体验感到挫败。有些人报告 Lemmy 有规模较小但够用的社区，内容量低；其他人抱怨联邦化问题、重复社区、取消联邦和维护问题。更广泛的关注包括老论坛的衰落、手机驱动的低质量讨论、机器人普遍性以及维持新平台的困难。少数用户仍然每天使用 Lemmy 或管理小社区。总体而言，迁移是喜忧参半：Lemmy 提供熟悉的 threaded 讨论但缺乏 Reddit 的规模和稳定性，而 Reddit 尽管体验变差却仍然有黏性。
flatpoints 将采样于未知曲面的三维点云展平为一个或两个方形像素网格，每个点对应一个像素，并将空间相邻的点放置在相邻像素中。这样，附着的点数据——坐标、法线、颜色、特征——可以变为图像，从而能够使用卷积、插值、压缩和重采样等标准二维工具。它通过将曲面切割成半球并进行剪切以消除残余闭合性，来处理开放或封闭曲面。用户可以从点创建 Flat 对象，可选地附带网格，检查像素索引，将数据转换为图像，绘图，进行均匀重采样，并通过 SVD、DCT 或小波压缩点云。该方法基于几何图像和矩形共形映射。可通过 pip 获取，并提供可选的可视化和压缩依赖。
Show HN 提出了一种将 3D 点云展平为 2D 几何图像的方法，使不规则点数据可以在规则网格上表示，从而更易于集成到机器学习流程中。作者在早期的多索引工作之后开发了它，灵感来自网格展平和几何图像；据报道，它保留了类似曲面的点云，如 bunny、dragon 和 elephant 模型。评论提出了可能的用途，包括类似 JPEG-XL 的压缩和扫描资产的 UV 纹理映射，以及关于投影和坐标范围的问题。
私密 AI 会议记录。免费且开源。下载 Mac · Windows · Linux 版本。Yogurt 在不向会议添加机器人的前提下记录你的通话。macOS 14.4+（Apple Silicon）· Windows 10 2004+（x64）· Ubuntu 22.04+ 或类似系统（x64 AppImage）· 8 GB 内存。yogurt.so · 帮助 · 从源码构建 · MIT 许可证。由 Frigade 制作。
Yogurt 是 Eric (brownrout) 开发的一款免费、MIT 许可证的开源桌面应用，使用设备端 AI 私密地转录、总结并聊天会议内容。与基于云端的 Granola 不同，它将所有数据保留在本地，并通过 Electron 支持 Windows、Mac 和 Linux。它使用 whisper.cpp/Apple SpeechAnalyzer 进行转录，使用 llama.cpp 进行本地 LLM 总结，功能包括日历集成、MCP 服务器、回声检测、搜索和自动结束录音。Hacker News 讨论串中出现了许多替代品（Biscotti、Muesli、OpenOats、Steno、OpenWhispr 等），以及围绕说话人分离、多语言支持、模型选择、Electron 内存占用和隐私的讨论。用户称赞其跨平台可用性和私密方式，而部分用户则要求 Windows 上的说话人分离、模型选择器和云端卸载选项等功能。
请启用JS并禁用广告拦截器
一个 Hacker News 帖子链接到纽约时报一篇标题为“一篇脑筋急转弯式的讣告”的讣告。一名评论者澄清标题主题：蒙提霍尔问题的提出者 Steve Selvin 已去世，并指向他在《The American Statistician》中的 1975 年信件。另一人指出“一篇脑筋急转弯式的讣告”是文章的原始标题。评论者还讨论了 archive.is 版本，其中粉红色墓碑状物体遮挡文本，移除后会重新出现，可能是与付费墙相关的行为。
计算机图形学在1940–1950年代起源于贝尔实验室、波音、麻省理工学院等实验室中供科学家、工程师和艺术家使用的可视化与绘图工具。1960–1970年代的学术研究在ARPA资助下，由Ivan Sutherland、Dave Evans和Edwin Catmull等先驱推动，产生了Sketchpad、DAC-1以及早期CAD/动画方法等基础系统。艺术家和工作室探索了抽象动画，商业公司则推出了矢量和光栅系统。CG通过《西部世界》和《星球大战》进入电影领域，随后在《电子世界争霸战》《最后的星战士》《少年福尔摩斯》《侏罗纪公园》和《玩具总动员》等影片中扩展，并借助纹理映射、光线追踪、变形、数字合成和运动捕捉等技术取得进步。SIGGRAPH成为重要论坛，Evans & Sutherland、Pixar、Silicon Graphics、Alias、Wavefront和ILM等公司推动了硬件、软件和视觉特效创新。到1990年代，数字特效、虚拟角色和全CG电影重塑了娱乐产业，并奠定了现代计算机图形学的基础。
Hacker News 链接到了卡内基梅隆大学的《计算机图形学知识之书》（也题为《CGI 的里程碑》，1999 年）。评论混合了怀旧与批评：有人回忆起 MIT 的 Evans & Sutherland 图形实验室在 1968/69 年；还有人提到了父页面。有用户让 Claude 将页面重新设计成更炫的交互版本，引发了关于 AI 增强是改进了还是分散了原文注意力的争论。几位评论者认为该历史页面遗漏了关键里程碑，尤其是 Kajiya 的渲染方程/路径追踪、辐射度相关工作，以及 Lance Williams 的阴影贴图；还有一位分享了自己在南非独自学习计算机图形学论文的个人经历。其他人讨论了早期工具和 CPU 的局限、90 年代中期对 OpenGL 的怀疑，以及后来可编程着色/RTX 的进展。总体上，该帖子将页面视为早期计算机图形学历史中一个不完整但引人回忆的文物，并作为更广泛回忆的引子。
klad 是一个源码可用的二维绘画与动画应用，人类画师与编程代理可同时在同一幅画作上协作。画师使用数位笔；代理使用 klad CLI，使用相同的画笔、图层和时间轴，双方都能即时看到笔触。与图像生成器不同，klad 将每个笔触、形状和填充作为可编辑数据保存，因此后续可以重新着色、重塑、移动或删除单个元素；动画由移动部件构建，而非重绘帧。绘图是普通本地文件，无需账户，且与 git 配合良好。它包括画笔、图层、蒙版、效果、时间轴、中间帧、骨骼，并可导出为 PNG、精灵图集或 Godot。macOS 支持压感/倾斜；Linux 和 Windows 构建/测试通过，但 Linux 使用鼠标，Windows 绘制未测试。个人或小公司可免费构建和使用，大公司需付费许可；文档、技能和客户端 crate 为 MIT 许可。代理可通过 CLI 读取技能并绘制；用户可以注释、选择并手动编辑笔触。
Klad 是一个源码可得、基于 Rust 的绘画与动画应用，编码代理可通过 CLI 驱动，同时也提供完整 UI。它不生成像素块，而是将每次笔触存储为可编辑数据，从而支持精确编辑、图层、效果和无限撤销。功能包括画笔引擎、逐帧动画、骨骼/IK、矢量、文本图层、颜色和图层效果。它可在 Mac、Linux 和 Windows CI 上运行，像素画支持即将到来。个人和小型公司可以免费构建和使用；计划推出付费二进制文件，而文件格式、CLI 参考和代理技能为 MIT 协议。用户报告正在测试代理驱动的绘图和动画，创作者指出模型质量是主要瓶颈但正在改善。该应用强调可编辑性和一致性，而非传统图像生成。