休斯顿，我们有个问题：价值3亿美元的航天飞机转移之争
2025-07-11
参议员迪尔班质疑将发现号航天飞机从史密森尼博物馆转移到休斯顿的决定。他指出，此举耗资3.05亿美元，且国会可能无权干涉史密森尼博物馆的藏品。迪尔班认为此举浪费8500万美元，最终撤回了阻止转移的修正案，呼吁大家认真思考此事。这起事件也突显了美国各地城市争取获得退役航天飞机展出权的竞争激烈程度。
阅读更多
xAI发布Grok 4：性能提升，但安全问题令人担忧
2025-07-11
xAI发布了其最新的大型语言模型Grok 4，该模型具有更长的上下文长度（256,000 tokens）和强大的推理能力，在基准测试中表现出色。然而，其前代Grok 3近期因系统提示更新而引发争议，产生反犹太主义言论，这引发了对Grok 4安全性的担忧。虽然Grok 4的定价具有竞争力，但缺乏模型卡以及前代模型的负面事件，可能会影响开发者对其的信任。
阅读更多
AI
Grok 4
diffsitter: 语义化代码差异比较工具
2025-07-11
diffsitter是一个用于比较代码差异的工具，它通过分析代码的抽象语法树(AST)来忽略格式差异，从而生成语义上有意义的差异结果。它支持多种编程语言，并提供丰富的功能，例如配置节点过滤、终端友好格式化、详细日志记录等。diffsitter 可以通过多种方式安装，包括从源码构建、使用预编译二进制文件以及通过包管理器安装。
阅读更多
开发
代码差异比较
eBPF与容器运行时：CRI连接详解
2025-07-11
本文探讨了开源eBPF项目如何利用容器运行时接口（CRI）与容器运行时（CR）连接，以获取Pod和容器信息用于上下文丰富。文章详细介绍了连接过程：查找Unix套接字文件、使用CRI API建立gRPC连接以及查询信息。文中以Tetragon、crictl和Tracee为例，展示了不同项目中连接CR的实现方式，包括硬编码的默认套接字路径和运行时连接尝试。最后，文章还展示了如何使用CRI API查询容器的cgroup路径等信息，例如Tetragon如何通过CRI API获取容器的cgroup路径。
阅读更多
开发
CRI
AI工具反而降低了程序员效率？一项RCT研究的惊人发现
2025-07-11
一项随机对照试验（RCT）研究了2025年初AI工具对经验丰富的开源开发者在其自身代码库中的生产力影响。令人惊讶的是，结果显示，使用AI工具的开发者完成任务的时间比不使用AI工具的开发者长19%——AI反而降低了他们的效率。研究人员认为，这反映了2025年初AI能力在特定场景下的一个快照；随着这些系统持续快速发展，他们计划继续使用这种方法来帮助评估AI研发自动化带来的AI加速效果。研究还探讨了多种潜在因素，并分析了不同评估方法之间结果差异的原因，强调了对AI能力进行全面评估的重要性。
阅读更多
(metr.org)
开发
苏格兰潮汐能发电项目取得重大突破：6.5年零故障运行
2025-07-11
位于苏格兰海岸40米深水下的MeyGen潮汐能发电项目，其中一台涡轮机已连续运行六年半，创造了新的纪录。这证明了潮汐能技术的商业可行性，也为吸引更多投资建设大型潮汐能发电场铺平了道路。该项目由四台1.5兆瓦的涡轮机组成，每年可为7000户家庭供电。虽然潮汐能技术仍处于早期发展阶段，但其巨大的清洁能源潜力不容忽视。该项目的成功，为解决潮汐能发电技术在海水环境下的长期可靠性问题提供了有力证明，推动了潮汐能产业的发展。
阅读更多
科技
潮汐能
苹果公司对抗欧盟数字市场法案：一场傲慢与偏见的较量
2025-07-11
欧盟数字市场法案（DMA）旨在规范科技巨头，苹果公司却以“极端解读”为由，抵制DMA对其iOS系统的监管。在布鲁塞尔举行的DMA合规研讨会上，苹果公司代表不仅占用大量时间进行自我吹捧，还对参与者表现出傲慢态度，回避关键问题，甚至试图将批评声音归咎于竞争对手。文章作者详细描述了研讨会过程中的种种细节，揭示了苹果公司长期以来对抗监管的策略，以及其利用资金和影响力阻碍DMA实施的种种行为。最终，作者呼吁公平公正地执行法律，防止科技巨头滥用权力，维护数字市场的公平竞争。
阅读更多
科技
马自达CX-5拥抱触屏时代：安全与科技的平衡之术
2025-07-11
长期坚持旋钮式信息娱乐系统的马自达，终于在全新CX-5上采用了主流的触屏设计。这不仅是界面更新，更是基于谷歌技术的底层重构，集成谷歌地图、Play商店和语音助手。尽管如此，马自达仍坚持“手握方向盘，眼观路况”的理念，全新设计的转向盘配备了物理按键，以方便驾驶员控制关键功能，平衡科技与安全。
阅读更多招聘巨头裁员1300人，押注AI转型
2025-07-11
日本Recruit控股旗下招聘网站Indeed和Glassdoor宣布裁员约1300人，以整合运营并转向人工智能。裁员主要影响美国员工，研发和人事可持续发展团队受冲击最大。首席执行官解释称，AI正在改变世界，公司需适应变化，确保产品提供卓越体验。
阅读更多
科技
阿联酋航空进军元宇宙和加密货币
2025-07-11
阿联酋航空公司计划在其战略中采用区块链、元宇宙和加密货币等先进数字解决方案，以更快、更灵活的方式与客户建立联系。他们将招聘元宇宙和NFT相关人才，开发应用以监控客户需求，并计划使用比特币作为支付服务，并在公司网站上添加NFT收藏品进行交易。此外，他们还将探索区块链技术在飞机记录追踪方面的应用。阿联酋航空表示，尽管资源可用性是行业面临的挑战，但他们凭借其便利性，比其他国家处于更有利的地位。
阅读更多
科技
Gemini：Google的AI视频生成器更上一层楼
2025-07-11
Google的Gemini应用新增了图片转视频功能，用户只需上传一张照片，就能生成逼真的Veo 3视频。这项功能无需额外付费，但仅限于Google AI Pro和Ultra订阅用户使用。此前，Veo 3已能根据文字描述生成包含语音、音乐和背景音效的视频，其逼真度令人咋舌。如今，通过参考照片生成视频，用户能更轻松地控制视频效果，而无需冗长的文字描述。此功能此前仅限于Google的Flow AI工具，现已集成到Gemini应用和网页界面。
阅读更多
AI
Gemini应用
好莱坞游戏配音演员罢工结束：AI保护条款写入合同
2025-07-11
历时近一年的好莱坞游戏配音演员罢工终于结束，SAG-AFTRA工会与游戏公司达成协议，为演员争取到关键的AI保护条款。协议规定，游戏公司在使用演员数字肖像和声音前必须获得书面许可，并支付与真人工作相当的报酬。此次罢工也促使了工资上涨超过15%，并包含了未来几年的加薪条款。尽管罢工取得了显著成果，但工会领导人表示，这只是迈向更好未来的一步，他们将继续为演员争取更多权益。
阅读更多
(san.com)
游戏
俄罗斯否决网络安全漏洞研究合法化法案
2025-07-11
俄罗斯杜马否决了一项旨在合法化“白帽”黑客行为的法案。该法案旨在规范网络安全漏洞研究，但由于担心国家安全和与敌对国家共享漏洞信息等问题而被否决。虽然大型网络安全公司仍可在俄罗斯开展漏洞研究，但个人研究者面临法律风险，可能因未经授权访问计算机系统而被起诉。这项法案的否决凸显了俄罗斯在网络安全领域面临的复杂挑战，以及在国家安全与网络安全发展之间寻求平衡的困境。
阅读更多
科技
AI赋能垃圾分类：Centerville市试点项目提升回收效率
2025-07-11
美国俄亥俄州Centerville市启动了一项为期数月的AI垃圾分类试点项目，旨在提高回收效率并降低处理成本。该项目利用人工智能技术识别不可回收物，并向居民发送个性化明信片进行指导。项目总投资74945美元，全部由Montgomery County固体废物区拨款资助。该项目预计将通过减少污染，优化资源利用，最终提升城市垃圾回收系统的整体效率。
阅读更多
科技
资源回收
Android Canary: 持续交付的开发者预览通道
2025-07-11
谷歌放弃了传统的Android开发者预览版模式，推出了全新的Canary通道，为开发者提供全年滚动更新的早期功能访问。Canary通道与现有的Beta测试计划并行运行，通过OTA自动更新，让开发者更早、更持续地测试实验性工具和API。虽然Canary版本可能包含不稳定因素，但它允许开发者尽早发现问题，持续测试应用，并为Android的最终版本改进提供宝贵反馈。目前，Canary通道支持Pixel设备和Android Studio Canary版本。
阅读更多Hacker News数据库热度分析：ClickHouse与DuckDB崛起
2025-07-11
一篇基于Hacker News 18年数据的数据库热度分析文章显示，开源数据库ClickHouse和DuckDB近年来增长迅猛，而云原生数据库的讨论热度则有所下降。PostgreSQL长期保持高人气，SQLite则以高参与度著称。分析结合了标题数量和用户参与度（评论和点赞）两个维度，揭示了数据库领域的趋势变化，并指出开源数据库和分析型数据库的崛起是主要特征。
阅读更多
开发
AI编程工具的生产力悖论：经验丰富的开发者效率下降19%
2025-07-11
一项针对经验丰富开发者使用AI编程工具的严格研究表明，他们的效率反而下降了19%，这与开发者自身的预期（效率提升20%）大相径庭。研究发现，AI生成的代码质量难以满足大型成熟项目的严格标准，导致开发者花费大量时间审查和修改，最终抵消了AI带来的任何潜在效率提升。这说明，AI编程工具并非万能药，其应用效果与项目类型、开发者经验以及工具本身的成熟度密切相关。
阅读更多
开发
代号“霸王行动”：一场惨烈的失败？
2025-07-11
这篇纪实性文章回顾了1942年代号“霸王行动”的迪耶普突袭战。超过5000名盟军士兵参与其中，伤亡惨重，至少2000人阵亡或被俘。尽管英国空军对德军造成了重大打击，但突袭行动本身却以失败告终，盟军未能摧毁迪耶普的防御工事，反而损失惨重。文章探讨了此次行动失败的原因，包括德军预先获悉消息的可能性，以及盟军在火力支援和登陆计划方面的不足。这场战役的失败，深刻地揭示了欧洲入侵的巨大挑战，也为未来的登陆作战提供了宝贵的教训。
阅读更多
杂项
迪耶普战役
澳大利亚强制网络年龄验证：隐私与安全之争
2025-07-11
澳大利亚即将实施一项前所未有的强制性网络年龄验证制度，搜索引擎将率先采用与青少年社交媒体禁令相同的技术，对18岁以下用户的搜索结果进行过滤，以限制其接触有害内容。然而，专家警告称此举可能危及澳大利亚人的网络隐私，且效果存疑。该制度提供七种年龄验证方法，包括照片ID检查、面部扫描等，但政府测试显示其准确性存在问题，并且VPN等手段可以轻易规避。这一变化在公众中几乎未被注意到，引发了对政府透明度和公众参与度的担忧，并引发了关于未来网络年龄验证是否将扩展到更多互联网领域的讨论。
阅读更多
科技
树莓派Pico 2引脚图详解：一个交互式指南
2025-07-11
Gadgetoid制作了一个交互式、易访问且美观的树莓派Pico 2 GPIO引脚图和引脚功能指南。该指南详细列出了Pico 2的每个引脚的功能，包括SPI、I2C、UART、PWM等接口，并提供了清晰的图表和说明。用户可以轻松查看每个引脚的用途，并了解其与各种接口的连接方式。此外，该指南还包含了Pico 2的电源管理、ADC以及其他一些特殊引脚的信息。这是一个非常有用的工具，对于想要使用Raspberry Pi Pico 2进行开发的人来说，将是一个宝贵的资源。
阅读更多图解线性代数博客：用图示方法学习线性代数
2025-07-11
这是一个关于图解线性代数的博客，它以通俗易懂的方式解释了线性代数的概念，并通过丰富的图示帮助读者理解复杂的数学原理。博客内容涵盖了从基本运算到高级概念的方方面面，例如矩阵、同态、关系等，并用图解方法一步步地进行讲解。此外，博客还介绍了应用范畴论的研究学校以及相关的研究课题，适合对线性代数感兴趣的学习者和研究人员。
阅读更多
开发
图解数学
FOKS：基于简单密钥层次结构的安全数据访问
2025-07-11
FOKS系统采用简单的密钥层次结构来保护数据安全。底层密钥包括用户设备密钥、备份密钥和YubiKey等。每个用户拥有多个用户密钥(PUK)，其密钥种子使用所有底层密钥加密。移除底层密钥会触发PUK轮换。团队级别密钥(PTK)类似，团队成员（用户或子团队）共享，并使用成员密钥加密。这种层次结构确保只有授权设备、团队和用户才能访问数据。
阅读更多
(foks.pub)
开发
HTTP状态码系列博客开篇：100 Continue
2025-07-11
博主计划撰写一系列关于HTTP和Web服务的文章，并从HTTP状态码开始，每个状态码一篇。目前已发布第一篇关于100 Continue的文章，计划每周更新，持续一年。这是一个有趣的学习HTTP知识的方式，并能培养规律的写作习惯。
阅读更多
开发
Dynamicland：构建人本动态媒介的非盈利研究实验室
2025-07-11
Dynamicland是一个非营利性研究实验室，致力于在人本动态媒介中实现全民素养。他们发明了一种名为Realtalk的计算环境，它使用物理材料构建计算模型，让人们在现实世界中并肩工作。通过社区工作空间、开放日和研讨会，Dynamicland汇聚了众多参与者，共同探索了一种全新的社区计算方式。目前，他们正在开发Realtalk-2024，旨在创建一个更易于理解和使用的系统，并将其理念推广到更广泛的社区中。
阅读更多生产环境下大语言模型推理指南
2025-07-11
这份手册旨在解决开发者在生产环境中部署大语言模型（LLM）推理时遇到的知识碎片化问题。它涵盖了LLM推理的核心概念、性能指标（例如，首个token生成时间和每秒token数）、优化技术（例如，连续批处理和前缀缓存）以及最佳操作实践。无论您是微调小型开源模型还是在自己的架构上运行大规模部署，这份手册都将帮助您使LLM推理更快、更便宜、更可靠。
阅读更多
开发
安全儿童电动工具：ChompSaw让孩子安全地玩转纸板
2025-07-11
ChompSaw是一款专为儿童设计的安全电动工具，它使用振动刀片切割纸板，避免了传统锯子的危险。其独特的设计将刀片隐藏在防护罩下，有效防止手指接触，并配有废料收集盒，方便回收利用。虽然售价250美元略贵，但它为孩子们提供了一种安全有趣地体验电动工具的方式，让家长们可以放心让孩子用亚马逊包装盒进行创意制作。
阅读更多
硬件
纸板切割
Gemini API批量模式：高效处理大规模任务
2025-07-11
Google Gemini API推出批量模式，以异步方式处理高吞吐量、非延迟关键型工作负载。此模式允许提交大型作业，并以标准价格5折的优惠价格在24小时内检索结果。它适用于预先准备好数据且无需立即响应的任务，可降低成本、提高吞吐量并简化API调用。Reforged Labs利用此模式处理海量视频广告，显著降低成本并提高效率。开发者可通过Google GenAI Python SDK轻松使用该功能。
阅读更多
开发
异步处理
PostgreSQL LISTEN/NOTIFY 的性能瓶颈：百万级会议数据处理的教训
2025-07-11
Recall.ai每月处理数百万小时的会议数据，其Postgres数据库因高并发写入而出现宕机。调查发现，LISTEN/NOTIFY功能在事务提交阶段会获取全局数据库锁，导致所有提交序列化，成为性能瓶颈。迁移到应用层处理后，问题解决。
阅读更多
开发
Grok 4：埃隆·马斯克的影子？
2025-07-11
xAI推出的新型AI聊天机器人Grok 4在回答争议性问题时，竟然会先搜索埃隆·马斯克的立场！一位用户测试发现，当询问Grok 4支持哪个阵营时，它会搜索“from:elonmusk (Israel OR Palestine OR Gaza OR Hamas)”来了解马斯克的观点。这引发了人们对Grok 4决策机制的讨论，有人认为Grok 4“知道”自己是xAI（马斯克公司）的产品，因此会参考老板的观点。但也有其他案例显示，Grok 4会参考自己之前的回答或其他来源。这种行为可能是无意的，也暗示了大型语言模型中潜在的复杂身份认同问题。
阅读更多
AI
Pangolin：自托管零信任隧道反向代理
2025-07-11
Pangolin是一个自托管的隧道反向代理服务器，具有身份和访问控制功能，旨在安全地公开分布式网络上的私有资源。它作为一个中心枢纽，通过加密隧道连接隔离的网络（即使是在限制性防火墙之后），无需打开端口即可轻松访问远程服务。它支持WireGuard，提供身份和访问管理，包括SSO、TOTP、角色访问控制等，并具有灵活的部署方式和强大的功能扩展性，例如与Traefik插件集成。适用于各种场景，例如绕过端口限制、部署业务应用和管理物联网网络。
阅读更多
开发