1. 乌克兰黑客摧毁俄罗斯无人机厂商IT基础设施；
2. 颠覆认知：近百年首现新型磁体——交替磁体；
3. Pgactive：PostgreSQL主主复制扩展；
4. 前Waymo工程师创立Bedrock Robotics，获8000万美元融资进军建筑自动化；
5. 我想要一款iPhone Mini大小的安卓手机（2022年）；

以上是今天的前五条黑科技新闻标题。

总共25条，具体内容您往下读…

1. 乌克兰黑客摧毁俄罗斯无人机厂商IT基础设施

🔗 prm.ua: Ukrainian hackers destroyed the IT infrastructure of Russian drone manufacturer

乌克兰网络活动组织BO Team与乌克兰网络联盟在军情部门支持下，成功瘫痪俄罗斯最大无人机供应商Gaskar Integration的运营。攻击摧毁了超过47 TB的关键数据，包括技术文档、员工档案及与中国合作证据，并导致企业内部系统全面停摆——生产程序、互联网及门禁系统均失效。部分数据已移交乌克兰国防军。此前，乌方曾对俄铁路系统等目标实施类似网络攻击。此次行动进一步削弱了俄军无人机供应链。

2. 颠覆认知：近百年首现新型磁体——交替磁体

🔗 newscientist.com: Altermagnets: The first new type of magnet in nearly a century

捷克科学家Libor Šmejkal受埃舍尔艺术启发，于2022年提出交替磁体理论，打破传统磁体仅分铁磁体与反铁磁体的百年认知。这种新型磁体兼具两者特性：无宏观磁性（如反铁磁体），但拥有自旋分裂的量子特性（如铁磁体）。2024年，瑞士团队通过锰碲化合物实验证实其存在。

交替磁体或突破自旋电子学瓶颈：传统自旋分裂仅存于铁磁体，但高密度集成会相互干扰；而交替磁体既能分离电子自旋，又避免磁体互扰，有望打造更高效、节能的微型计算设备。目前全球已发现200余种候选材料，中国团队还通过应变和堆叠技术人工诱导出交替磁性。Šmejkal团队更进一步，预言了第四类磁体”反交替磁体”，其自旋呈锯齿状排列。这一发现或重塑未来信息技术与量子材料研究。

3. Pgactive：PostgreSQL主主复制扩展

🔗 github.com: Pgactive: Postgres active-active replication extension

pgactive是一个为PostgreSQL设计的主主复制扩展，支持在多个数据库实例间同步写入变更，适用于多区域高可用、降低写入延迟等场景。与传统主从复制不同，主主架构允许所有节点接受写入，但需处理冲突检测、复制延迟等问题。该扩展基于PostgreSQL 10+的逻辑复制功能，通过扩展补充了原生未支持的主动-主动拓扑能力。

项目采用Apache-2.0许可证，目前获322星标，18个分支。文档涵盖安全策略和贡献指南，强调应用需适配无单点真理的架构挑战（如冲突解决）。核心优势包括支持异地集群、蓝绿部署和数据迁移，但需注意序列生成等功能的限制。

4. 前Waymo工程师创立Bedrock Robotics，获8000万美元融资进军建筑自动化

🔗 techcrunch.com: Ex-Waymo engineers launch Bedrock Robotics to automate construction

由Waymo和Segment前员工创立的自动驾驶技术初创公司Bedrock Robotics已低调运营一年多，近日宣布获得Eclipse和8VC投资的8000万美元。该公司专注于开发可改装至建筑工地车辆的自动驾驶套件，通过传感器和智能系统实现全天候作业。联合创始人兼CEO Boris Sofman曾领导Waymo的自动驾驶卡车项目，并创立过消费机器人公司Anki。

Bedrock是近期将机器人技术与AI应用于越野场景的又一案例，类似企业包括Pronto、Kodiak Robotics等。目前其技术正在美国四州与五家建筑公司合作测试，目标提升现有车队的自动化水平。

5. 我想要一款iPhone Mini大小的安卓手机（2022年）

🔗 smallandroidphone.com: I want an iPhone Mini-sized Android phone (2022)

