芬兰侦破海底电缆破坏案：拖锚的油轮成罪魁祸首
2025-01-01
芬兰当局调查海底电力和数据电缆损坏事件时，发现被扣押的油轮Eagle S的锚在海底留下了长达数十公里的拖痕。调查人员认为，该油轮丢失的锚切断了连接芬兰和爱沙尼亚的170公里长的电力线，并导致四条海底数据电缆中断。目前，该油轮已被扣留，警方正在调查其可能的加重刑事破坏行为。恶劣天气一度阻碍了船上和水下的调查工作。
阅读更多
Mullvad VPN应用2024年安全审计报告发布
2024-12-12
Mullvad VPN公布了2024年对其VPN应用进行的第三方安全审计报告。审计发现六个漏洞，严重程度从低到高不等，均已修复。其中三个高危漏洞涉及信号处理程序和虚拟IP地址泄露，已在最新版本中修复。审计还指出一些非安全问题，Mullvad正在积极解决。总体而言，Mullvad VPN应用的安全性很高，但仍建议用户升级到最新版本。
阅读更多灵活的基于传输的JavaScript/TypeScript日志系统Caravan发布
2024-12-28
Caravan是一个灵活的、基于传输的JavaScript/TypeScript日志系统，它支持多种传输方式（例如控制台、文件、Datadog和BetterStack），允许按日志级别进行过滤，并支持通过派生日志器绑定上下文和数据脱敏。开发者可以使用它轻松记录各种信息，包括基本日志、元数据日志以及上下文相关的日志，提高调试和监控效率。其TypeScript优先的设计也方便了开发者使用。
阅读更多
开发
日志系统
Ladybird浏览器项目月度进展：WPT达百万级，拥抱OpenSSL
2025-03-02
Ladybird开源浏览器项目本月取得重大进展，合并了来自35位贡献者的281个PR。WPT通过子测试数量突破177万，向iOS替代浏览器引擎90%通过率的目标迈进。项目采用OpenSSL替代自研加密库，并迁移网络栈至curl，还增加了对Firefox DevTools的支持，提升了调试效率。此外，Ladybird新增了CSS图像光标、新的CSS伪类、文本装饰错误提示等特性，并实现了TextEncoderStream和Resource Timing API，优化了样式失效机制，以及增加了aarch64 Linux持续集成。
阅读更多Recommendarr：AI驱动你的影音推荐
2025-03-02
Recommendarr 是一款基于 AI 的网页应用，它能根据你 Sonarr、Radarr 和 Plex 库里的内容，为你生成个性化的电影和电视剧推荐。它整合了 Sonarr 和 Radarr，直接分析你的媒体库；可选的 Plex 整合则会分析你的观看历史，提供更精准的推荐。你可以选择使用 OpenAI、本地模型 (Ollama/LM Studio) 或任何兼容 OpenAI 的 API。支持自定义推荐数量、模型参数等，并提供深浅模式和海报图片显示。安装方便，支持 Docker 和手动安装。你的数据始终在你的掌控之中，不会被上传到任何第三方服务器。
阅读更多类型断言生成器：速度与类型的完美结合
2025-01-24
本文深入比较了Type-Predicate-Generator与其他运行时类型检查器的性能和特性。Generator生成的代码速度快100倍以上，无需运行时依赖，且生成的TypeScript代码类型安全、可读、易修改，无需自定义DSL。它比其他代码生成器更快，甚至能生成单元测试，避免了eval()的使用，并提供更好的调试体验。总而言之，Generator在性能、类型安全性和易用性方面均具有显著优势。
阅读更多
开发
自制AirTags：OpenHaystack项目详解
2025-01-27
OpenHaystack是一个开源项目，允许你利用苹果Find My网络构建自己的蓝牙追踪标签。它通过逆向工程苹果Find My网络，巧妙地利用蓝牙广播、公钥加密和苹果的中央数据库来实现追踪功能。该项目提供macOS应用程序和固件，支持多种蓝牙设备，例如BBC micro:bit和ESP32。虽然存在一些局限性，但它为个人追踪设备提供了极具创意的解决方案。
阅读更多
开发
Find My
网站Cookie策略声明
2025-02-24
本网站使用Cookies来提升用户体验。必要的Cookies会存储在您的浏览器中，因为它们对网站的基本功能至关重要。我们还使用第三方Cookies来分析和了解您如何使用本网站，这些Cookies只有在您同意的情况下才会存储在您的浏览器中，您也可以选择拒绝这些Cookies，但这可能会影响您的浏览体验。
阅读更多
杂项
隐私策略
突破性进展！更快更精确的核聚变反应堆设计方法
2025-05-11
德克萨斯大学奥斯汀分校、洛斯阿拉莫斯国家实验室和Type One Energy Group的研究团队在核聚变能研究方面取得重大突破。他们开发出一种新型方法，能够以比传统方法快10倍的速度设计出防泄漏的磁约束系统，解决了困扰该领域近70年的难题。该方法利用对称理论，而非牛顿运动定律，有效提高了设计效率和精度，为更快速地实现清洁能源的梦想奠定了坚实基础。
阅读更多
科技
开源高性能RISC-V处理器：香山
2025-01-02
香山项目是一个开源的高性能RISC-V处理器，由中国科学院计算技术研究所和鹏城实验室共同研发。该项目已发布多个稳定版本，并提供详细的文档、教程和微架构概述。其最新的昆明湖版本仍在开发中，并支持多种仿真工具和IDE。香山项目致力于推动RISC-V处理器技术发展，其开发过程采用了敏捷方法论，并已发表相关论文，获得了国际认可。
阅读更多
硬件
开源处理器
Elixir与Rust协同：高效PDF解析利器
2025-01-29
本文介绍了如何使用Rust和NIFs在Elixir中构建高效的PDF解析器。作者指出Elixir在处理一些底层任务（如PDF解析）时存在不足，而Rust的高性能和安全性使其成为理想的补充。通过Rustler库，作者成功地将Rust编写的PDF解析代码集成到Elixir项目中，并利用LiveView构建了一个用户友好的PDF上传和解析界面。文章还详细讲解了代码实现细节，包括依赖管理、NIF函数编写、数据处理以及部署策略，并分享了优化技巧，例如使用DirtyCpu调度避免阻塞。
阅读更多
开发
在计算器上运行神经网络：挑战与突破
2025-01-04
一位计算机博士在56小时的火车旅途中，成功将卷积神经网络移植到TI-84 Plus CE计算器上，实现了手写数字识别。这需要克服计算器资源受限的挑战，包括内存不足和缺乏浮点运算等问题。他通过巧妙的内存管理和算法优化，最终在计算器上成功训练和运行神经网络，虽然速度缓慢，但证明了在资源极其有限的设备上运行AI的可能性。
阅读更多
(z80.me)
硬件
Hugging Face开源项目：搜索与学习
2024-12-20
Hugging Face发布了一个名为“搜索与学习”的开源项目，旨在探索大规模计算下搜索和学习方法的扩展性。该项目包含可复制的实验结果，并提供了相应的代码和配置，方便研究者复现。该研究强调了通用方法在应对大规模计算时的重要性，并指出搜索和学习是两种具有良好扩展性的方法。
阅读更多
AI
模型扩展
廉价智能手表安全漏洞：你的健康数据可能并不安全
2025-02-12
一位安全研究员购买了一款廉价的智能手表，并对其进行了逆向工程分析。结果发现，这款手表及其配套的VeryFit应用存在严重的安全漏洞，任何人都可以连接到手表并获取用户的健康数据，包括活动数据、睡眠数据、心率数据甚至月经数据，而无需任何身份验证。该研究员已经建立了一个网站，可以从该款手表中提取数据，并将其转换为TCX文件。这一发现凸显了低成本智能手表在安全方面的不足，提醒用户需谨慎选择和使用此类设备。
阅读更多
科技
智能手表安全
C++26反射特性：实现顺序无关的关键字参数
2025-02-11
本文探讨了如何利用C++26提出的反射特性实现顺序无关的关键字参数。作者在实验反射特性的过程中发现了这个技巧，并认为它很好地展示了反射特性的强大功能。文章首先介绍了以往几种关键字参数的提案，然后比较了几种无需反射即可实现类似功能的方法，例如指定初始化器和辅助对象。最后，文章重点介绍了如何利用反射特性实现顺序无关且可选的关键字参数，并提供了完整的代码示例和详细的解释，包括对lambda表达式捕获的处理和对fmt库的扩展。
阅读更多
开发
关键字参数
跨平台矢量图形库ThorVG：WebGPU时代的先锋
2025-06-02
ThorVG矢量图形库支持多种渲染引擎，包括CPU/SIMD、OpenGL/ES、WebGL和WebGPU，可根据应用和系统偏好选择最佳方案。它尤其在Web生态系统中领先一步，充分利用WebGPU的计算着色器和低开销的现代GPU访问，实现更激进的优化策略和更广泛的应用。ThorVG在WebGPU之上完全支持其规范中的矢量渲染特性，并通过抽象底层硬件图形加速（如Metal、Vulkan和DirectX），确保在各种系统上的无缝应用，无论安装了何种硬件加速器。
阅读更多
开发
领导力：持续重复，才能深入人心
2025-02-04
一位前COO给作者的建议是：领导者必须反复传递信息，才能确保其传达给组织中的每个人。这篇文章探讨了大型组织中有效沟通的挑战。即使是CEO发送公司范围内的邮件或在全体会议上提及信息，也可能因为各种原因而失败，例如员工忽略邮件、缺席会议、信息失真等。作者强调了领导者需要换位思考，理解员工的视角，并通过多种渠道重复重要信息，才能真正让信息深入人心。这需要持续的努力和纪律性，如同持续击鼓一样，才能确保团队步调一致。
阅读更多
创业
那些消失的昵称与姓氏的起源
2025-02-10
许多英语姓氏源于父名，而父名常常是昵称。例如，“Jackson”源于“Jack”（John的昵称）。文章探讨了众多如今已鲜为人知的昵称及其衍生出的姓氏，例如“Wat”（Walter的昵称）衍生出“Watts”、“Watson”、“Watkins”；“Gib”（Gilbert的昵称）衍生出“Gibbs”、“Gibson”；“Hob”（Robert的昵称）衍生出“Hobbs”、“Hobson”、“Hobkins”等等。作者呼吁读者提供更多例子，并补充了“Hick”（Richard的昵称）及其衍生姓氏，以及“-mott”可能表示姻亲的推测。
阅读更多程序员的汇编语言初体验：位向量优化词法分析器
2024-12-25
一位程序员在阅读《用Go编写解释器》后，尝试用Zig和Rust重写，并致力于优化词法分析器的性能。他探索了多种方法，包括分支语句、查找表和位向量。位向量方法通过将ASCII字符映射到位来压缩状态表示，减少内存使用并提高查找效率。虽然尝试使用SIMD指令优化失败，但最终他成功地用Zig实现了位向量，并在基准测试中取得了不错的结果，积累了汇编语言编程和性能优化的宝贵经验。
阅读更多
开发
位向量
玻尔、克莱默斯和斯莱特：一次失败却影响深远的量子力学尝试
2025-02-03
1924年，玻尔、克莱默斯和斯莱特提出了一项大胆的量子辐射理论，试图解决当时量子力学面临的危机。该理论大胆地假设能量守恒定律在量子尺度下可能失效。虽然这一理论很快被实验证伪，但它反映了当时物理学界对量子力学的困惑和探索，也预示了玻尔与爱因斯坦之间关于量子力学诠释的长期争论。这篇论文还涉及到后来成为量子力学重要诠释（如德布罗意-玻姆诠释）的“导波”思想，它在量子力学发展史上留下了独特的一笔，推动了对量子力学更深刻理解的探索。
阅读更多小超市大战任天堂：Super Mario商标权之争
2025-02-02
哥斯达黎加一家名为“Super Mario”的小超市与任天堂展开了一场商标权大战。任天堂以其游戏角色“超级玛丽奥”的商标权为由，试图阻止该超市注册“Super Mario”商标。然而，超市成功证明其注册的商品类别（基本食品供应服务）并未与任天堂的商标注册类别冲突，最终赢得官司。这场胜利展现了小企业面对大型跨国公司时，凭借法律策略和坚持不懈的决心也能取得胜利的可能性。
阅读更多百万签名请愿：阻止游戏厂商扼杀游戏！
2025-07-06
一项名为“停止摧毁电子游戏”的欧洲公民倡议已获得百万签名，呼吁游戏发行商停止远程关闭游戏。文章探讨了该倡议的背景，即游戏厂商以服务器关闭为由使玩家无法继续游玩已购买的游戏，并分析了游戏行业的反驳以及作者对其的批判。作者认为，厂商的反对理由站不住脚，例如维护成本、内容审核等问题可以通过技术手段解决，例如提供本地服务器或开源部分代码。最终，作者指出，这关乎游戏厂商对玩家体验的控制，以及对商业利益的优先考量。
阅读更多
游戏
服务器关闭
Rust 语言能否添加细化类型？
2024-12-24
本文探讨了在 Rust 语言中添加细化类型的可能性。作者基于其先前开发的静态分析器 YAIOUOM (一个使用细化类型检查单位的例子) 的经验，分析了如何在 Rust 类型系统中实现细化类型，并提出了几种方案：通过调整 trait 解析、类型变量统一或引入可插拔关键字等方式，在编译过程的后期阶段进行类型检查。作者认为，乐观型方案（在编译早期阶段忽略单位信息，后期再进行检查）更可行，并讨论了 API 设计和错误消息处理等问题。最终，作者指出后续工作包括收集反馈、编写支持插件的 rustc 驱动程序以及实现几种细化类型。
阅读更多
开发
细化类型
Koniku：用活体神经元构建未来电脑
2025-02-24
Koniku公司正尝试用活体神经元制造前所未有的电脑。创始人Oshiorenoya Agabi及其团队在加州伯克利研发一种神经元-硅芯片混合体，名为Koniku Kore，最初用于化学物质检测，未来可能应用于药物研发、农业及神经疾病治疗等领域。该公司已获得部分国防及消费品公司订单，并计划推出开发者芯片。虽然技术面临挑战，如神经元培养及信号解读，但Koniku的创新性在于其将生物与电子融合，向“湿件”人工智能迈进，挑战传统硅基计算的局限性。
阅读更多
AI
开源硬件安全密钥TKey：灵活、安全、未来可期
2025-02-07
TKey是一款新型灵活的USB安全密钥，其硬件和软件均为开源。它采用独特的设备密钥（UDS）机制，结合应用测量和可选用户种子，为每个应用生成独特的密钥材料，确保应用完整性。即使应用被篡改，也无法生成正确的身份验证密钥。TKey支持SSH登录、Ed25519签名、RoT、FIDO2、TOTP、Passkey等多种应用场景，并持续支持更多应用和协议。其外壳采用注塑成型或3D打印，搭载RISC-V PicoRV32核心，具有高安全性与灵活性。
阅读更多
硬件
安全密钥
JRuby与JBang：JVM性能与Ruby生产力的完美结合
2024-12-22
作者在圣诞假期尝试将JRuby与JBang结合，以期获得JVM的高性能和Ruby的开发效率。虽然JRuby官方不支持JBang，但作者巧妙地利用JBang的依赖管理和Java的ProcessBuilder，成功运行了一个结合Javalin、JDBI、SLF4J和ruby-jwt的JRuby应用，实现了SQLite数据库的CRUD操作和JWT认证。这个实验展示了JRuby与Java生态系统库结合的潜力，并通过Apache Benchmark测试验证了其性能。
阅读更多
开发
JBang
轻量级配置管理工具Remco：etcd和Consul的完美伴侣
2025-02-16
Remco是一款轻量级的配置管理工具，受confd启发，它能够使用存储在etcd或Consul等键值存储中的数据来保持本地配置文件的最新状态，并处理模板资源，自动重新加载应用程序以获取新的配置文件更改。与confd相比，Remco支持每个模板资源使用多个源/目标对，以及每个模板资源使用多个后端，并采用Pongo2模板引擎。此外，它还具有僵尸进程清理支持、插件扩展后端功能以及使用JavaScript轻松创建自定义模板过滤器的能力。安装方式简单，支持从源码构建和下载预编译版本。
阅读更多纽约市长“灭鼠战”初现成效
2025-02-03
纽约市长埃里克·亚当斯因病缺席公众活动已一周，四月将面临腐败指控的刑事审判，民调支持率仅为6%。尽管如此，他“灭鼠战”两年后，哈莱姆区试点项目取得初步成效：强制使用密封垃圾桶和每周六天垃圾收集，有效减少了老鼠数量，为市长带来一丝希望。
阅读更多程序员自制火焰图查看器：挑战Xlib，攻克性能瓶颈
2024-12-25
一位Rust程序员为了调试Rust Analyzer，着手打造一款原生火焰图查看器。起初尝试使用各种GUI工具包，但内存占用过高。最终他另辟蹊径，直接使用Xlib进行开发，巧妙地解决了滚动性能瓶颈、海量按钮绘制、鼠标交互等难题，最终实现了一款轻量高效的火焰图查看器。该项目展现了程序员精湛的编程技巧和对性能优化的深入理解，也为其他开发者提供了宝贵的经验。
阅读更多
开发
Xlib
编程语言：安全与强大的权衡
2024-12-15
本文探讨了编程语言中安全性和强大性的权衡问题。传统观念认为，强大的语言往往伴随着更高的风险，例如C语言的高性能伴随着手动内存管理的复杂性和危险性。然而，作者认为这种观点是过时的。现代编程语言研究表明，通过更强大的表达能力，我们可以兼顾安全性和强大的功能。文章以Lisp、Scheme和Racket宏的演变为例，说明了如何通过改进语言设计，在保证安全性的同时提升宏的强大功能。Racket的宏系统被认为是最佳实践，因为它在保证代码卫生的同时，允许进行复杂的代码操作。文章最后强调，安全可靠的系统能够构建更强大、更可靠的软件，并推荐了进一步学习Racket宏的资源。
阅读更多
开发