/cdn.vox-cdn.com/uploads/chorus_asset/file/23935561/acastro_STK103__04.jpg)
美国国家劳工关系委员会对亚马逊提起诉讼，指控该公司对参与组织抗议重返办公室政策的员工进行报复，包括对员工进行审查、施压以及解雇。此前，亚马逊员工曾举行罢工抗议公司要求员工每周至少三天在办公室工作的政策。亚马逊否认了这些指控，声称该员工因表现不佳被解雇。
阅读更多
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指针，最终解决了内存泄漏问题。
阅读更多
本文批评了Fedora操作系统默认屏幕阅读器已损坏九年之久的问题，并指出这反映了科技行业中普遍存在的“能力主义”文化。作者认为，尽管Fedora是一个由志愿者维护的项目，但它作为红帽企业版Linux的上游版本，背后有IBM这样的巨头公司支持，九年时间足以解决这个问题。作者还对一些人指责其无视Fedora志愿者贡献、推卸责任，以及对其个人进行攻击的行为进行了反驳，并强调了自己对无障碍环境的关注和为之做出的努力。
阅读更多
文章探讨了AI自动化时代下权限问题的重要性。文章指出，现有的互联网权限体系限制了AI Agent的潜力，并分析了苹果和OpenAI两种不同的解决方案。苹果试图说服开发者赋予其AI Agent权限，而OpenAI则选择绕过网站和应用程序的权限，直接在用户本地运行AI应用程序。文章认为，本地AI应用是绕过传统互联网权限体系、实现AI自动化的一种方式，并展望了未来AI发展趋势。
阅读更多
文章讨论了AI创作的版权争议，指出OpenAI等公司在未经授权的情况下使用艺术家的作品训练AI模型，侵犯了创作者的权益。作者批评了OpenAI推出的Media Manager工具，认为该工具并不能弥补其过去的行为，并呼吁艺术家联合起来，争取应有的权益和报酬。
阅读更多
本文介绍了如何在个人电脑上本地运行大型语言模型(LLM)，例如Mistral和Codellama。文章推荐使用Ollama工具，因为它支持Windows、Linux和Mac系统，并且提供了对Nvidia和Apple M系列GPU的原生支持。文章详细介绍了Ollama的安装步骤、模型下载、标签和量化等内容，并提供了一些常用的Ollama管理命令。
阅读更多
本文作者详细介绍了使用 Minisforum V3 AMD 平板电脑作为便携式 Linux 设备的体验。作者最初寻找一款高性能、便携且运行 Linux 系统的 Surface 类设备，但对市面上主流产品的价格和设计不满意。V3 平板电脑凭借其 AMD 锐龙 7 8840U 处理器、14 英寸 2.5K 165Hz 触控屏、良好的 Linux 兼容性以及独特的外接显示功能吸引了作者。作者对该设备的性能、电池续航、触控和手写笔体验、以及作为外接显示器的功能进行了详细评测，同时也指出了一些尚待改进的地方，例如自动旋转、音量控制和风扇噪音等问题。
阅读更多
尽管成本高昂，新加坡的细胞培养肉产业正在蓬勃发展。新加坡是目前世界上唯一可以在商店买到细胞培养肉的国家，这得益于政府的快速审批和大力支持，吸引了多家欧美企业。新加坡希望借此机会成为该领域的全球领导者，但高昂的生产成本、扩大规模和消费者的疑虑仍然是挑战。
阅读更多
本文探索了ChatGPT用来执行Python代码的Linux环境。作者发现ChatGPT运行在Debian 12上，使用tini、uvicorn和IPython内核。文章详细分析了ChatGPT的网络访问限制，并揭示了其内部web应用程序的源代码。作者还尝试了文件上传、下载以及修改web应用程序等操作，但未能突破网络访问限制。
阅读更多