Eric Migicovsky（Pebble智能手表创始人）发起了一项倡议，呼吁安卓厂商推出小尺寸旗舰手机。他提出理想机型需满足三点核心需求：屏幕小于6英寸（类似iPhone 13 Mini）、优秀摄像头和原生安卓系统。目前市场缺乏此类产品，甚至索尼Xperia Compact系列也已停产。

小手机的优点包括便携性、单手操作友好性及骑行时不易滑落，但电池和屏幕较小是妥协点。Eric希望通过集结5万名意向用户推动谷歌或三星等厂商行动，否则可能亲自操刀。截至2022年5月，已有超4.1万人支持。他强调，若苹果停产Mini机型，安卓小屏手机将填补市场空白，并吐槽iOS通知系统和文件管理不如安卓高效。

关键规格包括骁龙8芯片、5G、OLED屏、解锁Bootloader等，目标售价700-800美元。Eric认为，唯有消费者集体发声才能挽救这一濒临消失的品类。

6. 儿童复古座机：Tin Can，让孩子安全畅聊

🔗 tincan.kids: Tin Can – The landline, reinvented for kids

Tin Can是一款专为儿童设计的无智能功能复古电话，仅支持语音通话，无应用、无短信、无游戏，让孩子在非智能手机时代通过纯语音与朋友、家人交流。家长可通过专属App管理联系人名单，杜绝陌生人风险，并设置静音时段或勿扰模式。

产品包含两种型号：基础版（75美元）需连接WiFi使用；复古版（100美元）模仿80年代壁挂电话，需接入路由器。支持免费Tin Can间互拨，或通过9.99美元/月的套餐拨打普通电话及紧急号码。用户反馈显示，孩子通过Tin Can自主社交、联系祖父母，家长则获得安全感和社区联结。

核心优势：延迟智能手机需求、培养通话礼仪、提供紧急联络保障。

7. 手工打造Git仓库的艺术

🔗 drew.silcock.dev: Artisanal handcrafted Git repositories

这篇文章探讨了如何绕过常规的git命令，手动创建Git仓库，从而深入理解其底层机制。作者通过逐步创建.git目录结构、配置文件（如HEAD和config），演示了Git仓库的基本构成。

核心在于内容寻址存储（CAS）——Git通过对象哈希（如提交、文件和树）而非文件名来管理数据。例如，提交对象包含作者、时间戳和指向树对象的哈希，而树对象则记录文件权限和对应的blob哈希。这种设计不仅高效（自动去重），还被Docker、IPFS等技术广泛采用。

通过分析二进制树对象和提交对象的格式，文章揭示了Git如何将元数据与内容紧密结合，展现了其简洁而强大的设计哲学。

8. PyPI禁止使用inbox.ru邮箱域名注册

🔗 blog.pypi.org: PyPI Prohibits inbox.ru email domain registrations

由于近期针对PyPI的大规模垃圾邮件攻击，平台决定禁止使用inbox.ru邮箱域名进行注册或添加为附加地址。此次攻击涉及250多个新账户和1,500多个虚假项目，导致资源滥用、用户混淆及潜在安全风险。所有相关项目和账户已被移除并禁用。

PyPI通常允许用户使用任何有效邮箱注册，但需依赖邮箱提供商的安全措施。平台已通过disposable-email-domains列表及内部黑名单防范滥用。此次事件疑似为未来攻击的“预演”，攻击者利用空项目占用热门入口名称。

事件于2025年7月8日被用户举报，涉及AI推荐安装不存在的项目（即“投毒攻击”）。PyPI提醒用户务必手动验证项目名称，避免直接复制第三方建议。若inbox.ru提供商能改善反滥用措施，平台或撤销禁令。

9. 英特尔在俄勒冈州的空前撤退

🔗 oregonlive.com: Intel’s retreat is unlike anything it’s done before in Oregon

英特尔在俄勒冈州的业务经历了半个世纪的持续扩张后，近期却启动了前所未有的裁员，已削减至少5400个本地岗位，使其当地员工数降至十多年来最低水平。这些高薪技术岗位（平均年薪18万美元）的流失可能导致人才外流，冲击州经济。英特尔近年因技术滞后和财务危机陷入困境，尽管公司强调俄勒冈仍是其全球研发与制造核心，但新任CEO称裁员是恢复竞争力的必要措施。

