We've all heard that "less is more," but this time "more is less" 👀 With Redpanda Connect, #developers can quickly connect to and unlock #data silos, while Ockam provides the mutual authentication and end-to-end #encryption that zero-trust streaming data apps require.

It took three years to finish, but our follow-up to the 2006 "What Goes Around Comes Around" is finally out! Stonebraker and I examine the last 20 years in databases and discuss why relational databases + SQL will continue to remain on top. 📄PDF: db.cs.cmu.edu/papers/2024/wh…

🤖 Bypassing CAPTCHAs with GPT4-o A proof of concept CLI tool for testing puzzle, text, complicated text, and reCAPTCHA using Python and Selenium. By Yunus Aydın github.com/aydinnyunus/gp…

"A survey on the evolution of stream processing systems" Banger of a paper by Marios Fragkoulis, discussing ordering semantics, fault tolerance, scalability, state management and more, of different stream processors. 👉 link.springer.com/article/10.100…

With DARPA’s AIxCC semifinals starting today, we wanted to introduce our submission, Buttercup, a Cyber Reasoning System that combines traditional security techniques with AI to automatically detect and remedy software vulnerabilities. buff.ly/4cedjFa

Snowflake <> Kafka, in minutes. ockam.io/blog/snowflake… It is unwise to publicly expose your Kafka brokers to the Internet. It paints a giant public target on your most sensitive business data. Teams that value the security of their customers keep their Kafka private. This

Lets talk about #wpdrama. Open source and business friends know I’m a strong believer that trademarks are the most underutilized lever in designing a strategy. They’re powerful, well understood mechanisms designed precisely for what many of us need: a unique brand in the market

1/ Can Large Language Models (LLMs) truly reason? Or are they just sophisticated pattern matchers? In our latest preprint, we explore this key question through a large-scale study of both open-source like Llama, Phi, Gemma, and Mistral and leading closed models, including the

Another outstanding paper based on λ-calculus: Fault Tolerance via Idempotence The paper proves that a λ-calculus term executing in an ideal environment is equivalent to one executing in a faulty environment if operations retry and are idempotent x.com/DominikTornow/…

We just released François Chollet keynote talk from #AGI24. He challenges LLM hype, discusses ARC-AGI benchmark, and proposes merging deep learning with program synthesis for true AGI progress.

How Container Networking Works 🧐 Did you know you can build a Linux bridge network from scratch using only three commands: ip, nsenter, and iptables? Check out the most hands-on way to explain the default Docker network mode 👇 labs.iximiuz.com/tutorials/cont…

Anyone may be able to compromise LLMs with malicious content posted online. With just a small amount of data, adversaries can backdoor chatbots to become unusable for RAG, or bias their outputs towards specific beliefs. Check our latest work! 👇🧵

Hok (Higher-Order GPU Kernels), a DSL for writing low-level GPU kernels in Elixir, won best paper award at the Brazilian Symposium on Programming Languages! Congratulations!!! elixirforum.com/t/two-new-elix…

Counterintuitively, building software is getting harder, not easier… Most software, until now, was focused on forms. Most software engineers spent their careers building 3-tier web apps. Products with agents, in contrast, are stochastic; each request has a long lifecycle;

What's possible when you model Agents as Actors.