一位三孩母亲的忙碌生活：缝纫、烘焙和育儿
2025-08-01
一位来自华盛顿州的母亲分享了她忙碌的日常生活：兼顾三份工作、三个孩子和家务，同时还坚持健身、阅读《安德的游戏》、缝纫儿童冬装，并尝试减少咖啡因摄入。她最近还和孩子们一起观看了库利大坝的激光秀，并分享了她喜爱的烘焙食谱——孩子们都爱吃的烤燕麦粥。尽管如此，她仍然饱受偏头痛的困扰。
阅读更多
杂项
跨越世纪的伟大工程：人类如何解决长期性问题
2025-08-01
本文列举了一系列跨越数十年甚至数百年的人类伟大工程，从费马大定理的证明到圣家堂的建造，再到持续至今的弗雷明汉心脏研究和长寿命实验，探究了人类如何应对需要长期投入才能解决的问题。这些项目有的依靠持续的努力，有的则受益于技术进步的积累。文章引发了思考：哪些项目需要如此漫长的时间，哪些项目可以被加速？这篇文章属于科技范畴，探讨了人类在长期目标上的坚持和创新。
阅读更多SpaceX领跑：地球轨道卫星霸主
2025-08-01
截至2021年9月1日，地球轨道上共有4550颗卫星，其中SpaceX以1655颗卫星占据36%的份额，成为当之无愧的“轨道霸主”。其Starlink项目旨在实现全球高速互联网覆盖，每年计划发射超过千颗卫星。美国以2804颗卫星遥遥领先，占据全球总数的一半以上。其他主要卫星拥有者包括OneWeb、Planet Labs等公司以及中俄等国的国防部。卫星用途主要包括通信、地球观测、技术研发等，其中通信卫星占比超过63%。
阅读更多
科技
初次管理的生存指南：从个体贡献者到团队领导
2025-07-31
本文为初次担任管理者的员工提供了宝贵的建议。作者强调，管理并非只是工作内容的转变，而是角色的转变，从个人贡献者转变为团队领导者，需要学习如何赋能团队成员，而非事必躬亲。文章指出，犯错是不可避免的，重要的是如何从错误中学习和成长，并保持清晰的沟通，明确期望，营造积极的工作氛围。同时，作者也建议管理者关注自身身心健康，避免倦怠，并从优秀领导者身上学习，不断提升自身管理能力。
阅读更多
开发
团队领导
Linux电源断开自动关机：无需BusKill的替代方案
2025-07-31
本文介绍了一种无需BusKill也能在Linux系统上实现电源断开自动关机的简易方法。通过创建udev规则，监控电源状态，并在电源断开时执行预设脚本（例如关机）。该方法简单易行，可有效保护在公共场所使用的笔记本电脑免遭盗窃。文章还提供了其他脚本示例，例如锁屏、休眠、销毁LUKS密钥等，以满足不同安全需求。
阅读更多
开发
Go竞态检测器的互斥锁盲点
2025-07-31
Go语言的竞态检测器在处理互斥锁时存在一个盲点。文章通过一个例子演示了这种情况：两个goroutine使用互斥锁保护共享计数器，其中一个goroutine在锁之外额外增加计数器。即使存在数据竞争的可能性，Go的竞态检测器也可能无法检测到，因为它依赖于锁的获取顺序，而这在运行时是不可预测的。虽然Go的竞态检测器是业界领先的工具，但这个例子提醒我们，即使检测器没有报告竞态，代码中仍然可能存在竞态条件。
阅读更多
开发
竞态检测
环球影业标志背后的传奇故事：半年的光影魔术
2025-07-31
环球影业标志中旋转地球和星光的制作过程，堪称一部光影魔术史诗。艺术指导Alexander Golitzen巧妙运用亚克力板、磷光涂层和多重曝光等技术，历时半年，最终呈现出令人惊叹的视觉效果。旋转的星星由薄亚克力板制成，并用特殊的锌硫化物涂层增强反射效果，通过多光源和精细的摄像机设置拍摄。地球则使用了双层设计，内层涂有磷光涂层，外层则为黑色抛光球体，并安装了公司标志。通过投影、多重曝光等技术，最终完成了标志的制作。这个标志的创意也启发了后来电影《地球超人》中“Interociter”装置的设计。
阅读更多Infracost招募首位产品经理：解决6000亿美元云成本难题
2025-07-31
Infracost，一家由Sequoia和YC支持的初创公司，正在寻找其首位产品经理。该公司致力于解决云计算成本管理难题，其产品能帮助工程师提前发现并修复云成本问题，避免意外成本飙升。产品经理将负责产品路线图的规划和执行，与工程师和设计师团队紧密合作，并与客户直接互动，了解他们的需求。这是一个高影响力的角色，需要具备B2B产品经验、DevOps工具经验以及云成本管理领域的专业知识。公司倡导以用户为中心，开放透明，高效执行的文化。
阅读更多
开发
Servo：挑战Chrome霸权的Rust浏览器引擎
2025-07-31
曾经，浏览器引擎百花齐放；如今，Chrome一家独大，其Chromium内核几乎垄断了市场。然而，一个名为Servo的Rust浏览器引擎，正在悄然崛起。它以多线程和内存安全著称，目标是成为可嵌入的渲染引擎，甚至挑战Electron和Android WebView。虽然目前尚不成熟，但Servo已获得Linux基金会欧洲分部的支持，并展现出令人印象深刻的性能和潜力，为打破Chrome垄断带来一线希望。
阅读更多
开发
计算机音乐入门电子书：二十年磨一剑
2025-07-31
这是一本面向作曲家、音频工程师和音乐爱好者的计算机音乐入门电子书，历经二十年发展完善。它最初设计为网络课程教材，现已涵盖了从基础到进阶的诸多主题，并持续更新。作者Jeffrey Hass教授是印第安纳大学电子与计算机音乐中心的退休主任，拥有丰富的教学和创作经验。本书免费提供学习和教学使用，只需注明作者即可。
阅读更多
开发
音乐教育
超越强化学习：基于语言反思的提示优化算法GEPA
2025-07-31
研究人员提出了一种名为GEPA的新型算法，用于优化复杂的、多模块AI系统中的提示。与传统的强化学习不同，GEPA采用了一种语言驱动的进化方法，通过让大型语言模型（LLM）分析其自身性能（包括推理步骤、工具使用和详细的评估反馈）来诊断错误并提出针对性改进。这种方法比强化学习更高效，在多个任务中超越了现有技术，展示了语言反思在AI系统优化中的巨大潜力。
阅读更多
AI
SUMO交通模拟器：构建你的虚拟交通世界
2025-07-31
SUMO是一个开源的微观交通模拟器，允许你构建和模拟复杂的交通系统。它支持自动驾驶、车联网通信、交通管理、多模态交通等功能，并能导入多种格式的道路网络数据，生成逼真的交通需求。无论是研究交通效率，还是测试自动驾驶算法，SUMO都能提供强大的模拟能力，且兼容Windows、Linux和macOS系统。
阅读更多
科技
交通模拟
AI攻克验证码：一场永无止境的军备竞赛
2025-07-31
近期，一款名为ChatGPT Agent的AI工具成功绕过了Cloudflare的Turnstile反机器人系统，无需解决图像验证码即可访问网站。这并非AI首次攻克验证码，而是持续多年的“军备竞赛”的最新进展。验证码最初旨在区分人和机器，但随着AI技术的进步，验证码逐渐演变为一种减缓攻击速度或提高攻击成本的方式，甚至催生出人工验证码破解产业。这场竞赛仍在继续，AI和反AI技术的对抗将持续下去。
阅读更多
AI
加州开心果基因组测序完成，助力应对气候变化和提升营养价值
2025-07-31
加州大学戴维斯分校的研究人员完成了迄今为止最全面的开心果基因组测序，这将帮助育种者培育出更高产、更营养的开心果品种。该研究详细阐述了开心果的生长发育过程，为农民提供更可持续的种植管理方法。这项研究尤其重要，因为气候变化正威胁着加州开心果的产量。更精准的基因图谱，如同从手绘地图升级到谷歌地球卫星图，将帮助应对气候变化带来的挑战，并提升开心果的营养价值，例如蛋白质和不饱和脂肪酸含量。
阅读更多
科技
开心果
量子重力传感器：无GPS也能精准导航
2025-07-31
澳大利亚公司Q-CTRL研发出一种新型量子重力传感器，它通过检测下落原子的飞行时间变化来测量重力变化。该传感器已在澳大利亚海军舰艇上进行了测试，成功实现了144小时无GPS导航。这项技术克服了传统惯性导航系统的累积误差问题，并具有抗干扰、抗欺骗的特性，为依赖GPS的航海、运输等领域提供了可靠的备选方案，尤其适用于GPS信号不可靠的极地地区或受干扰地区。虽然体积目前较大，但未来有望小型化，进一步拓展应用场景。
阅读更多
科技
重力测量
Figma即将IPO，33美元/股
2025-07-31
设计协作平台Figma宣布将于2025年7月31日在纽约证券交易所上市，股票代码为“FIG”，发行价为每股33美元，共发行36,937,080股A类普通股。此次IPO包含Figma公司自身发行的股票和现有股东出售的股票。摩根士丹利、高盛、艾伦公司和摩根大通担任此次发行的联合主要承销商。Figma成立于2012年，从一个设计工具发展成为一个连接的、人工智能驱动的平台，帮助团队从创意到产品发布的全过程。
阅读更多
创业
设计协作
1200+ 个在线赌博诈骗网站的庞大网络
2025-07-31
一个庞大的在线赌博诈骗网络正在利用 Discord 等社交媒体平台，通过虚假广告诱骗用户。这些网站声称与知名网红合作，提供巨额免费信用，但实际上是骗取用户的加密货币。诈骗者使用相同的 API 密钥和独特的比特币钱包，并采用“验证存款”等手段骗取受害者资金。一个 17 岁的开发者发现了这个网络，揭露了其规模和运作模式，其运作方式与“猪肉切割”骗局类似，但投资较少，风险更低，效率更高。
阅读更多
科技
在线赌博
Lean 编程语言：用代码形式化数学
2025-07-31
Lean 是一种编程语言，主要用于数学家将数学公式化。它允许数学家将数学视为代码，分解成结构、定理和证明，并将其放在 GitHub 上。文章通过一个简单的例子 2=2 的证明，介绍了 Lean 的语法和一些基本概念，例如 tactic（策略），并解释了如何使用这些 tactic 来证明或证伪数学命题。文章还以一个虚构的公理“2=3”为例，说明了在公理系统中，错误的公理可能导致任何结论都能被证明，突出了形式化证明的重要性。最后，文章提到了费马大定理的 Lean 形式化证明项目，作为 Lean 语言强大能力的体现。
阅读更多
开发
谷歌AI将扩大未成年人检测范围
2025-07-31
谷歌计划将其AI年龄估算技术扩展到所有美国用户，以识别未成年用户。该技术将分析用户的搜索历史和YouTube观看记录来估算年龄，并在判断用户未满18岁时，限制其YouTube内容推荐、地图时间线功能，禁用个性化广告，并阻止其访问Play商店中的成人应用。用户可通过上传身份证明文件来纠正错误识别。此举正值全球加强网络安全和未成年人保护的大背景下，美国和英国等国家都在推动科技公司加强对未成年用户的保护措施。
阅读更多
科技
Dropbox 停用密码管理器服务
2025-07-31
Dropbox 宣布将于 10 月底停止其密码管理器服务。此举引发用户不满，许多人质疑 Dropbox 在未充分征求付费用户意见的情况下就做出此决定。Dropbox 解释称，此举是为了专注于核心产品功能的改进。该服务于 2020 年推出，但在竞争激烈的密码管理器市场中未能获得显著成功。Dropbox 近期业绩表现平稳，但营收增长放缓，并进行了多轮裁员。
阅读更多
科技
服务停用
Nothing Phone 3：设计出众，但价格过高？
2025-07-31
Nothing Phone 3发布，其独特设计令人眼前一亮，但高昂的价格却引发争议。虽然加入了AI功能，例如与Gemini助手集成和AI硬件按键，但这些功能并未带来显著优势，无法与其他竞争对手的AI特性相匹敌。硬件配置也未能达到旗舰水平，相机性能逊色于Pixel 9，整体表现难以与三星S25或iPhone相媲美。尽管Nothing表示不会降价，但如果价格能下调至500-600美元，或许更具竞争力。
阅读更多欧盟AI监管新规：谷歌率先响应，AI 行业面临洗牌
2025-07-31
面对欧盟日益收紧的AI监管，谷歌率先签署了欧盟的AI行为准则，以期在复杂的法律环境中占据先机。该准则由千余个公民团体、学者和行业专家共同制定，旨在为AI公司提供更多确定性。谷歌将公开其模型训练数据摘要，并向监管机构披露更多模型特性，以降低合规成本。而未签署准则的公司仍需遵守欧盟AI法案，违规者将面临巨额罚款。此举标志着AI行业监管进入新阶段，也预示着未来AI发展格局的重大调整。
阅读更多
科技
马斯克的无聊公司将在纳什维尔建造一条10英里长的隧道
2025-07-31
埃隆·马斯克的“无聊公司”计划在纳什维尔建造一条10英里长的地下隧道，连接市中心、会议中心和机场。该项目将由无聊公司及其私人合作伙伴私下融资，预计2026年秋季完工。虽然拉斯维加斯项目取得了成功，但无聊公司此前在其他城市的项目曾遭遇挫折和安全隐患的担忧。此次纳什维尔项目能否顺利进行，仍存在不确定性，尤其是在安全和施工速度方面。
阅读更多
科技
纳什维尔
谷歌地球AI：用AI解决地球关键问题
2025-07-31
谷歌推出Google Earth AI，这是一个包含地理空间模型和数据集的集合，旨在帮助个人、企业和组织应对地球面临的最紧迫问题。作为其一部分，AlphaEarth Foundations 也一同发布。Google Earth AI 扩展了谷歌最近的地理空间推理工作，包含用于详细天气预测、洪水预报和野火检测等多个领域的模型。其他模型通过对图像、人口动态和城市移动性的深入理解，帮助改善城市规划和公共卫生。这些模型已为数百万用户提供服务，例如搜索和地图中的洪水和野火警报，并通过Google Earth、Google Maps Platform和Google Cloud 提供可行的见解。谷歌致力于持续这项工作，为人们提供解决时代最大挑战所需的信息。
阅读更多谷歌搜索漏洞被用来压制新闻
2025-07-31
新闻自由基金会（FPF）发现其一篇关于科技高管压制新闻的报道在谷歌搜索结果中消失。调查显示，谷歌的“刷新过期内容”工具存在漏洞，允许用户通过修改URL大小写来操纵搜索结果，导致文章被错误地删除索引。该漏洞被用于多次压制相关信息，直到FPF向谷歌报告后才被修复。这引发了对谷歌搜索算法透明度和潜在恶意使用的担忧，也体现了信息操纵的复杂性。
阅读更多
科技
新闻审查
Base44平台重大安全漏洞：轻松绕过身份验证
2025-07-31
Wiz Research发现Base44（已被Wix收购）平台存在严重安全漏洞，攻击者只需一个公开的app_id即可绕过身份验证，访问私有应用及敏感数据。该漏洞利用简单，影响广泛，涉及企业内部聊天机器人、自动化工具等关键应用。Wix已在24小时内修复漏洞，并声明未发现任何滥用迹象。此事件凸显了AI驱动开发平台安全风险的重要性，需要更重视基础安全控制，例如身份验证和API设计。
阅读更多
科技
Base44漏洞
C语言结构体内存优化技巧
2025-07-31
本文介绍了如何优化C语言结构体以减少内存占用。作者通过一个`Monster`结构体示例，逐步讲解了多种优化方法，包括：重新排序成员变量以减少填充字节；移除冗余字段，例如根据`health`值推断`is_alive`；使用更小的整数类型（例如`uint8_t`、`uint16_t`）替代`int`；使用位域来存储布尔值；以及使用枚举代替字符串来表示怪物名称。通过这些优化，作者将`Monster`结构体的大小从96字节减少到20字节，显著提升了内存效率。文章还讨论了这些优化方法的权衡，提醒读者注意整数溢出等潜在问题。
阅读更多
开发
负电容突破GaN晶体管性能瓶颈
2025-07-31
加州科学家发现，集成一种具有负电容这种奇特属性的电子材料，可以帮助高功率氮化镓（GaN）晶体管突破性能瓶颈。研究表明，负电容有助于规避一种物理极限，该极限通常会导致晶体管“导通”状态和“截止”状态性能之间的权衡。这项研究表明，在硅中得到广泛研究的负电容可能具有比以前认识到的更广泛的应用，这项技术有望应用于5G基站和手机紧凑型电源适配器等GaN电力电子设备。
阅读更多Oxide完成1亿美元B轮融资，剑指云计算未来
2025-07-31
云计算基础设施公司Oxide宣布完成1亿美元B轮融资，由USIT领投，现有投资者跟投。这笔融资使Oxide的总融资额超过1.8亿美元，巩固了其在重新构想云计算硬件和软件方面的领先地位。Oxide致力于为本地部署云计算提供端到端的解决方案，从硬件到软件，都进行了重新设计。尽管早期面临市场质疑，但Oxide凭借其技术实力和清晰的市场愿景赢得了投资者的青睐，并成功地将产品推向市场，获得了客户的积极反馈。此次融资将支持Oxide进一步扩展其产品线，提升制造、系统和运营规模。
阅读更多
科技
巨型数据集CommonPool泄露个人隐私信息
2025-07-31
一项新的研究发现，包含128亿图像文本对的公共数据集CommonPool，包含了大量个人隐私信息，包括信用卡、驾照、护照、出生证明、简历等，甚至还包含了个人病史、种族等敏感信息。CommonPool被用于训练许多AI模型，包括Stable Diffusion和Midjourney，其超过200万次的下载量意味着这些隐私信息可能已广泛传播，引发了严重的隐私风险。研究人员呼吁，在构建大型数据集时，应更加注重数据隐私和伦理问题。
阅读更多
AI