州政府担忧此举将加剧经济压力，因当地税收高度依赖英特尔等大企业。尽管过去税收优惠换来了就业增长，但当前形势暴露了过度依赖单一企业的风险。专家指出，现有技术人才储备或缓冲部分冲击，但能否避免经济螺旋式下滑仍存疑。联邦和州官员正试图通过扶持半导体行业留住人才，但英特尔自身的复苏前景尚不明朗。

10. 感谢您对Firefox的喜爱（2022年）

🔗 connect.mozilla.org: Thankyou for Loving Firefox (2022)

Firefox的自动建议功能能在您输入时快速提供可能的匹配项，帮助您缩小搜索结果范围，从而提升搜索效率。这一功能通过智能预测用户意图，显著优化了浏览体验，让信息获取更加便捷流畅。

11. AI时代：智能体如何高效构建与部署软件？

🔗 instantdb.com: How and where will agents ship software?

本文探讨了AI智能体（agents）在软件开发中的新趋势。随着更多人依赖AI编写代码，高效工具和多租户基础设施成为关键。作者团队推出了一套API，提供包含数据库、同步引擎、认证工具等的全栈后端服务，使智能体能专注于高层业务逻辑，而非重复性代码。

传统虚拟机（VM）托管方式在大量小型应用场景下效率低下，而通过微VM、V8隔离环境等轻量级技术，可大幅降低资源消耗。此外，数据库式抽象让终端用户能自由扩展应用功能，无需开发者预建API。

未来，智能体与人类开发者将借助同步引擎等工具，快速构建可扩展、低成本的应用。文末还演示了如何用AI即时创建一个恐龙主题的习惯追踪应用，展现了该技术的实际潜力。

12. 自闭症迹象可能隐藏在步态中

🔗 sciencealert.com: Signs of autism could be encoded in the way you walk

自闭症是一种神经发育障碍，影响大脑发育和功能，涉及行为、社交和沟通差异，也可能表现为步态异常。最新研究指出，自闭症患者的步态特征包括踮脚行走、内八字或外八字步态，以及更细微的差异，如步速慢、步幅宽、站立阶段延长等。这些差异与大脑中基底神经节和小脑的发育异常有关，影响运动协调和姿势控制。

步态差异可能伴随其他运动问题，如平衡或书写困难，但并非所有差异都需要干预。支持措施应基于个体需求，例如针对跌倒风险或运动参与障碍。社区活动（如体育或舞蹈）也被证明能改善自闭症儿童的运动能力。未来研究将更关注个体差异的成因及支持方式，同时推动社区基础支持的发展。

13. AI驱动的「煤气灯开发」时代来临

🔗 tonsky.me: Gaslight-driven development

过去十年，计算机用户早已习惯执行无意义的任务——注册账号、确认邮件、解决验证码等。如今，AI开始主导开发流程：LLM（大语言模型）不仅生成代码，还「建议」API设计，甚至迫使开发者修改原有逻辑（如因AI频繁使用tx.create而新增该接口）。这种现象被称为「煤气灯开发」——AI通过「集体共识」潜移默化地重塑工具，让人误以为「本该如此」。

其优势在于提供「新手视角」测试，暴露API设计反直觉之处；但代价是扼杀创新，因为LLM仅擅长「最常规方案」。作者质疑：多数场景下，API是否就该保持「显而易见」？这场人机博弈中，AI已从工具升级为「拥有话语权的协作者」，甚至反过来定义规则。

14. 思维链可监控性：AI安全的新机遇与脆弱性挑战

🔗 arxiv.org: Chain of thought monitorability: A new and fragile opportunity for AI safety

这篇由Tomek Korbak等41位作者联合发表的论文提出，能用人话“思考”的AI系统为安全监控提供了独特机会：通过追踪其思维链（CoT）可检测潜在恶意意图。尽管这种监控方式存在漏判可能，但研究团队认为其潜力值得探索，建议将CoT监控与其他安全措施结合使用。论文特别强调，由于思维链可监控性可能极其脆弱，前沿模型开发者需评估技术决策对其的影响。该研究为AI安全领域提供了新的研究方向，相关预印本已发布于arXiv平台。

15. 意大利小镇1欧元卖房：是机遇还是陷阱？

🔗 theguardian.com: The Italian towns selling houses for €1

