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!!! https://t.co/LaxT7O2t6d

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! 👇🧵

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 👇 https://t.co/qlWCNPkfg1

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 https://t.co/K5Na2mBD63

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

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

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

Snowflake <> Kafka, in minutes. https://t.co/Ko6DbodIz7 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

"A survey on the evolution of stream processing systems" Banger of a paper by @MarioFragkoulis, discussing ordering semantics, fault tolerance, scalability, state management and more, of different stream processors. 👉 https://t.co/XCojSdBDji

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.

🤖 Bypassing CAPTCHAs with GPT4-o A proof of concept CLI tool for testing puzzle, text, complicated text, and reCAPTCHA using Python and Selenium. By @aydinnyunuss https://t.co/ovwqW2Cl5V

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: https://t.co/ZwTWSxXLWb

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.

Video of my talk at OSPM 2024 "Writing a Linux scheduler in Rust that runs in user-space"

Really important point. Conversations about end-to-end encryption often focus on the confidentiality property. Ockam Secure Channels guarantee end-to-end data authenticity, integrity, & confidentiality. The managed service cannot: forge, tamper, or see any message.

@mrinal @0xdade To further clarify (or belabor) the point, it allows use of fully managed services more safely because the vendor's access to the control plane doesn't provide access to the data plane (cleartext messages).

@mrinal @0xdade Another good point to make is that without e2ee topics, the pub/sub cluster is a single point of security failure that can observe and/or forge any message.

More here:

I think end-to-end encryption is becoming a differentiator for products to compete on. It massively lowers third-party risk and gives customers true control over their data. Businesses and consumers BOTH want this. It’s hard build correctly and that’s where Ockam can help.