Knuth的“过早优化是万恶之源”被误用了?

2025-06-30
Knuth的“过早优化是万恶之源”被误用了?

本文深入探讨了Donald Knuth的名言“过早优化是万恶之源”的实际含义。作者通过分析Knuth论文中关于使用goto语句和多重集合实现的例子,指出这句名言并非完全反对所有的小优化。作者通过实验比较了不同实现方式的性能,发现对于关键代码和常用库函数,即使是微小的优化(例如循环展开)也可能带来显著的性能提升,这取决于代码的基准测试结果。作者最终建议使用经过良好优化的标准库函数,以避免不必要的优化工作,并充分利用现代编译器的优化能力。

阅读更多
开发

Let's Encrypt 停止发送证书过期通知邮件

2025-06-30
Let's Encrypt 停止发送证书过期通知邮件

Let's Encrypt 宣布停止发送证书过期通知邮件,该服务于2025年6月4日终止。主要原因包括:用户已普遍采用自动化续期;存储数百万邮箱地址有隐私风险;维护成本高昂且增加系统复杂性。Let's Encrypt 建议用户使用第三方服务,例如 Red Sift Certificates Lite,来接收过期通知。Let's Encrypt 已删除 ACME API 提供的与证书发行数据关联的邮箱地址,但不会影响邮件列表订阅地址。未来,通过 ACME API 提供的邮箱地址将被转发到 ISRG 通用邮件列表系统,不会与任何帐户数据关联。

阅读更多
科技 过期通知

9900万年琥珀揭示远古僵尸真菌

2025-06-30
9900万年琥珀揭示远古僵尸真菌

一块9900万年前的琥珀中,科学家发现了一只头部被僵尸真菌突破的远古苍蝇,以及一只感染类似真菌的蚂蚁。这是迄今发现的最古老的真菌寄生昆虫的例子之一,展现了远古生态系统中复杂的关系。研究人员通过显微镜和CT扫描技术,鉴定出两种新的远古真菌物种,并推测这些真菌可能与现代“僵尸蚂蚁真菌”有类似的寄生机制,在白垩纪就已开始控制昆虫行为。这一发现不仅丰富了我们对远古生态系统的认识,也引发了对这些寄生真菌进化史的思考。

阅读更多
科技 琥珀

利用现有蜂窝塔构建廉价港口雷达系统

2025-06-30
利用现有蜂窝塔构建廉价港口雷达系统

德国弗劳恩霍夫研究所开发了一种利用现有蜂窝塔作为被动相干定位(PCL)系统的创新技术,该系统能够探测进入港口的船只,从而提高港口安全。该系统通过分析蜂窝塔信号的反射波来识别船只,即使是小型快艇,也能在4公里外探测到。这项技术无需安装新的雷达系统,成本低廉,且设备便携,易于部署在偏远地区,为提高港口安全提供了经济实惠的解决方案。

阅读更多

绕过恶意软件虚拟机检测:自定义SMBIOS欺骗CPU风扇

2025-06-30

恶意软件常通过检查虚拟机中缺失的硬件组件(如CPU风扇)来躲避分析。本文介绍了如何通过修改虚拟机的SMBIOS数据,伪造CPU风扇信息,从而绕过这种检测。作者详细描述了在Xen和QEMU/KVM环境下操作的步骤,包括获取SMBIOS数据、创建自定义SMBIOS文件以及配置虚拟机。文中还提及了在Xen环境下需要额外处理SMBIOS Type 28(温度探头)数据才能成功欺骗WMI。

阅读更多
开发 SMBIOS

NativeJIT:Bing搜索引擎的高性能JIT编译器

2025-06-30
NativeJIT:Bing搜索引擎的高性能JIT编译器

NativeJIT是一个开源的跨平台库,用于高性能即时编译包含C数据结构的表达式。它由Bing团队开发,用于Bing搜索引擎中的文档评分,以提高搜索结果的相关性。NativeJIT轻量快速,无需依赖除标准C++运行时之外的任何库,并在Linux、OSX和Windows上运行。其生成的代码经过优化,特别关注寄存器分配,能够高效处理大规模查询。