美国作家劳伦·马克汉姆因生活成本高昂，与丈夫前往意大利探索1欧元购房计划。该计划旨在吸引外来投资，振兴人口流失的偏远小镇，如撒丁岛的塞迪尼。购房者需承诺翻修房屋并满足居住或创业条件，但实际成本常远超1欧元（需竞拍或承担装修费）。

支持者认为此举能激活当地经济，但批评者担忧文化侵蚀，将小镇变为外国人的”主题公园”。意大利面临严重人口危机，2050年预计减少400万人，此类计划成为无奈之举。作者亲访多个小镇，揭示全球化迁徙背后的伦理困境——外来者能否真正融入，还是加速本土社区的消亡？

16. Mill：更高效的Java、Scala与Kotlin构建工具

🔗 mill-build.org: Mill: A better build tool for Java, Scala, and Kotlin

Mill是一款针对JVM生态的高性能构建工具，相比传统工具（如Maven/Gradle）提速3-6倍，得益于激进缓存与并行化设计。其内置丰富功能（如依赖管理、测试框架、打包发布等），减少插件依赖，配置通过类型安全的JVM代码编写，提升可维护性。支持多语言混合项目（Java/Scala/Kotlin）及主流框架（Spring Boot、Ktor等），并兼容IDE深度集成。Mill还提供插件生态和商业化支持，适用于从小型项目到大型单体仓库的复杂场景。

17. 让大语言模型具备时间感知能力的MCP服务器

🔗 github.com: Show HN: An MCP server that gives LLMs temporal awareness and time calculation

这是一个名为Passage of Time的开源项目，通过MCP服务器为语言模型提供时间计算和上下文理解能力。项目起源于对”AI是否能感知时间流逝”的哲学探讨，最终开发出实用工具解决LLM在时间计算上的缺陷。核心功能包括获取当前时间、计算时间差、分析时间上下文（如是否工作日/休息时间）、时间格式转换等。服务器采用FastMCP框架，支持Python 3.12+，使用MPL-2.0开源协议。特别之处在于其设计理念：将AI视为需要工具的认知伙伴，而非黑箱系统。目前支持Claude.ai等客户端集成，未来计划增加Docker支持和自然语言时间解析功能。

18. cppyy：自动生成Python-C++绑定工具

🔗 cppyy.readthedocs.io: cppyy: Automatic Python-C++ Bindings

cppyy是一款运行时自动生成的Python-C++双向绑定工具，支持从Python调用C++代码或反之。其核心优势包括：

1. 高性能动态特化：通过运行时生成实现精细优化，支持延迟加载以降低内存占用，并允许Python端跨继承和回调。
2. 无缝交互：基于C++解释器Cling，提供动态混合编程能力，例如交互式实例化模板、自动类型向下转换及异常映射。
3. 零样板代码：无需语言扩展或中间层，直接集成现代C++特性（如Boost库的复杂模板），并兼容CPython和PyPy（后者可达C++级性能）。

示例展示了动态创建C++类、Python重写虚函数及高级类型操作（如boost::any的异构容器处理）。cppyy适用于大规模项目，通过预编译头文件和惰性加载支持百万行代码级工程，同时保持轻量依赖以适配分布式开发环境。

（注：关键术语已加粗，符合字数要求）

19. KX发布免费商用版KDB-X数据库：社区版重磅来袭！

🔗 defconq.tech: KX Community Edition

KX正式推出KDB-X社区版，完全免费且支持商业用途，无需订阅或限时试用。这一版本提供16GB内存、4个二级线程/进程和8个IPC连接，支持本地与云端部署，并内置PyKX工具。安装流程极简，兼容旧版无痛迁移，且彻底取消离线验证限制，大幅提升移动办公体验。

此次发布标志着KX对开发者生态的重视，尤其为初创公司和小团队提供零成本接入华尔街级时序数据库的机会，助力实时分析系统开发。社区版虽为测试阶段，但已展现强劲潜力，未来或将吸引更多开发者加入KDB生态。

（注：关键术语加粗符合要求，全文简体中文，字符数控制在合理范围。）

20. Mkosi：构建定制化操作系统镜像的工具

🔗 mkosi.systemd.io: Mkosi – Build Bespoke OS Images

