康拉德·楚泽

2024-05-20

本文介绍了康拉德·楚泽,他被公认为是世界上第一台可自由编程的二进制浮点计算机的发明者。他于1941年在柏林的工作室完成了这台名为Z3的机器,并于1942年至1945年间创造了世界上第一种编程语言Plankalkül。

阅读更多
未分类 康拉德·楚泽

Uber将1万亿条记录从DynamoDB迁移到LedgerStore,每年节省600万美元

2024-05-20
Uber将1万亿条记录从DynamoDB迁移到LedgerStore,每年节省600万美元

为了节省成本,Uber将其所有支付交易数据从DynamoDB和blob存储迁移到名为LedgerStore的新型专用数据存储中。该公司之前已经减少了使用DynamoDB存储热数据(12周前的数据)。此举带来了显著的成本节省,并简化了存储架构。LedgerStore是一个不可变的存储解决方案,通过提供可验证的数据完整性和正确性保证,确保交易数据的完整性。

阅读更多
未分类 数据迁移

Unicode 通用区域设置数据存储库

2024-05-20
Unicode 通用区域设置数据存储库

Unicode 通用区域设置数据存储库 (CLDR) 提供了软件支持世界语言的关键构建块,拥有最大和最广泛的可用区域设置数据标准存储库。 这些数据被广泛的公司用于其软件国际化和本地化,使软件适应不同语言的惯例,以完成此类常见软件任务。 它包括特定于区域设置的格式化和解析模式、名称翻译、语言和脚本信息、国家/地区信息以及 Unicode 区域设置、语言、脚本、区域和扩展的有效性定义、别名和有效性信息。

阅读更多

Jesper Cockx - 使用绑定表示语法的 1001 种方法

2024-05-20

本文探讨了在 Agda 中表示带有绑定语法的不同方法,包括 de Bruijn 索引、局部无名、名义签名、高阶抽象语法、范围良好的 de Bruijn 索引、范围良好的名称、无名无痛、抽象范围图和协同 de Bruijn 索引。作者详细介绍了每种方法,并使用无类型 lambda 演算的语法示例进行说明,还讨论了每种方法的优缺点。

阅读更多
58
未分类 绑定 Agda

GitHub - mcinglis/c-style: 我最喜欢的 C 编程实践

2024-05-20
GitHub - mcinglis/c-style: 我最喜欢的 C 编程实践

本文介绍了作者最喜欢的 C 编程实践,涵盖了代码风格、规范、最佳实践等方面,旨在帮助开发者编写更正确、可读、简洁和易于维护的 C 代码。作者强调了代码正确性、可读性、简洁性和可维护性优先于速度,并建议在完成开发后进行基准测试以识别瓶颈并进行优化。文章还讨论了诸如使用空格、注释、命名约定、数据类型、控制结构、宏、结构体、枚举和函数等方面的最佳实践。

阅读更多
65

Kotlin脚本

2024-05-20
Kotlin脚本

本文介绍了Kotlin脚本的基础知识,包括编写和执行脚本、使用脚本进行自动化以及脚本编写最佳实践。Kotlin脚本允许开发人员编写和执行脚本来自动执行任务、执行快速计算等。Kotlin脚本通常以.kts扩展名编写。Kotlin脚本是用类似于Kotlin代码文件的方式编写的,但不需要封闭的fun main()函数或类定义。Kotlin脚本可以利用任何Java或Kotlin库,方法是指定依赖项。这可以使用@file:DependsOn注解来完成。

阅读更多
未分类 Kotlin

核电项目大胆声明的事实核查为何重要

2024-05-20
核电项目大胆声明的事实核查为何重要

本文探讨了核电项目事实核查的重要性,以美国蒙大拿州比尤特市一名男子声称获得NRC批准,将使用西屋公司eVinci微型反应堆建造一座100兆瓦核电站为例,说明了核电领域存在虚假宣传和欺诈的现象。作者回顾了爱达荷州一起名为“爱达荷州隐形反应堆”的便士股票欺诈案,并强调了核电初创企业在与监管机构、利益相关者和投资者打交道时,需要提供文件和核实其说法的必要性。文章还讨论了反核利益集团如何歪曲事实,以及核工业媒体在未经事实核实的情况下发布新闻稿的现象,并建议读者提高警惕,注意那些对核电行业没有深入了解且只想快速获利的人。

