想重温Windows 95的经典界面？现在你可以用Heirloom File Manager和Heirloom Program Manager体验一下！Heirloom File Manager是Windows经典文件管理器的现代化版本，支持高DPI屏幕、回收站、书签和拖放功能，还能创建和解压zip压缩包。Heirloom Program Manager则替代了开始菜单，提供快捷方式启动程序。这两个程序都是免费开源的，让你在现代Windows系统上享受怀旧的经典体验。
阅读更多
播客主持人Dwarkesh探讨了通用人工智能（AGI）的时间线。他认为，尽管当前大型语言模型（LLM）令人惊叹，但它们缺乏持续学习能力，这严重限制了其在现实世界中的应用。他以学习萨克斯为例，说明LLM的学习方式与人类截然不同，无法像人类一样积累经验和改进技能。他因此对未来几年AGI的突破持谨慎态度，但对未来几十年AGI的潜力充满信心。他预测，AI能够像人类经理一样高效处理税务（包括收集发票等）的时间点为2028年，而AI能够像人类一样自主学习的时间点则为2032年。他认为，一旦持续学习问题得到解决，AGI将带来巨大的飞跃，甚至可能导致类似于智能爆炸的现象。
阅读更多
本文作者通过阅读多个常用 Python 包，总结了一些不为人知的 Python 用法。例如，在基类中使用 `super()` 可以实现协作式多重继承；Mixin 类用于提供可重用的方法实现，避免基类臃肿；相对导入确保优先搜索当前包；`__init__.py` 文件不仅可以标记目录为 Python 包，还可以简化 API 或初始化日志；`conftest.py` 文件除了提供 fixture，还可以帮助 pytest 识别模块；此外，阅读库的设计文档也能帮助我们理解其设计理念。
阅读更多
还在为编写 systemd 单元文件而烦恼吗？systemd-lsp 来了！这是一个基于 LSP 协议的 Rust 语言服务器，它能为你的 systemd 单元文件提供语法高亮、代码诊断、自动补全、文档跳转和代码格式化等功能，大大提高你的效率。它无需外部依赖，跨平台兼容，并且内嵌了所有手册页。安装简单，只需使用 Cargo 构建即可。还在等什么，快来试试吧！
阅读更多
Backlog.md 是一款基于Markdown 的Git仓库任务管理和看板可视化工具。它将你的Git仓库转换成一个独立的项目看板，所有任务都以简单的Markdown文件管理。它支持本地离线使用，提供终端看板和现代化的Web界面，并集成了AI命令行接口，方便用户创建、编辑、过滤和归档任务。Backlog.md跨平台支持，并采用MIT开源许可证。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和共享新功能的框架。参与arXivLabs的个人和组织都秉承着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
本文介绍了一种独特的编程面试题：实现一个异步队列`sendOnce`，确保单线程客户端向故障服务器发送请求时，每次只有一个请求在处理。面试考察候选人处理棘手标志逻辑、调试代码、单线程环境编程以及应对新增需求（如最小延迟、批量发送、取消机制、重试机制等）的能力。作者还探讨了AI在面试中的作用，认为AI能辅助编码，但候选人仍需具备代码审查能力，高效利用AI工具成为新的评判标准。
阅读更多
现代社会流行的疗愈文化正在侵蚀我们的语言和对自我的认知。每一个性格特质都被视为需要解决的问题，正常的个性特征被贴上诊断标签，年轻人甚至将心理健康挑战视为身份认同的一部分。文章批判了这种过度解释和分类的倾向，认为它让我们失去了对自身和人际关系的浪漫理解，最终导致迷茫和痛苦，呼吁人们勇敢地接纳不完美，回归真实的自我。
阅读更多
OpenCode是一个构建于终端的开源AI编码助手，类似于Claude Code，但具有关键差异：完全开源，支持OpenAI、Google或本地模型，并专注于终端用户界面（TUI）。其客户端/服务器架构允许远程访问，例如通过移动应用。项目团队鼓励用户在GitHub上提出新功能建议，并提供安装指南和本地运行说明。
阅读更多
本文讲述了诺曼征服如何深刻地影响了英语拼写。1066年后，法语成为官方语言，当时的抄写员们将法语的书写习惯带入英语，导致英语拼写中出现了许多字母组合来表示单一音素，例如“sh”、“th”。而法语在文艺复兴时期通过印刷术和规范化运动，发展出了使用重音符号的系统，而英语则保留了诺曼时期形成的拼写习惯，这解释了为什么英语至今没有广泛使用重音符号。
阅读更多
早期Mac的设计师们为了方便用户使用键盘快捷键，在菜单项旁添加了苹果Logo作为命令键的标识。然而，乔布斯认为这过于频繁，并要求更换标识。设计师们在国际符号字典中找到了一个瑞典露营地使用的花形符号作为替代，这个小小的符号至今仍在macOS中沿用，一段鲜为人知的Mac设计轶事就此展开。
阅读更多
本书涵盖SSL/TLS等完整系统的方方面面，包括分组密码、流密码、哈希函数、消息认证码、公钥加密、密钥协商协议和签名算法。通过动手实践，学习如何利用常见的密码学漏洞，例如伪造管理员cookie，恢复密码，甚至后门你的随机数生成器。
阅读更多
Piano Trainer是一款开源的钢琴练习软件，支持多种练习模式，包括音阶、和弦、五度练习以及交互式测验等。它兼容MIDI，支持跨平台，并提供家用键盘输入。开发者目前正在积极开发更多功能，例如更多音阶、设置选项、可切换的测验问题以及自定义键盘音色等。该软件可在itch.io免费下载，也可以从GitHub下载源码并自行编译运行。
阅读更多
1995年，作者加入了风雨飘摇中的苹果公司，成为一名QuickDraw GX图形工程师。项目夭折后，他被分配到ColorSync团队，负责将68K架构的拾色器移植到PowerPC架构。过程中，他不但出色完成了任务，还基于个人喜好开发了HSV、HTML和蜡笔拾色器等额外功能。然而，他在这些拾色器中加入了T.S.艾略特的诗句作为彩蛋，触犯了版权，差点因此丢掉工作。最终，他被上司训斥，但保住了饭碗，这段经历让他深刻认识到职场规范的重要性。
阅读更多
一项发表于《科学进展》的研究揭示了12.5万年前德国中部尼安德特人惊人的资源管理能力。他们在Neumark-Nord 2考古遗址系统地利用水和热量从大型动物骨骼中提取脂肪，这表明他们对营养、规划和资源管理的理解远超以往认知。这项发现挑战了以往对尼安德特人的刻板印象，展现了他们具备复杂的社会组织和先进的生存策略，甚至对当地环境产生了长期的影响。
阅读更多
本文讲述了作者使用 GCC 而不是 LLVM 来引导 Rust 编译器的经历。这并非易事，作者遭遇了三个主要的 Bug：递归函数的 `#[inline(always)]` 属性、128 位 SwitchInt 终止符的错误实现以及一个与对齐相关的内存访问错误。作者通过“给编译器做开颅手术”式的调试方法，逐步定位并修复了这些问题，最终成功实现了 Rust 编译器的 Stage 2 构建，并朝着 Stage 3 迈进。过程中，作者分享了调试技巧，例如使用 core dump 分析段错误，并探讨了编译器优化的复杂性。
阅读更多
英特尔最新高性能CPU架构Lion Cove，在SPEC CPU2017基准测试中表现出色，甚至能与AMD Zen 5抗衡。然而，游戏负载对CPU的要求与生产力负载不同。本文深入分析Lion Cove在游戏中的性能表现，通过对缓存层次结构、指令执行延迟、分支预测等方面的详细数据解读，揭示了Lion Cove在游戏场景下优缺点，以及与Zen 4的对比。结果显示，Lion Cove前端性能强劲，但后端内存延迟成为瓶颈，游戏性能提升空间仍有待挖掘。
阅读更多
该项目解密了苹果AI安全模型的过滤文件，这些文件包含用于各种模型的过滤规则。通过LLDB调试和自定义脚本，可以获取加密密钥并解密这些文件。解密后的JSON文件包含用于过滤有害内容和确保安全合规的规则，例如精确匹配的关键词、需移除的短语以及正则表达式过滤等。项目提供了已解密的规则文件和解密脚本，方便研究人员分析苹果AI模型的安全机制。
阅读更多
BitChat 是一款基于蓝牙Mesh网络的去中心化点对点加密消息应用，无需网络、服务器或电话号码。它采用端到端加密（X25519密钥交换+AES-256-GCM），支持基于主题的群聊（可选密码保护）、离线消息存储转发等功能，并注重隐私保护，没有账户、电话号码或持久标识符。BitChat 提供了 iOS 和 macOS 原生支持，并包含多种性能优化，例如 LZ4 压缩和自适应电池模式。开源且支持多种平台。
阅读更多
一位华为诺亚方舟实验室的盘古大模型团队成员实名举报，揭露了盘古大模型存在严重抄袭行为。举报者称，团队领导王云鹤的小模型实验室多次将其他公司的模型（如Qwen）进行“套壳”，并将其伪装成华为自主研发的盘古模型，以获取利益和荣誉。举报者还描述了团队内部的巨大压力、不公平待遇以及人才流失的现状，引发了对华为大模型研发管理的质疑。
阅读更多
这个项目在RP2040微控制器上模拟了一个SPI RAM，类似于23LC512。它支持读取、写入和快速读取命令，并利用PIO和DMA进行高效的数据传输。为了满足严格的时序要求，模拟RAM使用了Core1并优化了PIO程序，以最大限度地减少延迟。虽然目前不支持在数据传输开始前中止操作，但该项目提供了一种在RP2040上实现高性能SPI RAM的有效方法。
阅读更多
这篇文章探讨了将函数视为无限维向量这一概念，并展示了如何将线性代数的工具应用于图像处理、几何处理、曲线拟合、光线传输和机器学习等领域。文章从有限维向量空间的概念出发，逐步引入了无限维向量空间，并证明了函数构成了一个向量空间。随后，文章讨论了线性算子、微分、拉普拉斯算子等概念，并阐述了谱定理在函数空间中的应用，最终引出了傅里叶级数、图像压缩和球谐函数等应用案例。
阅读更多
苹果公司在Hugging Face上低调发布了一个名为DiffuCode-7B-cpGRPO的新型AI代码生成模型。不同于传统自回归模型逐字生成的模式，DiffuCode采用扩散模型架构，能够并行处理多个代码片段，显著提升代码生成速度。该模型基于阿里巴巴的开源模型Qwen2.5-7B进行改进，并通过额外的训练步骤（coupled-GRPO）提高了代码质量。在编码基准测试中，DiffuCode取得了优异的成绩，虽然仍不及GPT-4或Gemini Diffusion，但展现了苹果在生成式AI领域的创新探索。
阅读更多
一位程序员发现自己对电脑延迟非常敏感，升级到240Hz显示器后体验有所改善。然而，无线鼠标的USB接口切换却引入了几秒钟内约10毫秒的延迟。为了精确测量这种延迟，他开发了一个名为found.as/l的工具，该工具可以显示浏览器渲染帧和指针移动之间的延迟，以及指针事件的批量处理和偏移。为了获取高精度计时器，他还需要修改xmit.toml文件添加CORS策略。最终，他证实了自己的观察结果，并决定避免使用有延迟的USB接口。
阅读更多
一项名为“停止摧毁电子游戏”的欧洲公民倡议已获得百万签名，呼吁游戏发行商停止远程关闭游戏。文章探讨了该倡议的背景，即游戏厂商以服务器关闭为由使玩家无法继续游玩已购买的游戏，并分析了游戏行业的反驳以及作者对其的批判。作者认为，厂商的反对理由站不住脚，例如维护成本、内容审核等问题可以通过技术手段解决，例如提供本地服务器或开源部分代码。最终，作者指出，这关乎游戏厂商对玩家体验的控制，以及对商业利益的优先考量。
阅读更多
这个项目提供了一个使用来自人类反馈的强化学习（RLHF）微调预训练GPT-2模型的参考实现，使其生成表达积极情绪的句子的教程。该方法包含三个步骤：1. 有监督微调（SFT）：使用stanfordnlp/sst2数据集微调GPT-2；2. 奖励模型训练：训练一个带有奖励头的GPT-2模型来预测句子的情感；3. 使用近端策略优化（PPO）进行强化学习：优化SFT模型以生成奖励模型评价为积极的句子。通过三个Jupyter Notebook依次完成这三个步骤，最终使GPT-2能够生成更积极的句子。需要Hugging Face访问令牌下载预训练的GPT-2模型。
阅读更多
1979年，索尼随身听诞生，开启了个人音乐时代。然而，这种便捷也带来了争议。轻便的耳机让行人戴着耳机行走成为普遍现象，引发了社会担忧。一些人认为这是个人主义抬头，甚至将随身听比作“麻醉剂”，因为它阻隔了社交。一些州出台了相关法规限制耳机使用，新泽西州伍德布里奇镇甚至禁止戴耳机过马路，违者可能面临监禁。一位老人Oscar Gross为了抗议，故意戴着耳机过马路，最终被罚款，但此事也引发了广泛关注，最终法规并未严格执行。这段历史提醒我们，怀旧往往会忽略新技术最初面临的阻力，那些曾被视为“美好旧时光”的时代，也可能包含着对未来的担忧。
阅读更多
一位拥有传统IT背景的开发者分享了他三年游戏开发行业的经验。他发现游戏行业与其他IT行业截然不同：人们对游戏的热情高涨，创意至上，但创意空间受限；项目周期长，发布游戏是职业生涯的重要里程碑；技术相对滞后，但存在独特的技术挑战，例如Tech Art和内容工具链。虽然游戏行业充满激情和创造力，但也面临着规模化和成熟度的挑战，工作与生活平衡难以维持。
阅读更多
在喜马拉雅山北部的青藏高原，摄影师捕捉到了大量罕见的瞬态发光事件（TLE），包括红色精灵、二次射流和幽灵。这些TLE通常与强烈的雷暴天气有关，其发生机制复杂且难以观测。研究人员利用卫星数据和星空地图对视频和照片进行同步，成功地将约70%的红色精灵与其母闪电联系起来，这项研究证明了业余观测在科学研究中的重要价值，并加深了我们对地球大气层和雷暴系统的理解。
阅读更多
纽约市的拥堵收费计划实施六个月后，效果显著。报告显示，车辆数量减少了11%，每日进入拥堵收费区域的车辆减少了67000辆，交通延误减少了25%。空气质量改善，噪音污染降低，行人活动增加，公共交通客运量也显著提升。然而，该计划也面临争议，一些人批评其为“不公平的税收”。
阅读更多