特朗普枪击案嫌犯使用三星安卓手机，Cellebrite 软件 40 分钟内破解 (9to5mac.com)
近日，美国联邦调查局宣布已成功解锁特朗普枪击案嫌犯托马斯·马修·克鲁克斯的手机。据报道，克鲁克斯使用的是三星新款安卓手机，FBI 最初尝试使用 Cellebrite 软件解锁失败，后在 Cellebrite 的技术支持和新软件帮助下，最终在 40 分钟内成功解锁。手机中发现嫌犯拍摄的前总统特朗普、现任总统拜登和其他官员的照片，以及搜索“重度抑郁症”的相关信息。
Windows 11 文件管理器将整合安卓手机 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25501081/DSCF7738.jpg)
微软开始测试一项新功能，允许用户直接在 Windows 11 的文件管理器中访问安卓手机的文件。该功能允许用户无线浏览安卓手机上的文件夹和文件，并在电脑和手机之间复制、移动、重命名或删除文件。用户需要使用运行 Android 11 或更高版本的设备，加入 Windows Insider 计划，并安装测试版的“链接到 Windows”应用才能体验该功能。
霍华德·休斯1946年飞机失事 (www.latimes.com)
1946年7月7日，霍华德·休斯在驾驶他的实验性军用照相飞机XF-11首航时，在比佛利山庄坠毁，身受重伤。休斯在试图在洛杉矶乡村俱乐部的球场上迫降时，飞机撞上了一栋两层住宅的屋顶，随后又撞上了其他房屋和树木，最后在查尔斯·A·迈耶中校的家中爆炸起火。休斯被两名路人从燃烧的飞机中救出，并被送往医院，在那里他的情况危急。
CrowdStrike软件故障导致全球IT系统瘫痪 (www.theregister.com)
网络安全公司CrowdStrike的一份错误配置文件引发了全球IT系统故障，导致航空公司、医疗机构、银行等多个行业的服务中断。受影响的机构包括美国联邦航空管理局、英国国家医疗服务体系、伦敦证券交易所等。CrowdStrike已经发布了临时解决方案，但许多客户仍然受到影响。此次事件凸显了全球IT系统对单一供应商的依赖所带来的风险。
ClojureCLR 中 BigDecimal 的回顾与实现 (dmiller.github.io)
本文回顾了 ClojureCLR 中 BigDecimal 类型的实现细节，重点介绍了其如何遵循通用十进制算术规范 (GDAS)。文章首先解释了 BigDecimal 的抽象表示、精度和舍入模式等概念，然后详细阐述了加法和舍入操作的算法。作者还解释了引入 BigDecimal 的原因，并比较了不同语言和平台上的 BigDecimal 实现，例如 OpenJDK、IronPython 和 IronRuby。
PyDPainter：一款用 Python 编写的实用像素画程序 (github.com)
PyDPainter 是一款使用 Python 和 PyGame 库开发的像素画程序，其灵感源于 1985 年 Electronic Arts 发布的 Commodore Amiga 版 Deluxe Paint。PyDPainter 旨在重现 Deluxe Paint 的经典功能，并引入现代化的元素，为像素艺术爱好者提供一个实用且易用的创作工具。
Mathstral：一款擅长数学推理的新型大语言模型 (www.secondstate.io)
文章介绍了Mistral AI发布的一款名为Mathstral的7B微调模型，该模型专为数学推理和科学发现而设计。文章指出，尽管一些大型语言模型能够解决复杂数学问题，但它们缺乏常识，例如无法判断9.11和9.9哪个更大。而Mathstral能够正确回答这个问题并给出推理过程。文章还介绍了使用LlamaEdge和GaiaNet本地运行和共享Mathstral模型的方法。
逆向工程入门 (0xinfection.github.io)
这篇文章介绍了一套全面的逆向工程教程，涵盖了x86、x64、32位ARM和64位架构。教程面向初学者和希望复习逆向工程概念的人群，内容从基础到中级，旨在帮助学习者掌握网络安全领域必备的逆向工程技能。
Sam Altman基本收入研究结果公布：支出增加，经济压力减轻 (www.businessinsider.com)
OpenAI首席执行官Sam Altman的基本收入研究结果公布。该研究为低收入参与者每月提供1000美元，为期三年。研究发现，参与者的整体支出增加，主要用于食品、租金和交通等基本需求。 他们平均工作时间减少，但仍积极参与劳动力市场，并且在求职方面比对照组更加谨慎。 参与者经历了经济压力的减轻，但随着时间的推移，这种压力减轻的程度逐渐减弱。
人类1:0黑猩猩：纠正记录 (www.jasoncollins.blog)
本文驳斥了2012年一项关于黑猩猩Ayumu记忆力优于人类的研究结论。作者指出，Ayumu在数字记忆任务中的优异表现是建立在大量训练的基础上的，而人类参与者却没有经过训练。后续研究表明，经过适度训练的人类可以达到甚至超过Ayumu的表现。因此，黑猩猩拥有优于人类的工作记忆的说法是没有根据的。
全新互联网 (tailscale.com)
Tailscale CEO Avery Pennarun 撰文探讨了 Tailscale 的宏大愿景：构建“新互联网”。他回顾了互联网发展历程中出现的过度复杂性问题，指出过度追求可扩展性导致成本高昂且效率低下。Tailscale 通过为每个设备提供证书、IP 地址和端到端加密，创建了一个去中心化的网络环境，从而降低了开发者的负担，并以 Taildrop 文件共享功能为例展示了“新互联网”的潜力。
科技巨头为何想要免费提供人工智能？ (dublog.net)
本文探讨了以Meta为代表的科技巨头开源大型语言模型的原因，指出免费提供人工智能的背后是将人工智能算力资源商品化的商业策略。文章分析了Meta开源Llama模型的动机，认为Meta希望通过免费提供模型，推动用户生成内容，提升平台参与度，最终有利于其广告收入。此外，文章还探讨了人工智能基础设施建设的规模化效应，认为这将推动机器人、自动驾驶等领域的突破。
现代 CSS 布局：你可能不需要框架 (www.smashingmagazine.com)
本文介绍了如何使用现代 CSS 功能（如 Grid 和 Flexbox）创建灵活且可复用的布局，而无需依赖外部框架。文章详细讲解了四种 CSS 工具类的构建方法，包括“重复网格”、“重复弹性布局”、“流动网格”和“流动弹性布局”，并解释了如何使用 CSS 变量、容器查询和 Subgrid 等技术来自定义布局、实现响应式设计以及增强布局的控制能力。
乔姆斯基-许岑贝格尔枚举定理 (en.wikipedia.org)
乔姆斯基-许岑贝格尔枚举定理是诺姆·乔姆斯基和马塞尔-保罗·许岑贝格尔推导出的关于由明确的上下文无关文法生成的给定长度的单词数量的定理。该定理提供了形式语言理论和抽象代数之间的一个意想不到的联系。该定理指出，如果一种语言可由明确的上下文无关文法生成，那么描述该语言中具有给定长度的单词数量的生成函数是满足特定多项式方程的代数函数。
焦虑的一代：安全主义和社交媒体如何损害孩子 (matija.eu)
本文探讨了安全主义和社交媒体对当代儿童造成的负面影响。作者认为，过度使用社交媒体和直升机式育儿方式导致了儿童心理健康问题日益增多，并提出了“从童年到成年的阶梯”作为解决方案，建议推迟儿童使用社交媒体的年龄，并逐步增加他们的责任和自由度。
Roame招聘创始团队增长与运营负责人 (www.ycombinator.com)
Roame是一家致力于利用信用卡积分和里程为用户提供最佳航班搜索服务的创业公司，该公司正在招聘一位创始团队增长与运营负责人。该职位负责制定和执行增长战略，包括市场营销、用户获取和社区建设等，同时还需协助处理财务、产品研究和合作伙伴关系等内部运营项目。 理想的候选人需具备三年以上市场营销、增长、运营、咨询或银行等领域的项目领导经验，拥有创业经验者优先。
GitHub - jamiebuilds/the-super-tiny-compiler: ⛄ 可能是有史以来最小的编译器 (github.com)
这是一个极简的现代编译器示例，用易于阅读的 JavaScript 编写。 通过阅读引导代码，您将了解大多数编译器是如何端到端工作的。
英国数字产业就业增长率降至十年来最低 (www.yahoo.com)
根据英国国家统计局的数据，英国数字产业就业增长率降至十年来最低，仅为0.3%，远低于英国整体经济的就业增长速度。这引发了对英国科技行业停滞的担忧，薪资增长也陷入停滞，数字行业员工的时薪仅增长了1%左右。新任科学、创新和技术大臣彼得·凯尔承诺将重振该行业，并表示英国的数字经济充满活力，但其潜力尚未得到充分挖掘。
Pomoglorbo：一款终端番茄钟 (codeberg.org)
Pomoglorbo 是一款基于终端的番茄工作法计时器，它源自 pydoro 项目，使用 Python 编写，可以通过 pipx 或 pip 安装。该工具提供了专注模式、自定义音频文件、命令行参数等功能，并支持在 SSH 连接中使用。
GitHub - onceupon/Bash-Oneliner：用于数据处理和 Linux 系统维护的实用 Bash 单行命令和终端技巧集合 (github.com)
这篇文章收集了大量 Bash 单行命令和终端技巧，用于数据处理和 Linux 系统维护，涵盖了变量操作、数学运算、文本处理、文件操作、系统管理、硬件信息、网络配置等方面，并提供了一些有用的工具和技巧。
青年时期不再是人生中最快乐的时光 | 科学美国人 (www.scientificamerican.com)
传统观念认为，幸福曲线呈U型，青年和老年时期最幸福，中年时期幸福感最低。然而，最新研究表明，年轻人的幸福感持续下降，不幸福感持续上升，导致幸福曲线不再呈U型。这种趋势可能是由手机和社交媒体使用增多导致的，已成为全球性问题，需要采取措施帮助年轻人。
长期 Linux 无线开发者逝世 (www.phoronix.com)
长期为 Linux 内核无线驱动做出贡献的开发者 Larry Finger 于 6 月 21 日逝世。自 2005 年以来，他为 Linux 内核贡献了超过 1500 个补丁，极大地推动了 Linux 无线硬件支持的发展。他的贡献涵盖了 Broadcom BCM43XX 驱动、RTW88、RTW89、R8188EU、R8712、RTLWIFI、B43 等众多网络驱动。他的逝世是 Linux 社区的重大损失。
一氧化碳中毒的治疗方法 (www.verywellhealth.com)
:max_bytes(150000):strip_icc()/oxygen-therapy-107254765-59d7f21022fa3a001182268b.jpg)
本文介绍了一氧化碳中毒的紧急治疗方法，包括急救措施、医院的氧疗和其他并发症的治疗。文章详细解释了一氧化碳中毒的原理、症状以及传统氧疗和高压氧疗的区别，并指出及时就医对预防永久性损伤或死亡至关重要。
微软：CrowdStrike故障影响了850万台Windows设备 (techcrunch.com)
微软表示，最近CrowdStrike软件更新导致的系统故障影响了全球约850万台Windows设备，不到Windows设备总数的1%。尽管受影响设备比例较低，但影响范围广泛，波及银行、零售商、铁路网络等多个行业，甚至导致全球航空公司暂停航班运营。微软正与CrowdStrike合作，为受影响用户提供可扩展的解决方案。
Dynolog：开源系统可观测性工具 (developers.facebook.com)
Dynolog是一款面向异构CPU-GPU系统的轻量级监控守护程序，支持持续性能监控和深度分析模式。它与PyTorch Profiler和Kineto CUDA分析库集成，为AI训练应用提供全面支持。Dynolog利用硬件和Linux内核提供的接口，监控CPU、存储、网络、GPU等资源的使用情况，并提供详细的性能指标。此外，Dynolog还支持按需CPU-GPU分析，允许用户在无需修改代码的情况下随时触发CPU-GPU分析，方便开发者深入了解系统性能瓶颈并进行优化。
英特尔、三星和台积电的芯片代工竞赛 (semiengineering.com)
本文分析了全球三大芯片代工厂——英特尔、三星和台积电——之间的竞争格局。随着芯片制程进入埃米时代，三家公司都在积极布局3D晶体管和封装技术，并开发了各自的芯片互连方案，例如英特尔的EMIB、三星的I-Cube ETM和台积电的CoWoS和SoIC。此外，三星和台积电还分别推出了3DCODE和3Dblox设计语言，以简化3D芯片设计流程。文章还探讨了三大代工厂在背面供电、玻璃基板等前沿技术领域的研发进展，并强调了构建完整生态系统对芯片代工厂的重要性。
生物电路设计文档 (biocircuits.github.io)
这篇文章是关于生物电路设计的文档，内容涵盖了从基因表达速率的设计原则到细胞信号放大、噪声基因表达和细胞模式形成等多个方面。它还包括了使用Python进行科学计算的介绍、数学和计算方法的技术附录以及使用Gillespie算法进行随机模拟的内容。