阅读更多
未分类 核电 事实核查

中世纪淡啤酒的迷思

2024-05-20
中世纪淡啤酒的迷思

人们普遍认为中世纪的人们喝淡啤酒是为了避免饮用水的危险,但这是一个迷思。事实上,饮用水在历史上很常见。人们知道水有好坏之分,但这仅限于气味和味道。中世纪的人们不仅喝水,还建立了大量基础设施来为民众供水。富人有自己的水管,而大多数人则从水贩那里购买水。人们喝淡啤酒是为了获得能量和补充水分,因为当时的体力劳动非常繁重。淡啤酒是廉价且有效的能量和液体来源。

阅读更多
未分类 啤酒

Devon:开源结对编程工具

2024-05-20
Devon:开源结对编程工具

Devon是一款开源的结对编程工具,可以帮助开发者进行多文件编辑、代码库探索、配置编写、测试编写和错误修复等任务。它支持多种模型,包括Claude 3、Opus、GPT4-o、Grok和Ollama。Devon目前还处于早期开发阶段,但已经具备了一些基本功能。

阅读更多
66
未分类

如何阅读一本书:书评家的十条规则

2024-05-20
如何阅读一本书:书评家的十条规则

本文介绍了著名书评家Michael Dirda关于如何阅读书籍的十条规则,包括选择合适的书籍、注意版本、关注细节、选择合适的阅读时间和地点、不要在真空环境中阅读、集中注意力、准备做笔记、积极思考和寻找书架等。作者认为,每位读者都应该追求文本的乐趣,无论是浪漫小说、惊悚小说还是学术著作,都能带来不同类型的文本愉悦。

阅读更多
未分类

避免阳光照射作为主要死亡原因的风险因素:对瑞典南部黑色素瘤队列的竞争风险分析

2024-05-20
避免阳光照射作为主要死亡原因的风险因素:对瑞典南部黑色素瘤队列的竞争风险分析

这项对瑞典南部黑色素瘤队列中29518名女性进行的为期20年的前瞻性研究表明,积极的阳光照射习惯的女性,其心血管疾病(CVD)和非癌症/非CVD死亡的风险主要低于避免阳光照射的女性。由于她们的生存期延长,这些女性的癌症死亡的相对贡献增加。避免阳光照射的非吸烟者的预期寿命与阳光照射量最高的吸烟者相似,这表明避免阳光照射与吸烟一样,都是导致死亡的风险因素。与阳光照射量最高的组相比,避免阳光照射者的预期寿命缩短了0.6-2.1年。

阅读更多

Swift工具:Windows版本

2024-05-20
Swift工具:Windows版本

本文详细介绍了在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:让一个过时的连接器复活

2024-05-20

这篇文章讲述了作者为解决其软盘模拟器产品所需的DB-19连接器短缺问题,如何克服困难,最终成功复刻这款连接器的经历。由于DB-19连接器已经停产多年,作者在寻找替代方案和寻找制造商的过程中遇到了很多困难。最终,他通过组织团购,与其他有相同需求的社区合作,成功地在中国找到了愿意生产DB-19连接器的厂家,并完成了生产。

阅读更多

Tornado Cash 案判决对加密行业产生寒蝉效应

2024-05-20
Tornado Cash 案判决对加密行业产生寒蝉效应

荷兰法院对Tornado Cash开发者Alexey Pertsev的洗钱罪判决,引发了加密社区对开发者责任认定的广泛担忧。法院认为,即使开发者没有直接参与犯罪,但如果其软件可预见会被用于犯罪,开发者也需承担责任。此判决被认为是对犯罪责任的过度解读,可能对区块链的隐私、不变性和去中心化特性产生负面影响,迫使开发者在设计协议时牺牲这些特性以符合监管要求。

阅读更多

new URL() 的问题以及 URL.parse() 如何解决这个问题

2024-05-20
new URL() 的问题以及 URL.parse() 如何解决这个问题

文章讨论了浏览器中 URL API 的使用方法,特别是 new URL() 构造函数在处理格式错误的 URL 时会抛出错误的问题。作者介绍了两种解决方法:一是使用 try...catch 语句捕获错误,二是使用 URL.canParse() 函数预先判断 URL 是否可解析。作者还提到了最新添加到 URL API 的 URL.parse() 函数,该函数可以解析 URL 并返回结果,即使 URL 格式错误也不会抛出错误,为开发者提供了一种更简洁、更易读的 URL 处理方式。