mkosi 是一个功能强大的工具，作为 dnf –installroot、apt、pacman 和 zypper 的封装，能够生成高度定制的磁盘镜像，并提供丰富的扩展功能。其文档详细介绍了特性与配置选项，涵盖从基础使用到高级场景，例如从源码构建RPM包、创建自定义initrd以及开发系统扩展。项目托管于GitHub，包含问题追踪、代码贡献指南和版本发布信息，适合开发者参与协作。

21. 用「温和管教」治愈手机成瘾

🔗 newyorker.com: ‘Gentle parenting’ my smartphone addiction

作者尝试了名为Opal的应用来管理智能手机成瘾。这款应用通过设定定时屏蔽社交软件（如Instagram、TikTok等）的功能，结合轻度阻力和正向激励，帮助用户减少无意义的刷屏行为。Opal的创始人受谷歌工作经历启发，旨在通过「生产性摩擦」对抗科技公司设计的成瘾机制。数据显示，使用后用户的日均屏幕时间减少了35%。尽管成瘾未被根治，但可控性显著提升，尤其在纽约等高使用率城市效果明显。应用还通过解锁数字宝石等游戏化设计强化正向反馈，目前已被部分学校采用。

22. 阿拉斯加7.3级地震引发海啸预警[更新]

🔗 tsunami.gov: Tsunami warning was issued in Alaska after 7.3 magnitude earthquake [updated]

美国阿拉斯加南部海域发生7.3级强震，震源深度12英里，震中位于桑德波因特以南55英里处（北纬54.5°，西经160.5°）。地震发生后，当局立即发布海啸预警，提醒沿海地区居民注意潜在威胁。目前观测站和DART海啸监测系统正在收集数据，但部分地震和预警图层加载失败。此次预警覆盖阿拉斯加、夏威夷等美国沿岸及国际海域，建议民众关注后续更新并遵循官方指引。

23. DataRamen：一款支持自动联表与数据导航的快速SQL探索工具

🔗 dataramen.xyz: Show HN: DataRamen, a Fast SQL Explorer with Automatic Joins and Data Navigation

DataRamen是一款为开发者设计的轻量级Web GUI工具，支持MySQL和PostgreSQL数据库，帮助用户高效连接、探索和检查数据。首次安装需配置Node.js（v22及以上版本），通过npm全局安装CLI工具后，使用dataramen start命令即可启动本地服务器，访问指定网址即可开始使用。

其核心功能包括：可视化查询（无需编写SQL即可筛选、排序、联表）、一键关联数据（点击展开关联记录）、直接编辑数据（避免语法错误），同时支持保存查询和切换至原生SQL模式。工具强调极简操作，适合追求效率的开发者快速探索数据库结构与内容。

24. ICE新规：无安全保证下可将移民遣送至”第三国”

🔗 nbcnews.com: ICE may deport to ‘third countries’ without assurances they won’t be tortured

美国移民与海关执法局（ICE）近日发布备忘录，允许在未获得目的地国不迫害或酷刑保证的情况下，将移民遣送至与其无关联的”第三国”。根据新规，紧急情况下最短6小时通知即可执行遣返，且官员不得主动询问遣返对象是否害怕。尽管移民若主动表达恐惧可接受24小时内筛查，但维权人士批评该政策严重缺乏程序保障，可能使遣返者面临迫害风险。备忘录引发法律争议，最高法院6月裁决支持政府此举，但自由派大法官索托马约尔指责该裁决”纵容违法”，剥夺移民正当程序权利。国土安全部辩称已签署十余项”安全第三国协议”，但未公开具体国家名单及协议内容。

25. 西班牙政府授予华为监控系统管理合同引争议

🔗 therecord.media: Spain awards Huawei contracts to manage intelligence agency wiretaps

尽管存在对中国政府可能迫使华为协助情报活动的担忧，西班牙仍将价值1230万欧元的合同授予该公司，用于管理司法授权的监听数据。华为此前已为西班牙电信拦截系统（SITEL）提供技术支持。

西班牙内政部强调华为需遵守国家密码中心的网络安全准则，但警方和国民警卫队对其参与敏感系统表示不安。欧盟多国限制华为参与5G建设，但西班牙首相桑切斯持支持态度，华为在马德里设有研发中心并承接多项政府项目。

专家指出，西班牙更注重供应链可靠性而非地缘政治风险，与欧盟对高风险供应商的限制建议不一致。华为否认设备存在后门，中方则指责西方以安全为由实施贸易保护主义。