Anton Zhuravlev

Senior Software Engineer | Go, Zig, Elixir

[Anton Zhuravlev @0x180db]

.@claudeai design : pure taste, zero noise

[Anton Zhuravlev @0x180db]

zero deps is a nice trend. https://t.co/2KRElWt8ye follows too

[Duane Bester @duanebester]

Gooey - the GPU powered UI lib written in Zig is 127k lines of code and now is dependency free!

Following that TigerStyle by @TigerBeetleDB more and more

(we only had 1 dep to begin with)

[shafu @shafu0x]

you are fucking clueless on how to judge talent, if your hiring process takes 3 months

[Anton Zhuravlev @0x180db]

@code4rena 🫡

[Anton Zhuravlev @0x180db]

If you're like me and learn through katas, check out https://t.co/pDuIH1a92q. First five exercises are ready. No local GPU needed, thanks to @modal. Extra challenge: finish without burning through your full starter credit 🙂

[Anton Zhuravlev @0x180db]

i did the evm debugger with symbolic execution (not oss) and the open source usage metering engine for billing - https://t.co/2KRElWt8ye on zig, the next goal is CUDA kernels. My work uses rust but heart is with #zig

[Anton Zhuravlev @0x180db]

@bugarela https://t.co/n82BENw5cK

[Anton Zhuravlev @0x180db]

@muellerberndt Great! Is a popular science version in the works?

[Anton Zhuravlev @0x180db]

@alexzoid @Certora https://t.co/1I9UbTKaWt Let's combine the lists. Feel free to copy over any entries from my repo that you don't have, and then I'll delete mine

[Anton Zhuravlev @0x180db]

built a symbolic evm debugger + fuzzer (poc). funny how last year this felt like magic

[Anton Zhuravlev @0x180db]

@muratdemirbas Formal verification scales poorly due to the exponential state explosion and the undecidability of non-linear arithmetic. It is only effective for critical components, not for the entire system as a whole.

[guilherme @noghartt]

Yo, I decided to learn a bit more about Quint (https://t.co/JhIuo2jM4Y), but I missed something like the GraphViz integration with TLA+

I vibecoded a tool that let you explore Quint's trace with a UI, showing the state transition and other related data.

https://t.co/H0c6QHq7i7

[Anton Zhuravlev @0x180db]

the 8-hour workday feels outdated.
#Claude session limits are the new clock.

[Anton Zhuravlev @0x180db]

@pashov black hats moved on from manual hunting

[Anton Zhuravlev @0x180db]

the reason i’m deep in evm and symbolic execution: black hats don’t hunt manually anymore.

[pashov @pashov]

🚨A smart contract exploit from 1hr ago just drained ~8536 ETH, worth around ~$26M

The code was live on Ethereum for almost 5 years already. Source code unverified - only bytecode is public.

[Anton Zhuravlev @0x180db]

next stop: symbolic execution. #zig is growing on me.

[Anton Zhuravlev @0x180db]

new year, new language.
couldn’t resist.

[Anton Zhuravlev @0x180db]

lmk when the mainstream train arrives. ticket's ready
https://t.co/zxoOQWiVUd

[Anton Zhuravlev @0x180db]

homepage is up https://t.co/mHDxrB1Krq

[Anton Zhuravlev @0x180db]

@cantinaxyz @BNBCHAIN @lista_dao @HashDit I have not received my competition reward after five months. How can I contact support?