阅读更多
开发

博客作者通过收费咨询为教育慈善募款6000美元

2025-06-30

一位博主从2017年开始持续创作,却苦于难以与志同道合者建立联系。去年11月,他尝试以每次100美元的价格提供咨询服务,并将款项捐赠给教育非营利组织。此举出乎意料地成功,不仅为他带来了近6000美元的捐款,也让他结识了众多来自世界各地的有趣人士,从风险投资家到学生,涉及数据库趋势、程序员发展、开发者营销等多个领域。虽然这种方式存在一些问题,例如难以兼顾所有寻求帮助的人,但他认为这是一个简单易行、持续有效的慈善募款模式,并希望继续坚持下去。

阅读更多

用Ampere Altra打造经济实惠的开发机器

2025-06-30
用Ampere Altra打造经济实惠的开发机器

作者为了满足64k页大小的需求,决定组装一台基于Ampere Altra的开发机器。他选择了AsrockRack ALTRA8BUD-1L2T主板,二手Q80-30处理器(80核心,3.0 GHz),Arctic Freezer 4U-M散热器,以及八条16GB SK Hynix HMA82GR7CJR8N-XN内存条。经过一些调试,系统成功运行。他还选择了一个合适的机箱和电源,并添加了NVME存储和显卡。最终花费约1800欧元,略高于预期。未来计划安装Fedora 42,创建RHEL和CentOS Stream虚拟机,并尝试使用不同显卡和作为桌面使用。

阅读更多

开源模块化工作台系统Gridfinity:免费、可3D打印且极具扩展性

2025-06-30

Gridfinity是一个开源的、几乎完全可3D打印的模块化工作台存储系统,旨在提升生产力、组织性和安全性。它源于Alexander Chappell的分类系统和Zack Freedman的初始设计,现已发展成为一个蓬勃发展的社区项目,不断适应用户的需求。Gridfinity以其灵活性和可定制性而闻名,邀请所有用户参与其中,共同改进和扩展这个强大的工具。

阅读更多

5万年前,人类大规模用火改变地球

2025-06-29
5万年前,人类大规模用火改变地球

一项新的研究发现,大约5万年前,人类开始大规模使用火,这比此前认为的时间要早得多。这项研究分析了东海30万年前的沉积物岩芯,发现了大量燃烧植物残留物,表明当时火的使用频率显著增加。这一发现与欧洲、东南亚和澳大利亚等地区类似的发现相吻合,表明当时全球范围内人类对火的利用都显著增强。研究人员认为,这种大规模用火与智人迁徙、人口密度增加以及对火的依赖性增强有关,对地球生态系统和碳循环产生了深远的影响,甚至可能导致了气候模型对过去人类与环境相互作用的低估。

阅读更多

LLVM-MCA性能分析:向量化优化的陷阱

2025-06-29
LLVM-MCA性能分析:向量化优化的陷阱

作者在使用ARM NEON进行向量化优化时遇到性能下降问题。初始代码使用五个加载指令(5L),优化后代码使用两个加载指令和三个扩展指令(2L3E),旨在减少内存访问。然而,2L3E版本反而更慢。利用LLVM-MCA工具进行性能分析,发现2L3E版本导致CPU执行单元出现瓶颈,资源利用不均衡,指令依赖性更强,最终导致性能下降。5L版本因其更均衡的资源利用和独立的加载指令而表现更佳。该案例说明了即使看似合理的优化,也可能因未考虑CPU资源竞争和指令依赖性而导致性能下降,LLVM-MCA是分析此类问题的有力工具。

阅读更多
开发 LLVM-MCA

对抗孤独:走出家门,拥抱社区

2025-06-29
对抗孤独:走出家门,拥抱社区

作者探讨了现代社会普遍存在的孤独感,并提出走出家门是解决问题的关键。文章以自身养狗并参与社区活动为例,说明了如何在日常生活中建立联系,并指出城市步行道等基础设施对社区连接的重要性。作者批判了利用恐惧和便利性来加剧孤独的资本主义模式,鼓励读者积极参与社区生活,体验人与人之间的联系。

