AMD宣称其顶级Ryzen AI芯片速度超越苹果M3 Pro (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25530841/Jason_Banta_Ryzen_AI_300_Series_Productivity_.JPG)
AMD近日发布了基于全新Zen 5架构的Strix Point Ryzen AI芯片，号称在多任务处理、图像处理、3D渲染和游戏方面超越MacBook Air，Cinebench跑分比M3 Pro快15%，并支持多达4个显示器。 然而，AMD并未在发布会上提供实测数据支持其说法，实际性能表现仍有待观察。 尽管AMD强调了Ryzen AI芯片在架构和能效方面的提升，但并未透露具体电池续航时间。 首批搭载Ryzen AI芯片的笔记本电脑将于7月28日上市，届时AMD能否兑现承诺，挑战苹果和高通的市场地位，将成为一大看点。
Windows 95早期版本（1992年7月20日） BetaWiki (betawiki.net)
本文介绍了Windows 95最早的公开测试版本（1992年7月20日，版本号3.10.07200022），该版本早于芝加哥功能规范文档2个多月。该版本与当时的Windows for Workgroups 3.1版本类似，但包含了一些用户体验上的变化，例如新的3D控件样式、新的应用程序和现有应用程序的更新版本。与后来的Windows 95版本不同，它需要预先安装MS-DOS版本，并且不包含任何Win32支持。
CRIU：Linux 容器的检查点/恢复工具 (criu.org)
CRIU 是一个 Linux 软件，用于实现 Linux 容器的检查点/恢复功能。它可以冻结正在运行的容器或应用程序，并将其状态保存到磁盘。保存的数据可用于恢复应用程序，并使其在冻结时的状态下运行。CRIU 可用于应用程序或容器的实时迁移、快照、远程调试等多种场景。
地球水体氧气含量迅速减少，对生命系统构成巨大威胁 (www.sciencealert.com)
全球水体溶解氧含量正在迅速减少，科学家表示，这是对地球生命维持系统最大的威胁之一。 由于温室气体排放、富营养化和水体分层加剧等因素，水体氧气含量下降，导致水生生态系统遭到破坏。 研究人员呼吁全球共同努力监测和研究水体脱氧问题，并采取政策措施防止水体快速脱氧。
Constantine：用于可验证计算、证明系统和区块链协议的模块化、高性能、零依赖密码学堆栈 (github.com)
Constantine是一个开源密码学库，专注于区块链和零知识证明系统。它提供多种椭圆曲线（BN254-Snarks, BLS12-381, Pasta curves）、协议（BLS签名, KZG承诺, IPA承诺）以及哈希函数和CSPRNG。Constantine采用Nim编写，具有高性能、零依赖、注重安全等特点，并通过汇编和硬件加速进一步提升性能。
YC 孵化企业 Draftaid 招聘软件工程师 (www.ycombinator.com)
Draftaid 是一家利用人工智能技术自动生成 CAD 工程图纸的初创公司，致力于革新机械设计领域。公司正在寻找一位经验丰富的软件工程师加入其位于加拿大安大略省奥克维尔的团队。 该职位需要精通全栈开发，包括人工智能、机器学习算法、数据库以及与 CAD 工具的集成。 成功的候选人将领导核心技术堆栈的开发，并与创始团队紧密合作，推动产品路线图。
美国禁止卡巴斯基软件 (www.wired.com)
美国商务部以国家安全为由，禁止向美国新客户销售卡巴斯基杀毒软件。该禁令将于7月20日生效，现有客户只能在9月29日之前获得软件更新。美国政府认为，卡巴斯基公司与俄罗斯政府关系密切，可能被利用进行间谍活动。卡巴斯基公司对此表示强烈否认，并表示将采取法律手段维护自身权益。
科技博客TechCrunch如何走向衰落 (keepgoingpod.com)
曾几何时，科技博客TechCrunch是创业公司新闻报道的首选网站，凭借犀利的报道风格和对行业趋势的敏锐洞察力，TechCrunch曾一度掌握着“点石成金”的权力。然而，随着时间的推移，TechCrunch逐渐失去了往日的辉煌，文章分析了TechCrunch衰落的原因，包括过度关注硅谷、忽视全球创业公司、编辑策略僵化、过度依赖公关稿件等，最终沦为平庸乏味的科技媒体。
台积电CEO预测AI芯片短缺将持续到2025年甚至2026年 (www.theregister.com)
台积电CEO魏哲家在2024年第二季度财报电话会议上预测，先进芯片的供应要到2025年或2026年才能满足需求。尽管客户需求旺盛，但他仍在努力解决这个问题，并尽可能地增加供应。他还表示，台积电正在与海外合作伙伴合作，以增加供应和支持客户，海外扩张计划不会改变。
Python 包命名规则探究 (joshcannon.me)
这篇文章分析了 PyPI 上下载次数最多的 8000 个 Python 包的命名规则。作者详细介绍了如何获取和分析包数据，包括处理源代码分发、命名空间包等问题。研究发现，近 70% 的包名与其主要模块名直接相关，遵循一种简单的标准化规则。作者还列举了一些常见的包名前缀和后缀，并建议开发者遵循这些约定以提高代码可读性和可维护性。
Beego：Go 语言高性能开源 Web 框架 (github.com)
Beego 是一个 Go 语言开源高性能 Web 框架，支持 RESTful API、Web 应用和后端服务快速开发。它借鉴了 Tornado、Sinatra 和 Flask 的设计理念，并结合 Go 语言特性，如接口和结构体嵌入。Beego 提供模块化设计、自动 API 文档生成、注解路由、命名空间、强大的开发工具以及 Web 和 API 的完整堆栈支持。
Ryzen 9 7950X3D浮出水面：L3缓存增加192MB，比零售CPU多64MB (www.tomshardware.com)
AMD尚未正式宣布Ryzen 9 7950X3D，但其规格已通过Geekbench 5基准测试泄露。根据基准测试，该处理器将拥有192MB L3缓存，比当前零售版本的Ryzen 9 7950X多64MB。这表明7950X3D将采用3D V-Cache技术，该技术将额外的缓存堆叠在现有缓存之上，以提高游戏性能。泄露的基准测试还显示了其他规格，包括16个内核、32个线程、3.6GHz的基本时钟和5.7GHz的升压时钟。预计Ryzen 9 7950X3D将于2023年2月底或3月初推出。
可摄入设备用于记录胃电生理活动 (medicalxpress.com)
麻省理工学院和哈佛医学院的研究人员开发了一种新的可摄入设备，可以记录用户的胃肠道中的电生理信号。该设备封装在一个3D打印的胶囊状外壳中，包含一个电子模块和各种柔性测量电极，由生物相容性材料制成。该设备可以记录胃肠道的电信号并将其发送到患者体外的接收器，帮助医生安全地诊断和监测影响食物和液体消化的疾病的进展。
Hindley-Milner 类型推断浅析 (reasonableapproximation.net)
本文探讨了 Hindley-Milner (HM) 类型系统的基本概念，并解释了类型推断如何在编程语言中实现。作者首先讨论了编程语言设计中表达能力和可读性之间的权衡，并指出 HM 类型系统如何通过提供强大的类型推断能力来平衡这两者。文章详细介绍了 HM 类型系统的组成部分，包括类型、表达式和类型规则，并通过示例说明了如何使用这些规则进行类型推断。作者还讨论了 HM 类型系统的局限性，例如无法处理异构列表和通用单子编程。最后，文章简要介绍了 Elm 和 Haskell 中的一些扩展，这些扩展超越了纯粹的 HM 类型系统，以提供更多的表达能力。
微软将全球大规模系统故障归咎于欧盟委员会 (www.macrumors.com)
微软将上周五发生的全球 CrowdStrike 大规模系统故障归咎于欧盟委员会。该故障导致运行微软 Windows 的电脑陷入持续的恢复循环，影响了航空公司、零售商、银行、医院、铁路网络等。微软表示，由于欧盟委员会在 2009 年强制执行的互操作性规定，微软无法像苹果公司那样阻止第三方软件制造商访问其操作系统内核，从而导致此次故障。
CodeMirror：可扩展的 Web 代码编辑器 (codemirror.net)
CodeMirror 是一款功能强大的开源 Web 代码编辑器组件，支持语法高亮、代码折叠、自动补全等多种功能。它支持多种语言，并提供丰富的 API 接口以进行扩展。CodeMirror 还具备良好的可访问性和移动设备支持，适用于各种 Web 开发场景。
2024年，如何使用VoIP技术拨打1965年的荷兰转盘电话 (raymii.org)
本文介绍了如何在2024年使用VoIP技术拨打1965年的荷兰转盘电话(T65)。由于T65使用脉冲拨号，与现代设备不兼容，作者尝试了多种硬件转换器，包括DialGizmo、GrandStream HT502和PicBasic 141101，将脉冲拨号转换为DTMF信号，成功实现了使用转盘电话拨打电话。
FlashAttention-3：异步和低精度实现快速、精确的注意力机制 (www.together.ai)
FlashAttention-3是一种针对英伟达Hopper GPU架构优化的注意力机制算法。它利用了异步Tensor Core和TMA、warp specialization、GEMM与softmax操作交织以及FP8低精度计算等技术，显著提升了注意力机制的速度和效率。相比FlashAttention-2，FP16精度下速度提升1.5-2倍，FP8精度下接近1.2 PFLOPS，且量化误差更小。
美国联邦通信委员会封堵监狱电话收费过高漏洞 (arstechnica.com)
美国联邦通信委员会(FCC)投票通过降低监狱电话收费上限，并封堵了允许监狱电信公司对州内电话收取高额费用的漏洞。新规定将州际电话的价格降低了一半，并首次对州内电话设定了价格上限。预计新规定将于2025年1月对所有监狱以及关押至少1000人的监狱生效。
L(o*62).ong - 让你的网址更长 (loooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo.ong)
L(o*62).ong 是一个可以将网址加长的工具，由 ccbikai 和 ChatGPT 开发，灵感来自 llIlI.lI。用户只需在网站输入原始网址，即可生成一个包含超长 “o” 字符串的新网址。
法国260万份盗版举报仅导致234项经济处罚 (torrentfreak.com)
2023年，法国版权方针对网络用户发起了260万份盗版投诉，最终只有234人受到了经济处罚。尽管法国采取了逐步警告制度，但盗版投诉数量逐年下降，这可能是由于流媒体和文件托管服务的兴起，以及用户使用VPN等规避措施导致的。
转基因紫色番茄走入家庭菜园 (www.npr.org)
经过20多年的研究，一种从金鱼草中提取颜色基因并注入番茄的转基因紫色番茄终于面世。这种名为“紫色番茄”的果实颜色类似康科德葡萄，果肉呈李子色，富含花青素，具有抗癌和抗炎的作用。这是第一种直接面向家庭园丁销售的转基因食品作物，旨在改变美国人对转基因食品的负面看法。
美国政府无视TikTok安全改进方案 (www.yahoo.com)
本文讲述了美国政府无视 TikTok 为解决国家安全问题而提出的重大让步，执意推进强制出售或禁用 TikTok 的法律。TikTok 提出的“德克萨斯项目”方案中包括让美国政府挑选其美国运营部门的董事会成员、赋予政府对每位新员工的否决权，以及聘请一家与国防部合作的美国公司监控其源代码等。然而，拜登政府拒绝了该方案，选择了一条可能引发漫长法律斗争的道路。
dylanaraps的GitHub个人主页 (github.com)
该页面是GitHub用户dylanaraps的个人主页，dylanaraps是一位自学开发者，也是kisslinux项目的创建者，拥有超过4400名关注者。他在GitHub上开源了多个项目，包括neofetch、pure-bash-bible、pywal、fff、pfetch和pure-sh-bible等。
VDEv2: 虚拟分布式以太网 (github.com)
VDEv2是一个虚拟分布式以太网软件，可以创建虚拟网络、隧道和移动支持。它允许用户在多台真实计算机上创建由UML虚拟机组成的虚拟网络，并使用tap接口连接到真实的Linux机器。VDEv2支持VLAN、FSTP等功能，并可用于创建跨越不同网络的隧道，以及在不中断通信的情况下切换网络路径。
苹果斥资200亿美元打造Apple TV+，但收效甚微 (wccftech.com)
苹果公司斥资200亿美元打造流媒体服务Apple TV+，但收效甚微，市场份额仅占0.2%。高昂的制作成本和较低的收视率使得该业务难以为继。为此，苹果服务部门高级副总裁Eddy Cue正寻求好莱坞工作室主管的帮助，以控制预算，并使Apple TV+走上盈利之路。