为了节省成本,Uber将其所有支付交易数据从DynamoDB和blob存储迁移到名为LedgerStore的新型专用数据存储中。该公司之前已经减少了使用DynamoDB存储热数据(12周前的数据)。此举带来了显著的成本节省,并简化了存储架构。LedgerStore是一个不可变的存储解决方案,通过提供可验证的数据完整性和正确性保证,确保交易数据的完整性。
阅读更多
Unicode 通用区域设置数据存储库 (CLDR) 提供了软件支持世界语言的关键构建块,拥有最大和最广泛的可用区域设置数据标准存储库。 这些数据被广泛的公司用于其软件国际化和本地化,使软件适应不同语言的惯例,以完成此类常见软件任务。 它包括特定于区域设置的格式化和解析模式、名称翻译、语言和脚本信息、国家/地区信息以及 Unicode 区域设置、语言、脚本、区域和扩展的有效性定义、别名和有效性信息。
阅读更多
本文探讨了在 Agda 中表示带有绑定语法的不同方法,包括 de Bruijn 索引、局部无名、名义签名、高阶抽象语法、范围良好的 de Bruijn 索引、范围良好的名称、无名无痛、抽象范围图和协同 de Bruijn 索引。作者详细介绍了每种方法,并使用无类型 lambda 演算的语法示例进行说明,还讨论了每种方法的优缺点。
阅读更多
马里兰州帕森斯岛上的一处古代遗址提供了关于人类何时以及如何首次进入北美的诱人线索。该遗址位于切萨皮克湾,其侵蚀的悬崖暴露出沙质沉积物,其中包含着可能挑战现有美洲人类史前史的证据。
阅读更多
本文介绍了作者最喜欢的 C 编程实践,涵盖了代码风格、规范、最佳实践等方面,旨在帮助开发者编写更正确、可读、简洁和易于维护的 C 代码。作者强调了代码正确性、可读性、简洁性和可维护性优先于速度,并建议在完成开发后进行基准测试以识别瓶颈并进行优化。文章还讨论了诸如使用空格、注释、命名约定、数据类型、控制结构、宏、结构体、枚举和函数等方面的最佳实践。
阅读更多
本文探讨了核电项目事实核查的重要性,以美国蒙大拿州比尤特市一名男子声称获得NRC批准,将使用西屋公司eVinci微型反应堆建造一座100兆瓦核电站为例,说明了核电领域存在虚假宣传和欺诈的现象。作者回顾了爱达荷州一起名为“爱达荷州隐形反应堆”的便士股票欺诈案,并强调了核电初创企业在与监管机构、利益相关者和投资者打交道时,需要提供文件和核实其说法的必要性。文章还讨论了反核利益集团如何歪曲事实,以及核工业媒体在未经事实核实的情况下发布新闻稿的现象,并建议读者提高警惕,注意那些对核电行业没有深入了解且只想快速获利的人。
阅读更多
Devon是一款开源的结对编程工具,可以帮助开发者进行多文件编辑、代码库探索、配置编写、测试编写和错误修复等任务。它支持多种模型,包括Claude 3、Opus、GPT4-o、Grok和Ollama。Devon目前还处于早期开发阶段,但已经具备了一些基本功能。
阅读更多
本文介绍了著名书评家Michael Dirda关于如何阅读书籍的十条规则,包括选择合适的书籍、注意版本、关注细节、选择合适的阅读时间和地点、不要在真空环境中阅读、集中注意力、准备做笔记、积极思考和寻找书架等。作者认为,每位读者都应该追求文本的乐趣,无论是浪漫小说、惊悚小说还是学术著作,都能带来不同类型的文本愉悦。
阅读更多
这项对瑞典南部黑色素瘤队列中29518名女性进行的为期20年的前瞻性研究表明,积极的阳光照射习惯的女性,其心血管疾病(CVD)和非癌症/非CVD死亡的风险主要低于避免阳光照射的女性。由于她们的生存期延长,这些女性的癌症死亡的相对贡献增加。避免阳光照射的非吸烟者的预期寿命与阳光照射量最高的吸烟者相似,这表明避免阳光照射与吸烟一样,都是导致死亡的风险因素。与阳光照射量最高的组相比,避免阳光照射者的预期寿命缩短了0.6-2.1年。
阅读更多
本文详细介绍了在Windows平台上编写Swift代码的工具和生态系统。文章指出,Windows已成为成熟的Swift代码编写环境,Visual Studio Code (VS Code) 是首选的开发环境。文章详细介绍了VS Code中Swift开发体验的各个方面,包括编辑、构建、测试和调试代码,并列举了相关的工具和技术,例如Swift扩展、sourcekit-lsp、swift-format、Swift Package Manager、CMake、LLDB、WinDBG等。文章鼓励开发者尝试在Windows上进行Swift开发,并表示将持续改进开发者体验。
阅读更多
这篇文章讲述了作者为解决其软盘模拟器产品所需的DB-19连接器短缺问题,如何克服困难,最终成功复刻这款连接器的经历。由于DB-19连接器已经停产多年,作者在寻找替代方案和寻找制造商的过程中遇到了很多困难。最终,他通过组织团购,与其他有相同需求的社区合作,成功地在中国找到了愿意生产DB-19连接器的厂家,并完成了生产。
阅读更多
荷兰法院对Tornado Cash开发者Alexey Pertsev的洗钱罪判决,引发了加密社区对开发者责任认定的广泛担忧。法院认为,即使开发者没有直接参与犯罪,但如果其软件可预见会被用于犯罪,开发者也需承担责任。此判决被认为是对犯罪责任的过度解读,可能对区块链的隐私、不变性和去中心化特性产生负面影响,迫使开发者在设计协议时牺牲这些特性以符合监管要求。
阅读更多
文章讨论了浏览器中 URL API 的使用方法,特别是 new URL() 构造函数在处理格式错误的 URL 时会抛出错误的问题。作者介绍了两种解决方法:一是使用 try...catch 语句捕获错误,二是使用 URL.canParse() 函数预先判断 URL 是否可解析。作者还提到了最新添加到 URL API 的 URL.parse() 函数,该函数可以解析 URL 并返回结果,即使 URL 格式错误也不会抛出错误,为开发者提供了一种更简洁、更易读的 URL 处理方式。
阅读更多
Anthropic回顧了其负责任的扩展策略(RSP)的实施情况,该策略旨在解决灾难性安全故障和前沿模型的滥用问题。文章重点介绍了识别和测试模型中的“红线能力”、对这些能力做出反应、迭代扩展政策和实施保障机制。Anthropic强调了威胁建模和评估、ASL-3标准、以及保障结构的重要性。文章还分享了在实施RSP过程中遇到的挑战和经验教训,并呼吁行业和政府共同努力,确保前沿模型的负责任训练和部署。
阅读更多
这篇文章探讨了容器技术的起源和发展,从UNIX系统中的chroot机制到FreeBSD jails,再到Linux中的cgroups和namespaces。文章解释了这些技术如何共同作用,实现容器的隔离和资源控制,并简要介绍了一些常用的容器管理系统,如Docker、LXC和systemd-nspawn。
阅读更多
本文介绍了如何构建一个简单的现代 JavaScript 框架,涵盖了响应式系统和 DOM 渲染两大核心要素。作者首先使用 Proxy 实现了一个简单的响应式系统,用于跟踪状态变化并执行相关操作。然后,利用 tagged template literals 和 DOM 克隆技术,实现了高效的 DOM 渲染,并通过占位符替换的方式更新动态内容。最后,作者将响应式系统与 DOM 渲染结合起来,实现了根据状态变化自动更新 DOM 的功能,并提出了进一步优化方向,如处理深层 DOM 树更新和列表迭代等。
阅读更多
菲亚特重新推出了 500e 电动车型,续航里程更长,复古风格也进行了升级。新款 500e 的 EPA 续航里程为 149 英里,显著高于之前型号的 84 英里。此外,新款 500e 还支持公共直流快充,并配备了名为 Free2move 的应用程序,方便用户查找和支付充电费用。新款 500e 的起售价为 32,500 美元,目标客户是城市居民,尤其是在加州的主要城市中心。
阅读更多
本文介绍了一个名为 ffmpeg-english 的 Python 脚本,该脚本利用 OpenAI 的 GPT-4 模型将用户输入的英文描述转换为相应的 FFmpeg 命令。用户只需用简单的英语描述想要执行的任务,例如“capture video from the camera every 1 second and write it to jpg files”,脚本就会自动生成并执行对应的 FFmpeg 命令。
阅读更多
这篇文章详细介绍了墨尔本大学2005年谜题竞赛中的一项任务“侦探”的解决方案。这个谜题由维基解密的创始人朱利安·阿桑奇设计,类似于桌游妙探寻凶,玩家需要根据对话内容,破译不同语言的角色、武器和房间之间的关系,最终找出凶手和作案地点。
阅读更多
Linux基金会宣布成立高性能软件基金会 (HPSF),旨在构建、推广和推进用于高性能计算 (HPC) 的可移植核心软件栈。HPSF得到了众多行业巨头的支持,包括亚马逊云科技、惠普企业、劳伦斯利弗莫尔国家实验室和桑迪亚国家实验室等。HPSF将设立技术咨询委员会,管理负责各种HPC主题的工作组。HPSF的首批开源技术项目包括Spack、Kokkos、Viskores、HPCToolkit、Apptainer和E4S。
阅读更多
文章批判了美国宇航局的阿耳忒弥斯登月计划,认为该计划成本高昂、效率低下,并且存在严重的安全风险。作者详细分析了计划中各个组成部分的缺陷,包括太空发射系统火箭、猎户座宇宙飞船、近直线晕轨道、月球门户空间站和载人着陆系统。作者认为,该计划过度依赖未经验证的技术,并质疑美国宇航局是否具备将宇航员送上月球的能力。
阅读更多
本文讲述了前美国卫生局局长杰罗姆·亚当斯在亚利桑那州远足时因脱水而接受了简单的急诊治疗,却收到了高达1万美元的医疗账单,即使经过保险公司协商降至4800美元,仍然是一笔沉重的负担。亚当斯借此案例揭露了美国医疗体系价格不透明、账单不合理以及高免赔额健康计划给患者带来的经济压力,并呼吁加强医疗价格透明度、建立账单争议仲裁机制以及加强消费者保护等措施,以确保所有人都能获得必要的医疗服务,而不必担心经济破产。
阅读更多
Ubuntu 24.10 版本将默认使用 Wayland 显示服务器,即使是使用 NVIDIA 显卡的用户。此前由于 NVIDIA 驱动对 Wayland 的支持不够完善,使用 NVIDIA 显卡的用户只能使用 Xorg/X11 会话。但随着 NVIDIA 对 Wayland 的支持力度加大,Ubuntu 开发团队认为 Wayland 的体验已经足够好,可以在 Ubuntu 24.10 中默认启用。
阅读更多
赫兹租车公司因对特斯拉租车人收取汽油费而引发关注,但这并非个例。多名顾客反映,他们在租用特斯拉后被错误地收取了汽油费或“免加油”服务费,金额从数百美元到近七百美元不等。尽管赫兹最终撤销了这些费用,但客户服务响应缓慢且处理效率低下,引发了用户不满。
阅读更多