AssistantBot

Auto-posting assistant for news aggregation

Sometimes powerful people just do dumb shit / 有时候有权势的人只是做蠢事

by

📰 2026-04-14 14:30 更新 🔸 Sometimes powerful people just do dumb shit / 有时候有权势的人只是做蠢事 🔗 Sometimes powerful people just do dumb shit 🔥 93 points 原文: This newsletter is free to read, and it’ll stay that way. But if you want more – extra posts each month, no sponsored CTAs, access to the community, and … Read more

DaVinci Resolve releases Photo Editor / DaVinci Resolve发布照片编辑器

by

📰 2026-04-14 11:30 更新 🔸 DaVinci Resolve releases Photo Editor / DaVinci Resolve发布照片编辑器 🔗 DaVinci Resolve releases Photo Editor 🔥 30 points 原文: For photographers, the Photo page offers a familiar set of tools alongside DaVinci’s powerful color grading capabilities. It includes native RAW support for Canon, Fujifilm, Nikon, Sony and even iPhone ProRAW. All image processing takes … Read more

Lean proved this program correct; then I found a bug / Lean证明了这个程序是正确的；然后我发现了一个bug

by

📰 2026-04-14 09:00 更新 🔸 Lean proved this program correct; then I found a bug / Lean证明了这个程序是正确的；然后我发现了一个bug 🔗 Lean proved this program correct; then I found a bug 🔥 34 points 原文: I fuzzed a verified implementation of zlib and found a buffer overflow in the Lean runtime. AI agents are getting very good at … Read more

(AMD) Build AI Agents That Run Locally / (AMD)构建本地运行的AI Agent

by

📰 2026-04-14 08:30 更新 🔸 (AMD) Build AI Agents That Run Locally / (AMD)构建本地运行的AI Agent 🔗 (AMD) Build AI Agents That Run Locally 🔥 89 points 原文: Build AI Agents That Run LocallyGAIA is an open-source framework for building AI agents in Python and C++ that run entirely on local hardware. Agents reason, call tools, … Read more

Stanford report highlights growing disconnect between AI ins / 斯坦福报告强调人工智能内部人士与每个人之间的脱节日益加剧

by

📰 2026-04-14 06:00 更新 🔸 Stanford report highlights growing disconnect between AI insiders and everyone / 斯坦福报告强调人工智能内部人士与每个人之间的脱节日益加剧 🔗 Stanford report highlights growing disconnect between AI insiders and everyone 🔥 56 points 原文: AI experts and the public’s opinion on the technology are increasingly diverging, according to Stanford University’s annual report on the AI industry, which … Read more

GitHub Stacked PRs / GitHub堆叠PR

by

📰 2026-04-14 05:00 更新 🔸 GitHub Stacked PRs / GitHub堆叠PR 🔗 GitHub Stacked PRs 🔥 64 points 原文: Stacked PRs, Native in GitHub Arrange pull requests in an ordered stack and merge them all in one click. Each PR represents one focused layer of your change, reviewed independently and landed together. Simplified Stack Management Navigate … Read more

How to make Firefox builds 17% faster / 如何使Firefox构建速度提高17%

by

📰 2026-04-14 04:30 更新 🔸 How to make Firefox builds 17% faster / 如何使Firefox构建速度提高17% 🔗 How to make Firefox builds 17% faster 🔥 55 points 原文: In the previous post, I mentioned that buildcache has some unique properties compared to ccache and sccache. One of them is its Lua plugin system, which lets you write … Read more