谎言的麻烦在于你需要记住所有谎言
这篇文章探讨了在编程分布式系统时，强一致性保证的重要性。作者以“谎言”作比喻，说明了在弱隔离模型下，开发者需要花费大量精力追踪和管理数据不一致问题，就像为了圆谎而不断编造新的谎言。文章强调了强隔离模型的优势在于支持局部推理，使开发者能够专注于单个查询的逻辑，而无需考虑全局数据状态。文章还指出了弱隔离模型在某些特定高性能需求场景下的适用性，但强调了其复杂性和潜在风险。
阅读更多160 位数字有多大？
本文探讨了在数据库 Dolt 中使用 160 位加密校验和作为数据块地址的安全性。作者首先介绍了加密校验和的概念、碰撞阻力以及不同校验和算法的优缺点，然后详细比较了 2 的不同幂次方所代表的数据量，例如 2^64、2^80 等，并将其与现实世界中的事物如咖啡中的原子数、海洋中的原子数等进行类比，最终得出结论：160 位地址空间足以满足 Dolt 数据库的需求，碰撞概率极低。
阅读更多Y Combinator 旗下 Driver AI 招聘高级前端工程师
Driver AI 是一家致力于帮助企业快速理解复杂代码库的初创公司，总部位于美国德克萨斯州奥斯汀，目前正在招聘一名高级前端工程师。 该职位将负责使用 Next.js、React 和 Tailwind CSS 等现代技术开发和增强前端 Web 应用程序，并与后端和机器学习工程师协作，确保前端和后端系统之间的数据流顺畅。
阅读更多Adobe 回应新版服务条款争议
Adobe公司因其更新后的服务条款引发用户强烈不满，争议主要集中在Adobe可以访问、查看或收听用户内容，并可能使用机器学习等技术对其进行分析。 尽管Adobe声明其分析内容是为了提供云功能、识别违规内容，并强调不会访问存储在用户本地设备上的内容，但这项条款的模糊性以及生成式人工智能技术的兴起，仍然引发了许多用户的担忧，部分用户甚至表示将取消Adobe Creative Cloud订阅。
阅读更多
混合键合技术：拯救摩尔定律的三维芯片技术
本文介绍了混合键合技术作为一种关键的三维芯片技术，如何推动芯片制造工艺的进步。该技术通过堆叠芯片来增加晶体管数量，以应对传统晶体管微缩放缓带来的挑战。文中详细介绍了混合键合技术的原理、工艺流程以及其在晶圆对晶圆和芯片对晶圆两种场景下的应用。此外，文章还探讨了混合键合技术在高带宽内存、背面供电等领域的应用前景，以及未来可能实现的电路折叠和跨材料键合等技术突破。
阅读更多如何在Chrome和Chromium浏览器上继续使用广告拦截器
本文介绍了如何在Chrome和Chromium浏览器上继续使用广告拦截器。由于谷歌的manifest v3规范缺少了广告拦截器正常工作的webRequestBlocking API，从Chrome 127版本开始，将逐步停止对manifest v2扩展程序的支持。为了解决这个问题，可以使用ExtensionManifestV2Availability密钥来继续使用manifest v2扩展程序。文章提供了在Linux、ChromeOS、Windows和MacOS系统上启用该密钥的具体步骤。
阅读更多大脑过度生长决定了自闭症的严重程度
加州大学圣地亚哥分校的一项新研究表明，患有严重自闭症的儿童的大脑皮层类器官（BCOs）比正常儿童大40%。研究人员利用10名1至4岁的自闭症儿童的血基干细胞创建了BCOs，并与6名正常儿童的BCOs进行了比较。结果发现，自闭症儿童的BCOs生长速度明显快于正常儿童，且BCOs的大小与自闭症的严重程度相关。研究人员希望这一发现可以帮助开发新的治疗方法，以减轻自闭症患者的智力和社会功能障碍。
阅读更多谷歌Chromebook也将推出类似Recall的记忆功能
谷歌ChromeOS负责人表示，谷歌正在谨慎地探索为Chromebook推出类似于微软Recall的功能，该功能暂称为“记忆”。“记忆”功能将允许用户回放屏幕内容，帮助用户回忆起离开屏幕前的操作。与Recall不同的是，“记忆”功能将更加注重用户控制，用户可以选择何时开启和关闭该功能。
阅读更多FBI 恢复7000个LockBit勒索软件密钥，敦促受害者联系
美国联邦调查局宣布已经获取了超过7000个LockBit勒索软件解密密钥，并敦促该勒索软件的受害者与他们联系以获取帮助，以免费解密数据。这些密钥是FBI在2024年2月的一次国际行动中查获LockBit基础设施后获得的。
阅读更多惠普Probook BIOS升级1.17失败
惠普Probook笔记本电脑的BIOS升级1.17版本导致大量设备出现故障，变砖。许多用户反映，在安装该更新后，他们的电脑无法启动，变成了“砖头”。一些用户尝试了各种方法修复，包括使用编程器刷写BIOS芯片，但并非所有尝试都成功。此次事件影响范围广泛，波及全球多个国家和地区的用户，引发了用户对惠普产品质量和售后服务的质疑。
阅读更多索尼移除了 PlayStation 5 包装盒上的 8K 标识
索尼公司已悄然从 PlayStation 5 游戏机的外包装盒上移除了 8K 标识。尽管 PS5 在 2020 年发布时宣称支持 8K 分辨率，但迄今为止，只有极少数游戏支持该分辨率。由于 8K 技术尚未在游戏和影视行业得到广泛应用，索尼此举被部分玩家视为虚假宣传。
阅读更多DuckDuckGo 推出新服务，提供“匿名”访问 AI 聊天机器人的功能
DuckDuckGo 推出了一项名为“AI 聊天”的新服务，允许用户在保护隐私和匿名的同时，与来自 OpenAI、Anthropic、Meta 和 Mistral 的四种中型大型语言模型 (LLM) 进行对话。该服务目前免费使用，但有每日限制。用户可以通过 DuckDuckGo 搜索引擎、网站直接链接或在搜索字段中使用“!ai”或“!chat”快捷方式访问 AI 聊天。
阅读更多苹果确认 iPhone 支持年限低于三星和谷歌
苹果公司确认 iPhone 15 系列手机将至少提供五年的安全更新，但这一支持年限少于三星和谷歌承诺的七年。根据英国新的产品安全法规，苹果公司必须公开其产品的软件支持期限。虽然苹果过去曾为其 iPhone 提供过超过五年的安全更新，但此次声明意味着在软件支持保证方面，三星和谷歌已经超越了苹果。
阅读更多Humane AI Pin销量惨淡，公司寻求10亿美元出售
Humane 公司的 AI Pin 可穿戴设备在发售初期仅获得了约 10,000 份订单，远低于预期目标，且产品本身也因实用性差遭到多方负面评价。尽管初期营收不佳，Humane 仍在寻求超过10亿美元的收购报价。
阅读更多波音星际线飞船在五个推进器意外关闭后成功对接国际空间站
波音公司的星际线载人飞船在经历了两次发射失败后，终于在周三成功发射，将两名宇航员送入近地轨道。本次任务是星际线飞船的首次载人飞行测试，旨在测试其将宇航员送往国际空间站的能力。在对接过程中，星际线飞船遭遇了技术故障，五个推进器中有四个出现故障，导致对接时间比计划晚了1个多小时。最终，飞船在NASA宇航员巴奇·威尔莫尔的短暂手动控制下成功与国际空间站对接。
阅读更多乔治·梅里韦瑟博士1851年的“暴风雨预报器”
本文讲述了乔治·梅里韦瑟博士于1851年发明的“暴风雨预报器”的故事。该装置利用水蛭对大气电磁状态的敏感性来预测暴风雨。文章详细描述了该装置的构造、工作原理以及梅里韦瑟博士对其进行的测试和推广。文章还介绍了该装置在1951年英国节上展出，并最终收藏于惠特比博物馆的经历。
阅读更多英国科技大亨迈克·林奇在美国被判无罪
英国企业家迈克·林奇在美国旧金山被陪审团判处无罪。他曾被指控在2011年惠普以110亿美元收购英国软件公司Autonomy的交易中犯有欺诈罪。林奇被美国检察官指控通过虚假夸大Autonomy的价值来欺骗惠普进行收购。惠普在一年后将这家被收购的软件开发商的价值减记了近90亿美元。林奇否认有任何不当行为。
阅读更多微软向70%的Windows用户发出新的警告
微软正在敦促全球70%的Windows用户升级其操作系统，因为Windows 10将于2025年10月14日停止支持。届时，这些用户的电脑将不再接收技术支持和安全更新。尽管微软试图说服用户升级到Windows 11，但许多用户仍然倾向于使用旧版本，还有一些用户由于硬件限制无法升级。微软正在测试向Windows 10用户发送全屏弹出提醒，并为企业用户提供付费的扩展安全更新。
阅读更多英伟达市值超越苹果，跃居全球第二
由于人工智能技术的崛起，GPU芯片需求激增，英伟达市值突破3万亿美元，超越苹果成为全球第二大市值公司。英伟达股价今年已累计上涨147%，而苹果则因在人工智能领域投资相对滞后，iPhone销量下滑，市值被超越。
阅读更多Telegram推出Stars：购买数字商品和更多服务
Telegram推出了Stars，允许用户在应用程序内购买数字商品和服务。用户可以通过苹果和谷歌的应用内购买或PremiumBot获取Stars，然后用其购买机器人提供的数字产品，如电子书、在线课程和游戏内物品。此举旨在为Telegram生态系统中的开发者和用户提供更多盈利和消费选择。
阅读更多
耳朵的不安：Lola De La Mata 专访
本文是对多学科艺术家 Lola De La Mata 的采访。De La Mata 在一次事故后患上了严重的耳鸣和眩晕，这改变了她的生活和艺术实践。她与听力学家和神经科学家合作，创作了新专辑《Oceans On Azimuth》，探索了她与听力的关系，并挑战了围绕听力损失的耻辱。
阅读更多Dragonfly：一种具有多分辨率缩放功能的大型视觉语言模型
文章介绍了一种名为Dragonfly的全新指令微调视觉语言架构，该架构通过多分辨率缩放和选择来增强多模态推理，同时兼顾上下文效率。文章发布了两个新的开源模型Llama-3-8b-Dragonfly-v1和Llama-3-8b-Dragonfly-Med-v1，并通过示例展示了Dragonfly在视觉问答、图像描述和医学影像分析等方面的出色表现。
阅读更多Synth 免费金融科技图标 API
Synth 免费金融科技图标 API 可以为任何域名或股票代码生成高分辨率图标。该 API 还提供实时和历史汇率、美国股票价格以及交易详细信息等功能，方便用户获取更多金融信息。
阅读更多美国监管机构考虑对市值超3万亿美元的英伟达展开反垄断调查
美国司法部计划对人工智能芯片制造商英伟达展开反垄断调查。据悉，英伟达因其高需求的人工智能芯片正受到密切关注，其市值刚刚超过3万亿美元。此外，联邦贸易委员会也在调查微软和OpenAI。英伟达的价值在过去一年中快速增长，这得益于投资者对人工智能持续增长的押注。但一些专家认为，来自其他科技巨头的竞争、人工智能技术的发展以及地缘政治等因素，都可能在未来影响英伟达的发展速度。
阅读更多JSON 就够了：使用 structlog 轻松监控 LLM 应用
本文介绍了如何使用 Python 日志库 structlog 轻松监控 LLM 应用。structlog 允许生成 JSON 格式的日志，并在线程本地存储上下文信息，方便跟踪 Web 请求的生命周期。文章以一个 LLM 驱动的 Flask API 为例，展示了如何使用 structlog 记录请求信息、错误信息以及用户输入。最后，文章还介绍了如何使用 DuckDB 分析 JSON 格式的日志文件，并从中提取有价值的信息。
阅读更多