阅读更多
未分类 URL

Anthropic 发布关于其“负责任的扩展策略”的思考

2024-05-20
Anthropic 发布关于其“负责任的扩展策略”的思考

Anthropic回顧了其负责任的扩展策略(RSP)的实施情况,该策略旨在解决灾难性安全故障和前沿模型的滥用问题。文章重点介绍了识别和测试模型中的“红线能力”、对这些能力做出反应、迭代扩展政策和实施保障机制。Anthropic强调了威胁建模和评估、ASL-3标准、以及保障结构的重要性。文章还分享了在实施RSP过程中遇到的挑战和经验教训,并呼吁行业和政府共同努力,确保前沿模型的负责任训练和部署。

阅读更多

一起动手打造现代 JavaScript 框架

2024-05-20
一起动手打造现代 JavaScript 框架

本文介绍了如何构建一个简单的现代 JavaScript 框架,涵盖了响应式系统和 DOM 渲染两大核心要素。作者首先使用 Proxy 实现了一个简单的响应式系统,用于跟踪状态变化并执行相关操作。然后,利用 tagged template literals 和 DOM 克隆技术,实现了高效的 DOM 渲染,并通过占位符替换的方式更新动态内容。最后,作者将响应式系统与 DOM 渲染结合起来,实现了根据状态变化自动更新 DOM 的功能,并提出了进一步优化方向,如处理深层 DOM 树更新和列表迭代等。

阅读更多
未分类 框架 响应式

什么是生成艺术?

2024-05-20
什么是生成艺术?

本文探讨了生成艺术的定义,并将其分为三类:随机性、规则和自然系统。作者详细介绍了每种类型的特点,并列举了丰富的实例,包括伪随机数、细胞自动机、自然现象模拟等。作者还探讨了数据源、人工智能和自动主义等与生成艺术相关的概念,并对绘画和绘画中的生成元素进行了分析。最后,作者认为生成艺术的可能性是无限的,并鼓励艺术家探索和融合不同类别,以创造更多具有创意和概念深度的作品。

阅读更多
未分类

菲亚特 2024 款 500e 电动车型回归,续航里程更长,复古风格升级

2024-05-20
菲亚特 2024 款 500e 电动车型回归,续航里程更长,复古风格升级

菲亚特重新推出了 500e 电动车型,续航里程更长,复古风格也进行了升级。新款 500e 的 EPA 续航里程为 149 英里,显著高于之前型号的 84 英里。此外,新款 500e 还支持公共直流快充,并配备了名为 Free2move 的应用程序,方便用户查找和支付充电费用。新款 500e 的起售价为 32,500 美元,目标客户是城市居民,尤其是在加州的主要城市中心。

阅读更多
75
未分类 菲亚特 500e

GitHub - dheera/scripts: scripts/ffmpeg-english

2024-05-20
GitHub - dheera/scripts: scripts/ffmpeg-english

本文介绍了一个名为 ffmpeg-english 的 Python 脚本,该脚本利用 OpenAI 的 GPT-4 模型将用户输入的英文描述转换为相应的 FFmpeg 命令。用户只需用简单的英语描述想要执行的任务,例如“capture video from the camera every 1 second and write it to jpg files”,脚本就会自动生成并执行对应的 FFmpeg 命令。

阅读更多
64
未分类

解谜游戏“侦探”的答案

2024-05-20
解谜游戏“侦探”的答案

这篇文章详细介绍了墨尔本大学2005年谜题竞赛中的一项任务“侦探”的解决方案。这个谜题由维基解密的创始人朱利安·阿桑奇设计,类似于桌游妙探寻凶,玩家需要根据对话内容,破译不同语言的角色、武器和房间之间的关系,最终找出凶手和作案地点。

阅读更多
未分类 解谜 侦探

杂草之战

2024-05-20
杂草之战

