CairoLang (@cairolang) 's Twitter Profile
CairoLang

@cairolang

A programming language that makes it easy to build provable programs

ID: 1349625446414118914

linkhttps://www.cairo-lang.org/ calendar_today14-01-2021 07:53:05

519 Tweet

6,6K Followers

3 Following

Brother Akash Balasubramani 🐺🔊 (@akashneelesh) 's Twitter Profile Photo

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-…

milan 🌞 (@milancermak) 's Twitter Profile Photo

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…

brother eni 🍞 (@eniwhere_) 's Twitter Profile Photo

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!

You might not have noticed it yet... but AI Chatbots are now integrated in the <a href="/CairoLang/">CairoLang</a>  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!
Nethermind Starknet (@nethermindstark) 's Twitter Profile Photo

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👇

Benjamin (@blockchain_benj) 's Twitter Profile Photo

⛺️ 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!

⛺️ Don’t miss Basecamp #11 starting today @ 7PM EST time. 

If you want to learn how to level up your <a href="/Starknet/">Starknet 🐺🐱</a> <a href="/CairoLang/">CairoLang</a> 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!
softwaremansion.xyz (@swmansionxyz) 's Twitter Profile Photo

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…

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…
CairoLang (@cairolang) 's Twitter Profile Photo

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:

elias tazartes 🥕🧑‍🌾 (@etazou) 's Twitter Profile Photo

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

thank you <a href="/Starknet/">Starknet 🐺🐱</a> and <a href="/Cryptosquare_be/">Cryptosquare</a> 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
CairoLang (@cairolang) 's Twitter Profile Photo

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

CairoLang (@cairolang) 's Twitter Profile Photo

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

softwaremansion.xyz (@swmansionxyz) 's Twitter Profile Photo

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

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