今日精选
HOT最新资讯
共 31192 篇How I found 10,000 GitHub repositories distributing Trojan malware
submitted by /u/BlondieCoder [link] [留言]
Emacs 31 Is Around the Corner: The Changes I'm Already Daily Driving
submitted by /u/BlondieCoder [link] [留言]
Old iPods are making a comeback thanks to Gen Z
Now bring back the Microsoft Zune, I double dare you.
Testing Real Time Features in Delivery Apps: Maps, Live Tracking, and ETA Updates
The moment a customer taps "Place Order," the most anxiety-driven part of the delivery experience...
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
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
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 […]
🔥 google / agents-cli - The CLI and skills that turn any coding assistant into an ex
GitHub热门项目 | The CLI and skills that turn any coding assistant into an expert at creating, evaluating, and deploying AI agents on Google Cloud. | Stars: 2,973 | 197 stars this week | 语言: Python
🔥 frappe / frappe - Low code web framework for real world applications, in Pytho
GitHub热门项目 | Low code web framework for real world applications, in Python and Javascript | Stars: 10,263 | 59 stars this week | 语言: Python
🔥 microsoft / windows-rs - Rust for Windows
GitHub热门项目 | Rust for Windows | Stars: 12,425 | 2 stars today | 语言: Rust
🔥 Start9Labs / start-os - A graphical server OS optimized for self-hosting
GitHub热门项目 | A graphical server OS optimized for self-hosting | Stars: 1,916 | 26 stars today | 语言: Rust
🔥 BuilderIO / agent-native - A framework for building agent-native applications.
GitHub热门项目 | A framework for building agent-native applications. | Stars: 685 | 131 stars today | 语言: TypeScript
🔥 modelcontextprotocol / servers - Model Context Protocol Servers
GitHub热门项目 | Model Context Protocol Servers | Stars: 87,414 | 61 stars today | 语言: TypeScript