开发者 ZedAxis 利用一款 5 美元的 ESP32-C3 “SuperMini” 微控制器,创建了一个高效且低成本的广告拦截 DNS 过滤器。该设备旨在作为 Pi-hole 等完善系统的可靠备份,能够提供全网范围的广告拦截,且延迟仅约 10 毫秒。
由于 ESP32-C3 的内存有限,该项目采用了一种巧妙的哈希技术。它没有存储纯文本域名列表,而是将待拦截的域名转换为 40 位 FNV-1a 哈希值。通过牺牲无线(OTA)固件更新功能,该设备能够在闪存中存储多达 537,000 条目。当收到 DNS 请求时,设备会对主机名进行哈希处理,并通过二分查找来决定是否拦截。
该项目维护成本极低,仅需几十毫安的电力,完全可以从路由器的 USB 端口取电。虽然它缺乏专用服务器的高级日志记录和管理功能,但作为家庭网络的“设置好即无需管”的保险方案,它表现卓越,证明了在极为受限的硬件上也能实现强大的功能。
英国近期温暖的天气和较温和的冬季正在改变当地的家庭园艺趋势。由于气温升高,曾经在英国家庭花园中罕见的香蕉树等外来植物,如今越来越多地开始结出果实。
埃塞克斯郡(Essex)和萨福克郡(Suffolk)的园艺爱好者报告称,他们已成功种植了芭蕉(*Musa basjoo*),这通常归功于近期的热浪为这些喜热植物提供了必要的生长气候。据英国皇家园艺学会(Royal Horticultural Society)称,这一趋势与英国园艺界的整体转变相吻合:虽然大黄和醋栗等传统耐寒作物正面临困境,但无花果、橄榄和杏子等耐热品种却长势良好。
植物学家詹姆斯·王(James Wong)指出,尽管种植香蕉树变得容易多了,但芭蕉的果实通常不可食用,因此并不作为日常果蔬。尽管如此,外来园艺的兴起凸显了气候模式变化对英国景观的实质性影响。虽然园艺爱好者们利用小气候环境或保护性包裹来应对霜冻,但随着炎热夏季的频率增加,这些曾经罕见的、具有热带风情的花园,未来可能会在英国各地变得更为普遍。
库尔特·哥德尔(Kurt Gödel)——公认自亚里士多德以来最伟大的逻辑学家——于1978年去世。他的一生正如他在数学领域所揭示的那样,被一种“扭曲的内在逻辑”所定义。1931年,哥德尔证明了任何足够强大的规则系统(如数学)都包含着无法被证明的真理。本质上,没有任何系统能够完全解释自身的真理或证明自身的一致性。
这一发现,辅以艾伦·图灵(Alan Turing)关于“停机问题”的研究,为现代计算提供了理论蓝图。尽管当前的人工智能热潮将智能视为一个“规模化问题”——即假设更多的算力和数据终将解决所有挑战——但哥德尔留下的遗产揭示了某些根本性且不可逾越的局限。
数学研究表明,人工智能面临着“不可学习”的问题,神经网络中存在着更多数据也无法修复的固有不稳定性,且建立一个通用的“安全监控器”来确保人工智能永远不会造成伤害在逻辑上是不可能的。这些不仅仅是工程层面的障碍,而是形式上可证明的“不可能性”。当整个行业投入数万亿美元押注自我进化系统时,往往忽略了一个事实:机器在数学上无法证明自身的可靠性。正如哥德尔本人一样,我们的系统建立在一种无法完全解释自身的逻辑之上。