RT @bkrem_
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! ๐Ÿ™

$ETH twitter.com/immunefi/status/14

RT @SourcifyEth
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 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!

Show thread

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.

Show thread

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 ethcc.interspace.chat/.

RT @ghiliweld
yo solidity twitter
is there a tool that displays the final inheritance graph of a set of contracts? i'm tryna see sum

RT @leonardoalt
Now @ethchris debunking the fake news from some experts that @solidity_lang 's optimizer has "too many bugs" and therefore should not be used. Wat?

Reasons why you should upgrade to a recent Solidity version (0.8.x):
- Checked arithmetics!
- Immutables!
- User-defined errors!
- Elements at file-level!
- New features for bytes! Calldata slices, bytes to bytesNN conv., bytes.concat
Read blog.soliditylang.org for details. ๐Ÿ†™

Show thread

Updates from 2020 and 2021: We launched soliditylang.org as a one-stop shop portal and undergo several efforts to get more feedback from users and theSolidity ecosystem. Join the forum if youโ€™re interested in language design, itโ€™s at forum.soliditylang.org!

Show thread

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!
๐Ÿ“บ: ethcc.interspace.chat

RT @nanexcool
Anyone using @solidity_lang `verbatim` in production yet?

I had an idea but don't want to code my whole contract in Yul so would have to do an external call to a tiny bespoke Yul contract ๐Ÿฅฒ

Mark your calendars for @EthCC! ๐Ÿ“…๐Ÿ“Œ
โ†’ Solidity in 2021 / @ethchris /July 21st 11:45 am
โ†’ Fully automated formal verification: How far can we go? / @leonardoalt / July 22nd 10:15 am
โ†’ Sourcify: Towards safer contract interactions for humans / @_franzihei / July 22nd 3:35 pm

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.

Show thread

Solidity 0.8.6 just got released! ๐ŸŽ‰It contains a fix for a non-critical but annoying bug related to unreachable code warnings. ๐Ÿž
๐Ÿ“ฐ: blog.soliditylang.org/2021/06/
๐Ÿ’พ: github.com/ethereum/solidity/r

Hardhat 2.4.0 includes Solidity 0.8 support for custom errors and panic codes! ๐Ÿ˜
RT @HardhatHQ
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! โฌ‡๏ธ

Show older

Fosstodon is an English speaking Mastodon instance that is open to anyone who is interested in technology; particularly free & open source software.