Yale Vinson

[Yale Vinson @ypvinson]

@billyliucci 9-3 if we do well, 8-4 if we still can’t figure out how to win SEC games in November.

[Yale Vinson @ypvinson]

@ShemarStewart14 Thank you for the joy you brought on Saturdays, and I wish you the best as you look forward to playing on Sundays. We’ll be watching! Gig ‘Em!

[Runtime Vеrification @rv_inc]

Today also, at 5:30 pm (Stage 4), @palinatolmach will discuss comprehensive security approaches companies should follow to secure their project

See you there 🫡

https://t.co/ozdCb5YqEk

[Runtime Vеrification @rv_inc]

Want to meet our team? You can find us at the Formal Verification hangout (Floor L2 - Breakout area 2).

Besides the panel with Everett happening right now, @anvacaru and Everett will give some lightning talks later today (between 4 and 5 pm)

[Runtime Vеrification @rv_inc]

🎤 @actsant speaking at @AggLayer about cross-chain security

[Runtime Vеrification @rv_inc]

🎤 @palinatolmach in the fuzzing panel at Hackers with Hearts event @creeddao @ConsensysAudits

[Yale Vinson @ypvinson]

@thechaselane @dae2walker My condolences on the loss of your dad.
“Here”

[Yale Vinson @ypvinson]

@KirkHerbstreit @CollegeGameDay I’m not sure how you were able to record the tribute video, but I’m glad you did.

It was a beautiful tribute to a beautiful soul in a very dark time. Our prayers are with you and your family.

[Runtime Vеrification @rv_inc]

🚨 Get ready for tomorrow to learn more about cross-chain vulnerabilities and how to avoid them with @actsant

📍12:45 pm - Oddysey stage at @AggLayer

[Raoul @RaoulSaffron]

Thanks to everyone for joining my "Solidity under the hood" self-help group and to the @summit_defi team for organizing this awesome event. Here is the slide deck I used yesterday. Help yourselves!

https://t.co/qK1D15Zxsp

[Runtime Vеrification @rv_inc]

🎤 @RaoulSaffron’s Simbolik workshop at @summit_defi

[Raoul @RaoulSaffron]

Here is a sneak peek at my @summit_defi workshop "Solidity under the hood". Join me tomorrow 2:10 pm for more cool diagrams 📈

[Yale Vinson @ypvinson]

@KirkHerbstreit Here

[Runtime Vеrification @rv_inc]

🎤 @BatisteFormal sharing about Kontrol at @summit_defi

[Dipesh @dipesh_sukhani]

Supporting our friends at @rv_inc @RaoulSaffron and team at the DeFi Security Summit

@BatisteFormal on Kontrol Unlocked: Foundry-based Formal Verification for 10x Devs and Auditors

[Runtime Vеrification @rv_inc]

We are in Bangkok 🇹🇭🛺🧉

Check out our latest blog to learn what events our team will speak at, where to find us and an update on our tooling!

https://t.co/MelfddCy45

[Yale Vinson @ypvinson]

Another great post from @RaoulSaffron at @rv_inc about some exciting developments with #simbolik, RV's tool that allows developers, auditors, and other EVM stakeholders to easily debug Solidity code using our full-service Solidity debugger.

[Raoul @RaoulSaffron]

Debugging Solidity smart contracts doesn't have to be tedious. I just published a new blog post explaining how you can create reusable 1-click scenarios without ever leaving Solidity. https://t.co/uU3fW8exo4

Oh, and it can run in a browser.

[Defi Security Summit @summit_defi]

🔓 Kontrol Unlocked: Foundry-based Formal Verification for 10x Devs and Auditors

On November 7th at DeFi 101 Day, dive into formal verification with @BatisteFormal in their hands-on Kontrol-by-example workshop!

Discover the techniques used by @rv_inc to secure real-world smart contracts, from symbolic Foundry tests to scaling Kontrol across large projects.

🎟️ Get your ticket now: https://t.co/nnwYxCaYc6
📅 Full Schedule: https://t.co/g63u4C3W1p

[hyperstructured.greg @youfelll]

gmSF,

coming to mentor at @ETHGlobal San Francisco this weekend,

who should i meet?

[Yale Vinson @ypvinson]

@youfelll @ETHGlobal One of my favorite places in SF!!!