今日已更新 252 条资讯 | 累计 38945 条内容
关于我们

今日精选

HOT

最新资讯

共 38945 篇
第 1432/1948 页
AI 资讯 The Verge AI

The best robot vacuum deals available ahead of Prime Day

If you’ve been wanting to buy a robot vacuum but have been put off by how much it can cost to get a good one, now is not a bad time to start looking. Prime Day is next week, but many retailers are offering early deals on several models we’ve tested from brands like Roborock, […]

Sheena Vasani 2026-06-18 22:00 12 原文
AI 资讯 The Verge AI

Who decides when AI is too dangerous?

On today’s episode of Decoder, my guest is Hayden Field, senior AI reporter for The Verge. Often when Hayden comes on the show, it’s because something has gone wrong in the world of AI. Last weekend, that something was a pretty intense mix of Anthropic, the Trump administration, and Anthropic’s new AI model, Fable 5. […]

Nilay Patel 2026-06-18 22:00 14 原文
AI 资讯 InfoQ

Presentation: Write-Ahead Intent Log: A Foundation for Efficient CDC at Scale

Vinay Chella and Akshat Goel discuss the challenges of running traditional CDC across heterogeneous databases during peak order traffic. They explain how Debezium hit limits under high load and share how they built Write-Ahead Intent Log (WAIL) - a custom architecture that utilizes a dumb producer proxy and a smart consumer pattern to cleanly separate the intent from the state payload. By Vinay Chella, Akshat Goel

Vinay Chella, Akshat Goel 2026-06-18 21:13 13 原文
AI 资讯 HackerNews

Show HN: Talos – Open-source WASM interpreter for Lean

At Cajal (YC W26) we’re excited to share Talos ( https://github.com/cajal-technologies/talos ), an open source framework for formal verification of WebAssembly modules in Lean. AI is now writing tons of the code that gets pushed to production. As code generation gets cheaper, verification becomes the bottleneck. We believe in a future where every piece of software comes with a mathematical proof that it does what its author intended - in doing so, eliminating many classes of exploits. Talos is p

mfornet 2026-06-18 21:10 5 原文
AI 资讯 The Verge AI

Amazon’s Kindle Colorsoft bundle is almost half off for Prime Day

Amazon’s Kindle Colorsoft Essentials Bundle is on sale for $182.97 (originally $334.97) as an early Prime Day deal, the lowest price we’ve seen for the combo. Unlike other Kindles, the Colorsoft’s color E Ink screen is great for comic books and graphics novels, illustrated books, or just perusing book covers while deciding what to read […]

Brad Bourque 2026-06-18 21:09 12 原文