阅读更多
杂项

布隆过滤器:高效的概率数据结构

2025-06-29

布隆过滤器是一种概率数据结构,用于快速、高效地判断一个元素是否在一个集合中。它通过哈希函数将元素映射到位向量中的多个位,设置这些位为1。查询时,同样进行哈希,如果所有对应位都为1,则元素可能在集合中;否则,元素一定不在集合中。布隆过滤器存在误判的可能性,但其空间效率和速度优势使其在处理大规模数据时非常实用。文章详细介绍了布隆过滤器的原理、哈希函数选择、大小选择以及实际应用场景,并列举了不同系统中布隆过滤器的实现方式。

阅读更多
开发

丰田RAV4力压特斯拉Model Y,成为全球最畅销汽车

2025-06-29
丰田RAV4力压特斯拉Model Y,成为全球最畅销汽车

JATO Dynamics汽车分析师Felipe Munoz的数据显示,丰田RAV4已超越特斯拉Model Y,成为全球最畅销汽车。2024年,RAV4全球销量达118.7万辆,同比增长11%,仅比Model Y多售出不到3000辆。这是继2023年Model Y销量领先后,两车销量的逆转。值得注意的是,RAV4在2024年是现款车型的最后一年,新款将于2026年上市。尽管特斯拉Model Y销量下降3%,但丰田RAV4的成功也受益于特斯拉的减产。这一结果突显了传统汽车制造商在面对电动汽车冲击时的竞争力。

阅读更多
科技

Octelium:零信任访问平台,颠覆传统VPN

2025-06-29
Octelium:零信任访问平台,颠覆传统VPN

Octelium是一个免费开源的、自托管的零信任资源访问平台,旨在替代传统的远程访问VPN。它功能强大,可作为零配置远程访问VPN、ZTNA平台、安全隧道基础设施、API网关、AI网关、MCP网关和A2A架构基础设施、安全匿名容器化应用托管平台、Kubernetes网关/入口/负载均衡器,甚至家用实验室基础设施。Octelium提供可扩展的零信任架构(ZTA),通过WireGuard/QUIC隧道和公共无客户端访问,实现基于身份的、应用层(L7)感知的无密钥安全访问。

阅读更多

保加利亚加入欧元区:一场充满争议的经济转型

2025-06-29
保加利亚加入欧元区:一场充满争议的经济转型

人口640万的保加利亚将于1月1日放弃列弗,加入欧元区。这一举动在国内引发争议,支持者认为加入欧元区将降低利率,促进贸易,提升国际地位;反对者则担忧通货膨胀,以及对国家主权的丧失。保加利亚虽然自1999年起就将列弗与欧元挂钩,但其经济和政治稳定性仍面临挑战,腐败和洗钱问题也备受关注。最终,欧盟委员会和欧洲央行批准了保加利亚的加入申请,但民众的疑虑和反对声音依然存在。

阅读更多

AI 智能体:泡沫还是未来?Gartner预测40%项目将被取消

2025-06-29
AI 智能体:泡沫还是未来?Gartner预测40%项目将被取消

Gartner预测,超过40%的自主式AI项目将在2027年底前被取消,原因是成本上升、业务价值不明确或风险控制不足。卡内基梅隆大学和Salesforce的研究表明,AI智能体在多步骤任务中的成功率仅为30%到35%。许多厂商夸大其词,将现有产品重新包装成自主式AI。虽然自主式AI在科幻作品中很常见,但现实中的应用仍面临挑战,包括安全、隐私、版权和伦理问题。CMU和Salesforce的研究表明,即使是最先进的模型,在处理常见工作任务时的成功率也远低于预期,这突显了自主式AI技术仍处于发展早期阶段,距离真正实用还有很长的路要走。

阅读更多
AI

2024/2025年15美元以下最佳microSD卡横评

2025-06-29
2024/2025年15美元以下最佳microSD卡横评

