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โ€ฆ

CairoLang (@cairolang) 's Twitter Profile Photo

Learn about the latest DevX and Cairo updates in the Cairo Community Update ๐Ÿ‘‡ cairo-lang.org/cairo-communitโ€ฆ

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