Compost.party 是一个利用太阳能供电的改装智能手机，它是一个由废弃零件组装成的网络服务器，在公寓楼的阁楼里嗡嗡作响。这是一个集体共享托管的实验项目，如果你有一个网页或想法想要在 compost.party 上托管，请发送邮件至 [email protected]。
阅读更多
netboot.xyz是一个提供多种操作系统的网站，允许用户使用轻量级工具启动到不同类型的操作系统。它利用iPXE项目，使用户能够通过预启动执行环境(PXE)进行配置、恢复或加载到实时启动环境中。
阅读更多
Forscape 是一种面向科学计算的编程语言和编辑器，专注于解决工程问题，具备低成本抽象、安全检查和直观的用户体验。它支持数学渲染，可像科学论文和笔记一样对矩阵、分数和符号等对象进行编程。该编辑器提供矩阵语法高亮、维度检查、悬停显示维度等功能。Forscape 采用 MIT 许可证，核心代码库开源，但部分附加模块将进行商业销售。
阅读更多
这篇文章探讨了Rust语言在形式验证方面的优势，特别关注了其对可变别名的限制如何支持局部推理，从而使得形式验证工具更容易分析Rust代码。文章解释了Rust的借用检查器如何通过确保引用生命周期短于所引用对象的生命周期来实现内存安全，以及“共享-异或-可变”规则如何支持局部推理。文章还将Rust的借用检查器与垃圾回收进行了比较，并讨论了Rust的早期版本如何使用类型状态系统和写时复制来支持形式验证。
阅读更多
qrframe是一个基于代码的二维码生成器，深受QRBTF和Anthony Fu的QR Toolkit的启发。它允许用户自定义二维码的数据（如编码模式、版本、纠错、掩码模式）和外观（如使用预设、自定义或通过代码编辑器创建新样式）。该工具还支持SVG和PNG格式输出，所有代码都在浏览器中运行，没有任何限制。
阅读更多
本文介绍了谷歌表格团队将其计算引擎从 JavaScript 移植到 WasmGC 的原因和过程。JavaScript 计算引擎虽然经过优化，但性能仍落后于 Java。WasmGC 作为 WebAssembly 的扩展，为垃圾收集语言提供了接近原生速度的 Web 支持。移植过程面临诸多挑战，包括工具链缺失、代码库差异等，但最终实现了显著的性能提升。
阅读更多
本文介绍了作者出于兴趣对大数运算库进行优化的过程。作者首先将存储数字的基数从10改为30位，显著提高了加法和乘法的运算速度。随后，作者实现了Karatsuba乘法算法，进一步提升了大数乘法的效率。作者通过基准测试比较了不同优化策略的性能差异，并计划在未来添加更多功能，例如负数支持、减法、除法、位运算等，并完善代码测试。
阅读更多
即将发布的 Linux 6.10 内核将引入 mseal() 系统调用，它允许进程防止对其地址空间部分的任何未来更改。GNU C 库 (glibc) 计划利用此系统调用来增强安全性。glibc 将能够密封程序的各个部分，包括二进制代码、共享库和动态加载的库。此举旨在使攻击者更难修改进程的地址空间，从而提高安全性。
阅读更多
微软开源了 Hyperlight 项目，这是一个 Rust 库，可用于使用基于虚拟机管理程序的保护来执行小型嵌入式函数，每个函数调用都能实现规模化保护，并且速度极快，每个函数请求都可以拥有自己的虚拟机管理程序进行保护。Hyperlight 创建新的虚拟机只需1到2毫秒，虽然比直接使用沙盒运行时慢，但它能将这些运行时放置在虚拟机中，提供额外的保护。Hyperlight 的速度足够快，可以根据事件按需启动虚拟机，实现零规模扩展，降低成本和计算资源浪费。
阅读更多
美国国家航空航天局(NASA)的新报告显示，用于太空发射系统火箭的新型上面级的开发项目进度已经落后 7 年，而且预算严重超支。更令人担忧的是，报告揭露了主要承包商波音公司糟糕的质量控制实践，指出其劳动力缺乏足够的航空航天生产经验，导致了许多质量问题，并造成项目延误和成本增加。尽管NASA监察长建议对波音公司处以经济处罚，但NASA以合同已有相关条款为由拒绝了这一建议。
阅读更多
IBM 开源了其 Granite AI 模型，这些模型专门用于编程，旨在帮助企业利用 AI 提高软件开发效率。Granite 模型基于 3 到 4 TB 的代码数据和自然语言代码相关数据集进行训练，支持 116 种编程语言，参数范围从 30 亿到 340 亿不等。与其他 AI 模型不同，Granite 模型的许可和训练方式清晰透明，数据经过清洗和过滤，不包含仇恨、滥用和亵渎性语言，因此企业可以放心地将其用于商业用途。
阅读更多
这篇文章探讨了聊天机器人对印度 IT 产业的潜在影响。它指出，聊天机器人正在自动化许多印度 IT 工人目前所做的任务，导致人们担忧大量失业。然而，文章也表明，聊天机器人还可能创造新的就业机会，因为它们可以帮助企业提高效率和创新。文章呼吁印度政府和企业投资于教育和培训计划，以帮助工人适应由聊天机器人带来的新工作场所。
阅读更多
本文介绍了数学家Bogdan Grechuk的新书《多项式丢番图方程：系统方法》和数学家N. D. Elkies与Z. Klagsbrun发现的新的高秩椭圆曲线。Gechuk的书提出了一种研究丢番图方程的新方法，系统地解决了从简单到复杂的各种丢番图方程问题。Elkies和Klagsbrun发现的椭圆曲线拥有目前已知的最大有理数解个数，这一发现对数论研究具有重要意义。
阅读更多
本文讲述了俄罗斯互联网先驱阿列克谢·索尔达托夫的故事。他创立了俄罗斯第一个互联网供应商Relcom，并在苏联时期将该国连接到全球互联网。然而，由于他独立的思想和对互联网自由的坚持，他被俄罗斯政府以“滥用职权”的罪名判处两年劳改。本文批评了俄罗斯政府对互联网自由的打压，以及对那些为国家现代化做出贡献的人的迫害。
阅读更多
文章批判了软件工程领域过早抽象的弊端，主张采用“后架构”的理念，即逐步递增地定义架构，而非预先设计。作者建议从过程式编程和函数式编程的基本原理出发，以数据结构为中心，而非代码模式，并通过识别数据流来简化系统。文章强调，应尽量将状态向外推移，形成“函数式核心，命令式外壳”的结构，并以Redux Toolkit等为例说明了这种模式的应用。
阅读更多
一项最新研究表明，科学家们正在通过猫咪试吃员的帮助来改善猫粮口味。研究人员使用鸡肝为原料，制作了含有不同挥发性风味化合物的喷雾，并将其喷洒在商业猫粮上供猫咪品尝。结果显示，猫咪更喜欢含有更多游离氨基酸的喷雾，这些氨基酸赋予了猫粮更鲜美和油脂的香味。这项研究有助于未来改进猫粮配方，并提高挑剔的猫咪对猫粮的接受度。
阅读更多
本文介绍了如何在网站上设置 Google 标签的第一方模式。第一方模式通过在用户网站和 Google 服务之间建立一层数据安全，以更安全的方式恢复丢失的测量信号，并提供更多数据隐私控制，例如完整的 IP 混淆。文章详细介绍了选择标签服务路径、路由流量、更新网站脚本以及测试测量设置等步骤，并以 Google Cloud 和 Cloudflare 平台为例，提供了详细的操作指南。
阅读更多
Daminik 是一款简单且可扩展的开源数字资产管理系统，集成了内容交付网络 (CDN)。它为所有数字资产提供单一数据源，速度快，符合GDPR标准。Daminik 目前处于Alpha阶段，个人使用免费，团队价格将在Beta阶段公布。
阅读更多
本文介绍了一款名为 Firefox Password Decryptor 的工具，该工具可以解密并提取 Firefox 浏览器保存的密码，并提供系统信息、端口信息、设备信息以及 Firefox 浏览历史记录等侦察功能。
阅读更多
2021年政变后，缅甸军政府封锁了Facebook和其他社交平台。为了限制言论自由和民众之间的通讯，军政府近期在全国范围内禁止使用VPN服务。人权组织Access Now的亚太政策分析师Ma Wai Phyo Myint接受了媒体采访，讨论了VPN禁令对缅甸人民获取信息和抵抗组织协调行动的影响。
阅读更多
文章讨论了威廉·詹宁斯·布莱恩在斯科普斯审判中反对教授进化论的复杂立场。布莱恩通常被描绘成一个顽固的保守派，但实际上他在许多方面持自由主义观点，支持妇女参政权、累进税制和社会福利。他反对教授进化论的原因是当时的一些教科书，例如《公民生物学》，利用进化论来宣扬优生学、选择性育种和对“不良分子”进行绝育。文章指出，虽然进化论是现代生物学的重要基石，但这些教科书中宣扬的优生学观点是令人憎恶的，布莱恩反对的是这些观点，而非进化论本身。
阅读更多
这篇博文以深入浅出的方式解释了 OAuth 2.0 授权码流程，并通过一系列攻击和防御策略的演进，阐述了如何构建安全的第三方授权机制。文章首先介绍了不安全的授权方式，例如直接暴露用户凭证和简单的访问令牌，然后逐步引入了重定向 URI 操作、CSRF 攻击、窃听访问令牌和授权码等安全问题，并针对每种攻击方式给出了相应的解决方案。最终，文章详细讲解了 OAuth 2.0 授权码流程和 PKCE（代码交换的证明密钥）机制，并提供了一些额外的学习资源。
阅读更多
文章介绍了多态性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光子和电子芯片的制造，并为其他低成本、紧凑型传感器铺平道路。
阅读更多