谷歌将从 2024 年 11 月起不再信任 Entrust 证书
由于 Entrust 公司在过去几年中多次违反安全和合规要求,谷歌 Chrome 浏览器将从 2024 年 11 月 1 日起,不再信任由 Entrust 颁发的 TLS 服务器身份验证证书。受影响的网站运营商需要在 2024 年 10 月 31 日之前更换新的证书颁发机构,以避免网站访问中断。
阅读更多
由于 Entrust 公司在过去几年中多次违反安全和合规要求,谷歌 Chrome 浏览器将从 2024 年 11 月 1 日起,不再信任由 Entrust 颁发的 TLS 服务器身份验证证书。受影响的网站运营商需要在 2024 年 10 月 31 日之前更换新的证书颁发机构,以避免网站访问中断。
阅读更多
本文介绍了一种利用国际象棋引擎 Stockfish 来确定棋子理想位置的方法。作者首先尝试了一种简单的方法,即移除棋子并比较将其放置在不同空格后的评估值变化,但发现这种方法容易受到战术因素的影响。为了解决这个问题,作者引入了材质平衡的考量,并通过多个案例分析了该方法的优缺点。最后,作者提出了一些改进方向,例如考虑不切实际的移动、兵的移动和王的位置等因素,并展望了该方法在量化棋子强度和识别位置最差棋子等方面的应用。
阅读更多
Timeshift 是一款 Linux 系统还原工具,类似于 Windows 中的系统还原和 Mac OS 中的时间机器。它通过定期创建文件系统的增量快照来保护系统,用户可以在以后还原这些快照以撤销对系统的所有更改。默认情况下,快照保存在系统分区中,但也可以选择其他分区,也可以使用外部硬盘。Timeshift 支持多种快照级别、Rsync 和 BTRFS 快照,并默认排除用户数据。
阅读更多
这篇文章探讨了应用数学中的重要结果——詹森不等式,它可以用于约束随机变量函数的期望。文章首先介绍了该不等式的最简公式和证明,以及其历史背景。之后,文章列举了詹森不等式的一些经典应用,包括推导其他不等式,如杨氏不等式和赫尔德不等式,以及在非负矩阵分解和期望最大化算法中的应用。最后,文章还探讨了詹森不等式在信息论和算子凸性等方面的应用。
阅读更多
这篇文章介绍了Transformer模型,这是一种彻底改变了人工智能方法的神经网络架构。文章详细解释了Transformer的三个关键组件:嵌入、Transformer块和输出概率。嵌入部分描述了如何将文本输入转换为模型可以理解的数值表示。Transformer块部分介绍了模型的核心处理单元,包括多头自注意力机制和多层感知器(MLP)。输出概率部分解释了模型如何根据处理后的嵌入生成预测。文章还探讨了高级架构特征,如层归一化、dropout和残差连接,以及它们如何提高模型的性能。
阅读更多
这篇文章介绍了如何使用Mermaid甘特图在Markdown文档中清晰地展示分布式跟踪信息,从而替代传统的JaegerUI截图方式。文章以OpenTelemetry为例,展示了如何使用Mermaid甘特图语法定义时间刻度、区分服务、标记span等,并提供了一个更贴近实际应用的复杂示例。
阅读更多
这篇文章分析了一张二战期间的海报,海报内容是Smith-Corona打字机服务公司为美国政府回购打字机,以缓解战时打字机短缺问题。文章解释了战时工业转向军事生产以及劳动力短缺导致打字机供应不足,并详细介绍了美国政府为解决这一问题采取的措施,包括限制销售、鼓励捐赠和实施配给制等,最后文章还提到了配给制结束的时间。
阅读更多
Lago是一家开源平台,旨在帮助工程师构建更好的货币化系统。目前Lago正在招聘一名机器学习工程师,工作地点是欧洲或美国远程,薪资范围是7万到9万欧元。理想的候选人应该在机器学习领域有5年以上的工作经验,并且精通Python、Scala或Java等编程语言,熟悉机器学习的最佳实践、算法和领域,并有使用TensorFlow或SageMaker等技术的经验。
阅读更多
本文介绍了在 Go 语言中编写泛型集合类型的经验,作者首先尝试了两种错误的实现方式,并分析了错误原因。最终,作者找到了正确的解决方案,即使用接口和类型约束来定义泛型集合类型,并详细解释了语法和注意事项。作者认为,尽管 Go 泛型功能强大,但相关文档缺乏对复杂用例的说明,导致开发者难以充分利用该特性。
阅读更多
美国国家航空航天局(NASA)的新报告显示,用于太空发射系统火箭的新型上面级的开发项目进度已经落后 7 年,而且预算严重超支。更令人担忧的是,报告揭露了主要承包商波音公司糟糕的质量控制实践,指出其劳动力缺乏足够的航空航天生产经验,导致了许多质量问题,并造成项目延误和成本增加。尽管NASA监察长建议对波音公司处以经济处罚,但NASA以合同已有相关条款为由拒绝了这一建议。
阅读更多
作者通过在网站代码中发现包含数据库、AWS、Salesforce等服务的完整 process.env 文件,成功获取了风投公司 A16z 的各种凭证信息。这些凭证信息真实有效,只需查看网页源代码即可获取。A16z 以公开披露漏洞为由拒绝支付赏金,但作者表示联系无果才选择公开。
阅读更多
本文讲述了作者如何修复一台20世纪90年代的Garmin GPS 95接收器,并解决其时间和串口通信问题。作者发现该接收器使用一种特殊的串口信号,介于RS-232和TTL串口之间,需要使用反相器才能与现代设备通信。最终,作者成功使用该接收器和Flipper Zero设备找到了荷兰最古老的地理藏宝点。
阅读更多
本文介绍了一项针对reCAPTCHAv2验证码的大规模真实用户研究,该研究历时13个月,涉及超过3600名用户。研究发现,虽然用户在多次尝试后解决验证码的能力有所提高,但reCAPTCHAv2的设计仍然给用户带来了困扰,尤其是在图片识别方面。研究还发现,网站的上下文环境、用户的专业背景和教育水平都会影响验证码的解决时间。作者认为,reCAPTCHAv2及其类似技术存在成本高、安全性低的问题,应该被淘汰。
阅读更多
Mesh Tumbler是一个用于确定网格旋转以最大程度减少3D打印中悬垂的工具。它使用-z方向法线的投影来确定用户定义阈值(默认为45度)以上的不支撑悬垂量。根据贝叶斯高斯过程优化程序旋转网格,以便找到使这些悬垂数量最小化的旋转。
阅读更多
该文章描述了在 CPython 中添加对 iOS 支持的提案,目标是在 Python 3.13 中实现 Tier 3 级别的支持。文章详细讨论了实现 iOS 支持所需的技术细节,包括平台识别、动态库加载、编译、分发和打包等方面。该提案还涵盖了项目管理方面的问题,例如 CI 资源、PEP 11 更新和向后兼容性等。
阅读更多
文章探讨了编程语言创造者年龄与语言流行程度的关系。通过分析PLDB数据库中185种编程语言的数据,作者发现,程序员在30多岁时创造的编程语言数量最多,40多岁时次之,之后迅速下降。虽然TypeScript、Go、JSON和Clojure等一些非常流行的语言是由40岁以上的程序员创造的,但数据表明,55岁以下的程序员创造流行编程语言的可能性更大。
阅读更多
文章指出,以谷歌、Meta、微软和亚马逊为首的美国科技巨头在海底电缆领域的支配地位引发了人们对关键基础设施风险的担忧。这些公司从电缆容量的主要客户转变为所有者,控制了从内容创建到数据存储、处理和网络传输的整个互联网服务价值链。这种转变引发了数据安全、潜在破坏和地缘政治影响等问题,需要政府密切关注和监管调整,以减轻潜在风险。
阅读更多
在经历了数月的猜测和期待之后,LPCAmm2 内存终于来了。这是第一种采用划时代新架构的新型内存,有望彻底改变我们使用计算机的方式。LPCAmm2 内存速度比目前最快的 DDR5 内存快得多,而且它还更节能。这意味着我们可以期待更快的计算机,更长的电池续航时间以及更低的能耗。
阅读更多
Grace 是一个功能强大的 Python 图数据库引擎,它提供了一个灵活且易于使用的 API,用于存储、查询和处理具有复杂关系的数据。它的设计目标是高性能、可扩展性和易用性。Grace 采用 Python 编写,并利用 Python 的动态性和表达能力。它使用内存映射文件作为其主要存储引擎,这提供了出色的性能和可扩展性。Grace 具有一个直观的 API,使开发人员能够轻松地定义图模式、存储数据并执行查询。它还支持高级查询功能,例如模式匹配、路径查找和聚合。Grace 适用于广泛的应用程序,包括社交网络分析、推荐系统、欺诈检测和知识图谱构建。
阅读更多
贝莱德首席执行官拉里·芬克在接受采访时表示,他已经放弃了对比特币等加密货币的最初怀疑,现在坚信加密货币在普通投资者的投资组合中占有一席之地。他认为比特币是一种合法的金融工具,可以提供不相关的回报,并可以帮助买家对冲货币贬值的风险。贝莱德今年早些时候推出了全球最大的现货比特币ETF——iShares比特币信托基金(IBIT),芬克对比特币一直持乐观态度,称IBIT是历史上增长最快的ETF。
阅读更多
这篇文章深入探讨了如何利用Typescript在企业内部建立和维护品牌一致性。文章概述了Typescript的类型系统在确保代码库中命名约定和设计模式一致性方面的优势。此外,还提供了实际示例,说明如何使用Typescript来创建可重用的组件和定义代码规范,从而简化团队协作并提高代码质量。
阅读更多
这篇文章探讨了如何在 Windows 11 中绕过自动更新重启的问题。作者指出,以往在注册表中设置 NoAutoRebootWithLoggedOnUsers 和 AUOptions 的方法已失效,询问是否有新的解决方法。其他用户建议了一些方案,包括在模拟开始前断开网络连接、使用虚拟机运行模拟、使用定时任务修改工作时间以及使用 Windows API 阻止系统关机等。
阅读更多
这篇文章介绍了 Steve Ciarcia 的书籍《自己动手构建 Z80 计算机:设计指南和应用》。该书介绍了如何构建 Z80 计算机,包括电源、微处理器、外围设备和 CRT 终端,并解释了每个项目的设计注意事项。
阅读更多
本文讲述了美国联邦航空管理局(FAA)自2015年以来,因各种原因,对368个导航航点进行重命名的故事。其中包括因特朗普的 waterfront estate 附近存在以他名字命名的航点而引发的争议,以及其他一些由于涉及色情、政治、心理健康等敏感词汇而被改名的航点。
阅读更多
Gradient-Free-Optimizers 是一个易于使用的优化技术集合,其目标函数只需要一个可以最大化的任意分数。这使得无梯度方法能够解决各种优化问题,包括优化任意数学函数、将多个高斯分布拟合到数据以及机器学习方法的超参数优化。Gradient-Free-Optimizers 提供了多种优化算法,包括局部优化、全局优化、基于种群的优化和基于序列模型的优化,并提供了简单易用的 API 和高性能的优化后端。
阅读更多
《Pokémon GO》玩家正在修改 OpenStreetMap(OSM)等公共地图数据,以获得对稀有宝可梦巢穴和其他有价值的游戏内位置的访问权限。这种做法引发了对地图数据完整性和操纵可能性的担忧,因为玩家为了获得优势而改变了现实世界的数据。
阅读更多
唐娜·卡利尔是佛罗里达州最早的专业蟒蛇猎手之一,她致力于猎杀入侵佛罗里达大沼泽地的缅甸蟒蛇。缅甸蟒蛇作为外来宠物贸易的一部分来到佛罗里达,并对当地生态系统造成了严重破坏。卡利尔和其他猎手的努力有助于控制蟒蛇的数量,保护了当地的野生动物。
阅读更多
llama3.np 是 Llama 3 模型的纯 NumPy 实现。为了实现精确的实现,作者运行了由 Andrej Karpathy 训练的 stories15M 模型。该项目提供了英文和韩文版本的详细说明,并包含了使用方法、引用方式、参考文献以及许可证信息。
阅读更多