这篇文章探讨了数学理解的突破如何引发新的媒体形式和创作工具。作者以合成器为例,阐述了对声音的数学理解如何催生出电子音乐等全新音乐类型。接着,文章延伸到语言模型领域,展望了可解释性语言模型带来的可能性,例如:语义热图、谱图、语义差异视图、概念图标库等。作者认为,对语言的数学理解将像合成器革新音乐一样,为我们提供全新的思维和写作工具,开启一个全新的“文字历史”。
美国检察官建议司法部对波音公司提起刑事指控,因其违反了与2018年和2019年两起致命坠机事件相关的和解协议。此前,波音公司与司法部达成协议,以25亿美元的代价避免了刑事指控,但检方认为波音公司违反了协议条款。目前,双方正在讨论可能的解决方案,最终决定尚未作出。如果罪名成立,波音公司可能面临巨额罚款,并可能影响其与美国政府的合同。
本文揭露了苹果公司位于加州圣克拉拉市斯科特大道3250号的一家秘密芯片制造工厂,该工厂自2015年开始运营以来,一直将未经处理的含有有毒溶剂蒸汽和气体的废气排放到周围环境中,对附近居民的健康造成严重危害。文章详细描述了受害者Ashley Gjovik在2020年搬到该工厂附近公寓后出现的各种严重疾病,以及她为查明病因所做的努力。Gjovik怀疑是苹果工厂的排放导致她患病,并向美国环保署等机构投诉。文章还列举了该工厂存在的违规行为,以及当地居民和环境面临的潜在风险。
Cosmopolitan Libc v3.5.0 版本发布,带来了内存映射实现的改进、C++ STL 的改进以及 GitHub 开发流程的改进。其中,内存映射实现质量更高,C++ STL 方面引入了 ctl::set、ctl::map 等,并对 ctl::string 进行了优化。
SketchDeco是一个无需训练的草图着色方法,可以将手绘草图、蒙版和调色板转换为逼真的图像,而无需用户定义的文本提示。代码库在Nvidia RTX 4090 Super GPU和Google Colab A100实例上进行了测试。存储库包含使用SketchDeco着色黑白草图所需的代码、模型和示例。
React Lua 是将 ReactJS 从 JavaScript 翻译成 Lua 的一个项目,旨在为 Roblox 和 Lua 社区提供 React 体验。该项目是 Roblox/react-lua 的分支,因为 Roblox 的仓库是只读的,无法贡献代码。React Lua 尽可能与 ReactJS 保持一致,但也存在一些偏差,以更好地适应 Lua 生态系统,例如对表键作为稳定键的支持等。
美国国家劳工关系委员会对亚马逊提起诉讼,指控该公司对参与组织抗议重返办公室政策的员工进行报复,包括对员工进行审查、施压以及解雇。此前,亚马逊员工曾举行罢工抗议公司要求员工每周至少三天在办公室工作的政策。亚马逊否认了这些指控,声称该员工因表现不佳被解雇。
Arm64EC是Windows 11 on Arm设备上的一种新的应用程序二进制接口(ABI),允许开发者构建新的原生应用或逐步转换现有的x64应用,以利用Arm架构的原生速度和性能优势,包括更低的功耗、更长的电池续航时间以及更快的AI和ML工作负载处理速度。Arm64EC代码能够与在同一进程中以模拟模式运行的x64代码互操作,并保证与x64软件规范的兼容性。
Neko是一个用现代Fortran编写的用于高阶谱元流体模拟的便携式框架。它采用面向对象的方法,允许多层抽象求解器堆栈,并促进各种硬件后端,从通用处理器、CUDA和HIP加速器到SX-Aurora矢量处理器。Neko源于UChicago/ANL的谱元代码Nek5000,并沿用了其中的许多命名、代码结构和数值方法。
本文介绍了本杰明·索普,一位19世纪的学者,他编辑和翻译了大量的古英语文本,包括诗歌、法律文本、诗篇、编年史和布道文。索普被认为是“第一个专业的盎格鲁-撒克逊学家”,他的收入主要来自他书籍的津贴。文章还探讨了索普的《贝奥武夫》版本中的错误,这些错误出现在他死后出版的再版中,以及这些错误是如何没有影响到他的声誉的。
Framework公司宣布将为其Laptop 13笔记本电脑推出一款可选的RISC-V主板。该主板由DeepComputing公司开发,搭载StarFive JH7110处理器,采用RV64GC指令集架构。虽然性能不及英特尔和AMD处理器,但为开发者和爱好者提供了探索RISC-V架构的机会。该主板预计将支持Ubuntu和Fedora操作系统。
软件工程领域中,形式化方法常常被认为成本高昂且难以实施。但作者认为,对于大型、分布式或关键的底层系统,形式化方法能够通过减少设计迭代和返工,以及尽早发现接口问题,从而提高软件开发速度和效率,最终节省时间和金钱。文章还讨论了敏捷开发和形式化方法之间的关系,指出这两种方法适用于不同类型的软件开发。最后,作者列举了一些常用的形式化方法工具,并强调了形式化方法在设计阶段的价值,认为它可以帮助开发者更快地构建更优化的系统。
该文章介绍了一个名为ARC-AGI的抽象与推理语料库,该语料库包含用于训练和评估人工智能系统抽象和推理能力的任务。每个任务由演示输入/输出对和测试输入/输出对组成,测试者需要根据演示对的模式,为测试输入生成正确的输出。该语料库旨在衡量人工智能系统的人类水平的流体智力。
本文介绍了如何在11ty静态网站中添加浏览量统计和点赞按钮功能。作者详细讲解了如何结合使用Express.js、Vercel Serverless Functions和Vercel KV (键值存储) 来实现这些动态功能,并提供了代码示例和流程图。 由于11ty本身的局限性,作者建议考虑使用Next.js来更便捷地实现类似功能。
据报道,苹果公司正与Meta公司洽谈一项合作,旨在将Meta的人工智能技术整合到苹果的产品中。此前,苹果已宣布与OpenAI合作,将ChatGPT整合到Siri中。与Meta的合作将使苹果减少对单一合作伙伴的依赖,并为Meta的生成式人工智能技术提供支持。据悉,苹果不会为这些合作关系付费,而是为人工智能合作伙伴提供分销渠道,而这些合作伙伴可以销售付费订阅。
本文介绍了如何使用面向数据设计(DoD)优化Roc编译器的解析器。作者首先解释了DoD的概念,即数据结构应该引导代码结构。然后,以Def类型为例,展示了如何使用Struct of Arrays的DoD方法来改进数据表示,从而提高性能。文章最后通过基准测试结果证明了DoD方法在内存使用和运行时间方面的优势。
密歇根州一项法案要求所有公立高中在2027-28学年开始前开设计算机科学课程,旨在让学生为该州及其他地区大量的计算机科学职位做好准备。该法案已在州众议院获得通过,但引发了一些关于公平性的担忧,包括资源不足的学校可能难以提供高质量的课程,以及如何解决计算机科学教育中存在的种族和性别差距。
本文探讨了依赖类型的面向对象编程领域,从熟悉的基于数据语言开始,通过系统的反函数化和再函数化,推导出其对偶片段。论文的核心贡献是一个包含两种对偶语言片段的依赖类型演算,并提供这两种语言片段之间的类型和语义保留转换:反函数化和再函数化。
Y Combinator 密码集是一幅书法作品,由作者于2021年1月13日至25日在波兰克拉科夫创作。作品尺寸为420毫米 x 2400毫米,使用了绘图纸、书法笔、墨水和水彩等多种工具。创作灵感来源于 emacsomancer 的 Y Combinator 密码集。作品目前状况良好,将在2021年欧洲 Lisp 研讨会上拍卖,所得款项将捐赠给 Lisp 相关组织。
位于华盛顿特区的福尔杰莎士比亚图书馆经过四年的改造后重新开放,现在,该图书馆将首次公开展出 82 册莎士比亚“第一对开本”。此次改造还包括新的博物馆空间、新的领导层和新的节目推广活动。图书馆还将以全黑人演员阵容上演玛丽·齐默尔曼改编的奥维德史诗《变形记》,以吸引更广泛的观众。
LINQPad是一款功能强大的.NET开发工具,它不仅可以用于编写和测试LINQ查询,还可以用于测试任何C#/F#/VB代码片段或程序。它支持多种数据库,包括SQL Server,SQLite,Oracle,MySQL和PostgreSQL,并提供丰富的输出格式、自动补全、集成调试等功能。LINQPad还支持与BenchmarkDotNet、xUnit、Rx、MSAL、Excel等工具集成,可以用于代码基准测试、正则表达式评估、Excel文件生成等任务。
Renga 是一款基于 XMPP 协议,专为 Haiku 操作系统设计的即时通讯客户端。它支持一对一和群组聊天、聊天记录保存在服务器上、用户头像、消息高亮通知、彩色文本等功能。Renga 还在不断开发中,致力于添加对推荐的 XMPP 协议扩展的全面支持。
本文讲述了作者从16岁起,被 George Hotz 使用 Vim 编程的效率所吸引,开始了长达6年的 Vim 学习之路。期间经历了多次放弃和尝试,最终通过使用 IdeaVim 插件,逐步适应 Vim 的操作方式,并最终转向纯 nvim 配置,实现了自己从 IDE 转向 Vim 的目标。
本文介绍了九个加速大语言模型构建的工具库,涵盖了训练、测试、部署和监控等方面。文中详细解释了每个工具库的功能,例如Megatron-LM和DeepSpeed用于模型训练和扩展,Giskard和lm-evaluation-harness用于测试和评估,vLLM和CTranslate2用于部署和推理,以及Truera和Deepchecks用于模型监控和日志记录。
本文详细介绍了作者对电子墨水价格标签进行逆向工程的过程。作者首先从三星/SoluM 4.2英寸黑白标签入手,分析其硬件和固件,并开发了自定义固件,实现了无线图片传输和显示功能。接着,作者将研究扩展到 DisplayData Chroma 74 三色标签,克服了驱动程序和灰度显示等挑战。此外,作者还分析了 PriceData Chroma29 和 ZBD EPOP 系列标签,并为其开发了自定义固件。
长期为 Linux 内核无线驱动做出贡献的开发者 Larry Finger 于 6 月 21 日逝世。自 2005 年以来,他为 Linux 内核贡献了超过 1500 个补丁,极大地推动了 Linux 无线硬件支持的发展。他的贡献涵盖了 Broadcom BCM43XX 驱动、RTW88、RTW89、R8188EU、R8712、RTLWIFI、B43 等众多网络驱动。他的逝世是 Linux 社区的重大损失。
本文介绍了作者在使用Rust重写librsvg库时,发现并修复的一个内存泄漏问题。该问题源于对libxml2库中xmlEntityPtr指针的处理不当,导致在解析错误的XML文档时,未能及时释放内存。作者通过引入一个包装器结构体,并为其实现了Drop trait,从而确保在Rust程序退出时自动释放xmlEntityPtr指针,最终解决了内存泄漏问题。
文章探讨了AI自动化时代下权限问题的重要性。文章指出,现有的互联网权限体系限制了AI Agent的潜力,并分析了苹果和OpenAI两种不同的解决方案。苹果试图说服开发者赋予其AI Agent权限,而OpenAI则选择绕过网站和应用程序的权限,直接在用户本地运行AI应用程序。文章认为,本地AI应用是绕过传统互联网权限体系、实现AI自动化的一种方式,并展望了未来AI发展趋势。