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

📰 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

📰 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

📰 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 / 斯坦福报告强调人工智能内部人士与每个人之间的脱节日益加剧

📰 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

📰 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%

📰 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

Show HN: Ithihāsas – a character explorer for Hindu epics, b / Show HN: Ithihāsas –印度史诗人物探险家,几个小时内建成

📰 2026-04-14 04:00 更新 🔸 Show HN: Ithihāsas – a character explorer for Hindu epics, built in a few hours / Show HN: Ithihāsas –印度史诗人物探险家,几个小时内建成 🔗 Show HN: Ithihāsas – a character explorer for Hindu epics, built in a few hours 🔥 27 points 原文: Ancient Wisdom · Modern LensExplore the Sacred EpicsJourney through the … Read more

Someone Bought 30 WordPress Plugins and Planted a Backdoor i / 有人购买了30个WordPress插件,并在所有插件中植入了后门

📰 2026-04-14 02:30 更新 🔸 Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them / 有人购买了30个WordPress插件,并在所有插件中植入了后门 🔗 Someone Bought 30 WordPress Plugins and Planted a Backdoor in All of Them 🔥 54 points 原文: Last week, I wrote about catching a supply chain attack on a WordPress plugin called Widget Logic. … Read more