Interested in logic, semantics, cryptography, blockchain, and in Bucharest on May 11? Come to https://t.co/znFEDqbA7s and learn about https://t.co/102qERGzG3, the universal verifiable computing method! Free, but registration required asap.
p.s. @pisquared is hiring, too.
The @rv_inc crew assembled for the @BOBKonf = Sam Balco + Jost Berthold + @georgy_lukyanov.
If you are in Berlin, make sure you attend their K Framework workshop on Friday. https://t.co/jIMN9fgNFn
🚀 Exciting News! ERCx is now listed on Alchemy's Dapp Store! 🎉 If you want to get your ERC tokens a serious testing drill, consider running it through ERCx. @ERCxRV @AlchemyPlatform
Two weeks ago at TrustX in the vibrant city of Istanbul, we unveiled our symbolic Solidity debugger. Thrilled to announce the session is now on YouTube! A heartfelt thanks to @0xRajeev and @TheTrustX team for their warm hospitality. It was a memorable experience.
Today @palinatolmach and I gave a tutorial on K (semantic framework and verification tool for PL) and Kontrol (verification tool for Ethereum smart contracts) at @sgSMU during the ATVA 2023 conference.
You can find the tutorial materials here: https://t.co/CxUAqCofEk
I really like the direction that @ubuntu and @gnome are taking in UI design. Animations feel so much alive, and the file manager Nautilus looks awesome in Ubuntu 23.04!
I'm excited to be presenting a tutorial on the K Framework for @rv_inc at @PLDI tomorrow morning; if you've ever found yourself reaching for a DSL or custom language implementation in your research, then K could be the tool for you! (1/n)
Today we are officially launching our new tool: ERCx🛠️
ERCx is a conformance and property-checking tool helping not only to check ERC-20 security properties but also with contract development. Check our new blog to learn more 👇
https://t.co/Jtx384Hd4v
@YliesFalcone@sta1400
If you are a token developer, and want to integrate deployed #ERC20 tokens, ERCx helps you evaluate the conformance to EIP specifications and desirable properties automatically. ERCx relies on the Foundry toolbox developed by @paradigm for #Solidity.
https://t.co/5nu6ryNL0p
Matching logic (ML) is a powerful formalism for reasoning about program behavior. At @rv_inc, ML is the core theory behind our #kframework. We're finally launching a Discord channel for all things ML. If you have any questions or ideas, please visit! https://t.co/nHmk7gPUMH