Seeing the crypto community reference Awesome Solidity as a key resource is the best ❤️
It’s become near impossible to keep up with all the great developments around @solidity_lang, so if something you love is missing please add a PR! 🙏
Bonjour @EthCC! Don't miss @_franzihei's talk on "Sourcify: Towards safer contract interactions for humans" today at 3:35PM (in 30 mins) on the main stage! You can also follow it online at https://ethcc.interspace.chat/. 😊
Jumping to conclusions: Automated formal verification tools can be powerful but currently no automated tool will fit the job every time. Formal verification is still an expert domain. Make sure to watch the entire talk if you are interested in the outcomes of the experiments!
There are several formal verification tools available today, some targeting Solidity, some targeting bytecode. Leo discusses pros and cons and describes the experiment he ran with each tool.
Hey @EthCC early birds! @leonardoalt will be discussing „Fully automated formal verification: How far can we go?“ in 5 mins in the Pontoise room! You can also follow the livestream at https://ethcc.interspace.chat/.
Don’t miss @ethchris talk at @EthCC in 15mins on the main stage. He’ll be talking all things Solidity in 2021, a must update for all Solidity (and ecosystem) developers! If you’re not in Paris you can follow the talk via the livestream!
The previous release introduced a feature to detect unreachable code due to a function call always reverting before the code. This detection contained a bug in connection with nested calls to internal library functions and is fixed now.
Solidity 0.8.6 just got released! 🎉It contains a fix for a non-critical but annoying bug related to unreachable code warnings. 🐞
Hardhat 2.4.0 includes Solidity 0.8 support for custom errors and panic codes! 😍
Hardhat 2.4.0 is out!
Feedback needed 🧑💻 What do you think about user-defined value types (types that are identical to a provided value type incl. operators, members, ..., but cannot be implicitly converted to any other type)? Would those be useful? Tell us in the forum! ⬇️
Solidity is an object-oriented, high-level language for implementing smart contracts. 🌐
Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.