德国高速公路正面临严重的基础设施问题,约有5000座桥梁急需维修或重建。这些桥梁大多建于1985年以前,设计承载量远低于目前的交通流量,导致老化严重。然而,受制于国家债务上限,政府的翻新资金捉襟见肘。桥梁关闭和限行措施已对地区经济造成严重影响,企业经营困难,交通拥堵加剧。尽管政府试图简化审批流程,并计划设立基础设施基金,但资金缺口依然巨大,桥梁老化问题成为德国亟待解决的难题。
这篇博文探讨了代码覆盖工具coverage.py在利用Python 3.12新特性sys.monitoring提高效率方面所面临的挑战。作者详细解释了coverage.py传统的工作原理、SlipCover如何实现最小化开销,以及sys.monitoring的优缺点。文章重点讨论了使用sys.monitoring进行分支覆盖的困难,并提出了一种基于插入无操作代码行的新方法。作者也就该方法存在的问题,如数据结构的改变、多弧线是否等同于分支等进行了探讨,并希望集思广益,共同推进coverage.py的发展。
本文探讨了如何高效地判断一个年份是否为闰年。文章首先解释了闰年的定义,然后介绍了如何利用位运算和模运算来优化判断逻辑。作者详细解释了如何找到与2的幂次互质的数的乘法逆元,并利用该逆元来简化对25的整除性判断。文章还提供了不同位数整数的常数示例,并讨论了有符号整数的情况。
本文讲述了 Psion 公司从1980年成立到2013年最后一款 Symbian 设备发布的发展历程。Psion 以 Organiser 系列掌上电脑起家,凭借其创新设计和 EPOC 操作系统在移动计算领域占据重要地位。公司随后推出的 Series 3 和 Series 5 等产品进一步巩固了其市场地位。1998年,Psion 软件部门独立出来成立了 Symbian 公司,专注于开发和推广 EPOC32 操作系统。Symbian 与诺基亚、摩托罗拉等手机厂商合作,成功将 Symbian OS 推向了市场巅峰。然而,随着 iPhone 和 Android 的崛起,Symbian 逐渐失去优势,最终退出了历史舞台。
由科廷大学领导的一项新研究发现,地球上的淡水大约出现在40亿年前,比之前认为的早了5亿年。研究人员通过分析西澳大利亚杰克山脉的古代晶体,将淡水出现的时间线推回到地球形成后的几亿年。这一发现挑战了地球在40亿年前完全被海洋覆盖的现有理论,对理解地球如何形成以及生命如何出现至关重要。
科学家们发现了一种名为Henneguya salminicola的寄生虫,它是第一个被发现没有线粒体基因组的多细胞生物,这意味着它不需要呼吸氧气就能生存。这一发现不仅改变了我们对地球生命运作方式的理解,也可能对寻找外星生命产生影响。这种寄生虫通过进化出与线粒体相关的细胞器来进行无氧代谢,并简化了基因组,从自由生活的祖先进化成了更简单的寄生虫。
本文介绍了加入 Codeberg e. V. 的流程,并详细说明了会员类型、会费标准、支付方式以及志愿者工作等信息。Codeberg e. V. 是一个支持自由开源软件开发的组织,会员可以参与投票决策,并通过捐款和志愿工作支持项目发展。
本文分析了域名系统(DNS)中的域名解析漏洞问题,指出其普遍性、持久性和潜在危害。文章解释了域名解析漏洞的成因,包括域名服务器不可达、配置错误以及解析路径无效等,并通过对.BIZ域名和Conficker蠕虫案例的分析,揭示了域名解析漏洞带来的安全风险。研究发现,域名解析漏洞会导致域名解析时间显著增加,甚至影响主流域名,需要引起重视并寻求解决方案。
文章探讨了在互联网应用中选择 TCP 和 UDP 的问题,作者认为 UDP 数据报的不可靠性并非目标,而是结果。文章深入讨论了数据报的优缺点,以及 QUIC 协议如何通过流、优先级和拥塞控制等机制实现更好的实时数据传输。作者主张开发者应该避免直接使用 UDP 数据报,而应该选择 QUIC 作为更可靠、更高效的传输协议。
本文首先以通俗易懂的方式介绍了计算机如何理解人类语言,从二进制到嵌入和向量空间。然后,作者解释了HNSW算法如何高效地在高维空间中搜索相似向量,并将其与人脑的效率进行了比较。最后,作者分享了他在实际项目中使用不同向量数据库的经验和比较,包括chromaDB、Pinecone、FAISS、Milvus、pgvector、Redis、Qdrant和Weaviate,最终推荐使用Qdrant。
该项目旨在重构 MS-DOS 版 Microprose 游戏 F-15 Strike Eagle 2 v451.03(1991 年最终的沙漠风暴扩展磁盘版)的源代码。该项目的目标是在指令级别与原始游戏保持一致,并允许在可执行文件布局上存在差异。该项目目前正在进行中,大部分 C 代码已经被重构,但可执行文件还没有完全完成。
文章讲述了伦敦城区别于现代伦敦的历史。伦敦城起源于罗马时代的伦蒂尼姆,并在漫长的历史中保持了其独立性,拥有自己的治理机构、警察部队甚至军队。虽然被现代伦敦包围,但伦敦城仍保留着独特的历史地位和自治权。
文章讨论了jwz对Mozilla的原罪的看法。jwz认为,有些人会将Mozilla的问题归咎于某些原因,但实际上并非如此。文章没有进一步解释jwz的观点,只是简单引用了他在Mastodon上的发言。
本文讨论了GNU版本的su为什么不支持常见的wheel组。Richard Stallman认为,wheel组的设计初衷是为了让少数管理员完全掌控系统,而GNU的理念是维护所有用户的权力平等,因此不支持wheel组。
本文作者认为,箱线图作为一种经典图表类型,存在设计缺陷,使得其难以理解和解释。作者详细阐述了箱线图的三大缺陷:视觉设计不直观、需要理解复杂概念(如四分位数)以及隐藏关键信息。作者推荐使用更直观的图表类型来替代箱线图,例如带状图、抖动带状图以及分布热力图,并解释了这些替代方案的优势。
本文介绍了 OCaml 中 Flambda2 优化编译器中的 Loopify 算法,它用于优化尾递归函数。Loopify 的主要目的是减少递归函数调用过程中的内存分配,从而提高程序性能。文章解释了尾调用优化(TCO)的概念,以及 OCaml 如何保证 TCO。此外,文章还详细介绍了 Loopify 的工作原理,包括如何决定何时进行循环化,以及如何将尾递归函数转换为包含循环的非递归函数。最后,文章强调了 Loopify 的意义,它使得 OCaml 程序员无需为了性能而牺牲代码的可读性和简洁性。
LetterDrop 是一款基于 Cloudflare Workers 构建的安全高效的邮件通讯管理服务,它允许用户轻松创建、分发和管理邮件通讯。该服务使用 Cloudflare Workers、Email Workers、KV、R2、Queues 和 D1 等技术构建,并提供订阅/取消订阅、邮件发布、失败邮件处理等功能。
2024年6月22日,中国成功发射了中法合作的SVOM天体物理卫星,该卫星旨在研究伽马射线暴。然而,发射过程中,长征二号丙火箭的助推器坠落在贵州省黔东南州贵定县附近,视频显示有居民躲避坠落残骸。尽管当局发布了警告和疏散通知,但火箭残骸坠落仍然引发了对有毒推进剂危害的担忧。
文章探讨了数据库迁移过程中,DDL 语句(如 ALTER TABLE)如何与长查询交互,引发锁竞争,导致应用停机。文章指出,设置 lock_timeout 可以限制 DDL 语句等待锁的时间,避免长时间阻塞读写操作。同时,推荐使用 pgroll 这样的迁移工具,它结合了 lock_timeout 和自动重试机制,有效降低了迁移风险。
这篇文章深入探讨了 Guix 操作系统声称的“全源码构建”是否属实。作者以机器学习框架 PyTorch 为例,分析了其依赖链,并解释了 Guix 如何通过构建所有依赖项来确保软件的可信度。文章详细介绍了 Guix 的引导过程,从最初的二进制种子 bootstrap-seeds 到构建 stage0-posix 软件包,再到最终构建出 PyTorch。作者还指出了当前引导过程中需要信任的二进制文件,并探讨了如何进一步减少对这些二进制文件的依赖,以及解决 Haskell 和 OCaml 等语言引导问题的方案。
本文介绍了 einsum 符号和 Jax Transformer。einsum 是一种用于张量操作的 API,它使用爱因斯坦求和约定来简化多维数组上的复杂线性代数运算,例如张量缩并和求和。文章详细解释了 einsum 符号的语法和规则,并通过矩阵乘法、转置等示例演示了其用法。此外,文章还介绍了 Jax Transformer 的简单实现,并解释了如何使用 einsum 在 Jax 中实现多头注意力机制。
沃尔玛计划在2026年前为2300家门店配备电子货架标签,以提高效率并减少人工成本。电子标签允许零售商频繁更改价格,与在线价格保持一致,并提供产品详细信息。专家认为,电子标签有助于提高效率,但不太可能导致价格波动,因为零售商更注重长期客户关系。
作者Jamie Lawrence是一位经理,他发现自己无法从管理工作中获得像游泳等个人成就带来的那种内啡肽快感。他怀念作为程序员时,完成项目、解决问题带来的成就感,并认为管理工作很难量化成果,也很难体会到那种“升级”的快乐。他认为,管理工作的性质决定了它难以带来直接的满足感,建议经理们接受这一点,并从工作之外的活动中寻求成就感,例如运动或个人项目。
OpenEMR是全球领先的开源电子健康记录和医疗实践管理解决方案,致力于提供免费、开源的医疗软件。该软件拥有丰富的功能,包括预约、电子处方、医疗账单、实验室集成、临床决策规则、多语言支持等,并提供社区和专业支持。OpenEMR还致力于持续发展,并寻求资金支持以进行新的开发工作,如混合住院/门诊支持、高级账单、快速医疗保健互操作性资源 (FHIR) 集成等。
本文介绍了一种使用本地SSH连接替代sudo命令的实验方法。该方法通过配置一个仅监听本地Unix域套接字的sshd实例,并使用独立的SSH密钥进行身份验证,实现了无需提权即可以root用户身份执行命令的目标。文章详细介绍了配置步骤,包括SSH密钥设置、sshd服务配置、连接建立等,并讨论了使用socat和ProxyUseFdpass优化连接性能的方法。
本文是知名开发者 jwz 对 Mozilla 的批评。jwz 认为 Mozilla 最大的错误是接受了 Google 的资助,并为了市场份额屈服于内容行业的压力,实现了 DRM 技术,背离了其维护开放网络的初衷。jwz 认为 Mozilla 应该专注于构建参考级的 Web 浏览器,并在标准委员会上捍卫开放网络的原则,而不是一味追求市场份额。
华盛顿大学的研究人员发现,ChatGPT 在对简历进行排名时,存在对残疾人简历的偏见。包含残疾相关荣誉和证书的简历,往往会被排名在没有这些内容的相同简历之后。研究人员发现,这种偏见源于 ChatGPT 对残疾人存在的刻板印象。然而,当研究人员通过编写指令,要求 ChatGPT 不要歧视残疾人时,该工具减少了对大多数残疾的偏见。
Ruby 语言功能丰富,语法简洁,是编写 Shell 脚本的强大工具。文章列举了 Ruby 在调用外部命令、处理状态码、类型安全、函数式编程、正则表达式、多线程和文件操作等方面的优势,并与 Bash、Python 等语言进行了比较,建议开发者在处理复杂脚本时考虑使用 Ruby。