Rhombus 编程语言现已正式进入“集成”阶段。仓库已更名为 racket/rhombus， 内容被拆分为多个包。新阶段将专注于构建 Rhombus 库，包括文档。Rhombus Scribble 将用于记录 Rhombus 语言。
阅读更多
美国特斯拉车主对特斯拉提起集体诉讼，指控其垄断汽车零件和维修市场，导致维修价格高昂且等待时间长。此前，旧金山法官曾驳回过类似诉讼，但此次法官裁定车主可以继续诉讼，试图证明特斯拉违反了联邦反垄断法。
阅读更多
Sourcetrail是一款免费开源的跨平台源码浏览器，旨在帮助开发者提高对不熟悉源码的理解和开发效率。它支持离线工作，可在Windows、macOS和Linux系统上运行，并支持C、C++、Java和Python语言，还提供SDK (SourcetrailDB) 用于编写自定义语言扩展。
阅读更多
Jgs 字体系列是为了向 ASCII 艺术先驱 Joan G. Stark（又名 jgs，Spunk）致敬而创作的。Jgs 字体的字形可以从一个字符组合到另一个字符，从一行组合到另一行。因此，可以使用单个字符绘制连续的线条、框架和图案。为了在保持像素级连续性效果的同时更改字体大小，该系列字体分为三种字体。
阅读更多
ocli 是一个受 Elm 启发的 OCaml CLI 迷你框架，提供了一系列核心库和示例应用。其中，tea 库实现了 Elm 风格的应用结构，tty 库封装了 OCaml Stdlib 的 termios 功能和 ANSI 控制序列，components 库提供了可组合的 ANSI 部件。此外，ocli 还包含一个名为 rebase_edit 的交互式 Git rebase 编辑器，以及一个名为 newbase 的 bash 包装器。
阅读更多
美国演员工会-美国电视和广播艺术家联合会 (SAG-AFTRA) 的电子游戏演员在罢工一个多月后，已与 80 款已与该工会签署临时或分级预算协议并接受了他们一直寻求的人工智能条款的电子游戏达成了协议。工会领导人表示，游戏配音演员和动作捕捉艺术家的肖像可能会被人工智能复制，并在未经他们同意和公平补偿的情况下使用。
阅读更多
欧盟准备指控苹果涉嫌在移动应用商店中压制竞争，这将是欧盟监管机构首次动用新数字法规来约束大型科技公司。欧盟委员会认定，苹果没有履行义务，允许应用程序开发者引导用户在不收取费用的情况下在其应用程序商店之外进行消费。如果罪名成立，苹果将面临每天高达其全球平均日营业额5%的罚款。
阅读更多
Orbit 是一个仅使用 CSS 创建径向界面的工具，它提供创新的径向元素来帮助你改造设计。Orbit 提供了多种组件，如卫星、切片、进度条等，可以组合使用以节省构建复杂径向创作的时间。Orbit 易于学习和使用，并可与其他 CSS 框架协同工作。
阅读更多
最新研究表明，美国最古老的墓碑来自比利时，属于一位英国骑士。该墓碑位于弗吉尼亚州詹姆斯敦，可追溯至 1627 年，据信属于殖民地总督乔治·耶德利爵士。通过对墓碑中化石的研究，研究人员确定其并非来自北美，而更有可能来自比利时，这揭示了当时跨大西洋贸易的广度。
阅读更多
本文批判性地回顾了Danziger、Levav和Avnaim-Pesso（2011）的研究，该研究发现以色列假释委员会的有利裁决比例在会期内随着序号的增加而减少，但在午休后恢复到初始水平。作者认为，这种“饥饿法官效应”的影响被高估了，并用模拟表明，这种下降趋势可以用有利裁决比不利裁决耗时更长的选择性缺失和理性时间管理来解释。
阅读更多
本文回顾了马丁贝克弹射座椅的历史，该座椅在75年前首次成功挽救了飞行员John Oliver “Jo” Lancaster DFC 的生命。马丁贝克公司最初致力于飞机设计和制造，但在创始人之一Valentine Baker在一次试飞事故中丧生后，公司将重心转向了飞行安全，并开始专注于弹射座椅的研发。如今，马丁贝克已成为全球知名的弹射座椅制造商，其产品已累计挽救了来自107个不同运营商的7722名飞行员，涉及188种飞机。
阅读更多
本文介绍了如何结合使用microui和fenster这两个轻量级库来创建小型GUI应用程序。fenster提供了一个简单的画布用于绘制像素，并处理键盘和鼠标输入。microui则用于将GUI元素转换为绘图指令。作者详细介绍了如何将这两个库连接起来，并提供了一个示例程序。
阅读更多
Linux 6.12 版本将引入一项新功能，即在内核崩溃时可选地显示二维码。该功能由 DRM Panic 处理程序基础设施提供支持，使用 Rust 语言编写，并可以通过 DRM_PANIC_SCREEN_QR_CODE Kconfig 构建开关启用。二维码中包含了丰富的调试信息，用户可以通过扫描二维码快速获取这些信息，从而更方便地诊断和解决问题。
阅读更多
Polyfight.io 是一款多人在线游戏，玩家可以选择加入或创建战队，自定义设置和配色方案。游戏界面包含战队功能、主题配置、无人机分类等选项，玩家可以根据自己的喜好进行个性化设置。
阅读更多
由于Waymo自动驾驶出租车在旧金山屡遭破坏，该公司已提起诉讼，要求两名涉嫌破坏者赔偿数十万美元。Waymo认为，这些蓄意破坏行为对其声誉构成了重大威胁，并可能损害其自动驾驶出租车业务。一起诉讼针对的是一名特斯拉司机，他被指控故意追尾Waymo自动驾驶汽车；另一起诉讼针对的是一名被指控割破至少19辆Waymo汽车轮胎的女性。
阅读更多
EloqData 发布了高性能、兼容 Redis API、支持 ACID 事务、可扩展的分布式键值数据库 EloqKV。EloqKV 建立在突破性的 Data Substrate 技术之上，支持按需启用 ACID 事务，并可根据内存、CPU 核心、日志 SSD 和持久存储等资源类型进行独立扩展。EloqKV 与 Redis API 兼容，易于使用，并提供多种部署配置，包括作为缓存、内存数据库、大于内存数据库以及完整的事务性分布式数据库。
阅读更多
本文探讨了“使用PostgreSQL解决一切问题”的理念，指出了技术蔓延带来的挑战，以及简化技术栈的优势。作者主张将PostgreSQL作为首选数据库，因为它功能强大、扩展性强，能够满足多种需求，从而降低复杂性并节省时间。文章承认有时其他数据库可能更适合特定任务，但建议在PostgreSQL无法满足关键需求时才考虑添加其他数据库，并权衡收益与管理多个系统的复杂性。
阅读更多
玛丽恩·斯托克斯是一位前图书馆管理员和民权活动家，从1979年开始，她开始每天24小时录制电视节目，最终积累了71000多盘录像带，记录了美国电视的历史。她认为新闻报道中包含着重要的历史细节，这些细节有可能永远消失。斯托克斯持续录制了三十多年，直到2012年去世。她的儿子将这些录像带捐赠给了互联网档案馆，该档案馆从2013年开始将这些录像带数字化。
阅读更多
本文批评了微软Windows操作系统的安全性问题，指出其设计上的缺陷导致漏洞频发，并举例说明了近期出现的严重安全漏洞。作者还对微软新增的Recall功能表示担忧，认为该功能侵犯用户隐私且存在安全隐患。此外，文章还批评了微软在Windows 11安装过程中强制绑定 OneDrive的行为，认为这是对用户选择权的侵犯。
阅读更多
欧洲航天局（ESA）的新型重型运载火箭阿丽亚娜6号于当地时间7月9日16:00（北京时间7月10日凌晨4:00）从法属圭亚那的欧洲航天发射中心首次发射升空。阿丽亚娜6号是欧洲阿丽亚娜火箭系列的最新成员，接替了阿丽亚娜5号，其模块化和多功能设计使其能够执行从近地轨道到深空的各种任务。
阅读更多
文章介绍了如何在 Python 中使用 Pydantic 库来实现和类型。文章首先指出了 Pydantic 在数据验证方面的优势，然后通过一个示例说明了 Pydantic 的局限性，即无法直接表达类似“异或”这样的逻辑关系。为了解决这个问题，文章引入了和类型的概念，并详细讲解了如何使用 Pydantic 的标签联合（tagged union）特性来逼近和类型。文章还讨论了如何使用枚举类型作为标签值、如何设置默认标签值以及如何复用代码等问题。
阅读更多
本文介绍了中世纪博学家巨匠阿尔伯特，他不仅是一位多米尼加修道士，也是一位早期的科学家、哲学家和教育家。他被认为是炼金术和化学之父之一，并因发现了砷和硝酸银的光敏特性而受到赞誉，这些发现为摄影铺平了道路。他在自然科学、哲学等领域都有重要贡献，强调理性与信仰的结合，对自然世界的研究为后来的科学发展奠定了基础。
阅读更多
CachyOS 是一个基于 Arch Linux 的发行版，旨在优化性能，提供更简单的安装程序和众多桌面环境选择。然而，尽管该系统针对追求性能的用户，但实际体验却充满了挑战。安装过程缓慢，且必须联网下载软件包，对网络连接有限的用户极其不友好。此外，安装程序在引导加载程序安装等方面存在问题，导致安装失败。虽然系统提供了多种桌面环境选择，但部分环境存在稳定性问题。总的来说，CachyOS 在追求性能的同时牺牲了稳定性和易用性。
阅读更多
吕底亚王国是第一个创造货币的国家。最初，货币只是带有简单雕刻的金属片，后来发展成为具有希腊神话人物的精美艺术雕刻。吕底亚人发明货币是为了验证支付的真伪。硬币代表了人类世界的一个根本性变化，因为它们的发明代表了公元前600年以来民族之间贸易史的重要组成部分。
阅读更多
VDEv2是一个虚拟分布式以太网软件，可以创建虚拟网络、隧道和移动支持。它允许用户在多台真实计算机上创建由UML虚拟机组成的虚拟网络，并使用tap接口连接到真实的Linux机器。VDEv2支持VLAN、FSTP等功能，并可用于创建跨越不同网络的隧道，以及在不中断通信的情况下切换网络路径。
阅读更多
CompCert C 是一款用于 C 编程语言的编译器，旨在编译高度安全可靠的关键任务软件。它支持大部分 ISO C 99 语言，并生成 PowerPC、ARM、RISC-V 和 x86 架构的机器代码。CompCert C 的独特之处在于其经过机器辅助数学证明的形式化验证，确保编译过程的正确性，生成的可执行代码与源代码语义完全一致。
阅读更多
