由已故微软联合创始人保罗·艾伦创建的西雅图生活计算机博物馆将永久关闭。该博物馆成立于 2012 年，收藏了大量罕见的计算机技术和互动展览，于 2020 年疫情爆发前关闭，此后再未开放。艾伦的遗产管理机构宣布，将拍卖艾伦个人收藏中的一些重要计算机文物，包括他与比尔·盖茨在创立微软之前使用过的 DEC PDP-10：KI-10 计算机。拍卖所得将用于慈善事业。
阅读更多
从 2024 年 8 月 26 日开始，Slack 将开始删除免费版工作区中超过一年的消息和文件。 免费版工作区将可以访问过去 90 天的消息和文件历史记录，如果升级到付费订阅，则可以访问剩余 275 天的内容。 升级到付费订阅后，用户可以选择保留所有历史记录，或根据所选的保留期限存储消息和文件。
阅读更多
本文借用塞万提斯《堂吉诃德》中“煎蛋理论”和管理学家斯塔福德·比尔的“系统目标即其功能”理论，揭示现实中政策与其宣称目标相悖的现象。文章列举了住房、失业救济金、家庭政策等领域的例子，指出政策制定者往往言行不一，例如旧金山标榜“进步”却限制住房供应、导致租金高涨，而奥斯汀和休斯顿则采取更有效的政策促进住房建设。文章还批评了埃隆·马斯克等科技乐观主义者在住房问题上的虚伪言论，以及一些国家在家庭政策上的倒退。
阅读更多
本文探讨了 Hindley-Milner (HM) 类型系统的基本概念，并解释了类型推断如何在编程语言中实现。作者首先讨论了编程语言设计中表达能力和可读性之间的权衡，并指出 HM 类型系统如何通过提供强大的类型推断能力来平衡这两者。文章详细介绍了 HM 类型系统的组成部分，包括类型、表达式和类型规则，并通过示例说明了如何使用这些规则进行类型推断。作者还讨论了 HM 类型系统的局限性，例如无法处理异构列表和通用单子编程。最后，文章简要介绍了 Elm 和 Haskell 中的一些扩展，这些扩展超越了纯粹的 HM 类型系统，以提供更多的表达能力。
阅读更多
本文作者Anand Sanwal认为，在商业领域，努力工作才是成功的关键，而不只是运气。许多成功人士将成就归功于运气，但实际上，他们的成功来自于努力和智慧。作者鼓励年轻人要努力工作，因为这是取得成功的巨大优势。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/24931976/236794_iPhone_15_pro_pro_Max_VPavic_0020.jpg)
苹果公司近期拒绝了两款PC模拟器应用的上架申请，分别是DOS模拟器iDOS 3和允许在iOS上模拟Windows等操作系统的UTM SE。苹果给出的理由是，这些应用违反了应用商店指南4.7条，该条款只允许复古游戏模拟器，而PC不被视为游戏机。尽管苹果对复古游戏模拟器持开放态度，但对PC模拟器的态度仍然强硬，这引发了开发者们的不满。
阅读更多
本文探讨了 C 语言中未定义行为（UB）的话题，以及 GCC 和 Clang 编译器如何处理静态已知的 UB。作者通过一系列代码示例，展示了编译器在遇到 UB 时可能采取的不同行为，例如插入非法指令导致程序崩溃，或者忽略 UB 并继续执行。文章还讨论了编译器为何不总是对 UB 发出警告，以及 LLVM 和 GCC 在处理 UB 时的不同理念。
阅读更多
这篇来自一位16岁学生的文章探讨了建立一门广泛适用的复杂系统科学的必要性，认为这门学科将对理解各种现象和解决跨领域问题具有巨大价值。作者认为，复杂系统科学可以借鉴计算机科学的成功经验，通过模拟和建模来加速知识发现。文章还列举了复杂系统科学的潜在应用领域，包括人工智能、生物学、经济学和气候科学等，并强调了其作为元科学工具的重要性。
阅读更多
为了解 Firefox 非官方下载渠道的情况，Mozilla 发起了一项活动，鼓励用户搜索并报告提供 Firefox 安装程序的第三方网站。活动目标是收集这些网站的信息，以便 Mozilla 能够与他们合作改善分发方式，最终为用户带来更好的安全、隐私和使用体验。
阅读更多
这篇文章讲述了英国科技公司 Psion 的兴衰。Psion 以其创新性的掌上电脑而闻名，例如 Series 3 和 Series 5。尽管在技术上取得了成功，但 Psion 面临着来自微软支持的廉价竞争对手以及新兴的 Palm Computing 公司的挑战。Psion 最终决定将其操作系统 EPOC 剥离出来，成立了 Symbian 公司，并退出了消费电子产品市场。文章探讨了 Psion 的战略失误，包括过早放弃其自有操作系统，以及未能充分利用其在硬件和软件方面的优势进军新兴市场，如数字广播、卫星导航和 MP3 播放器。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25357647/STK264_MICROSOFT_TEAMS_V2_CVIRGINIA_A.png)
欧盟委员会指控微软将其 Teams 聊天应用程序与其 Office 365 和 Microsoft 365 订阅捆绑销售，违反了欧盟的反垄断法。这是微软自15年前因捆绑 Windows Media Player 和 Internet Explorer 而遭遇两起重大案件以来，首次在欧盟面临反垄断指控。欧盟担心微软此举可能是不公平竞争，损害了竞争对手的利益。微软表示正在与欧盟合作寻找解决方案。如果微软被判违反反垄断法，该公司可能面临高达其全球年营业额 10% 的罚款，并且可能被强制改变其软件产品。
阅读更多
加州大学圣克鲁兹分校的研究人员开发了一种新的神经网络算法，通过消除矩阵乘法并使用三元数，将大型语言模型的能耗降低了50倍以上。该模型在定制硬件上仅需13瓦的功率即可运行，性能与Meta的Llama等最先进模型相当。这一突破有望降低大型语言模型的成本和碳足迹，并使其能够在智能手机等内存较小的设备上运行。
阅读更多
本文介绍了 Python 生态系统中的一些最新进展：Django 引入了内置后台任务功能，简化了异步任务管理；VSCode 推出新的 Python REPL，提供更轻量级的代码探索体验；Uvicorn 增加了多进程支持，进一步挑战 Gunicorn 的地位；以及 Pypi 为了应对机器人攻击，暂时禁止使用 outlook.com 和 hotmail.com 邮箱注册新账户。
阅读更多
“垃圾桶脸”伯爵是一位由英国喜剧演员乔纳森·大卫·哈维于2018年创作的讽刺性政治候选人。他曾多次参加选举，包括2019年英国大选、2021年和2024年伦敦市长选举，以及2023年厄克斯布里奇和南赖斯利普补选。他以其独特的“垃圾桶”头盔和一系列讽刺性政策而闻名，例如将伦敦桥更名为“菲比·沃勒-布里奇”，以及禁止在公共场合使用手机免提功能。尽管从未赢得过选举，但“垃圾桶脸”伯爵利用自己的平台鼓励选民参与，并为慈善事业筹集资金。
阅读更多
以色列最高法院裁定，军队必须开始征召极端正统派男子服兵役，结束了数十年来给予他们广泛豁免的制度。这一历史性裁决可能会导致总理内塔尼亚胡的执政联盟垮台，因为极端正统派政党强烈反对这一变化。该裁决正值以巴冲突持续之际，预计将引发关于征兵问题的进一步摩擦。
阅读更多
英国深科技公司 Materials Nexus 宣布，借助其人工智能平台，该公司设计出了一种新型无稀土永磁体。这种名为 MagNex 的新型磁铁由人工智能系统从超过 1 亿种无稀土材料成分中筛选出来，并在谢菲尔德大学的帮助下进行了合成和测试。该公司表示，人工智能驱动的发现和开发过程比资源密集型手动路径快 200 倍，为对强大磁铁的需求不断增长的电气化世界带来了新希望。
阅读更多
Gompertz 函数是一种用于时间序列的数学模型，以其发明者 Benjamin Gompertz (1779-1865) 命名。它是一个 sigmoid 函数，描述了在给定时间段的开始和结束时增长最慢，而中间增长最快。与简单的逻辑函数不同，Gompertz 函数的右端或未来值渐近线比左端或较低值的渐近线更缓慢地接近曲线。 Gompertz 函数最初用于描述人类死亡率，但后来被修改应用于生物学，特别是种群增长。
阅读更多
本文回顾了2015年婚外情网站Ashley Madison的数据泄露丑闻，指出公众的关注点在于男性用户的隐私泄露，但更深层的问题在于该网站充斥着AI聊天机器人，大量男性用户实际上是在与机器人互动，而非真实女性。作者认为，Ashley Madison的案例预示了如今社交媒体平台泛滥的AI生成内容和虚假互动现象，人们越来越难以在网络上找到真实的人际连接。
阅读更多
火狐浏览器致力于让用户自由选择浏览方式，并开始小规模测试其首批生成式人工智能功能。火狐将提供本地和基于云的 AI 模型，用户可以选择使用 ChatGPT、Google Gemini、HuggingChat 和 Le Chat Mistral 等 AI 服务来总结信息、简化语言或测试知识，所有这些都不会离开当前网页。火狐的目标是创建一个更美好的互联网，并使用户能够选择对自己而言意味着什么。
阅读更多
微软在Windows 11的安装过程中，强制用户使用微软账户登录，引发争议。虽然使用本地账户仍是可行的，但微软删除了官方文档中关于如何将微软账户转换为本地账户的说明。尽管如此，其他变通方法，例如在安装过程中使用Shift+F10打开命令提示符窗口，或使用Rufus工具创建可绕过微软账户登录要求的USB安装程序，仍然有效。
阅读更多
欧洲人工智能监管协会（EGAIR）是由欧洲艺术家、创意人员、出版商和协会组成的联盟，旨在呼吁公众关注数据和知识产权未经同意被人工智能公司大规模利用的问题。他们提出了一项关于人工智能监管的提案，旨在通过明确数据使用许可、禁止未经授权使用个人和作品名称、建立人工智能活动索引和认证系统等措施，保护创作者的权益，防止数据被滥用。EGAIR呼吁各界人士加入他们的行动，共同推动人工智能技术的合理和负责任地发展。
阅读更多
文章探讨了如何利用 Dropbox 等文件同步服务解决 Local-First 应用的数据同步问题。作者认为，尽管 Dropbox 等服务功能基础，但其易用性和普及性使其成为一种简单可行的解决方案，尤其适用于非实时同步场景。文章详细介绍了三种基于 Dropbox 的同步方案，并通过示例代码和视频演示了其实现方法。
阅读更多
Slack首席执行官Denise Dresser近日表示，人工智能将被融入到Slack的各个方面，允许用户在无需离开协作和生产力平台的情况下处理任务和创建新项目。未来，Slack将能够为用户提供统一的体验，人工智能将监督所有结构化和非结构化数据的流入，并对其进行解析，为用户提供最重要的摘要。
阅读更多
文章探讨了为什么不应该解析`ls`命令的输出，以及推荐的替代方案。作者指出，`ls`命令的输出格式并非为了便于机器解析而设计，文件名中的特殊字符可能导致解析错误。文章推荐使用shell glob、`find`命令以及其他编程语言提供的文件系统操作函数来替代解析`ls`命令输出。
阅读更多
由于工程师需要更多时间分析来自星际线飞船推进系统的数据，波音公司的星际线飞船将继续停靠在国际空间站，原定于6月25日离开空间站返回地球的计划将推迟，新的返回日期尚未确定，可能推迟到7月甚至8月。
阅读更多
这篇文章探讨了 Debian 12 系统默认安装的脚本语言，包括 Bash、Dash、Python 3.11.2、Awk、Perl 5 等。作者认为，了解这些默认安装的语言可以简化某些情况下（例如在未联网的机器上）的脚本编写工作，因为可以直接使用这些语言，而无需额外安装。文章还对比了 Python、Perl 和 Go 等语言，认为 Python 作为入门语言的优势之一是其广泛的适用性和丰富的资源，尤其是在脚本编写方面。
阅读更多
本文探讨了无聊的本质，以及如何应对这种日益普遍的情绪。作者分析了两种类型的无聊：情境性无聊和存在性无聊，并指出，虽然科技进步本应减少无聊，但实际上却可能加剧了这种情绪。文章借鉴了哲学家和神学家的观点，认为专注于简单而有意义的活动，如烹饪、散步或阅读，可以帮助我们克服无聊，并在日常生活中找到乐趣和意义。
阅读更多
这篇文章探讨了教育在塑造学生行为方面的重要性，强调了在澳大利亚高等教育机构NAPS学习的学生在课堂内外行为规范的意义。文章列举了学生在与教职员工互动、课堂礼仪、时间管理以及个人责任等方面的行为准则，鼓励学生培养专业态度，为未来职业生涯做好准备。
阅读更多