巴西数据监管机构禁止Meta挖掘数据用于AI模型训练 (apnews.com)
巴西国家数据保护局近日裁定，Meta公司不得使用来自巴西的数据来训练其人工智能模型。Meta更新后的隐私政策允许其将用户的公开帖子输入其AI系统，但这在巴西将不被允许。Meta对此表示失望，坚称其方法符合巴西的隐私法律法规。巴西是Meta最大的市场之一，Facebook在该国拥有约1.02亿活跃用户。
肌酸补充剂对有功能障碍风险患者身体机能优化的影响：一项系统评价和荟萃分析 (pubmed.ncbi.nlm.nih.gov)
该文章是对肌酸补充剂对有功能障碍风险患者身体机能优化影响的系统评价和荟萃分析。研究纳入了33项随机对照试验，共1076名参与者，发现补充肌酸可以提高坐立测试性能、肌肉功能和瘦体重，但证据质量较低。作者建议进行高质量的前瞻性随机对照试验以证实这些假设。
图解Transformer (jalammar.github.io)
本文介绍了Transformer模型，它是一种使用注意力机制来提高训练速度的模型。Transformer模型在特定任务上的表现优于谷歌神经机器翻译模型，其最大优势在于其易于并行化。文章详细讲解了Transformer的编码器和解码器结构，以及自注意力机制、多头注意力机制和位置编码等关键概念。
Python现代开发的良好实践 (www.stuartellis.name)
这篇文章总结了现代 Python 开发的一些最佳实践，包括使用支持多版本的工具安装 Python，使用最新版本的 Python，使用 pipx 运行开发应用程序，避免使用 Poetry，使用 pyproject.toml 文件，创建使用 src 布局的目录结构，使用虚拟环境进行开发，使用 requirements.txt 文件将包安装到环境中，使用代码格式化程序和代码检查器，使用 pytest 进行测试，以及打包应用程序。
澳大利亚是否需要进口天然气？ (www.smh.com.au)
澳大利亚是全球主要天然气出口国，但由于长期出口合同和基础设施限制，东部各州面临天然气短缺。专家认为，进口液化天然气是避免严重短缺的可行方案，但环境组织反对，当地生产商呼吁开发新气田并增加储存设施。
Vectara 语义搜索用户界面 (hackernews.demo.vectara.com)
这篇文章介绍了 Vectara 语义搜索用户界面，但没有提供更多信息。用户需要启用 JavaScript 才能运行这个应用程序。
NVIDIA NVLink 交换芯片在 HGX B200 上的变化 (www.servethehome.com)
Computex 2024 展会上，英伟达展示了 HGX B200 主板，与之前的 HGX H100 相比，NVLink 交换芯片数量从四个减少到两个，并且位置从边缘移至主板中央，旨在缩短走线长度，提高高速信号传输效率。
SonarQube代码质量管理工具引发开发者不满 (community.sonarsource.com)
文章讨论了代码质量管理工具SonarQube在实际应用中引发的一些问题。开发者抱怨SonarQube过于死板的规则限制了他们的编码自由，并指出其管理权限设置不合理，导致开发者无法有效地对规则进行调整或例外处理。文章呼吁SonarQube团队改进产品设计，例如增加用户反馈机制、提供更灵活的规则配置选项等，以提升开发者体验。
用规划编程解决数学问题 (buttondown.email)
本文介绍了如何使用规划编程解决一个数学问题：用最少的“全选”、“复制”、“粘贴”操作次数，在一个空白文档中输入至少100,000个字母'a'。作者首先用C++广度优先搜索算法解决问题，然后用Picat规划语言给出了更优雅的解决方案，并探讨了规划语言的灵活性。
可解释性不是游戏 (cacm.acm.org)
机器学习模型的可解释性对于建立信任和调试人工智能系统至关重要，尤其是在影响人类决策的领域。然而，文章指出，最流行的可解释人工智能方法，特别是基于Shapley值的SHAP分数，缺乏严谨性，可能提供误导性信息。文章通过分析决策树分类器和布尔函数，证明了SHAP分数可能无法准确反映特征对预测的实际影响，甚至可能将不重要的特征评为重要特征，从而误导决策者。
利用空气和阳光制成的罐装水将于9月在美国上市 (www.newscientist.com)
美国公司Source计划于今年晚些时候推出一款名为Sky Wtr的罐装水品牌。这款罐装水是由该公司生产的太阳能电池板利用空气中的水分制成的。这些电池板使用太阳能为风扇供电，风扇将空气中的水蒸气吸入。一种名为干燥剂的吸水物质会吸收水分，然后电池板的太阳能将水分释放到电池板内的收集区域。
Figma因AI设计工具涉嫌抄袭苹果设计而下架 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25515615/STK273_FIGMA.jpg)
设计软件公司Figma近日因其AI设计工具Make Designs生成的设计作品与苹果iOS天气应用程序高度相似而遭到批评，最终选择下架该工具。Figma CEO表示，公司并未利用苹果设计训练AI模型，并将问题归咎于第三方模型和定制设计系统。Figma承诺将采取措施确保其AI工具生成的設計具有足够的差异性，并计划在解决问题后重新上线Make Designs。
公关如何操控媒体 (paulgraham.com)
本文揭露了公关行业如何像潜艇一样潜伏在新闻媒体之下，操控着我们所读到的内容。作者以亲身经历，讲述了公关公司如何通过提供“有选择性的真相”来影响记者，以及如何利用“炒作”来制造新闻。作者还指出，网络媒体的兴起正在改变这一现状，因为网络作者更加真实和独立，读者也更加信任他们。
用 15 个滑翔机构建任意生命模式 (btm.qva.mybluehost.me)
这篇文章讲述了康威生命游戏中一项里程碑式的成就：使用 15 个滑翔机构建任意图案。作者详细介绍了实现这一目标背后的原理和发展历程，包括信息编码、通用构造器、Caber Tosser 设计、滑翔机合成、以及最终实现 15 个滑翔机构建目标的技术细节和代码量分析。
探索双阶段编程：一种新的语言设计方法 (rybicki.io)
文章探讨了“双阶段编程”的概念，它允许相同的语法在两个不同的阶段或环境中执行计算，同时保持一致的行为。文章以Zig、React Server Components和Winglang为例，展示了双阶段编程在元编程、前端优化和云应用开发中的应用。作者还讨论了双阶段编程与传统元编程的区别和联系，并提出了一些未来研究方向。
美国人仍然购买第三方杀毒软件，老年人更多 (www.theregister.com)
调查显示，近一半的美国人使用第三方杀毒软件，其中付费用户最受欢迎的品牌是Norton、McAfee和Malwarebytes。老年人使用第三方杀毒软件的比例更高，这可能是因为他们成长在一个必须在电脑上安装杀毒软件的时代。
核光谱学突破或改写自然基本常数 (newsroom.ucla.edu)
加州大学洛杉矶分校的物理学家们取得了一项突破，他们利用激光成功地激发了嵌入透明晶体中的钍原子核。这一成就为开发迄今为止最精确的原子钟铺平了道路，并将彻底改变时间、重力和其他领域的测量精度。该技术还有可能揭示自然基本常数是否真的恒定不变，并解开宇宙中一些最深奥的奥秘。
谷歌或将放弃ChromeOS Flex轻量级操作系统 (www.zdnet.com)
谷歌于2022年推出的ChromeOS Flex轻量级操作系统或将面临淘汰。该系统旨在延长旧硬件的使用寿命，但由于缺乏对Android应用程序的支持，其功能受到限制。谷歌计划将ChromeOS与Android整合，增强AI功能，而ChromeOS Flex可能不在此计划内。文章建议用户考虑使用Linux Lite、Puppy Linux等轻量级Linux发行版作为替代方案。
Omniparse：用于增强 GenAI 框架兼容性的数据解析和优化工具 (github.com)
Omniparse 是一个开源平台，可以将任何非结构化数据（文档、表格、图像、视频、音频文件或网页）解析成结构化、可操作的数据，并针对 GenAI（LLM）应用程序进行优化。它支持多种文件类型，可以提取表格、图像、音频/视频转录、网页爬取等功能，并可以使用 Docker 和 Skypilot 轻松部署。
Ladybird 网络浏览器获 GitHub 创始人百万美元捐赠，转型非营利组织 (lunduke.locals.com)
Ladybird 网络浏览器宣布转型为非营利组织，并获得 GitHub 创始人 Chris Wanstrath 一百万美元的捐赠承诺。Ladybird 旨在创建一个全新的、不受广告收入和企业利益影响的开源网络浏览器，计划于 2026 年发布 Alpha 版本。Ladybird 的资金完全来自赞助和捐款，并承诺不进行企业交易或追求除非限制性捐款以外的收入。
2024年利特尔·利顿竞赛 (adamcadre.ac)
文章介绍了2024年利特尔·利顿糟糕开头句竞赛的结果，并列举了比赛的获胜者和一些值得注意的参赛作品。 竞赛分为主要组别和由ChatGPT等程序生成的参赛作品组别， 今年的获胜作品是“他把门猛地甩到我脸上，声音响亮而尖锐，就像一颗原声柠檬”。 文章还介绍了其他一些糟糕的开头句， 并对其中一些句子进行了幽默的评论和分析。
杨百翰大学校友、科技先驱、平等倡导者布鲁斯·巴斯蒂安逝世，享年76岁 (www.heraldextra.com)
布鲁斯·巴斯蒂安，杨百翰大学校友、文字处理软件WordPerfect的联合创始人、LGBTQ+群体权益倡导者，于2024年6月16日逝世，享年76岁。巴斯蒂安在科技领域取得成功后，积极投身慈善事业和平权运动，支持了许多LGBTQ+组织，并为同性婚姻权利奔走呼吁。他生前慷慨大方，为社会公平正义做出了巨大贡献，其精神将激励后人。
GraphRAG：用于复杂数据发现的新工具现已登陆 GitHub (www.microsoft.com)
微软研究院发布了一种名为 GraphRAG 的全新工具，用于在私有或从未见过的数据集中进行问答。GraphRAG 是一种基于图的检索增强生成 (RAG) 方法，它使用大型语言模型 (LLM) 从任何文本文档集合中自动提取丰富的知识图谱。与传统的 RAG 方法相比，GraphRAG 提供了更加结构化的信息检索和更全面的响应生成。
OmniAI 全栈工程师招聘 (www.workatastartup.com)
OmniAI 是一家专注于非结构化数据处理的初创公司，致力于构建一个全新的数据处理方式。公司正在寻找创始工程师加入其位于旧金山的团队，共同开发和完善其数据处理平台。OmniAI 的技术栈主要包括 Node.js、TypeScript、React/NextJS、Postgres 和 Docker。他们也支持 MySQL、Snowflake、Mongo、BigQuery 等数据库，并与 OpenAI、Mistral、Llama 和 Anthropic 等 LLM 平台进行集成。
Netflix开始逐步取消最便宜的无广告套餐 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/23923972/acastro_STK072_01.jpg)
Netflix 开始逐步取消其最便宜的无广告套餐，目前该计划已在加拿大和英国实施。现有基础套餐用户将需要在 7 月 13 日之前选择新的套餐，可选方案包括含广告的 6.99 美元套餐、无广告的 15.49 美元套餐或无广告 4K 高清 22.99 美元套餐。Netflix 此举是为了推动用户转向其广告支持计划，该计划的用户数量截至 5 月已超过 4000 万。
Meta 推出 3D Gen：快速生成高质量 3D 资源的新型 AI (ai.meta.com)
Meta 推出名为 3D Gen 的新型尖端快速生成 3D 资源的 AI 模型。3D Gen 能够在一分钟内根据文本提示生成高保真度、高质量的 3D 形状和纹理，并支持基于物理的渲染（PBR）。它结合了 Meta 3D AssetGen 和 Meta 3D TextureGen 的优势，能够在视图空间、体积空间和 UV 空间中同时表示 3D 对象，实现高效的文本到 3D 资源生成。
官方魔方发展史 (www.rubiks.com)
魔方自1974年由匈牙利建筑学教授Ernő Rubik发明以来，已经走过了50年的历史。文章回顾了魔方发展过程中的里程碑事件，包括1979年首次亮相国际玩具展、1980年正式更名为“魔方”、1982年举办首届魔方世锦赛等。如今，魔方已经成为全球最受欢迎的玩具之一，拥有超过43万亿种可能的解法，每年都有数百万人参与其中。
拜登政府拨款5.04亿美元支持全美12个科技中心 (apnews.com)
拜登政府宣布拨款5.04亿美元，用于支持全美12个科技中心的建设。这些中心分布在俄亥俄州、蒙大拿州、内华达州和佛罗里达州等地，旨在推动量子计算、生物制造、锂电池、计算机芯片、个性化医疗等技术的发展。政府希望通过此举鼓励科技创新，避免创新资源过度集中于少数几个大都市地区。
第五只忙碌的海狸：研究人员逼近计算极限 (www.quantamagazine.org)
本文讲述了计算机科学家们如何利用软件程序，经过几十年的努力，最终确定了第五个忙碌的海狸数BB(5)的值为47,176,870。忙碌的海狸问题是指寻找在给定规则数量的图灵机中，运行步数最多的机器，它与计算机科学中的停机问题密切相关。文章详细介绍了从上世纪60年代开始，Allen Brady、Shen Lin、Heiner Marxen、Jürgen Buntrock、Georgi Ivanov Georgiev等研究人员对忙碌的海狸问题的研究历程，以及最终由Tristan Stérin发起的“忙碌的海狸挑战”项目如何汇集众人之力，利用Coq证明助手验证了BB(5)的值。