Adam Fiedler

coding a bit. opinions are my own.

[Adam Fiedler @fiedlr]

@AlignmentVault @PauseAI @liron Wait, you're saying that the nature is forcing us to develop AGI?

[Grigore Rosu @RosuGrigore]

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.

[Runtime Vеrification @rv_inc]

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

[Yliès Falcone @YliesFalcone]

🚀 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

[Raoul @RaoulSaffron]

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.

[Adam Fiedler @fiedlr]

Funny that we have ChatGPT but my keyboard still can’t autocomplete diacritics.

[Runtime Vеrification @rv_inc]

📰We are back with our monthly updates. This time for the month of October.

All details on our Medium👇

https://t.co/UWbakINuGE

[ItaJin @0xJinXingLim]

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

[Runtime Vеrification @rv_inc]

Pi Squared and Universal ZK Rollups at @xDay2023

[Adam Fiedler @fiedlr]

@ubuntu @gnome Also, fonts look much sharper and icons better than in 22.04, especially the file icons.

[Adam Fiedler @fiedlr]

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!

[Runtime Vеrification @rv_inc]

📰We are back with our monthly updates. This time for the month of September.

All details on our Medium👇

https://t.co/ighxCDRSjV

[Runtime Vеrification @rv_inc]

📰We are back with our monthly updates. This time for the month of July.

All details on our Medium 👇

https://t.co/7EcgREjYFe

[Runtime Vеrification @rv_inc]

On track to be the most comprehensive test suite for ERCs. 🚀 @EthCC @EthCCweek

https://t.co/G4vic6PIdP

[Adam Fiedler @fiedlr]

@bog_dan @rv_inc @EthCCweek Such a shame I couldn't be there! Looks like you guys had so much fun.

[Runtime Vеrification @rv_inc]

We are going to Paris! 🥖🍷 Find us at these events:

-> 16/7 @RosuGrigore and @palinatolmach @summit_defi
-> 18/7 @RosuGrigore presenting at OFR Paris by @IOSGVC
-> 19/7 @BatisteFormal presenting at Multichain ERC20 by @blockswap_team
-> 20/7 @YliesFalcone presenting at @EthCC

[Bruce Collie @__inshorts]

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)

[Runtime Vеrification @rv_inc]

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

[Runtime Vеrification @rv_inc]

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

[Adam Fiedler @fiedlr]

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