文章指出，随着软件系统日益复杂，开发者需要的不仅仅是简单的图表工具来进行系统设计。传统的图表工具难以实时更新、协作功能有限且无法管理云资源，不能满足现代软件开发的需求。开发者需要能够全面理解系统架构、支持动态设计和协作的系统设计工具，以便更高效地构建和管理复杂的软件系统。
阅读更多
国际地球自转和参考系统服务机构 (IERS) 宣布，2024 年将不会增加闰秒。IERS代表国际电信联盟 (ITU) 对协调世界时 (UTC) 进行更改，他们表示，UTC 和 UT1（地球自转时间）之间的差异不足以保证进行更改。IERS 允许两种测量之间存在 0.9 秒的差异，如果超过此限制，则会添加闰秒。自 1972 年该概念提出以来，已经进行了 27 次闰秒调整。
阅读更多
本文讲述了STS-93航天任务发射过程中出现的一系列惊险故障，包括液氧载量不足、线路磨损短路、发动机喷嘴泄漏、传感器故障等。作者详细描述了每个故障的起因、经过和潜在风险，以及地面控制团队如何冷静应对，最终成功将航天飞机送入轨道。
阅读更多
Compost.party 是一个利用太阳能供电的改装智能手机，它是一个由废弃零件组装成的网络服务器，在公寓楼的阁楼里嗡嗡作响。这是一个集体共享托管的实验项目，如果你有一个网页或想法想要在 compost.party 上托管，请发送邮件至 [email protected]。
阅读更多
netboot.xyz是一个提供多种操作系统的网站，允许用户使用轻量级工具启动到不同类型的操作系统。它利用iPXE项目，使用户能够通过预启动执行环境(PXE)进行配置、恢复或加载到实时启动环境中。
阅读更多
qrframe是一个基于代码的二维码生成器，深受QRBTF和Anthony Fu的QR Toolkit的启发。它允许用户自定义二维码的数据（如编码模式、版本、纠错、掩码模式）和外观（如使用预设、自定义或通过代码编辑器创建新样式）。该工具还支持SVG和PNG格式输出，所有代码都在浏览器中运行，没有任何限制。
阅读更多
本文介绍了谷歌表格团队将其计算引擎从 JavaScript 移植到 WasmGC 的原因和过程。JavaScript 计算引擎虽然经过优化，但性能仍落后于 Java。WasmGC 作为 WebAssembly 的扩展，为垃圾收集语言提供了接近原生速度的 Web 支持。移植过程面临诸多挑战，包括工具链缺失、代码库差异等，但最终实现了显著的性能提升。
阅读更多
本文介绍了作者出于兴趣对大数运算库进行优化的过程。作者首先将存储数字的基数从10改为30位，显著提高了加法和乘法的运算速度。随后，作者实现了Karatsuba乘法算法，进一步提升了大数乘法的效率。作者通过基准测试比较了不同优化策略的性能差异，并计划在未来添加更多功能，例如负数支持、减法、除法、位运算等，并完善代码测试。
阅读更多
这篇文章探讨了Rust语言在形式验证方面的优势，特别关注了其对可变别名的限制如何支持局部推理，从而使得形式验证工具更容易分析Rust代码。文章解释了Rust的借用检查器如何通过确保引用生命周期短于所引用对象的生命周期来实现内存安全，以及“共享-异或-可变”规则如何支持局部推理。文章还将Rust的借用检查器与垃圾回收进行了比较，并讨论了Rust的早期版本如何使用类型状态系统和写时复制来支持形式验证。
阅读更多
即将发布的 Linux 6.10 内核将引入 mseal() 系统调用，它允许进程防止对其地址空间部分的任何未来更改。GNU C 库 (glibc) 计划利用此系统调用来增强安全性。glibc 将能够密封程序的各个部分，包括二进制代码、共享库和动态加载的库。此举旨在使攻击者更难修改进程的地址空间，从而提高安全性。
阅读更多
微软开源了 Hyperlight 项目，这是一个 Rust 库，可用于使用基于虚拟机管理程序的保护来执行小型嵌入式函数，每个函数调用都能实现规模化保护，并且速度极快，每个函数请求都可以拥有自己的虚拟机管理程序进行保护。Hyperlight 创建新的虚拟机只需1到2毫秒，虽然比直接使用沙盒运行时慢，但它能将这些运行时放置在虚拟机中，提供额外的保护。Hyperlight 的速度足够快，可以根据事件按需启动虚拟机，实现零规模扩展，降低成本和计算资源浪费。
阅读更多
本文讲述了俄罗斯互联网先驱阿列克谢·索尔达托夫的故事。他创立了俄罗斯第一个互联网供应商Relcom，并在苏联时期将该国连接到全球互联网。然而，由于他独立的思想和对互联网自由的坚持，他被俄罗斯政府以“滥用职权”的罪名判处两年劳改。本文批评了俄罗斯政府对互联网自由的打压，以及对那些为国家现代化做出贡献的人的迫害。
阅读更多
文章批判了软件工程领域过早抽象的弊端，主张采用“后架构”的理念，即逐步递增地定义架构，而非预先设计。作者建议从过程式编程和函数式编程的基本原理出发，以数据结构为中心，而非代码模式，并通过识别数据流来简化系统。文章强调，应尽量将状态向外推移，形成“函数式核心，命令式外壳”的结构，并以Redux Toolkit等为例说明了这种模式的应用。
阅读更多
本文介绍了如何在网站上设置 Google 标签的第一方模式。第一方模式通过在用户网站和 Google 服务之间建立一层数据安全，以更安全的方式恢复丢失的测量信号，并提供更多数据隐私控制，例如完整的 IP 混淆。文章详细介绍了选择标签服务路径、路由流量、更新网站脚本以及测试测量设置等步骤，并以 Google Cloud 和 Cloudflare 平台为例，提供了详细的操作指南。
阅读更多
Daminik 是一款简单且可扩展的开源数字资产管理系统，集成了内容交付网络 (CDN)。它为所有数字资产提供单一数据源，速度快，符合GDPR标准。Daminik 目前处于Alpha阶段，个人使用免费，团队价格将在Beta阶段公布。
阅读更多
Gym Class VR是Meta Quest平台上排名第一的体育游戏，拥有数百万玩家。该公司由顶级科技和体育投资者支持，包括Andreessen Horowitz、Y Combinator、NBA、金州勇士队以及凯文·杜兰特、丹尼·格林等顶级球员投资者。Gym Class正在招聘资深、主管或首席后端工程师，负责VR、移动和Web的后端工程，与联合创始人合作制定路线图，并与客户端工程师和设计师合作发布产品。
阅读更多
2021年政变后，缅甸军政府封锁了Facebook和其他社交平台。为了限制言论自由和民众之间的通讯，军政府近期在全国范围内禁止使用VPN服务。人权组织Access Now的亚太政策分析师Ma Wai Phyo Myint接受了媒体采访，讨论了VPN禁令对缅甸人民获取信息和抵抗组织协调行动的影响。
阅读更多
文章讨论了威廉·詹宁斯·布莱恩在斯科普斯审判中反对教授进化论的复杂立场。布莱恩通常被描绘成一个顽固的保守派，但实际上他在许多方面持自由主义观点，支持妇女参政权、累进税制和社会福利。他反对教授进化论的原因是当时的一些教科书，例如《公民生物学》，利用进化论来宣扬优生学、选择性育种和对“不良分子”进行绝育。文章指出，虽然进化论是现代生物学的重要基石，但这些教科书中宣扬的优生学观点是令人憎恶的，布莱恩反对的是这些观点，而非进化论本身。
阅读更多
这篇博文以深入浅出的方式解释了 OAuth 2.0 授权码流程，并通过一系列攻击和防御策略的演进，阐述了如何构建安全的第三方授权机制。文章首先介绍了不安全的授权方式，例如直接暴露用户凭证和简单的访问令牌，然后逐步引入了重定向 URI 操作、CSRF 攻击、窃听访问令牌和授权码等安全问题，并针对每种攻击方式给出了相应的解决方案。最终，文章详细讲解了 OAuth 2.0 授权码流程和 PKCE（代码交换的证明密钥）机制，并提供了一些额外的学习资源。
阅读更多
一项新的研究分析了来自遥远宇宙的1504颗超新星的数据，为宇宙学时间膨胀提供了迄今为止最清晰的证据，证实了爱因斯坦的预测。该研究使用了暗能量巡天项目（DES）的数据，该项目观测了一种特殊的爆炸恒星，称为Ia型超新星，跨越了数十亿年的宇宙历史。研究发现，超新星的特征闪光和衰减的延长量与其红移成正比，红移是宇宙膨胀对其发射光的拉伸程度的度量。这一发现与爱因斯坦的狭义相对论相符，该理论预测，对于以极高速度运动的物体来说，时间流逝得更慢。
阅读更多
文章介绍了多态性shellcode的概念、作用和实现方式。多态性shellcode是为了避免被安全软件检测，其代码会不断变化，增加攻击识别的难度。文章以Metaspoit的“shikata ga nai” (SGN)为例，详细解释了其解码器的工作原理，以及如何通过改变寄存器、指令顺序和隐藏循环尾部等方式来实现代码的多态性。
阅读更多
这篇文章介绍了一个Lambda演算解释器的实现。Lambda演算是一种形式系统，用于研究函数定义、函数应用和递归。该解释器可以解析Lambda表达式，并将它们简化为范式。
阅读更多
本文介绍了OpenBSD系统中DHCPv6-PD功能的实现。作者首先概述了DHCPv6-PD的背景和重要性，然后详细介绍了如何将dhcpleased(8)改造为dhcp6leased(8)，并使用ISC的Kea DHCP服务器进行开发和测试。文章还探讨了描述网络拓扑、子网分配和地址规划等问题，并比较了dhcpcd和dhcp6leased在处理这些问题上的异同。最后，作者展望了dhcp6leased的未来发展方向，包括自动计算请求前缀的大小和输出地址规划等功能。
阅读更多
TinyMoon 是一个轻量级的 Swift 库，用于计算任意日期的月相，速度快且完全离线工作。它兼容 iOS 和 MacOS，提供 Moon 和 ExactMoon 两种计算模式，可以获取月相名称、emoji、月龄、亮度等信息。
阅读更多
来自沙特阿拉伯利雅得的游戏玩家Ibrahim Al-Nasser，成功将444台游戏机连接到一台电视上，创下了新的吉尼斯世界纪录。Ibrahim使用超过30个RCA切换器、12多个HDMI切换器以及各种连接线，将从1972年的Magnavox Odyssey到2023年的PlayStation 5 Slim等不同年代的游戏机连接起来。他还使用Excel表格来记录每个游戏机对应的切换器，以便随时切换游玩。
阅读更多
马萨诸塞大学阿默斯特分校的研究人员发明了一种新的3D半导体芯片对准方法，该方法通过将激光照射穿过芯片上的同心金属透镜，从而产生全息图来实现对准。与传统的显微镜对准方法相比，该方法精度更高，可达亚纳米级别，并且无需移动部件，能够同时观察到两个芯片层之间的偏差。这项技术有望降低2D半导体芯片的生产成本，实现3D光子和电子芯片的制造，并为其他低成本、紧凑型传感器铺平道路。
阅读更多
这篇文章提供了一个为期九周的深度学习课程大纲，名为“从张量到稳定扩散”。该课程旨在帮助学员从零开始学习深度学习，内容涵盖了从基础的张量概念到构建CNN、RNN等模型，再到实现经典论文中的模型，如LeNet、AlexNet、ResNet、DCGAN、GRU、LSTM、CBOW、Skip-Gram、Transformer、BERT以及稳定扩散模型。课程注重实践，每个主题都包含代码实现和相关论文。
阅读更多
