Plang如何尝试最大限度地降低您被骗的风险 (ingig.substack.com)
本文探讨了Plang，一种旨在解释自然语言的基于意图的编程语言。它分析了Plang如何通过引入安全措施来降低用户被骗取私钥的风险。Plang通过在用户导出私钥之前提出安全问题并分析答案来评估风险级别，如果风险过高，导出将被锁定24小时。
DevOps 的悼词 (matduggan.com)
这篇文章回顾了DevOps的兴起和衰落。作者认为，DevOps的初衷是好的，但由于对软件开发难度的误解，导致了许多问题。DevOps过度强调速度和自动化，忽略了运维的复杂性和专业性，最终导致了许多公司不得不雇佣更多的人来解决问题。作者认为，平台工程是DevOps的继任者，但它并不能解决所有问题。作者呼吁回归基础，专注于简化和稳定，而不是盲目追求快速增长。
Pseudo Scheme 软件包 (www.cs.cmu.edu)
Pseudo Scheme 是一个用 Common Lisp 编写的 Scheme 实现，通过预处理器将 Scheme 代码转换为 Common Lisp 代码执行。它与 Common Lisp 高度集成，Scheme 和 Common Lisp 程序可以直接相互调用。Pseudo Scheme 实现了大部分 IEEE 和 Revised^4 Scheme 标准，但对第一类延续、尾递归和数字系统的支持有限。
深空中发现漂浮的神秘物体 (futurism.com)
天文学家利用脉冲星发出的极其稳定的光线来计时和观测引力波，但有时会观测到这些脉冲的轻微延迟。研究人员认为，这可能是由于巨大的不可见质量体从脉冲星前面经过造成的。这些质量体的确切性质尚不清楚，可能是褐矮星、白矮星或其他天体，甚至可能是暗物质。
美国参议院提出开创性法案，为人工智能的道德发展建立法律框架 (www.techspot.com)
美国参议院提出了一项名为“编辑和深度伪造媒体内容来源保护和完整性法案”(COPIED Act) 的新法案，旨在规范人工智能生成内容和深度伪造技术的使用，打击人工智能发展中的不道德行为，并解决人工智能快速增长和被滥用于传播虚假信息引起的担忧。该法案还旨在规范在训练机器学习模型中使用版权材料，并要求美国国家标准与技术研究院制定合理的透明度准则。
金融科技公司Wise部分客户信息或受Evolve银行数据泄露事件影响 (techcrunch.com)
金融科技公司Wise宣布，由于Evolve银行和信托公司近期发生数据泄露事件，部分Wise客户的个人数据可能已被盗。Wise公司在2020年至2023年期间与Evolve合作，为客户提供美元账户详细信息。Evolve银行证实此次数据泄露是由勒索软件攻击导致的。目前，尚不清楚有多少Wise客户受到影响，该公司正在联系可能受到影响的客户。
人工智能：存在风险与经济效益的失衡交易 (www.theintrinsicperspective.com)
文章探讨了人工智能(AI)发展带来的潜在风险与有限的经济效益之间的失衡。作者指出，尽管AI在图像生成、自动化等领域取得了进展，但宏观经济数据并未显示出AI对生产力和整体经济的显著积极影响。相反，AI的快速发展引发了人们对其潜在风险的担忧，例如对人类的长期生存威胁。作者认为，在缺乏明显经济效益的情况下，持续投入AI发展可能是一场“糟糕的交易”。
Axrt.org - AxRuntime 的主页 (www.axrt.org)
AxRuntime (AxRT) 是一款面向应用程序开发人员的工具，允许开发者使用 Amiga API 创建应用程序。该运行时允许开发者在不修改 Amiga 应用程序的情况下继续开发，同时能够利用 Linux 或 Windows 上提供的现代开发工具，如 IDE、调试器、分析器等。
贝莱德首席执行官拉里·芬克表示，比特币是合法的 (qz.com)
贝莱德首席执行官拉里·芬克在接受采访时表示，他已经放弃了对比特币等加密货币的最初怀疑，现在坚信加密货币在普通投资者的投资组合中占有一席之地。他认为比特币是一种合法的金融工具，可以提供不相关的回报，并可以帮助买家对冲货币贬值的风险。贝莱德今年早些时候推出了全球最大的现货比特币ETF——iShares比特币信托基金（IBIT），芬克对比特币一直持乐观态度，称IBIT是历史上增长最快的ETF。
开源游戏的玩法 (kristoff.it)
本文探讨了开源软件开发的复杂性，以及大型科技公司对小型项目的潜在负面影响。作者以Redis和Elasticsearch为例，说明了大型云供应商如何利用开源许可和治理结构来推进自身利益。作者还强调了创建“可被喜爱的软件”的重要性，这种软件尊重用户，并提供可持续的开发方法。作者认为，像Zig Software Foundation这样的小型组织可以通过提供扁平化的组织结构、灵活性和以用户为中心的开发理念来吸引人才。
FCC新规：运营商需在60天后解锁所有手机 (techcrunch.com)
美国联邦通信委员会（FCC）提出一项新规，要求移动运营商在用户购买手机60天后，必须提供解锁服务，赋予用户自由选择运营商和套餐的权利。该提案将进入征询公众意见阶段，运营商可能会提出反对意见，尤其是在手机分期付款和合约套餐盛行的背景下。
美国三大运营商遭遇国际漫游中断，用户怨声载道 (www.theregister.com)
由于第三方供应商Syniverse出现问题，美国三大运营商AT&T、Verizon和T-Mobile的国际漫游服务中断数小时，导致美国用户在海外无法正常使用手机通话、短信和互联网服务。虽然Syniverse表示正在努力恢复服务，但这已经是AT&T今年第三次出现大规模服务中断。
维也纳分离派：一段历史 (www.theviennasecession.com)
本文讲述了维也纳分离派的起源、发展和分裂。分离派艺术家反对学院派保守的艺术风格，追求“总体艺术”，主张将设计融入日常生活。他们建造了分离派展览馆，举办展览，推广新艺术风格。但最终，由于内部成员在艺术理念上的分歧，分离派于1905年分裂。
Postgres 免费层的经济学 (xata.io)
这篇文章分析了 Xata 公司提供免费 Postgres 数据库服务的经济可行性。Xata 通过共享集群和数据库迁移技术，将大量免费数据库部署在相对强大的集群上，并根据数据库活跃度进行分组，从而降低成本。文章详细解释了成本构成，包括计算成本和存储成本，并与 Supabase、PlanetScale 和 Neon 等公司的免费策略进行了比较。
利用人工智能进行代码转换 (blog.withmantle.com)
本文介绍了Mantle团队如何利用大型语言模型(LLM)将原型代码转换为生产代码。团队使用Gemini Pro的百万级token窗口，将R语言编写的原型代码转换为Golang和ReactJS，并结合代码库上下文、代码模式、库信息和截图等，指导LLM生成符合规范的代码。结果显示，该方法将工作量减少了三分之二，并节省了数月的开发时间。
使用 Zig 在另一个堆栈中运行函数 (teiolass.gitlab.io)
这篇文章介绍了如何使用 Zig 语言在另一个堆栈中运行函数。文章首先解释了堆栈的概念以及在 x86 架构中如何使用 rbp 和 rsp 寄存器管理堆栈帧。然后，文章展示了一个简单的平方函数的汇编代码，并详细解释了每条指令的作用。接下来，文章介绍了如何使用内联汇编获取和修改堆栈指针，以及如何将当前堆栈帧复制到新分配的内存中。最后，文章展示了一个完整的示例，演示了如何使用 Zig 在另一个堆栈中运行斐波那契函数。
联邦贸易委员会抨击微软收购动视暴雪后上调游戏通行证价格 (arstechnica.com)
美国联邦贸易委员会(FTC)批评微软在收购动视暴雪后上调Xbox游戏通行证价格，称此举是其试图阻止该交易时所警告的“消费者损害”。FTC在一封信中指出，微软取消了每月10.99美元的Game Pass Console套餐，取而代之的是每月14.99美元的Game Pass Standard套餐，该套餐不再包含微软第一方游戏首发当日访问权限。FTC认为这是“企业在合并后行使其市场力量”带来的“产品降级”的明显例子。
GitHub - codr7/sharpl: 一个自定义的Lisp (github.com)
Sharpl是一个用C#实现的自定义Lisp解释器，它易于嵌入，并带有一个简单的REPL。该代码库目前大约有4kloc。文章详细介绍了Sharpl的特性，包括词法和动态绑定、分支、方法、lambda、尾调用、可变参数、组合、引用、符号、复合类型、迭代器、库、求值、测试、基准测试和调试等。
GitHub - geofabrik/OpenRailRouting：使用 OpenStreetMap 数据和 GraphHopper 路由引擎进行铁轨路线规划 (github.com)
OpenRailRouting 是一个基于 OpenStreetMap 数据和 GraphHopper 路由引擎的铁路路线规划引擎原型。它支持简单的路线请求、地图匹配、等时线、考虑转弯角度（以避免在点上掉头）、禁用铁路道口的转弯、支持多种轨距的轨道、支持可切换电压和频率的轨道以及支持前后不同速度。该项目还包括一个 Web 前端，它是原始 GraphHopper Web 前端的复刻。
Aschenbrenner关于人工智能的165页论文：25岁年轻人的天真？ (fikisipi.substack.com)
本文介绍了作者从怀疑人工智能到逐渐意识到其发展潜力的过程，并推荐了OpenAI前员工Leopold Aschenbrenner撰写的关于人工智能未来发展的论文《情境意识》。作者认为Aschenbrenner的论文值得关注，并期待其对人工智能未来发展方向的预测。
上诉法院暂时叫停网络中立性规则的恢复 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25416389/STK473_NET_NEUTRALITY_CVIRGINIA_B.jpg)
美国联邦上诉法院同意暂缓恢复网络中立性规则，直至8月5日，以便法院考虑是否有必要采取更永久性的行动。此前，美国联邦通信委员会（FCC）投票决定恢复网络中立性规则，该规则要求互联网服务提供商（ISP）不得以歧视性方式阻止或限制互联网流量。宽带供应商随后对FCC的这一行动提出了挑战，而最高法院最近决定推翻“雪佛龙 deference”原则，使得FCC的行动更加难以维持。
模拟踩踏实验揭示：加州科学家探寻黄貂鱼攻击之谜 (hakaimagazine.com)
加州州立大学长滩分校的研究人员通过模拟人类踩踏黄貂鱼，试图揭示这种生物的攻击机制。研究发现，只有踩踏到黄貂鱼身体中部时，才会引发其攻击行为，而踩踏身体两侧只会使其游走。研究人员希望通过实验结果，为海滩游客提供更安全的防护建议，例如采用“黄貂鱼滑步”等方式避免踩踏到黄貂鱼，从而减少被刺伤的风险。
Grafana Loki 查询优化 AWS Pod 启动时间 (www.checklyhq.com)
Checkly 团队通过优化 AWS ECS 容器的启动时间，成功将每个 pod 的启动时间缩短了 300 毫秒，每月节省了约 5500 美元的成本。文章详细介绍了他们如何使用 Grafana Loki 监控 pod 启动时间、发现 AWS SDK 版本问题以及通过统一版本号解决问题的过程。
微软宣布将在Microsoft Teams中停用Office 365连接器 (devblogs.microsoft.com)
微软宣布将从2024年8月15日起，逐步停用Microsoft Teams中的Office 365连接器功能，并推荐用户使用Power Automate workflows作为替代方案。Power Automate workflows不仅提供更丰富的连接器目录，还能确保集成架构的灵活性和安全性，满足不断增长的业务需求。文章还提供了从Office 365连接器迁移到Power Automate workflows的详细步骤。
命令行数据处理：DuckDB 作为 Unix 工具 (duckdb.org)
这篇文章介绍了如何使用 DuckDB 作为命令行工具进行数据处理。文章首先回顾了 Unix 哲学，然后比较了 DuckDB 与传统 Unix 工具在数据处理方面的优缺点。文章使用了一些例子来演示如何使用 DuckDB 执行投影、排序、过滤、连接和替换等操作。最后，文章对 DuckDB 和传统 Unix 工具的性能进行了比较。
为你和为他人运行Postgres的区别 (www.ubicloud.com)
文章讨论了为自己和为他人运行PostgreSQL数据库的区别，特别是在管理服务方面的差异。文章重点介绍了四个方面：配置、备份/恢复、高可用性和安全性，并详细解释了为他人管理PostgreSQL时需要考虑的额外步骤和挑战，例如配置扩展、证书管理、DNS记录、数据库池、WAL文件管理、故障转移和安全隔离等。
OpenSSF 推出 Siren 项目，增强开源软件安全性 (openssf.org)
开源软件安全基金会 (OpenSSF) 推出了 Siren 项目，这是一个旨在加强全球开源项目防御能力的突破性举措。Siren 是一个威胁情报共享平台，允许用户分享与近期网络攻击相关的策略、技术、程序 (TTP) 和入侵指标 (IOCs)。该平台旨在公开披露后，让社区了解最新的威胁和活动。
索尼音乐起诉盗版网站'Hikari-no-Akari' (torrentfreak.com)
索尼音乐在美国联邦法院起诉了专门提供日本音乐的盗版网站'Hikari-no-Akari'。该网站运营超过十年，每月访问量超过百万，并拥有私密论坛和Discord频道。索尼音乐已向Cloudflare发出DMCA传票，要求其提供该网站运营者的详细信息，包括姓名、IP地址和支付信息，以便采取进一步的执法行动。
如何“不”使用盒子阴影 (dgerrells.com)
文章介绍了CSS中盒子阴影的应用，作者探索了如何利用大量盒子阴影模拟3D效果、粒子效果，甚至实现了光线追踪。作者首先解释了盒子阴影的原理和性能优势，然后展示了一系列“不正经”的应用，包括模拟球体弹跳、绘制点云、模拟流体等。最后，作者利用盒子阴影实现了CPU光线追踪，并渲染了简单的3D场景，证明了盒子阴影的强大和灵活性。
Comma 获得治愈 (www.dialectsarchive.com)
本文讲述了兽医护士Sarah Perry为一只名叫Comma的大鹅治疗的故事。Comma疑似患有罕见的口蹄疫，Sarah对它悉心照料，最终治好了它的病。