文章介绍了桑伯恩火灾保险地图的历史和意义。这些地图创建于19世纪末20世纪初，旨在帮助保险公司评估火灾风险。地图详细记录了建筑物材料、街道宽度、消防栓位置、易燃化学品存在等信息，甚至包括了建筑物的用途，如商店、住宅、酒店、教堂等。文章还探讨了地图在社会学、历史学、家谱学等领域的应用，以及它们如何反映美国城市的发展和变迁。
阅读更多
Deno 1.44版本带来了多项重要更新，包括支持私有npm仓库，允许用户通过配置.npmrc文件使用内部包；支持gRPC连接，实现与Google Cloud Platform等服务的稳健高性能通信；改进Node.js兼容性，并重新启用V8指针压缩以显著提高性能。此外，还包括对标准库、API、测试工具和语言服务器的改进。
阅读更多
电子前哨基金会 (EFF) 对联合国网络犯罪公约草案表示严重担忧，该草案被视为一项广泛的监控协议，可能侵犯人权。EFF 认为，该草案对网络犯罪的定义过于宽泛，将导致合法活动被 kriminalisiert，同时赋予政府过大的监控权力，缺乏对言论自由和隐私权的有效保障。EFF 特别指出，草案允许秘密监控和强制技术援助的条款，将对安全研究人员、记者和举报人构成威胁。
阅读更多
文章探讨了火山喷发对气候变化的影响。火山喷发释放的大量二氧化硫会转化为硫酸气溶胶，阻挡阳光照射，导致地球降温。文章指出，尽管火山喷发会释放二氧化碳等温室气体，但相比人类活动产生的温室气体排放量，火山的影响微乎其微。
阅读更多
史密斯 Premier 1 型打字机是当时广告宣传最多、最成功的双键盘打字机。它采用独特的旋转杆系统将按键动作传递到打字杆，带来流畅灵敏的打字体验。这款打字机售价100美元，与当时的许多键盘打字机价格相当。
阅读更多
Linux 6.10 版本将包含最后一项由前首席开发者 Hans Reiser 要求的 ReiserFS 文件系统变更。ReiserFS 的创建者 Hans Reiser 在几个月前写信公开道歉，并对 ReiserFS 在 Linux 内核中的未来提出了最后一个请求：在移除 ReiserFS 之前，在 README 文件中添加 Mikhail Gilula、Konstantin Shvachko 和 Anatoly Pinchuk 的贡献，并删除他之前关于他们没有被提及的任何言论。SUSE 的 Jan Kara 接受了这个请求，并将相应的更改提交到了 Linux 6.10 内核中。
阅读更多
Scrapscript是一种功能性的、内容可寻址的编程语言。该项目提供了一个解释器和一个实验性的编译器，支持Python 3.8+和Cosmopolitan。用户可以使用文件、字符串或REPL模式运行Scrapscript代码，还可以选择编译代码为ELF、Cosmopolitan或Wasm格式。
阅读更多
谷歌正在开发一种名为“microfuchsia”的精简版Fuchsia操作系统，并尝试在安卓设备上的虚拟机中运行它。microfuchsia旨在在虚拟机中运行，谷歌似乎正在安卓设备上进行这方面的实验。目前尚不清楚谷歌这样做的原因，但一种理论认为，与microdroid相比，它将以更优化的方式和更安全地运行某些工作负载。
阅读更多
本文探讨艺术与科学的分离是如何导致了“祛魅”现象，即认为自然界的一切都可以被认知和掌控，而神秘、惊奇和其他情感在科学思维中没有立足之地。文章以达尔文和狄金森为例，说明了他们如何抵制这种趋势，并始终对自然世界保持着敬畏和审美。作者认为，在当前环境危机日益严峻的时代，我们需要重新发现自然界的魔力，并携手合作，共同应对挑战。
阅读更多
这篇文章探讨了意大利博洛尼亚在中世纪时期为何建造了众多高塔，并解释了这些高塔的用途和最终的命运。文章指出，这些高塔并非单纯的装饰，而是贵族家族在城市环境下的一种防御性建筑，类似于“避难所”。随着时代变迁和社会结构的变化，这些高塔逐渐失去了其原有的功能，大部分都被拆除，如今仅存22座。
阅读更多
文章介绍了日本艺术家葛饰北斋创作的木版画《神奈川冲浪里》的12个知识点，包括该画并非原作而是复制品、其创作背景、蓝色颜料的运用、对后世艺术家的影响等，并鼓励读者前往芝加哥艺术博物馆欣赏原作。
阅读更多
本文以电梯系统为例，详细介绍了如何在TLA+中指定活性属性。文章首先解释了活性属性和安全属性的区别，然后逐步构建了一个简单的电梯模型，并通过模型检查器TLC发现了模型中可能出现的电梯卡住的问题。之后，文章详细介绍了如何使用弱公平性和强公平性来指定活性属性，以确保电梯不会卡住并最终访问每一层。
阅读更多
本文讲述了作者修复一台1986年产的雅马哈Electone ME-50电子琴的过程。该电子琴使用超级电容保存预设，但超级电容老化导致预设无法保存。作者通过更换超级电容解决了问题。此外，文章还介绍了电子琴的结构、功能、历史以及作者对电子琴未来发展的看法。
阅读更多
本文介绍了Ruby 2.2中引入的增量垃圾回收（RincGC），旨在缩短GC暂停时间。RincGC将主要的垃圾回收过程分解为多个细粒度的过程，并将其与Ruby程序交织执行，从而将长时间的暂停分解为多个短暂停顿。文章解释了增量垃圾回收的基本原理、Ruby 2.2中的实现细节以及性能评估结果。
阅读更多
本文介绍了泰勒级数和麦克劳林级数，它们是用于逼近函数的多项式。麦克劳林级数是泰勒级数的一种特殊形式，用于在0附近逼近函数。文章首先通过逼近余弦函数的例子直观地解释了麦克劳林级数的工作原理，然后推导了麦克劳林级数的公式。接着，文章介绍了泰勒级数，它可以用于在任意点附近逼近函数。文章以逼近自然对数函数为例说明了泰勒级数的应用。最后，文章讨论了幂级数的收敛性，并使用比值检验来确定麦克劳林级数和泰勒级数的收敛区间。
阅读更多
Scratchapixel 4.0 是一个免费学习计算机图形学编程的网站，内容由该领域的专业人士编写，旨在以通俗易懂的方式讲解，并通过代码示例和数学公式的解析，帮助学习者理解图形学的基本原理和技术，涵盖了从入门到进阶的各个方面，包括光线追踪、着色、纹理、动画和模拟等。
阅读更多
Opslane 是一款开源工具，旨在减少值班工程师的警报疲劳。它利用大型语言模型对警报进行分类，识别可操作的警报和噪声警报，并提供处理警报所需的上下文信息。Opslane 集成了 Slack，可在团队接收警报的频道中提供见解和调试资源。此外，它还提供每周分析报告，帮助团队了解警报质量并直接从 Slack 中屏蔽噪声警报。
阅读更多
微软画图将引入名为Cocreator的新工具，该工具由“基于扩散的算法”提供支持，可以根据文本提示以及用户在画图应用程序中的涂鸦生成图像。该功能此前已向开发者和Windows Insider用户开放，随着CoPilot+个人电脑的推出，Cocreator现已正式发布。
阅读更多
法国于1992年部署的最古老光伏系统，其太阳能组件在运行31年后，仍能产生79.5%的初始功率，超过了制造商承诺的25年后保持80%输出的承诺。测试结果表明，不同组件之间的性能存在差异，这归因于封装材料中添加剂的不同。该研究结果与其他科学研究结果一致，证实了太阳能组件的长期发电能力。
阅读更多
本文介绍了数学家如何推翻了一个关于曲率和形状之间关系的主要猜想——米尔诺猜想。米尔诺猜想认为，如果一个完备流形的里奇张量处处非负，那么它就不能有无限个洞。然而，数学家们构建了一个七维光滑分形雪花，它在每一点都具有非负里奇曲率，但却拥有无限个洞，从而推翻了米尔诺猜想。这一发现表明，具有非负里奇曲率的形状比数学家们预期的更加灵活，也更加复杂，这使得我们对局部几何性质和全局拓扑性质之间的关系的理解变得更加复杂。
阅读更多
位于路易斯安那州普拉克明县的价值210亿美元的液化天然气工厂Venture Global，为了应对海平面上升和飓风威胁，建造了一堵26英尺高的防洪堤。 然而，环保专家对此举表示担忧，认为该设施仍然面临洪水和设备损坏的风险，并指出该项目在审批过程中未能充分考虑气候变化和飓风的影响。 此外，该项目建设过程中破坏了大片湿地，而湿地是抵御风暴的重要屏障。
阅读更多
本文批判了深度学习领域中的一些常见幻想，包括人工智能将取代程序员、可解释人工智能取得进展、大型语言模型是通向通用人工智能的第一步以及大型语言模型理解语言。作者认为这些说法都缺乏理论依据，并指出深度神经网络存在无法解释、推理错误、复杂问题解决能力不足等根本性问题。作者呼吁关注符号知识和符号推理，以构建可靠、可解释、可预测和可推理的人工智能。
阅读更多
2024年1月，天文学家使用NASA的詹姆斯·韦伯太空望远镜观测到一个星系JADES-GS-z14-0，其红移约为14，表明它在大爆炸后仅2.9亿年就已存在。 JADES-GS-z14-0星系非常明亮，质量是太阳的数亿倍，这表明它形成的速度比理论模型预测的要快。此外，该星系中存在氧气，这表明在其形成的早期阶段就有多代大质量恒星存在。这一发现对预测早期宇宙中明亮星系的数量具有重要意义，并为研究宇宙的形成和演化提供了新的视角。
阅读更多
尽管微软与OpenAI有着密切的合作关系，并在OpenAI投入了巨资，但微软在最新的SEC文件中首次将OpenAI列为“竞争对手”。 这可能与OpenAI推出的SearchGPT等新功能有关，也可能是为了应对反垄断调查。 尽管如此，微软仍在人工智能领域进行多元化投资，例如建立独立的Microsoft AI部门和投资Inflection AI。
阅读更多
本文介绍了如何使用线性类型实现引用计数的Haskell库。该库提供了一种安全地共享和释放资源的方法，确保资源在最后一个引用消失时被精确释放一次。文章详细解释了库的设计原理，包括关键数据类型、函数以及潜在的陷阱，并提供了一些使用示例。
阅读更多
这篇文章介绍了一款乐高创意作品——可运作的图灵机。该模型由The Bananaman设计，能够模拟图灵机的基本工作原理，包括无限长的纸带、读写头、状态寄存器和指令表等。文章详细解释了图灵机的概念、模型的工作原理以及其设计细节，并强调了该作品的原创性、复杂的机械结构以及寓教于乐的价值。
阅读更多
本文介绍了作者使用 AdGuard Home 自行托管 DNS 解析器的经历，从动机、需求、方案选择到最终的实现和使用体验。作者详细介绍了如何配置 AdGuard Home，包括设置上游 DNS 服务器、启用 SSL、配置反向代理等。此外，还介绍了如何在不同设备上使用自托管的 DNS 解析器，以及如何创建一个简单的 DoH API。文章最后还讨论了自行托管 DNS 的优缺点，并建议读者根据自身情况进行选择。
阅读更多
