Lady Deirdre：编译器前端基础技术 (github.com)
Lady Deirdre是一个用于构建增量式编程语言编译器、解释器和源代码分析器的框架，它可以帮助开发者创建混合程序，既可以作为语言编译器或解释器，也可以作为代码编辑器语言扩展的语言服务器。该框架提供了构建语言文件内存表示的必要组件，包括源代码、词法和语法以及整个代码库的语义模型。这些组件能够与文件更改保持同步，即使代码库在实时不断演进。
一项研究追踪了“天才”儿童 45 年，看看我们发现了什么 (www.upworthy.com)
一项开始于 20 世纪 70 年代、名为“数学早熟青少年研究”的研究追踪了众多天才儿童，观察他们在学术成就、职业选择和生活满意度方面的轨迹。研究发现，天才儿童并非“天生聪明”，他们需要指导和支持来发挥他们的潜力，并且智力天赋并不等同于对特定领域的热情。研究强调了努力工作的重要性，并指出所有孩子，无论其能力如何，都应该得到支持以追求自己的兴趣和发展自己的才能。
从 Infocom 到《80 天环游世界》：文字游戏和互动小说的口述历史 (arstechnica.com)
这篇文章回顾了互动小说的发展历程，从上世纪70年代早期的文字冒险游戏到如今的超文本作品。文章以对开发者和创作者的采访为基础，探讨了互动小说是如何在游戏行业不断发展变化中保持其魅力的。文章还特别关注了开源社区和个人开发者对互动小说的贡献。
计算机/计算器是如何计算对数的？ (zachartrand.github.io)
这篇文章详细解释了计算机/计算器是如何计算对数的。文章首先介绍了对数的定义以及几何级数的概念，然后推导了自然对数的泰勒级数展开式。为了提高计算效率，文章介绍了如何利用对数的性质将输入值缩放到合适的范围，并最终推导出一个更优化的级数公式来计算自然对数。文章最后还解释了如何利用自然对数计算任意底数的对数。
创新英雄为何是组织失灵的标志 (steveblank.substack.com)
文章指出，许多组织将创新依赖于少数“创新英雄”的行为，而这实际上反映了组织本身缺乏有效的创新机制。作者认为，组织应该建立一套“创新准则”，将创新融入到日常运作中，并设立专门的流程、资源和文化来支持创新，而非仅仅依靠个别员工的“英雄主义”来推动创新。
Nibble Stew: 高级文本功能与 PDF (nibblestew.blogspot.com)
本文探讨了PDF文本模型在处理现代文本，特别是涉及字距调整、连写和不同字形的问题。作者详细解释了PDF文本模型的局限性，例如仅支持水平或垂直字距调整，以及在处理OpenType字体中的连字和备用字形（如小型大写字母）时遇到的挑战。
新型无线充电系统问世，电动汽车充电速度再创世界纪录 (www.ornl.gov)
美国橡树岭国家实验室的研究人员成功演示了首个270千瓦的无线电力传输系统，为轻型电动汽车提供快速无线充电。该系统采用轻型多相电磁耦合线圈，与大众汽车集团合作，在保时捷Taycan上进行了测试。该系统可以在10分钟内将充电状态提高50%，效率超过95%，功率密度比现有系统高8到10倍。这项技术有望使电动汽车充电更加便捷，并推动电动汽车的普及。
FDA 扩大基因疗法 Elevidys 批准范围 用于治疗更多杜氏肌营养不良症患者 (www.fda.gov)
美国食品药品监督管理局 (FDA) 扩大了基因疗法 Elevidys (delandistrogene moxeparvovec-rokl) 的批准范围，用于治疗 4 岁及以上经证实 DMD 基因突变的行走和非行走杜氏肌营养不良症 (DMD) 患者。Elevidys 此前已获得加速批准，用于治疗 4 至 5 岁经证实 DMD 基因突变的可行走 DMD 患者。此次批准是基于对赞助商提交数据的评估，包括两项双盲、安慰剂对照研究和两项开放标签研究的结果，这些研究共纳入了 218 名经证实 DMD 基因致病突变的男性患者。
美国食品药品监督管理局与业界合作，停止销售含PFAS的食品包装材料 (www.fda.gov)
美国食品药品监督管理局（FDA）宣布，在美国，含有全氟和多氟烷基物质（PFAS）的防油材料将不再被用于食品包装。这意味着，快餐包装纸、微波爆米花袋、外卖纸板容器和宠物食品袋等食品包装，将不再是人们接触PFAS的主要饮食来源。 PFAS是一类具有抗油脂、油、水和热性能的化学物质，某些类型的PFAS的接触与严重的健康问题有关。FDA一直在与企业合作，逐步停止在纸和纸板食品包装产品中使用含有PFAS的此类物质。
拒绝批准挑战者号航天飞机发射的艾伦·麦克唐纳去世，享年 83 岁 (www.npr.org)
艾伦·麦克唐纳，美国宇航局承包商莫顿·蒂奥科尔公司航天飞机助推火箭项目的负责人，曾在 1986 年挑战者号航天飞机爆炸前强烈要求推迟发射。他于周六去世，享年 83 岁。麦克唐纳坚持认为发射存在风险，并拒绝签署发射批准文件。在挑战者号爆炸后，他在总统委员会的听证会上勇敢揭露了 NASA 掩盖真相的行为，并因此受到公司的降职处分。最终，麦克唐纳的勇气和正直得到了认可，他被提升为副总裁，负责重新设计助推火箭。
微软降低新款Copilot Plus电脑上Copilot功能 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25202808/microsoftcopilotkey.jpg)
微软近日发布了新款Copilot Plus电脑，配备了新的专用Copilot按键，但该按键的功能却被简化为启动一个网页版Copilot应用。此举引发了用户不满，因为网页版应用无法像之前版本一样与Windows系统深度集成，例如控制系统设置或固定为侧边栏。微软对此解释称，将Copilot转变为网页应用是为了更灵活地开发和优化，但目前新版Copilot按键的功能实用性远不如预期。
Pornhub 拒绝验证用户年龄，即将屏蔽美国更多州 (arstechnica.com)
成人网站Pornhub拒绝遵守美国多个州要求用户提供ID进行年龄验证的法律，声称这将使用户面临身份盗窃和网络钓鱼等风险。该网站提倡基于设备的年龄验证方式，认为这更加安全有效。Pornhub计划在7月1日屏蔽印第安纳州、爱达荷州、堪萨斯州、肯塔基州和内布拉斯加州的用户访问，这将使其屏蔽的州数量增加近一倍。
Athelas职业生涯 (www.athelas.com)
Athelas 是一家医疗保健技术公司，致力于彻底改变医疗保健收入的收集方式。他们正在招募各种人才，包括运营、销售、工程和其他领域的职位。Athelas 的使命是利用技术创新和医疗保健专业知识来重新定义患者护理的未来。
代码模型 (openjdk.org)
本文介绍了Java代码反射的新特性——代码模型，它提供对方法体和lambda体中Java代码符号表示的访问。文章解释了代码模型的设计理念，它介于抽象语法树（AST）和字节码之间，并采用静态单赋值（SSA）形式。文章通过分析示例代码，展示了如何遍历代码模型、理解其结构以及如何进行代码转换。文章还探讨了如何利用代码模型生成表达式图和使用图，以及如何将这些图用于代码分析和转换，例如将Java代码转换为C代码。
人工智能耗尽电网，科技巨头寻求奇迹解决方案 (www.washingtonpost.com)
人工智能的快速发展导致数据中心建设热潮，其巨大的电力需求对电网造成巨大压力，加剧了对化石燃料的依赖，与科技公司承诺的可持续发展目标相冲突。为解决能源困境，科技巨头押注于核聚变、地热等未来技术，但这些技术尚不成熟，短期内难以满足需求。能源短缺可能阻碍人工智能发展，并加剧对环境的影响。
GitHub - requestly/awesome-frontend-resources：面向前端开发人员的精选资源集合 (github.com)
该GitHub存储库是一个精选的优质资源集合，面向前端开发人员，包括教程、工具、库、设计资源等等。它提供各种学习路径和路线图，涵盖了从 JavaScript、TypeScript、React、React Native、Angular、Vue.js、Node.js 等语言和框架到 Android、iOS 和 Flutter 等移动开发的各个领域。此外，它还包括书籍、在线教程、视频、备忘单以及社区和开源贡献机会等学习资源。
Pre-Scheme 涅槃重生 (prescheme.org)
本文宣布了 Pre-Scheme Restoration 项目正式启动，该项目旨在恢复 Pre-Scheme 编译器，并将其作为现代、静态类型、低级函数式编程语言的基础。Pre-Scheme 是 Scheme 语言的一个子集，用于构建 Scheme 48 虚拟机和垃圾收集器。该项目将移植 Pre-Scheme 编译器，改进工具，修订语言以提高兼容性，并提供文档和示例。
星链推出迷你版卫星互联网服务，专为背包客打造 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25500140/GQhDDpva0AA7YiF.jpeg)
SpaceX 公司近日推出了名为“星链迷你”的新型卫星互联网服务，该服务主要面向背包客等需要移动网络的用户。星链迷你终端体积小巧，集成了 Wi-Fi 路由器，功耗更低，但仍可提供超过 100Mbps 的网速。该服务目前已在美国、哥伦比亚、萨尔瓦多、危地马拉和巴拿马等国家推出，未来将扩展到更多市场。
特斯拉之外，电动汽车销量一片大好 (jalopnik.com)
尽管近期电动汽车市场增长未达预期，但数据表明，除了特斯拉，其他品牌的电动汽车销量都在强劲增长。4月份，美国电动汽车整体销量增长14%，但特斯拉销量却连续三个月下滑，导致其在美国电动汽车市场的份额从去年同期的63.8%降至46.3%。除去特斯拉，4月份美国电动汽车销量增长高达69%。
Meta 推出 Threads API，开发者可打造独特集成 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24774110/STK156_Instagram_threads_1.jpg)
Meta 于 6 月底如期发布了 Threads API，允许开发者构建与 Threads 的独特集成，甚至可能催生出第三方 Threads 应用，与 Twitter 竞争。API 提供了发布帖子、获取内容以及隐藏帖子等功能，并开放了帖子浏览量、点赞数、回复数等数据洞察。目前，Grabyo、Hootsuite 等公司已参与测试，实现了帖子自动发布、社交媒体管理平台整合等功能。未来，该 API 是否能支持第三方 Threads 应用的开发还有待观察。
欧洲太阳能发电量激增冲击电力价格，凸显储能需求 (www.euractiv.com)
今年以来，由于太阳能发电量飙升，欧洲电力需求与供应不匹配，导致负电价时数创历史新高，这可能促使投资转向急需的储能解决方案。国际能源署在一份年度报告中强调了储能的迫切需求，指出如果开发商选择不将风能和太阳能光伏发电园区与电池储能或其他灵活性来源并置，可能会在发电高峰期出现潜在收入下降，从而损害利润，阻碍投资。
贝西默风险投资公司错失的投资机会 (www.bvp.com)
本文列举了贝西默风险投资公司历史上错失的投资机会，包括Airbnb、苹果、谷歌、特斯拉等知名公司。文章以幽默的语气讲述了贝西默公司错过这些投资的原因，例如估值过高、商业模式存疑等。这些错失的投资案例也展现了风险投资行业的残酷性和不可预测性。
Ladybird 浏览器展翅高飞 (lwn.net)
Ladybird 是一款开源浏览器，致力于构建独立于 Chrome 的浏览器引擎。开发者 Andreas Kling 最初将其作为 SerenityOS 项目的一部分，但最近将其分离出来，以便完全专注于浏览器的开发。Ladybird 目前处于 pre-alpha 阶段，可在 Linux、macOS 和其他类 UNIX 系统上运行。尽管功能有限且稳定性有待提高，但 Ladybird 已经展现出一定的潜力，并以惊人的速度持续迭代。
追蹤 SAT 求解器中的错误 (ochagavia.nl)
本文讲述了作者参与 Prefix.dev 开发 resolvo（一种基于 SAT 的依赖解析器）并修复 bug 的经历。作者首先介绍了 bug 的背景，即求解器在遇到预期无法到达的代码时意外崩溃。之后，作者详细描述了他是如何利用 GitHub 用户 sumanth-manchala 提供的最小可复现示例和单元测试来调试和修复 bug 的。最后，作者反思了更好的调试工具的必要性，并表示 resolvo 的内部逻辑已经比较完善，未来出现 bug 的可能性较小。
MeshAnything：使用自回归Transformer生成艺术家创建的网格 (buaacyw.github.io)
MeshAnything是一种能够从任何3D模型中提取网格的模型，其生成网格的面数比传统方法少数百倍，但精度相当，显著提高了存储、渲染和仿真效率。该模型将网格提取视为生成问题，使用VQ-VAE学习网格词汇，并训练形状条件解码器Transformer进行形状条件自回归网格生成，从而生成与指定形状一致的艺术家创建的网格（AM）。
欧盟聊天控制法案提议扫描您的消息，甚至包括加密消息 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24814378/STK450_European_Union_02.jpg)
欧盟即将通过一项新法案，强制扫描包括加密消息在内的所有数字信息，以打击儿童性虐待内容（CSAM）。该法案要求安装监控技术扫描用户消息，遭到隐私倡导者和一些议员的强烈反对，他们认为该法案破坏了加密技术，侵犯了隐私权，并可能被滥用。