一位经验丰富的程序员Vidrun参加了一场不同寻常的面试。面试官Aisha，一位三年经验的工程师，不仅询问了二叉树平衡问题，还展开了一场基于Prolog和λ演算的代码魔法对决。Aisha逐步引导Vidrun构建一个Lisp解释器，最终Vidrun运用µKanren和独特的宏定义技巧，巧妙地解决了问题，并与Aisha在代码的艺术中达成了共鸣。这个故事融合了技术、魔法和人际互动，展现了程序员的智慧和创造力。
阅读更多
Inboxbooster，一家由Y Combinator孵化的初创公司，正在招聘一名远程JVM字节码工程师。该公司正在开发一项能够自动并行化Java应用程序的技术，通过后编译转换字节码来实现，已实现2.8倍的提速。该职位需要深入了解JVM内部机制、字节码操作和Java并发性，并参与将原型系统转化为生产就绪系统。这是一个充满挑战和机遇的职位，适合有志于改变软件性能的工程师。
阅读更多
一项芝加哥大学的研究显示，2020年加州野火排放的温室气体，几乎抵消了该州2003年至2019年间减排的成果。野火不仅造成数十亿美元的经济损失和人员伤亡，更严重威胁加州的气候目标。研究表明，单年野火排放量相当于加州2030年减排目标的近一半，这凸显了野火防控在加州气候政策中的重要性。
阅读更多
一位计算机科学专业的毕业生因严重的腕部疼痛而无法编程。起初，医生和理疗师认为是肌腱炎或重复性劳损，建议进行腕部锻炼。然而，症状并没有好转，反而恶化。作者最终意识到，疼痛并非源于物理损伤，而是一个预测系统失调的结果——大脑对未来损伤的错误预测。通过学习疼痛的神经科学，并结合专注练习和疼痛再处理疗法，作者成功地重新校准了自己的疼痛系统，最终恢复了健康。
阅读更多
一位多伦多大学的学生在参加GenAI Genesis 2025黑客马拉松报名时，意外发现了一个漏洞。由于密码管理器未保存密码，他重置密码后，注意到重置密码链接指向Firebase应用。出于好奇，他尝试了一些常见的Firebase漏洞利用方法，最终发现网站在更新应用状态时，直接写入整个应用对象，而非只更新必要字段。通过利用这个漏洞，他成功地将自己的申请状态修改为“已接受”。此外，他还发现该网站存在信息泄露漏洞，可以提前查看审核结果、评审员信息和评论等敏感信息。该漏洞已得到修复。
阅读更多
这份榜单汇集了2024年全球几乎所有软件工程大会上观看次数最多的100场演讲。从大型语言模型的现实应用到Rust和Java的高性能技巧，再到现代Web开发和可靠性工程的最佳实践，涵盖主题广泛。其中，Jodie Burchell关于大型语言模型的演讲，以及Martin Thwaites关于OpenTelemetry的演讲，观看次数均超过13万次，位列榜单前茅。这份榜单为软件工程师们提供了学习和提升的宝贵资源。
阅读更多
凌晨3点，家中烟雾报警器响起，作者一家报警后，消防部门排查未发现火情，最终发现是供暖系统问题。然而，9点左右，一家灾难恢复公司Servpro的推销员却登门推销服务。作者意识到，911报警信息可能通过PulsePoint等平台泄露，导致公司利用紧急事件进行商业推销。这引发了作者对消费者隐私和灾难资本主义的担忧，并呼吁加强消费者隐私保护。
阅读更多
Jujutsu 是一款新颖的版本控制系统，它吸取了 Git、Mercurial 和 Darcs 等系统的优点，并融入了许多创新特性。它将工作副本视为一个提交，简化了数据模型和算法；操作日志和撤销功能方便调试；自动 rebase 和冲突解决功能提升了工作效率；它还支持并发复制，能够安全地用于分布式文件系统。虽然目前仍处于实验阶段，但 Jujutsu 已经展现出巨大的潜力，有望成为下一代版本控制系统的领导者。
阅读更多
加州公共事业委员会（CPUC）裁定，Uber等公司若要继续为未成年人提供单独乘车服务，必须在其司机进行指纹背景调查。此举源于对儿童安全的担忧，此前Uber曾多次反对类似要求，但此次CPUC强调指纹背景调查对于保护未成年人免受潜在性侵犯至关重要。Uber曾推出“Uber for Teens”服务，但该裁决对其运营构成重大影响，而竞争对手HopSkipDrive则支持此项规定，并表示其已采取更严格的安全措施。此举可能导致Uber提高“Uber for Teens”服务的价格。
阅读更多
OpenStreetMap基金会获得主权科技机构38.4万欧元资助，用于其核心软件的稳定性、增长和现代化。这笔资金将用于更新代码、改进文档和测试基础设施，以及改进核心基础设施，例如应对破坏行为和新的数据交互方式。基金会还将为此创建两个新职位，其中一个是OSM核心软件开发促进者，以协调开发人员的工作并促进社区贡献。
阅读更多
马克·吐温在《国外漫游》中以幽默诙谐的笔触，细致地描述了学习德语的痛苦经历。德语的语法规则繁琐、例外众多，词性变化复杂，长词令人望而生畏，更不用说那些令人费解的插入语和可分离动词了。吐温用生动的例子和夸张的修辞，将德语学习的种种挑战展现得淋漓尽致，引发读者共鸣，是一篇充满故事性和趣味性的语言学习吐槽文。
阅读更多
本文详细介绍了一种为游戏NPC设计的寻路算法。该算法基于A*搜索，并结合空间分区技术，有效处理动态物理环境（物体可移动和破坏），并实现路径绕过障碍物以及游戏区域边界环绕的功能。通过缓存节点状态并定期更新，算法能实时适应环境变化。为了生成更自然安全的路径，算法引入了物体距离评级，使路径偏向远离障碍物。此外，文章还解决了边界环绕路径的生成和NPC跟随问题，并通过分阶段处理路径计算来优化性能，避免影响游戏流畅性。
阅读更多
FediDB是一个追踪Fediverse（去中心化社交网络联盟）统计数据的数据库。它实时监测Mastodon等平台的用户数量、实例数量以及其他关键指标，为研究者和用户提供宝贵的洞察。通过FediDB，我们可以了解Fediverse的增长趋势、不同平台的活跃度，以及整个网络的整体健康状况。这对于理解去中心化社交媒体的潜力和挑战至关重要。
阅读更多
一项新的研究对卡特提出的“艰难步骤”模型提出了挑战，该模型认为生命进化需要克服一系列极低概率的事件才能产生智慧生命。研究人员认为，地球生命演化的速度可能受全球环境过程的影响，而不是一系列独立的“艰难步骤”。他们指出，信息缺失和化石记录的不完整性可能会扭曲我们对生命演化过程的理解。如果“艰难步骤”模型不成立，那么宇宙中存在其他智慧生命的可能性将大大增加。这项研究为寻找地外生命提供了新的视角，并促使我们重新思考地球生命演化的独特之处。
阅读更多
一个名为`hn-tldr-extension`的GitHub开源项目提供了一个浏览器扩展程序，能够利用OpenAI和Anthropic的大型语言模型（LLM）快速总结Hacker News的文章。用户只需提供自己的API密钥，即可在Hacker News页面上使用该扩展程序的“总结”按钮，方便快捷地获取文章概要。该扩展程序的代码已开源，并支持Firefox等浏览器。
阅读更多
本文讲述了Windows 2.0鲜为人知的幕后故事。它并非一个简单的版本迭代，而是承载着早期GUI操作系统发展史的沉重。文章从Windows的起源出发，深入探讨了当时的硬件技术限制、竞争对手（如VisiOn、Apple Lisa）以及Microsoft内部决策对Windows 2.0发展的影响。尽管应用软件匮乏，但Windows 2.0仍展现了一些令人印象深刻的特性，例如支持鼠标操作和简单的多窗口功能。最终，Windows 2.0虽然差点夭折，但其经验为Windows 3.0的成功奠定了基础。
阅读更多
丰田汽车公司宣布其位于东京西南部的未来城市“Woven City”第一阶段建设完成。这座占地超过70万平方米的城市，将融合自动驾驶、机器人和先进数字技术等多种科技，为居民提供创新的出行和生活方式。该城市将设有自动驾驶车辆专用道路、行人区域以及地下通道用于物流和垃圾收集。今年下半年，约360名丰田员工及其家人将率先入住，最终目标是容纳约2000人。
阅读更多
历时十年的Java Valhalla项目正进入收尾阶段。该项目旨在修复Java类型系统中类和原始类型之间的裂痕。通过引入“像类一样编码，像int一样工作”的值类，Valhalla实现了扁平且紧凑的内存布局。Devoxx 2024上，Java语言架构师Brian Goetz介绍了该项目的最新进展，包括值类、空限制类型、增强的确定赋值分析和严格初始化等关键特性。
阅读更多
NYC Subwaysheds项目利用数据可视化技术，分析了纽约地铁沿线各站点周边区域的潜在发展潜力。通过对人口密度、土地利用、交通便利性等多种因素的综合考量，该项目为城市规划和房地产开发提供了重要的参考依据。该项目发现，地铁沿线区域的商业和住宅发展潜力巨大，同时也揭示了不同区域的具体发展机遇和挑战，为投资者和规划者提供了更清晰的决策信息。
阅读更多
据弗劳恩霍夫太阳能系统研究所（Fraunhofer ISE）报告，2024年德国可再生能源发电量占比达到62.7%，其中太阳能发电占比14%。太阳能发电量创纪录地达到72.2太瓦时，风能仍然是德国最大的电力来源，发电量为136.4太瓦时。尽管天气条件不佳，但由于光伏装机容量的迅速扩张，光伏发电量仍创下新高。电池储能容量也大幅增长，装机容量从8.6吉瓦增至12.1吉瓦。德国的碳排放量持续下降，2024年降至1.52亿吨，比1990年水平下降了58%。
阅读更多
OpenAI的一位工程师分享了他15年来对AI领域的观察。他指出，得益于GPT-3、Codex和DALL-E 2等模型的突破，AI已跨越实用门槛，能够执行以往电脑无法完成的任务。AI的进步依赖于大规模模型的精准执行，这需要更多具备强大软件技能的工程师参与。OpenAI欢迎有志于此的工程师加入，并强调技术谦逊的重要性，因为许多既有的软件工程直觉在机器学习领域并不适用。
阅读更多
亚太地区多个城市的服务器状态显示，部分地区正在维护中，例如雅加达、达卡和卡拉奇等地。其他地区则运行正常。此次维护对用户体验可能造成一定影响，建议用户关注官方公告获取最新信息。
阅读更多
PrivTracker 是一款让你能够轻松创建私有 BitTorrent 追踪器的工具。只需点击按钮，即可生成一个仅限你与朋友之间共享文件的私有追踪器，无需担心数据泄露。它通过独特的 Announce URL 保证只有同一群组内的用户才能互相连接。支持 Transmission (Linux 和 macOS) 等客户端，操作简单便捷。只需将生成的 Announce URL 添加到你的 torrent 文件中，即可与朋友安全地分享文件。
阅读更多
Meelo是一款自托管的个人音乐服务器和Web应用程序，类似于Plex或Jellyfin，但更注重灵活性和浏览体验。它专为音乐收藏家设计，能够识别B面歌曲、稀有曲目，自动检测合唱和二重唱，支持多种格式和元数据解析，并能从MusicBrainz等平台获取信息。Meelo支持音乐视频，并区分音乐视频与采访、幕后花絮等。目前已发布，可通过Docker镜像部署。
阅读更多
这篇文章讲述了世界各地不同文化中对“雪”的文字和符号的表达，从商代甲骨文的“雪”字，到中国古代酒壶上的“风花雪月”图案，再到纳西族东巴文中的雪的符号，以及因纽特语中对不同类型雪的细致描述。文章还探讨了古希腊、古代埃及、希伯来语和玛雅文明中与雪相关的文字和符号，展现了不同文化对雪的独特理解和表达方式，以及其背后的文化内涵和历史渊源。
阅读更多
本文深入浅出地解释了OAuth 2.0协议的工作原理。作者以构建一个代码部署平台为例，阐述了OAuth 2.0如何解决用户凭据共享的安全问题，并对比了使用普通用户凭据和个人访问令牌（PAT）的优劣。文章详细讲解了OAuth 2.0中的三个核心角色（资源服务器、资源拥有者和授权服务器），以及各种授权流程（授权码流程、隐式流程、客户端凭据流程、资源所有者凭据流程和设备码流程），并分析了每种流程的安全性及适用场景。此外，文章还探讨了访问令牌、刷新令牌、范围和PKCE等重要概念。
阅读更多
厌倦了在冗长的视频中寻找关键信息？TubePen 应运而生！这款工具让你能够轻松地高亮和标注视频中的重要片段，并与他人分享。它如同视频的专属记事本，帮你精简学习、工作或娱乐过程中的视频内容，提升效率。不再需要费力截图或记录时间戳，TubePen 提供简洁直观的界面和强大的功能，让你专注于视频内容本身。
阅读更多
本文介绍了一种名为“放松的基数平衡树”（RRB树）的数据结构，它用于高效地实现不可变向量。与传统的持久向量相比，RRB树在合并操作方面具有显著的性能优势。文章深入探讨了RRB树的工作原理，包括其核心思想——放松左稠密约束，以及如何通过引入大小表和M..M-1不变性来保证高效的查找和合并操作。作者还提供了TypeScript实现示例，并详细解释了合并算法的步骤，展示了RRB树在实际应用中的高效性。
阅读更多
Luxe是一款跨平台的快速游戏开发引擎，支持Mac、Linux、Windows和Web平台，并正在开发主机支持。它易于学习，专注于2D游戏开发，但其强大的硬件驱动渲染器也支持3D游戏。Luxe使用C++编写，游戏开发通常使用定制版的Wren语言，未来将支持更多语言。其模块化设计、流畅的工作流程以及以人为本的设计理念，使其成为独立开发者和团队的理想选择。目前Luxe已发布预览版，并提供丰富的开发文档和社区支持。
阅读更多
苹果公司最近发表的一篇论文指出大型推理模型（LRM）在精确计算方面存在局限性，它们无法使用显式算法，并且在解决难题时推理不一致。这篇论文被认为是对当前将大型语言模型（LLM）和LRM作为AGI基础的尝试的重大打击。一篇发表在arXiv上的评论文章试图反驳苹果的论文，但其论证存在数学错误，混淆了机械执行和推理复杂性，且其自身数据与结论相矛盾。评论文章忽略了苹果论文中关于模型在面对更难的问题时会系统性地减少计算工作量这一关键发现，这暗示了当前LRM架构的根本性局限。
阅读更多