RT @yosephayele: We're hiring 3 roles at @lavavc_ 🔥. 🌋Intelligence & Operations Analyst.🌋Technical Research Analyst.🌋Master of Narratives….

RT @sejal_rekhan: Impact Evaluator Research Retreat Demo Day Iceland 2025

Join millions who have switched to Grok.

RT @CS_Synthesist: Human creativity is unparalleled: that's the driver of my talk at the @protocollabs Impact Evaluator research retreat. I….

RT @joefioti: we've launched a Luminal kernel search demo!. you can see the process Luminal goes through to find the fastest GPU kernels, s….

I'm excited about the future of this space 🚀. Github:

The bootcamp was an exceptional learning journey, featuring insightful sessions led by industry leaders. As a young and rapidly evolving field, zkML is setting the stage for Verifiable AI, which has the potential to revolutionize how AI integrates with real-world systems.

Thrilled to announce that @only1franchesco and I won the @PolyhedraZK Explore Expander zkML track! . We developed a compiler that translates ML models compiled to ONNX into Expander circuits, enabling model inference to be proven and verified using the Expander backend.

RT @QuangVDao: My latest paper on optimizing the sum-check protocol is out! Joint work with @SuccinctJT and Ingony….

RT @0xgodspower: I am happy to share a Rust library for ML-KEM (Module-Lattice-Based Key Encryption Mechanism). h….

RT @GUA: I recently spent two weeks in Kilifi and Nairobi, Kenya, supporting magma (by @borderlessaf) - a residency for African founders su….

RT @PolyhedraZK: We just dropped a new SNARK design—and it's a game-changer for real-world programs that live in a binary world. Most SNAR….

RT @machina__io: 1/ Sora (@SoraSue77) and Enrico (@backaes) published a paper introducing Diamond iO 💎, a straightforward lattice-based con….

RT @Rhorheeymarh: So while reading the Libra paper and trying to dig into the complexities and break them down, I made sure to jot down my….

RT @Aadriksh: If C is power, Assembly is precision. The Art of Assembly Language is where both worlds meet. A masterpiece for those who da….

RT @vivekgalatage: I previously talked about Algorithms for Modern Hardware; sharing it here again as this is one of the best resources tha….

RT @VictorTaelin: DEMO TIME. SupGen is a generative coding AI. except it isn't an AI. There is no model, there is no pre-training. You j….

RT @Alibaba_Qwen: Today, we release QwQ-32B, our new reasoning model with only 32 billion parameters that rivals cutting-edge reasoning mod….

RT @__tinygrad__: What is tinygrad?. tinygrad is a formalist project. It attempts to capture the full gamut of software 2.0 in a non leaky….

RT @vivekgalatage: 🎓 MIT's free course on Performance Engineering of Software Systems . A hands-on, project-based introduction to building….