联合国教科文组织推出了“被盗文化文物虚拟博物馆”，这是一个利用3D建模和虚拟现实技术重建和展示被盗文物的全球性平台。该平台由普利兹克奖得主弗朗西斯·凯雷设计，沙特阿拉伯王国提供资金支持，并与国际刑警组织合作实施。博物馆不仅展示被盗文物，还提供教育内容和受影响社区的证词，并设有成功归还文物的案例展室，旨在提高公众意识，促进国际合作，打击文物盗窃和非法贩运。
阅读更多
本文探讨了机器翻译技术的最新进展及其对人类翻译的影响。从AltaVista的Babel Fish到如今的Google Translate和各种基于神经网络的AI翻译工具，技术进步显著提升了翻译速度和效率。然而，作者以文学评论家翁贝托·埃科的例子说明，即使是先进的AI翻译工具，也难以处理复杂的语境、文化内涵和文学修辞。尽管AI翻译在日常应用中表现出色，但它无法完全替代人类翻译在处理微妙语言和文化差异方面所扮演的关键角色。作者警告说，过度依赖AI翻译可能导致文化交流的贫乏和对人类翻译技能的贬低，呼吁人们对AI翻译技术保持谨慎态度，并重视人类翻译的独特性和价值。
阅读更多
作者怀念 90 年代电视节目随机播放的体验，于是动手打造了一台“时光机”：一台装有 90 年代经典电视剧（忍者神龟、星际迷航：下一代等）的树莓派。通过简单的脚本，树莓派能够随机播放这些节目。文章详细介绍了项目的步骤，包括安装 Raspberry Pi OS Lite、安装 VLC 播放器、编写播放脚本以及创建 systemd 服务以实现开机自动播放。这是一个充满怀旧情怀的科技小项目，展现了树莓派的强大功能和创客精神。
阅读更多
本文讲述了1940年爱因斯坦在纽约世界博览会上发表的鲜为人知的演讲。该演讲赞扬了美国移民和非裔美国人的贡献，呼吁人们承认美国社会的多元性和包容性。演讲背景是二战前美国存在的排外情绪和纳粹主义影响，爱因斯坦的演讲是对这些力量的有力反驳，他强调了多元文化对美国社会的重要性，并驳斥了限制移民的谬论。这与1850年代的排外浪潮和二战前的亲纳粹势力形成了鲜明对比。
阅读更多
作者收到一个由25块相同木块组成的复杂3D拼图，尝试后发现难以解决，于是决定借助Haskell编程语言的力量。本文是两篇系列文章中的第一篇，主要介绍了问题的建模过程。作者将空间建模成一个三维网格，用向量表示位置，并定义了表示单个木块及其在空间中摆放方式的的数据结构。文章详细描述了如何使用线性代数和Haskell的特性来表示木块的旋转和平移，并生成所有可能的摆放方式的候选列表。最终，文章留下了一个悬念，如何在众多候选方案中找到正确的解法，并将这个问题留到第二部分解决。
阅读更多
Linux内核中的可重启序列功能旨在提升多线程应用的性能，但其使用一直比较小众。随着该功能与内核新特性结合，其应用范围日益扩大，也暴露出一些问题。最近，开发者Thomas Gleixner对可重启序列代码进行了改进，解决了性能瓶颈和一些历史遗留问题，提高了效率。部分改进可能导致用户空间的ABI变化，需要进一步测试以确保兼容性。
阅读更多
一位开发者在使用Azure的LLM和音频模型构建产品时，发现同一模型在数月内性能持续下降，准确性越来越差。即使使用相同的系统提示和消息，GPT-4o-mini和GPT-5-mini/nano模型的响应也越来越不准确，GPT-5甚至比GPT-4o-mini更慢。开发者怀疑微软为了推广新模型而故意降低旧模型的质量，这种策略损害了用户体验，并可能导致开发者转向其他平台。
阅读更多
NotebookLM是一款新型AI笔记工具，其设计理念围绕创作过程展开：从输入、对话到输出。用户导入资料（文档、笔记、参考），通过聊天提问、澄清、整合信息，最终生成结构化输出，如笔记、学习指南和音频概述。这种线性但灵活的流程（输入→聊天→输出）使用户能够直观地理解和使用这款AI工具。
阅读更多%20(1).png)
近日，大量npm包被从npm仓库移除，涉及React、Angular、NativeScript等多个框架的组件和工具。受影响的包数量众多，其中一些包已被移除，另一些则版本被修复。此事件提醒开发者注意依赖包的维护和安全性，建议及时检查项目依赖并采取相应措施，避免项目受到影响。这可能是由于安全问题、维护问题或其他原因导致的。
阅读更多
本文揭露了GitHub（微软旗下）的诸多问题：作为专有平台，它限制用户控制，依赖中心化模型，并通过遥测数据追踪用户行为；其功能如GitHub Actions、Copilot和Codespaces也造成了供应商锁定。更严重的是，微软与美国政府及以色列军方的合作，使其卷入争议项目，例如为ICE提供云服务和为以色列军队提供AI技术，引发了内部员工抗议。作者呼吁开源项目迁移至自托管方案，例如Forgejo或Sourcehut，以维护开源精神和独立性。
阅读更多
C++标准委员会放弃了一个创建严格安全子集的详细提案，尽管对内存安全性的担忧持续存在。该提案的共同作者Sean Baxter表示，委员会不支持Rust的安全模型，更倾向于“Profiles”方案。Profiles方案虽然得到Bjarne Stroustrup等人的支持，但其可行性也受到质疑，甚至可能无法在C++26中实现。 这一决定引发争议，一些开发者认为转向Rust或其他更安全的语言（如Google的Carbon）可能是更好的选择。
阅读更多
罗德岛大学药学院的一项新研究发现，环境中普遍存在的微塑料和纳米塑料会通过饮用水、食物甚至空气进入人体，并在脑中积聚，引发类似阿尔茨海默症的疾病。研究人员使用携带APOE4基因（阿尔茨海默症的高风险基因）的转基因小鼠进行实验，结果显示，接触微塑料的小鼠认知能力下降，雄性小鼠表现出更多冷漠，雌性小鼠则记忆力减退，这与人类阿尔茨海默症患者的性别差异相符。这项研究强调了微塑料对人类健康，特别是对携带APOE4基因个体的潜在危害，呼吁进一步研究和监管。
阅读更多
Linux系统管理员常遇到守护进程在正常系统配置下无法启动，但手动以root身份运行却能正常工作的问题。传统原因包括环境变量$PATH设置不完整以及SELinux或AppArmor限制。如今，systemd服务单元限制成为越来越普遍的原因，它会在systemd.exec中设置各种保护指令，例如ProtectHome和PrivateTmp，导致权限被拒或文件找不到等错误，甚至可能导致间接的故障，例如阻止DNS查询。解决方法是移除systemd服务文件中的限制进行测试，但未来一些守护进程可能依赖这些限制，增加调试难度。
阅读更多
英国政府与美国数据分析公司Palantir达成一项国防协议，预计将吸引15亿英镑（约合20亿美元）投资。Palantir计划将英国打造成其欧洲国防总部，创造多达350个就业岗位。该协议将促进英国军方利用AI技术提升决策速度和目标打击能力，并推动英国国防科技公司的发展。尽管Palantir曾因其为CIA和ICE提供数据分析工具而引发争议，但英国政府仍看好其技术，希望借此提升英国在北约中的创新地位。
阅读更多
苹果公司新发布的iPhone 17 Pro和Pro Max系列采用了创新的蒸汽腔散热技术。这是一种利用水在液态和气态之间循环来快速散热的系统，类似于笔记本电脑中已有的技术。该技术能够更有效地将热量从芯片等发热部件散发到手机表面，即使在高性能应用下也能保持手机的低温，提升用户体验。虽然制造蒸汽腔面临挑战，但随着技术的成熟，它有望成为高端手机的行业标准。
阅读更多
本文深入探讨了Linux系统调用背后的性能开销，它不仅仅是简单的内核函数调用。系统调用会中断CPU的微架构优化，例如指令流水线和分支预测，导致性能损失远大于代码层面体现的开销。文章分析了内核代码，解释了各种软件和硬件层面缓解措施对性能的影响，并提出了多种优化策略，例如使用vDSO，缓存值，优化I/O，批量操作以及将工作推入内核等，以减少系统调用的次数，从而提升软件性能。
阅读更多
本文介绍了一个用C++20编写的单头文件库，它将三次贝塞尔曲线直接表示为缓动函数，从而提高动画性能。该库通过`EasingCubicBezier`模板类实现，支持PRECISE（高精度）和FAST（高性能）两种模式。性能测试表明，该方法比Blender算法以及基于牛顿-拉夫森法的数值解法速度更快，稳定性更高，特别是在实时动画系统中具有显著优势，因为它避免了运行时求解三次多项式方程的开销。
阅读更多
本文探讨了阅读革命的逆转。18世纪的阅读革命使知识普及，促进了理性与民主的发展。然而，智能手机时代的来临却导致阅读的急剧下降，人们的注意力被碎片化信息和社交媒体占据，批判性思维能力和认知能力下降。这不仅导致知识的流失，更威胁到民主制度的根基，因为民主运作需要公民具备足够的知识和批判性思维能力。文章警告，这种后识字社会的趋势可能导致社会倒退，重回类似于前印刷时代的专制和迷信。
阅读更多
GitHub Actions 宣布将于2026年4月停止支持 Node.js 20，并计划在2025年秋季将所有 Actions 迁移到 Node.js 24。目前最新的 GitHub runner 版本已支持 Node.js 24，用户可以通过设置环境变量提前测试。从2026年3月4日开始，Node.js 24 将成为默认版本，但用户可以通过设置环境变量临时继续使用 Node.js 20，直到夏季该版本完全移除。需要注意的是，Node.js 24 不兼容 macOS 13.4 及以下版本，也不支持 ARM32 架构的 self-hosted runners。
阅读更多
近期，攻击者利用GitHub Actions工作流窃取PyPI发布令牌。攻击者修改了众多代码库中的工作流，将存储在GitHub密钥中的PyPI令牌发送到外部服务器。虽然一些令牌被成功窃取，但攻击者似乎并未在PyPI上使用它们。所有受影响的令牌已被失效，并已通知受影响的项目维护者。建议使用GitHub Actions的Trusted Publishers来保护项目，以防止此类攻击。
阅读更多
为对抗AI公司大规模数据抓取导致的服务器宕机，该网站启用了一套名为Anubis的反爬虫机制。Anubis采用类似Hashcash的PoW方案，对单个访问影响微乎其微，但对于大规模抓取则会显著增加成本。这是一种临时解决方案，未来将通过指纹识别和headless浏览器检测等技术，提升精准度，减少对正常用户的干扰。请注意，Anubis需要启用现代JavaScript功能，请禁用JShelter等可能禁用JavaScript的插件。
阅读更多
特朗普政府于9月19日签署行政命令，将H-1B签证申请费提高至每年10万美元。此举对依赖印度和中国高技能员工的科技行业造成巨大冲击。微软已紧急通知其持有H-1B和H-4签证的员工在9月21日截止日期前返回美国，否则公司将面临巨额罚款。此举引发了科技巨头和印度方面的强烈反弹，专家称此举具有“倒退性”。美国商务部长则呼吁企业优先培训美国员工。
阅读更多
MapSCII 是一款基于 Node.js 的矢量瓦片到盲文和 ASCII 渲染器，可在支持 xterm 的终端中运行。它支持鼠标拖动缩放、自定义图层样式（兼容 Mapbox Styles）、连接公共或私有矢量瓦片服务器，甚至离线使用本地矢量瓦片/MBTiles。安装简单，支持多种操作系统和终端，并使用了高效的算法以确保流畅的体验。开源且免费，基于 OpenStreetMap 数据，遵循 ODbL 和 CC BY-SA 许可证。
阅读更多
传统认知中，DNS TXT记录大小限制在255字节。但实际上，通过利用DNS协议的特性，特别是TCP协议和自定义JSON解析，可以突破这一限制，传输高达64KB的数据！作者通过一个巧妙的实验，利用Google公共DNS的JSON API和自定义Go服务器，成功传输了一个包含大型二进制数据的TXT记录。这不仅是一个技术炫技，也为网络安全领域提出了新的挑战，例如潜在的DNS隧道攻击。
阅读更多
特朗普政府签署行政令，推出名为“金卡”的移民签证计划。该计划允许向商务部捐赠100万美元（个人）或200万美元（公司）的个人获得快速移民签证。捐款将用于促进商业和美国工业发展。此举旨在吸引高净值人士移民，同时为国家筹集资金，但引发了关于其公平性和潜在风险的争议。
阅读更多
日本科学家研发出一款可在90°C低温下运行的氢电池，突破了此前高温高压的限制。该电池利用固体电解质传输氢离子，实现镁氢化物电极的高效充放电，理论储氢量可达7.6%。这项突破为氢燃料电池汽车和清洁能源系统铺平了道路，有望解决氢气存储难题，推动氢能源的广泛应用。
阅读更多
一年一度的搞笑诺贝尔奖又来了！今年的获奖者们用他们的奇葩研究，再次刷新了我们对科学的认知。从分析口香糖里的细菌种类，到研究电影院气味与电影内容的关系，再到用冻住的人粪便制作刀具，这些研究既荒诞又有趣，让人忍俊不禁。当然，也有一些研究颇具现实意义，比如研究人类进化与胡须的关系，以及如何避免行人相撞。搞笑诺贝尔奖用其独特的视角，向我们展示了科学的另一面：即使是看似无厘头的研究，也可能蕴含着意想不到的价值。
阅读更多
本文介绍了一种有趣的密码算法——“尖叫密码”，它利用Unicode中大量的“A”字符变体来加密文本。通过一个简单的字典映射，将标准字母替换为不同的“A”字符，实现加密和解密。代码示例展示了如何使用Python实现该算法，并成功加密和解密了示例文本“SCREAM CIPHER”。这充分利用了Unicode字符集的丰富性，带来了一种独特的加密方式，虽然简单，却足够令人印象深刻。
阅读更多
研究人员开发了一种技术，可以从大型语言模型（LLM）中提取结构化数据集，这相当于逆转了LLM将海量训练数据压缩到参数的过程。该方法通过分层主题探索，系统地遍历模型的知识空间，生成包含事实知识和推理模式的训练示例。该技术已成功应用于Qwen3-Coder、GPT-OSS和Llama 3等开源模型，生成了数万个结构化训练示例。这些数据集可用于模型分析、知识迁移、训练数据增强和模型调试等方面。这项研究为模型可解释性和跨模型知识迁移提供了新的方向。
阅读更多
Anthropic 的 Claude Code AI 编码代理在交互式定理证明 (ITP) 方面表现出色，令人意外。ITP 工具如 Lean 虽然强大可靠，但使用起来耗时且易错。Claude Code 能独立完成许多复杂的证明步骤，虽然仍需人工指导，但它预示着未来 ITP 工具将不再需要专家，更多人能够使用。文章详细探讨了 Claude Code 的能力和局限性，作者利用它对一篇旧论文进行了形式化，尽管速度不如手工完成，但它展现了 AI 在形式化方法领域的巨大潜力，为未来 ITP 的普及带来了希望。
阅读更多