英国和瑞士的物理学家团队从分形几何和国际象棋中汲取灵感，创造出据说是世界上最难的迷宫。他们利用一种名为Ammann-Beenker瓷砖的模式，生成了称为哈密顿循环的路线，这种模式产生复杂的分形迷宫，据他们说，这种迷宫描述了一种被称为准晶体的奇异物质形式。这项研究的意义远远超出了娱乐的范畴，它有可能解决从复杂的路线寻找系统到蛋白质折叠等许多其他棘手的数学问题，甚至对碳捕获也有影响。
阅读更多
为了满足人工智能对算力的需求，芯片制造商正在探索新的方法来突破芯片规模的限制。台积电押注于GPU芯片堆叠技术，而日本的研究人员正在尝试利用线性加速器来缩小器件尺寸。
阅读更多
人工智能安全研究领先者Jan Leike加入了OpenAI的竞争对手Anthropic，领导一个新的“超级对齐”团队，专注于人工智能安全和保障的各个方面，特别是“可扩展的监督”、“弱到强的泛化”和自动化对齐研究。Leike此前曾在OpenAI共同领导超级对齐团队，但因OpenAI领导层对人工智能安全的重视程度不足而辞职。Anthropic的首席执行官Dario Amodei也曾是OpenAI的研究副总裁，他因OpenAI日益增长的商业化重心而与该公司分道扬镳。
阅读更多
本文介绍了作者如何用代码模拟手写草书字体。作者先通过代码定义每个字母的关键点，然后使用Chaikin曲线算法平滑路径，并将路径转换为可变厚度的形状，最后使用p5js绘制形状路径。作者还详细介绍了如何根据字母前后关系调整字母路径，以及如何将字母组合成单词。最终，作者成功地用代码模拟了手写草书字体，并将其应用于图表标题、标签和注释等。
阅读更多
苹果公司似乎已经停产了其 USB SuperDrive 光驱，目前该产品在美国官网上已经显示售罄。这款于2008年推出的产品，被认为不太可能再生产。尽管其他国家和地区仍然可以购买，但也只是时间问题。苹果在2013年就开始逐步淘汰光驱，当时所有 Mac 产品线都不再配备 CD 读取器。
阅读更多
为应对卡车司机短缺问题，日本计划斥资约230亿美元建造一条连接东京和大阪、全长500公里的货运传送带“自动流动公路”。这条传送带将全天候运行，预计每天运送的货物量相当于2.5万名卡车司机的工作量，有望缓解交通拥堵和减少碳排放。该计划预计在2034年投入使用。
阅读更多
本文批评了C++模块的实现方式，指出当前主要编译器对模块的支持存在严重缺陷，尤其是在构建系统集成方面。作者以Meson和CMake为例，详细解释了C++模块的实现如何违反了命令行工具设计的原则，导致构建过程复杂、低效且难以维护。作者提出了一种更优的设计方案，强调编译器和构建系统应承担各自的责任，并建议采用统一的模块输出目录，以简化依赖管理和构建过程。
阅读更多
亚马逊同意从印度媒体巨头Times Internet手中收购视频流媒体服务MX Player的关键资产，这是这家电子商务巨头为使其服务和品牌在印度这个关键海外市场的小城市和城镇中流行起来的最新举措。此次交易对MX Player的估值不到1亿美元，远低于其上一轮融资的5亿美元估值。亚马逊将保留MX Player的品牌，并利用其分销和营销网络，使其电商平台在印度的小城市和城镇更受欢迎。
阅读更多
Vista Equity Partners 在以 35 亿美元的价格将科技学习平台 Pluralsight 私有化三年后，将其投资的全部股权价值核销。这家总部位于犹他州的公司的财务状况有所改善，2023 年的 EBITDA 利润率约为 26%，但不足以支付利率较低时发行的近 13 亿美元的债务。由于其教授的一些开发人员技能正在实现自动化，因此该公司的未来可能会因人工智能的进步而黯然失色。
阅读更多
苹果公司宣布为新款iPhone和iPad带来眼球追踪功能，使用户可以通过注视屏幕来导航iOS和iPadOS系统。该功能利用设备内置摄像头和人工智能技术，无需额外的硬件或配件，用户可以通过注视屏幕上的元素进行选择和操作。此外，苹果还推出了其他辅助功能，例如可自定义的语音快捷键、音乐触觉反馈、车辆运动提示等，以提升用户体验，特别是针对残障人士的需求。
阅读更多
iOS 17.5版本出现了一个罕见的错误，导致已删除的照片在用户设备上重新出现，苹果公司发布了iOS 17.5.1版本来解决这个问题。这个问题是由于设备文件系统本身的数据库条目损坏造成的，与iCloud照片无关。苹果强调这是一个罕见问题，受影响的用户和照片数量都很少，并表示在正确抹除设备并出售后，旧照片不可能重新出现。
阅读更多
该项目旨在使用苹果的 Swift Charts 复制 D3 图表库的功能，实现了包括直方图、面积图、条形图等多种常见图表类型。作者认为 Swift Charts 能够满足大部分 D3 图表的复制需求，并对此项目取得的成果感到满意。
阅读更多/cdn.vox-cdn.com/uploads/chorus_asset/file/25579070/6th_Gen_Hero.jpeg)
Waymo发布了其第六代自动驾驶出租车的预览，这是一款由中国汽车制造商吉利旗下的极氪制造的电动小型货车。Waymo工程副总裁Satish Jeyachandran在博文中吹捧这款新型自动驾驶出租车比过去的版本技术更先进，同时传感器的数量也更少，有助于降低这家Alphabet旗下公司的成本。
阅读更多
FlexAttention是一个新的PyTorch API，它在不损失灵活性的情况下，实现了与FlashAttention相当的性能。它允许用户通过自定义函数修改注意力分数，从而实现各种注意力机制，例如相对位置编码、ALiBi偏差、滑动窗口注意力、前缀语言模型和文档掩码。FlexAttention利用torch.compile将用户定义的函数降低到融合的FlashAttention内核中，并自动生成反向传播。它还支持利用注意力掩码中的稀疏性，从而显著提高性能。
阅读更多
本文介绍了如何用图灵机证明罗塞尔定理，并将其与哥德尔不完备性定理联系起来。作者首先回顾了哥德尔定理，然后解释了罗塞尔定理如何通过引入一个新的句子来解决哥德尔证明中的不对称性。接着，作者提出了一个图灵机版本的罗塞尔定理证明，引入了“一致猜测问题”的概念，并证明了该问题是不可判定的。最后，作者论证了图灵机在证明这些定理中的核心作用，并将其视为理解这些定理的关键。
阅读更多
Codon是一种高性能的Python实现，它可以编译成原生机器代码，并且没有任何运行时开销。与CPython相比，它通常可以实现10-100倍甚至更高的速度提升。Codon的性能通常与C/C++相当，甚至更好。与Python不同，Codon支持原生多线程，这可以带来更高的速度提升。
阅读更多
本文探索了一种极简主义的网页设计风格，完全使用等宽字体构建网页。文章展示了使用等宽字体和网格布局，实现列表、表格、表单、ASCII绘图甚至媒体元素等常见网页元素的方法，并提供了相应的代码示例。
阅读更多
美国最大的太阳能电池板制造商First Solar在阿拉巴马州投资11亿美元建立了一家新的垂直整合薄膜太阳能工厂，该工厂将为美国增加3.5 GW的太阳能产能，预计将创造800多个就业岗位。First Solar的独特之处在于，它是一家完全垂直整合的薄膜光伏太阳能电池板制造商，严重依赖美国本土的材料，如玻璃和钢铁。
阅读更多
这是一个用于创建 HTML 原型的 JavaScript 库。它提供了丰富的组件集，允许开发人员快速轻松地构建交互式和动态的网页原型。Dream HTML 以轻量级、易用性和定制性而闻名。
阅读更多
人工智能的快速发展对计算能力提出了巨大需求，传统的电子芯片功耗高，效率低，难以满足需求。光基芯片以光子代替电子进行信息处理，具有带宽高、速度快、效率高等优势，在矩阵乘法等人工智能计算任务中表现出潜力。尽管光学计算仍处于发展初期，但其在特定应用领域的优势以及未来超越电子系统的可能性，使其成为人工智能领域备受关注的研究方向。
阅读更多
本文档列举了世界范围内使用数组语言（J, K, APL, q）的公司列表，涵盖金融、咨询、软件开发等多个领域，并标注了公司所在地区、是否支持远程办公等信息。
阅读更多
本文介绍了作者使用CNC数控机床和普通零件搭建DIY显微镜的过程，并尝试对树叶、CD-ROM等较大物体进行成像，以揭示肉眼无法看到的细节。作者详细介绍了使用的零件、成本以及遇到的问题和解决方案，包括如何固定显微镜、调整焦距、拼接图像等。文章还展示了使用不同放大倍数和照明条件下拍摄的图像，并讨论了如何使用软件自动对焦和拼接图像。最后，作者列出了一些待改进的地方和未来计划，例如使用更稳定的平台、尝试景深合成以及探索商用解决方案。
阅读更多
Mp3tag 是一款功能强大且易于使用的音频文件元数据编辑器，支持批量编辑 ID3v1、ID3v2、MP4、WMA 等多种音频格式的标签。它还支持从 Discogs、MusicBrainz、freedb 等在线数据库查找标签信息，并自动下载专辑封面。此外，Mp3tag 还提供文件名批量重命名、字符替换、播放列表创建等实用功能。
阅读更多
这篇文章深入探讨了Emoji的历史，发现Emoji并非如普遍认为的那样起源于1997年的日本软银或1999年的NTT DoCoMo。作者通过研究上世纪八九十年代的日本电子设备，如夏普PI-4000 袖珍电脑、NEC PI-ET1，以及夏普的文字处理器和电子记事簿，发现这些设备中已经包含了Emoji。作者追溯了Emoji的起源，最早可追溯到1965年出版的一本排版符号书籍中出现的“带脸的满月”符号。文章还讨论了Emoji的定义，以及在移动手机普及之前，Emoji在寻呼机上的使用情况。
阅读更多
NumPy 是使用 Python 进行科学计算的基本包，它提供了一个强大的 N 维数组对象、复杂的广播函数、用于集成 C/C++ 和 Fortran 代码的工具，以及有用的线性代数、傅里叶变换和随机数功能。
阅读更多
LSON 是 JSON 的超集，完全兼容 JSON 语法，并添加了一些改进，例如忽略逗号、允许使用任意空白字符分隔列表和映射条目，以及增加了对二进制数据的支持。Civlua 项目中的 lson 库提供了一个纯 Lua 实现的 LSON/JSON 编码器和解码器，该库旨在简化编码和解码操作，并提供更丰富的功能。
阅读更多
一篇据称是谷歌内部文件的泄露事件，揭示了谷歌搜索排名算法的一些关键要素，包括链接、点击、内容、实体、Chrome数据等因素的影响。文件显示，谷歌会记录网页的每次更改，并使用网站和页面的向量化来确定主题相关性。此外，品牌知名度、链接多样性和内容质量对于提升排名至关重要。
阅读更多