本文探讨了除草剂的广泛使用及其对生物多样性的影响。作者从个人经历出发,讲述了父亲对草坪上“杂草”的厌恶,并将其与越战中使用的橙剂联系起来。文章深入探讨了除草剂的历史,从早期的金属化合物到现代的有机化合物,以及它们如何被化学公司积极推广。作者重点关注了2,4-D这种除草剂,它被广泛用于农业、住宅和路边生态系统,导致了“草地景观”的兴起和生物多样性的减少。文章呼吁对生物多样性危机采取行动,限制除草剂的使用,并鼓励创造更富有多样性的公共和私人空间。

阅读更多
未分类 除草剂

Linux基金会宣布成立高性能软件基金会

2024-05-20
Linux基金会宣布成立高性能软件基金会

Linux基金会宣布成立高性能软件基金会 (HPSF),旨在构建、推广和推进用于高性能计算 (HPC) 的可移植核心软件栈。HPSF得到了众多行业巨头的支持,包括亚马逊云科技、惠普企业、劳伦斯利弗莫尔国家实验室和桑迪亚国家实验室等。HPSF将设立技术咨询委员会,管理负责各种HPC主题的工作组。HPSF的首批开源技术项目包括Spack、Kokkos、Viskores、HPCToolkit、Apptainer和E4S。

阅读更多
未分类

算法设计教学:文献综述

2024-05-20
算法设计教学:文献综述

这篇文献综述回顾了计算机科学教育领域关于算法设计教学的研究。研究发现,尽管算法设计是计算机科学本科课程中的一项重要技能,但针对其教学法的研究却很少。作者通过对ACM数据库的检索,仅发现了94篇符合条件的论文,这表明在算法设计教学方面还有很多未解之谜。该综述还强调了采用严格研究方法的必要性,并指出现有文献大多集中在将已有的教学实践(如主动学习和自动评估)应用于算法课堂。

阅读更多
62

阿耳忒弥斯计划的荒唐之处

2024-05-20

文章批判了美国宇航局的阿耳忒弥斯登月计划,认为该计划成本高昂、效率低下,并且存在严重的安全风险。作者详细分析了计划中各个组成部分的缺陷,包括太空发射系统火箭、猎户座宇宙飞船、近直线晕轨道、月球门户空间站和载人着陆系统。作者认为,该计划过度依赖未经验证的技术,并质疑美国宇航局是否具备将宇航员送上月球的能力。

阅读更多

前美国卫生局局长:难以置信!我的医疗账单高达1万美元

2024-05-19
前美国卫生局局长:难以置信!我的医疗账单高达1万美元

本文讲述了前美国卫生局局长杰罗姆·亚当斯在亚利桑那州远足时因脱水而接受了简单的急诊治疗,却收到了高达1万美元的医疗账单,即使经过保险公司协商降至4800美元,仍然是一笔沉重的负担。亚当斯借此案例揭露了美国医疗体系价格不透明、账单不合理以及高免赔额健康计划给患者带来的经济压力,并呼吁加强医疗价格透明度、建立账单争议仲裁机制以及加强消费者保护等措施,以确保所有人都能获得必要的医疗服务,而不必担心经济破产。

阅读更多

Ubuntu 24.10 将默认使用 Wayland 显示服务器

2024-05-19
Ubuntu 24.10 将默认使用 Wayland 显示服务器

Ubuntu 24.10 版本将默认使用 Wayland 显示服务器,即使是使用 NVIDIA 显卡的用户。此前由于 NVIDIA 驱动对 Wayland 的支持不够完善,使用 NVIDIA 显卡的用户只能使用 Xorg/X11 会话。但随着 NVIDIA 对 Wayland 的支持力度加大,Ubuntu 开发团队认为 Wayland 的体验已经足够好,可以在 Ubuntu 24.10 中默认启用。

阅读更多
未分类

赫兹租车公司对特斯拉租车人收取汽油费并非个例

2024-05-19
赫兹租车公司对特斯拉租车人收取汽油费并非个例

赫兹租车公司因对特斯拉租车人收取汽油费而引发关注,但这并非个例。多名顾客反映,他们在租用特斯拉后被错误地收取了汽油费或“免加油”服务费,金额从数百美元到近七百美元不等。尽管赫兹最终撤销了这些费用,但客户服务响应缓慢且处理效率低下,引发了用户不满。

阅读更多
未分类 赫兹租车
1 2 975 976 977 979 981 982 983 1084 1085