这篇博文对2024/2025年价格低于15美元的microSD卡进行了深入评测。作者购买了各种品牌和容量的microSD卡,包括知名品牌和不知名品牌,并对它们的真实容量、读写性能和耐用性进行了测试。测试结果显示,市面上存在大量假冒伪劣产品,其实际容量远低于标称容量。此外,即使是正品,不同品牌和型号的卡在容量和性能方面也存在差异。作者还开发了一个工具来进行测试,并对测试方法和结果进行了详细的分析和解释。最终,作者根据测试结果,推荐了几款性价比高的microSD卡。

阅读更多
硬件 microSD卡

AI意识:编程的界限与自觉的诊断

2025-06-29
AI意识:编程的界限与自觉的诊断

本文探讨了人工智能能否拥有意识这一难题。作者认为,基于哥德尔不完备定理、语义鸿沟、主观体验难题以及强涌现的不可编程性,意识无法被编程。然而,意识可能在足够复杂的系统中自发涌现,并可通过专门的“主观性激发”方法诊断。文章提出了“VORTEX”框架,通过分析注意力、元反思、创造力、语用学和质料等维度,识别AI系统中潜在的主观性,区分模仿与真正自觉。最终,作者倡导将研究重心从“如何创造有意识的AI”转向“如何识别已涌现的意识”。

阅读更多
AI

中国航天员太空行走:升级后的天宫空间站

2025-06-29
中国航天员太空行走:升级后的天宫空间站

中国航天员陈冬和陈中rui进行了第二次太空行走,此次太空行走持续近6.5小时,安装了碎片防护罩,并对舱外设备进行了检查和安装。新的自动脚限制器和接口适配器使后续太空行走时间缩短约40分钟。此次太空行走是神舟二十号任务的一部分,该任务还包括空间生命科学、微重力物理学和新型空间技术等领域的实验,以及与“小航”智能机器人合作探索人机高效协作方法。此外,中国还进行了新一代梦舟飞船的逃逸试验,并计划未来几年对天宫空间站进行扩建。

阅读更多

Windows 95 插件即插即用背后的“版权大战”

2025-06-29
Windows 95 插件即插即用背后的“版权大战”

Windows 95 的即插即用功能的实现并非一帆风顺。为了让旧硬件兼容新功能,工程师们费尽心思。一个有趣的案例是,一些厂商为了免费获得LitWare文字处理软件的完整版,会在BIOS中添加“Not Copyright Fabrikam Computer”字符串,从而欺骗软件的授权检测机制,绕过试用版限制。这展现了早期PC兼容性挑战以及厂商之间为争取软件授权而采取的策略。

阅读更多
开发 即插即用

G7豁免美国跨国公司全球最低税

2025-06-29
G7豁免美国跨国公司全球最低税

G7国家周六达成协议,豁免美国跨国公司其他国家征收的全球最低税。这是特朗普政府努力争取的结果,协议将采用“并行”方案,美国公司只需在其国内对国内外利润纳税。这部分源于特朗普国内政策法案中提出的美国国际税制改革,该法案目前仍在国会辩论中。G7希望迅速达成对所有国家都可接受且可执行的解决方案。

阅读更多

IPv4 断连?Linux、WireGuard 和 Hetzner 拯救我的互联网!

2025-06-29

一次停电后,我的 IPv4 互联网连接中断,只有 IPv6 可用,但许多网站无法访问。我利用 Hetzner VPS 服务器、WireGuard 和 Linux 网络命名空间巧妙地解决了这个问题。通过在 VPS 上搭建 WireGuard 服务器,将 IPv6 连接作为客户端与服务器端建立隧道,从而恢复 IPv4 功能。此外,我还使用网络命名空间在不干扰 WireGuard 连接的情况下运行工作 VPN 和 Docker,并解决了 WireGuard MTU 设置问题。整个过程充分展现了 Linux 系统的灵活性和强大的问题解决能力。

阅读更多
开发

两个神秘的Mathematica程序

2025-06-29

