批处理作业系统中的数据分支：Git for Data 的实践
2025-01-24
本文探讨了如何在批处理作业系统中利用类似Git的数据分支管理策略。作者提出，将主分支作为生产数据版本，每个作业运行时创建一个分支，进行数据处理和元数据记录，成功后合并回主分支。此外，还介绍了测试执行、实验和多步骤作业等场景下的分支使用策略，最终实现高效的数据版本控制和实验管理，类似于数据库事务的ACID特性。
阅读更多重温苹果Newton遗珠：Open Dylan编程语言
2025-01-19
Open Dylan 是一款面向对象的函数式编程语言，源自苹果公司为Newton PDA开发的Dylan语言。它结合了Scheme和CLOS的优点，摒弃了Lisp语法，致力于高效的机器码生成。本文介绍了Open Dylan 的官方文档，包括教程、参考手册和丰富的库文档，并提供了在线Playground供用户快速上手体验。无论是想学习一门新语言，还是探索高效的编程范式，Open Dylan 都值得一试。
阅读更多
开发
Open Dylan
拖延症患者的意外之喜：一款学习日文的太空侵略者游戏
2025-07-19
一位日语初学者为了练习平假名和片假名，开发了一款类似太空侵略者的游戏“Mochi Invaders”。本想偷懒，却在开发过程中学习了SpriteKit，并最终将游戏发布到App Store。这或许是最高效的拖延症治疗方式吧！
阅读更多
游戏
SpriteKit
《抑制热情》片段救下死囚：一段不可思议的洗冤记
2024-12-25
加利福尼亚州男子胡安·卡塔兰因一起谋杀案被捕，面临死刑。唯一的目击证人提供的描述与卡塔兰相符，尽管卡塔兰坚称自己无罪。关键时刻，他女友回忆起案发当晚他与家人在道奇体育场观看棒球比赛。律师费尽周折，最终在HBO剧集《抑制热情》的拍摄片段中找到了卡塔兰及其女儿的身影，完美佐证了他的不在场证明，最终使他免于死刑。这段意外的证据，也深刻地揭示了目击证词的不可靠性和错判的风险。
阅读更多
杂项
洗冤
湾区神秘邪教“Ziz教”：AI风险研究者的噩梦？
2025-02-01
本文揭露了一个名为“Ziz教”的神秘湾区网络邪教。其教主Ziz，通过博客传播扭曲的伦理和决策理论，吸引AI风险研究者加入。他们以极端素食主义为教义，并计划在奇点来临后对“非善”之人进行审判。Ziz利用“单半球睡眠”等手段操纵成员，切断其与外界联系，甚至导致成员自杀。文章警告读者警惕Ziz的操控，避免卷入其中。
阅读更多
杂项
心理操控
Qubes OS 推出安全 PDF 转换工具
2024-12-12
Qubes OS 团队开发了一种新的安全机制，用于将不可信的 PDF 文件转换为可信的 PDF 文件。该机制利用 Qubes OS 的一次性虚拟机 (Disposable VMs) 技术，将 PDF 解析过程隔离在一个安全容器中，并将 PDF 转换为简单的 RGB 图片格式，再转换为新的 PDF 文件。此方法有效避免了恶意 PDF 文件的潜在攻击，即使解析过程出现问题，生成的 PDF 文件也只会显示为损坏的图片，不会对系统造成危害。这项创新极大地提升了 Qubes OS 的安全性，用户可以更安全地处理来自网络或邮件的 PDF 文件。
阅读更多颠覆性设想：将Magit理念应用于jj版本控制系统
2024-12-13
作者提出了一种新颖的思路，将Emacs的Magit版本控制界面（以文本文件为UI）应用于新兴的jj版本控制生态系统。文章指出，Magit的文本化UI具有高效性和可移植性，通过LSP协议，可以在多种编辑器中实现类似Magit的体验，避免重复开发。作者设想通过生成特定文本文件（如.jj/status.jj），并利用LSP的语义标记、折叠范围和跳转定义等功能，实现与Magit类似的版本控制操作，最终目标是创建一个跨平台、高效的jj版本控制用户界面。
阅读更多软件依赖：安全与效率的博弈
2025-01-28
现代软件开发高度依赖外部库，如同敞开大门般信任外部代码。作者认为，这种依赖关系如同将房屋大门敞开，虽然提升了效率，却也增加了安全风险。文章探讨了如何在保证效率的同时提升软件安全性，提出了组件隔离和最小权限原则，并借鉴了OpenSSH和Actor模型的思想，设想了一种更安全的软件架构，但这需要重新思考硬件、操作系统和编程语言。
阅读更多
开发
AI的高昂能源代价：我们真的负担得起吗？
2025-01-28
人工智能技术飞速发展，但其背后巨大的能源消耗不容忽视。文章以图片生成服务Midjourney为例，估算其每日耗电量高达96万千瓦时，足以供电超过2.5万个普通家庭。这仅仅是冰山一角，ChatGPT、Gemini等其他AI服务也消耗着巨大的能源。作者呼吁开发者、研究人员和企业家共同努力，探索更节能、更环保的AI发展之路。
阅读更多
科技
AI能耗
开源重制经典游戏：OpenJazz
2025-01-27
OpenJazz是一款免费开源的经典游戏《Jazz Jackrabbit》重制版，支持Windows和Linux等多种操作系统。由于DOS系统的消亡，玩家需要借助模拟器才能玩到这款老游戏。OpenJazz项目始于2005年，旨在为这款备受喜爱的游戏注入新的活力，并于2009年推出了多人游戏版本。如今，OpenJazz让更多玩家有机会体验这款曾经的经典平台游戏。
阅读更多GitHub开源项目yadm：又一款点文件管理器
2024-12-19
yadm是一个基于Git的点文件管理器，它支持系统特定的备用文件或模板文件，并能使用GnuPG、OpenSSL等工具加密私有数据。yadm提供可定制的初始化和钩子，方便用户在任何操作前后执行自定义脚本。它功能全面，支持添加、提交、加密、解密等操作，并能根据操作系统创建不同的文件。项目地址：https://github.com/yadm-dev/yadm
阅读更多
开发
点文件管理
进化论的哲学死胡同：对达尔文主义的反思
2024-12-15
:quality(75)/https%3A%2F%2Fassets.lareviewofbooks.org%2Fuploads%2FGenetic-Book-of-the-Dead.jpg)
本文评论了理查德·道金斯的新书《基因的死亡之书》和萨拉·伊玛丽·沃克的《无人知晓的生命：生命的物理起源》。道金斯延续了他“自私的基因”理论，认为基因是进化的核心驱动力。然而，评论指出，这一观点已过时，未能充分考虑发育、表观遗传学、生态位构建等因素。沃克的书则试图从组装理论的角度解释生命起源，但评论认为其过于简化，未能充分阐明生命的本质。文章最终指出，流行的科学书籍往往倾向于简单化叙事，而忽略了生物学领域的复杂性和多样性。
阅读更多
AI
亚马逊悄悄修改Kindle电子书购买条款：你买的只是使用许可
2025-02-22
亚马逊美国官网近期更新了Kindle电子书购买页面，明确指出购买电子书仅获得使用许可，而非所有权。此举可能与加州一项要求公司“显眼地”声明数字媒体购买为许可证的新法律有关。与之形成对比的是，亚马逊英国和加拿大官网以及其他电子书平台（如Kobo、Apple、Google）的表述方式有所不同，有的仅在条款中提及，有的则完全没有说明。此举引发了关于数字内容所有权的讨论，提醒消费者关注购买数字内容的实际含义：你获得的是阅读权限，而非内容本身的所有权。
阅读更多
科技
DIY 多功能牌组：数百款桌游的终极游戏系统
2025-01-04
DIY 多功能牌组是一个包含 162 张牌的卡牌系统，它允许你玩数百款现有的桌游，不仅包括经典的纸牌游戏，还包括使用棋盘或硬币等组件的现代游戏。该牌组采用防水耐磨材料，非常适合旅行、原型设计新游戏以及在购买前试玩游戏。通过选择卡牌子集并关注特定角落，结合在卡片上绘画添加文字、图标或棋盘等信息，你可以轻松适配各种游戏规则。官方网站提供多种游戏的玩法说明。
阅读更多
游戏
AI辅助编程：效率提升与招聘难题
2025-02-15
作者分享了使用AI辅助编程的经验，提升了开发效率，并反思了当前软件工程师招聘的弊端。通过AI工具，作者完成了更复杂的代码，提高了代码质量，并减少了繁琐工作。然而，作者也指出，一些公司在面试中禁止使用AI，这忽略了工程师的系统性思维能力。作者认为，招聘应更注重工程师解决问题的能力和想象力，而非简单的代码记忆和检索能力。文章还讨论了在不同数据库中选择主键作为唯一标识符的策略，以及如何平衡开发效率和数据完整性。
阅读更多
开发
Okta安全事件：Bcrypt算法的长度限制漏洞
2025-02-05
Okta的安全事件源于其使用的Bcrypt算法对输入长度的处理方式。Bcrypt算法最大支持72个字符，超过部分会被忽略，导致仅需猜测部分用户名和缓存密钥即可登录。文章分析了Go、Java、JavaScript、Python和Rust等语言中Bcrypt库的实现，发现许多库未对输入长度进行有效验证，存在安全风险。作者呼吁改进API设计，明确拒绝无效输入，避免此类安全漏洞。
阅读更多
开发
Bcrypt
南极生态系统分类：保护工作的革命性飞跃
2025-02-10
一项突破性研究创建了南极生态系统的首个综合分类和地图，这标志着我们对南极生态系统理解的重大进步。该分类与IUCN全球生态系统分类相符，将南极洲置于全球背景下，突显其对维持地球生物多样性的关键作用。它将支持风险评估、保护区选址和全球保护目标的监测，为应对气候变化和日益增长的南极洲“绿化”做好准备。这项研究成果以开放获取的方式发表，数据可自由下载，为制定南极生态系统红色名录奠定了基础，以识别最受威胁的栖息地并制定保护策略。
阅读更多
科技
美国热泵销售超越燃气炉：清洁能源的胜利？
2025-01-25
美国前11个月热泵销量增长37%，超过燃气炉成为最受欢迎的供暖设备，同比增长21%。这得益于热泵的高效节能、低碳排放以及技术进步，使其能够适应更寒冷的气候。尽管安装成本较高（1.7万到3万美元），但政府激励政策（例如《通货膨胀削减法案》）和日益增长的消费者认知度正在推动其普及。然而，价格、兼容性以及对电网可靠性的担忧仍然是阻碍因素。未来，通过有效的宣传和教育，重点强调热泵的长期节约和改善居住体验，可以进一步促进其市场份额的增长。
阅读更多
科技
节能减排
Tensor Diagrams简化张量操作：Tensorgrad库初探
2025-01-31
高维张量操作容易让人迷失？一本新书《Tensor Cookbook》用张量图简化了这一过程。张量图比传统的索引符号（einsum）更直观，能轻松识别模式和对称性，避免向量化和克罗内克积的麻烦，简化矩阵微积分，轻松表示函数和广播。配套的Python库Tensorgrad，利用张量图进行符号张量操作和求导，让复杂计算变得简单易懂。
阅读更多Lisp缩进风格大乱斗：程序员的审美困境
2025-01-19
Lisp程序员长期以来为代码缩进风格争论不休。文章探讨了多种Lisp缩进方案，包括无缩进、函数对齐缩进、填充缩进以及作者提出的“病态”宏缩进。作者指出，函数对齐缩进在嵌套较深时会变得难以阅读，填充缩进虽然高效，但在极端嵌套下仍有不足。作者最终推荐了一种“病态”宏缩进风格，虽然不符合惯例，但在处理深度嵌套时能保持良好的可读性，并能与大多数缩进工具兼容。文章最后鼓励读者分享自己的偏好。
阅读更多
开发
Windows系统新增FAQ：隐藏设置中的新功能
2025-03-20
最新的Windows系统版本（26120.3576和22635.5090）在“设置 > 系统 > 关于”中隐藏了一个新的常见问题解答列表。该列表包含一些与Windows版本和设备规格相关的问题，可以通过命令`vivetool /enable /id:55305888`启用。
阅读更多
(bsky.app)
硬件
系统设置
无恐慌Rust：能否用Rust替代C语言编写底层系统库？
2025-02-03
本文探讨了使用Rust替代C语言进行底层系统编程的可行性，特别是针对一个名为upb的Protocol Buffers库。作者起初怀疑Rust能否在性能和代码大小方面与C语言匹敌，但发现了一种名为“无恐慌Rust”的技术，它通过避免使用panic!()来实现。这篇文章深入探讨了“无恐慌Rust”的原理、优势和挑战，包括代码大小、不可恢复的退出以及运行时开销等问题。作者展示了如何通过巧妙运用libc库、优化选项以及`std::hint::assert_unchecked`等技术来编写“无恐慌Rust”代码，并强调了在debug模式下保留溢出检查以进行额外的一致性检查。虽然该技术需要细致的工作，并可能需要避免使用大部分标准库，但它有望在保证Rust安全性的同时，获得与C语言库相同的性能和代码大小。
阅读更多
开发
频率矩估计的最佳空间复杂度研究取得突破
2024-12-29
一篇由Mark Braverman和Or Zamir撰写的论文证明了频率矩估计的最佳空间下界为Ω(log(nε²)/ε²) ，其中ε = Ω(1/√n)。该研究解决了长期以来困扰计算复杂性领域的难题，在一定范围内，该下界与经典的Alon-Matias-Szegedy算法的上界相匹配。对于更小的ε值，论文还提出了一种改进的算法，进一步完善了频率矩估计的空间复杂度。这项突破性成果为流数据处理和算法设计提供了重要的理论指导。
阅读更多街机游戏《大金刚》的隐藏关卡：运气与技巧的完美结合
2025-02-08
在经典街机游戏《大金刚》中，一个名为“断梯漏洞”的技巧长期以来被认为是无法利用的。然而，玩家Kosmic利用模拟器和一些令人难以置信的运气，成功利用这个漏洞完成了游戏，甚至发现了新的“真正”的结束关卡——22-6关。这个漏洞利用了游戏中大金刚投掷炮弹的随机延迟，虽然概率极低，却为玩家提供了额外的游戏时间。Kosmic的成就不仅展示了游戏机制的巧妙之处，也证明了在游戏中，运气和技巧同样重要。
阅读更多
游戏
游戏漏洞
从罗马富豪到现代消防员：一段关于消防史的意外旅程
2025-03-25
本文作者原本想讲述罗马富豪克拉苏及其“消防队”的故事，以此探讨消防史的起源。然而，深入研究后发现，关于克拉苏消防队的传说缺乏可靠证据，其财富来源和消防队的规模可能被夸大。文章由此转向探讨消防史的真实面貌：从古代社会依靠自救和私人消防队，到19世纪出现专业的市政消防队，再到现代消防员的先进装备和英勇事迹。文章配以大量图片，展现了从早期消防标志到消防员服装、装备的演变，以及不同时期消防员的英姿，是一篇兼具历史性和趣味性的文章。
阅读更多
杂项
矮人要塞冒险模式正式上线Steam！
2025-01-26
备受期待的《矮人要塞》冒险模式终于在1月23日正式登陆Steam和itch.io！这个免费更新将这款经典的模拟经营游戏扩展为一个回合制Roguelike游戏。玩家可以在已有的世界中使用自定义角色进行冒险，探索未知领域，体验全新的游戏循环。冒险模式保留了《矮人要塞》标志性的世界模拟和沙盒元素，但更注重探索和任务，为玩家带来更具挑战性的策略体验。
阅读更多
游戏
冒险模式
Wikenigma：探索未知知识的百科全书
2025-01-25
Wikenigma是一个独特的维基百科式资源，致力于记录人类知识中的根本性空白，汇集了大量尚未找到明确答案的科学和学术问题——所谓的“已知未知”。任何注册用户都可以贡献和编辑文章，旨在激发人们对科学研究的兴趣，并强调探索尚未解决问题的机遇。
阅读更多
科技
知识百科
二战后高速公路的兴衰：从军用设想误读到民用奇迹
2024-12-17
本文探讨了二战后高速公路发展史上的几个关键事件和误解。文章澄清了德国高速公路并非最初为军事目的而设计，而是为了刺激经济和提升国家形象。尽管盟军在二战后期利用了德国高速公路，但这并非其最初设计意图。 文章还驳斥了美国州际公路系统“五分之一路段笔直平坦以供轰炸机紧急降落”的谣言，并解释了其真正目的是为了促进民用交通和经济发展，但也兼顾了军事需求，例如方便军队调动和工业生产。最后，文章回顾了二战后，各国军队利用高速公路作为战时飞机紧急跑道的尝试和演练，并指出其局限性及最终被机场跑道所取代的历史进程。
阅读更多
科技
Google的Carbon：不仅仅是C++的继承者，更是技术债务的清算者
2025-02-08
Google的实验性编程语言Carbon并非简单的C++替代品，而是旨在通过自动化工具大规模迁移现有C++代码到一个现代化、易维护的语言，解决C++技术债务难题。这源于Google与C++标准委员会在语言发展方向上的分歧，Carbon力图摆脱委员会的束缚，实现更灵活的语言演进。虽然挑战巨大，但Carbon利用Clang和LLVM等工具，并通过接口统一抽象，试图解决C++的复杂性问题，为未来几十年仍将存在的庞大C++代码库提供可行方案。
阅读更多
开发
Carbon
流媒体疲劳：美国人减少流媒体订阅支出
2025-01-04
2024年，美国人每月平均在流媒体订阅上的花费为42.38美元，比2023年下降了23%。流媒体服务选择众多，导致“流媒体疲劳”现象增多，用户感到不堪重负。许多人为了节省开支，开始分享账号或减少订阅数量，甚至转向免费服务。报告显示，平均每个美国人拥有两个流媒体订阅，每天观看3小时49分钟的内容。为了应对经济压力和流媒体疲劳，用户正积极寻找更经济实惠的娱乐方式。
阅读更多
科技