imagine if @starknet + @cairolang brings privacy to bitcoin

34/ Nov 15 - CairoLang Arena 🎲 🔸 Explore the Cairo Arena with kube at 12 PM. lu.ma/qn6908ug

Dapps that are looking out to migrate their contracts from Solidity to Cairo are always stuck on..... "How do we implement abi encoding in cairo" Well here's all the info on how to get that done - github.com/keep-starknet-…

Our cracked formal verification engineer Jakob gave a talk at the DeFi Security Summit. In the end, he also mentions Aegis, a framework he created to formally verify CairoLang programs. What a legend. youtube.com/watch?v=r3wfpb…

Prove and verify Cairo programs with ease using zkSecurity's new Stone CLI 💪

Learn about the latest DevX and Cairo updates in the Cairo Community Update 👇 cairo-lang.org/cairo-communit…

You might not have noticed it yet... but AI Chatbots are now integrated in the CairoLang Book 👀 AI-search redirects to relevant pages related to your questions. I'm convinced AI-enchanced search is a strong value add for documentations as it's more efficient and accurate!

Starknet Basecamp 11 beings on Nov 27th. Ready to build on Starknet 🐺🐱? Starknet’s free 4 week course will not only teach you everything you need to know to become a CairoLang developer, but also connect you to the vibrant Starknet community. Register below to participate👇

⛺️ Don’t miss Basecamp #11 starting today @ 7PM EST time. If you want to learn how to level up your Starknet 🐺🐱 CairoLang coding skills, you need to sign up for these sessions - register and sign up at the bottom of this post - it is completely free and complimentary!

A new version 0.7.0 of cairo-profiler has just landed! 🚀 From now on syscalls are represented as nodes instead of samples, letting you see resource costs for syscalls directly 🤓 Check it out here: github.com/software-mansi…

The open-sourced CairoLang instruction dataset now on Hugging Face 🤗 Designed to facilitate the training of language models to understand and generate Cairo code based on given instructions. Read more below:

thank you Starknet 🐺🐱 and Cryptosquare for this super meetup great questions and energy 🙌🙏 tldr: - STARK gud - Cairo gud - Aggregation gud - Cairo Consensus Client gud - Cairo EVM gud - soon 1,000,000 tps in the integrity web prove ethereum

Train your CairoLang skills with Node Guardians and The Lost Pyramid CTF⚔️

when people tell you to rest but you’re just a chill guy who likes to write JIT EVM compilers to CairoLang on the weekends

Cairo v2.9.0 is out! Get into the details here: community.starknet.io/t/cairo-2-9-0-…

Your Cairo journey starts with Starklings ⭐ Learn the essentials of the Cairo-lang syntax through interactive exercises. Just one-click away: starklings.app Now with: ✅Smoother DevX: unified database across CLI and Web ✅Updated and cooler landing page

Cairo just got easier to prove! Cairo is a provable language, designed to generate fast, cheap STARK proofs of any computation. The new and improved Cairo Playground by Walnut now supports proving and verifying your Cairo code, all without leaving your tab. No setup, no

Huge Starknet Foundry update is out, check new 0.43.0 features 🚀 🎇What’s new? - `set_balance` cheatcode for setting an ERC-20 token balance - possibility to display contract execution trace - `sncast call` response is now printed in human readable Cairo-like syntax Full