Ramana
@ramana
18 Following
97 Followers
Casts
Casts + replies
Ramana
@ramana
Interested in Theorem Proving + Formal Verification and Ethereum? Verifereum.org is looking for collaborators on a grand project to formally verify EVM applications. All experience levels welcome.
0 reply
0 recast
1 reaction
Ramana
@ramana
I'm sure that's helpful to people who use Reddit 😹
1 reply
0 recast
1 reaction
Ramana
@ramana
What exactly is a channel?
2 replies
0 recast
0 reaction
Ramana
@ramana
No I mean I'm not running the primary at home but the fallback is at home. Actually there's not really a distinction - let's just say one of the nodes my validator uses is at home.
1 reply
0 recast
1 reaction
Ramana
@ramana
I stake for @rocket-pool at home, at least with my fallback node.
0 reply
0 recast
1 reaction
Ramana
@ramana
This is the gwei
0 reply
0 recast
0 reaction
Ramana
@ramana
Never even used Twitter. But it seems I am here
0 reply
0 recast
0 reaction
Ramana
@ramana
At least we can be prepared to arb it...
0 reply
0 recast
2 reactions
Ramana
@ramana
p2p streaming?
1 reply
0 recast
1 reaction
Ramana
@ramana
I agree it's surprisingly hard
0 reply
0 recast
1 reaction
✳️ dcposch on daimo
@dcposch.eth
To conclude, "progress depends on the unreasonable man." 1992 Torvalds looked nuts trying to take on Unix by himself. RMS had Flat Earther vibes railing on, disheveled, about the importance of user-controlled software. But both bent the arc of technology for the better. Now it is @markus and co's turn to look crazy
1 reply
3 recasts
10 reactions
Waq
@waq
Today's update from the Rocket Pool community is here. This is episode 239 of Rocket Fuel for Aug 28th. It includes: - @ramana gets hacked - @jasper-eth returns to twitter and farcaster - Ramana's appeal against the GMC is at voting and more https://youtu.be/2S3WR0p-WHU
1 reply
2 recasts
4 reactions
Waq
@waq
I sincerely believe ethereum focused media projects and podcasts need to stop advertising projects that deeply integrate Lido and start criticising lido more strongly. They’ve been given too many free passes, and this is legit dangerous now.
0 reply
3 recasts
5 reactions
Ramana
@ramana
I might be up for this. I would also be particularly interested in also making a formal definition of the EVM in higher-order logic at some point.
0 reply
0 recast
1 reaction
Ramana
@ramana
Same!
0 reply
0 recast
1 reaction