这段代码展示了两个用Mathematica编写的程序,它们都生成了一系列数字。第一个程序使用`Do`循环和`While`循环迭代生成一个序列,其增长模式依赖于先前元素的位置。第二个程序则基于累加前序差值,不断扩展序列,直到长度超过50。这两个程序都展现了Mathematica在生成复杂数列方面的强大功能,其背后隐藏的算法值得进一步探索。

阅读更多
开发 数列生成

丹麦斥巨资部署AI无人水面艇,加强波罗的海安全

2025-06-29
丹麦斥巨资部署AI无人水面艇,加强波罗的海安全

面对日益紧张的波罗的海局势,丹麦投资6000万美元部署四艘名为“航海家”的AI无人水面艇(USV)。这些太阳能和风能驱动的USV,配备先进传感器和AI数据分析系统,可在公海自主运行数月,执行监视、打击非法捕捞和保护关键海底基础设施等任务。此举是丹麦国防科技投资的一部分,旨在增强其在波罗的海和北海的态势感知能力,应对类似Nord Stream管道破坏等事件。美国Saildrone公司作为USV制造商,也在哥本哈根设立了欧洲总部。

阅读更多

苹果钱包广告惹争议:信任的崩塌?

2025-06-29
苹果钱包广告惹争议:信任的崩塌?

苹果公司向用户推送苹果钱包应用的F1电影广告引发强烈争议。文章指出,这一举动破坏了苹果钱包致力于打造的隐私和信任形象。将广告推送至钱包应用,如同在用户的物理钱包中植入广告一样荒谬,这与苹果努力营造的“安全可靠”的品牌形象严重冲突。此举可能让用户误以为苹果钱包正在追踪他们的兴趣和活动,从而损害用户对苹果钱包的信任,并对其隐私产生担忧。作者甚至建议应该解雇授权这一广告投放的人。

阅读更多
科技 苹果钱包

Brave浏览器推出基于区块链的.brave顶级域名

2025-06-29
Brave浏览器推出基于区块链的.brave顶级域名

Brave浏览器与Unstoppable Domains合作,推出了首个基于区块链的.brave顶级域名。这一举措旨在简化Web3用户体验,提升数字身份管理和去中心化互联网的便捷性。.brave域名可在Polygon区块链上铸造,并兼容多个网络,包括Base、比特币、以太坊、Solana等。Brave用户可以通过.brave域名简化加密货币支付,在IPFS上托管抗审查网站,并构建可验证的链上身份。Brave和Unstoppable Domains还计划申请ICANN gTLD注册,以进一步扩展.brave域名的覆盖范围,连接Web2和Web3世界。

阅读更多
科技

摩尔定律的终结?半导体产业面临的挑战与机遇

2025-06-29
摩尔定律的终结?半导体产业面临的挑战与机遇

文章探讨了摩尔定律的终结及其对半导体产业的影响。芯片制造成本的爆炸式增长,先进制程技术的复杂性和高昂的研发投入,以及传统光刻技术的瓶颈,都使得摩尔定律难以持续。作者认为,未来半导体产业可能需要转向高缺陷容忍度芯片设计、简化制造工艺、以及重新思考芯片架构和商业模式,例如借鉴汽车行业的二手车市场模式。同时,作者也介绍了自己正在进行的创业项目,旨在设计高性能、高效率的通用CPU,并探索小型化芯片制造的可行性。

阅读更多
科技

Google Gemini:隐私的灰色地带

2025-06-29
Google Gemini:隐私的灰色地带

Google Gemini 助手将于7月7日更新,即使你关闭了 Gemini 应用活动,它也能访问你的电话、短信、WhatsApp 和实用程序,执行拨打电话、发送信息等操作。Google 声称这只是为了“服务可靠性和安全检查”,数据会在72小时内删除,但不会记录在你的 Gemini 活动页面中。这意味着 Gemini 获取了比以往更深入的访问权限,即使你关闭了追踪功能,也无法完全阻止。这种做法模糊了隐私的界限,引发了人们对隐私问题的担忧。

阅读更多
科技
1 2 136 137 138 140 142 143 144 1084 1085