Peter Boccia

💻 .NET Software Architect
📲 Cross development expert
☁ Azure and Cloud computing enthusiast

[Peter Boccia @peterboccia]

View my verified achievement from @microsoft. https://t.co/M48xFi3gJz

[vitalik.eth @VitalikButerin]

A fun math aside, on the idea of splitting a large zk proving workload between multiple provers.

Suppose you have N provers, and you have a proving workload that you split into N parts (so, one part per prover). You require provers to pre-register, but registration is open-access.

Suppose you have a constant fault rate (eg. 1/5 of registered provers fail). Provers expect to complete in one round (eg. 3s). If one prover fails, other provers have to come in and re-prove that load. How many rounds does it take for the entire workload to get proven?

Answer: log*(N)

(yes, that's the iterated-log function)

Why:

In the first round, you go from N unproven workloads to N/5 unproven workloads

In the second round, each remaining workload gets assigned 5 provers, so per-workload failure rate becomes 1 in 5^5. So you go to N / 5 / 5^5 unproven workloads
In the third round, each remaining workload gets assigned ~5^5 provers, so failure rate is 1 in 5^(5^5). So you go to N / 5 / 5^5 / 5^(5^5) unproven workloads

[Peter Boccia @peterboccia]

https://t.co/G0PY7zIDYo

[Windows Developer @windowsdev]

Curious about Dev Drive? 👀⬇️

[Shib @Shibtoken]

Buckle up #SHIBARMY 🛸 Shibarium is officially live and ready to explore: https://t.co/56VsqOa2jt

[Elon Musk @elonmusk]

@BillyM2k @MyDogeCTO Technical managers need to write or at least review code some of the time or they lose touch

[Raspberry Pi Foundation @RaspberryPi_org]

10K FOLLOWER GIVEAWAY 🎉🎈🎁

To celebrate 10K followers on Twitter, we're giving away 3x Raspberry Pi Foundation tote bags containing Raspberry Pi branded goodies 😍 Winners will be randomly selected on Friday, 19 May 2023.

To enter: Follow us, like & RT this tweet.

Good luck!

[Peter Boccia @peterboccia]

Ricordi il tuo primo giorno su Twitter? Io sì! #IlMioAnniversarioDiTwitter

[Peter Boccia @peterboccia]

@CliffToken Only now I'm seeing this

[Peter Boccia @peterboccia]

@Doo0074 @red_tokens What happened to the Cliff Tokens? I have still got them in my wallet

[Peter Boccia @peterboccia]

Thanks @thisiscro for 900 minutes together in the 2022. Einmal um die Welt always in loop. #SpotifyWrapped https://t.co/TZlfG4oJzv

[Peter Boccia @peterboccia]

@quorralyne Many legacy tools .NET Framework 4.5. For some scenario without network, I also needed to compile some tools in .NET Framework 2.0 🥶 (because on some test PCs no updates were installed). All the new tools I imposed .NET 6 when available 😃

[Peter Boccia @peterboccia]

Hey GitHub push everything and don't bother! 💥
> git push --force -u origin
F**k😅
https://t.co/uoDzwUiZZZ

[Peter Boccia @peterboccia]

#greensociety

[Jared Polis @jaredpolis]

Congratulations to the Ethereum Team, @VitalikButerin and everyone who worked on the merge to proof of stake last night! This move will reduce worldwide electricity consumption by more than .2%!

[vitalik.eth @VitalikButerin]

And we finalized!

Happy merge all. This is a big moment for the Ethereum ecosystem. Everyone who helped make the merge happen should feel very proud today.

[Marc Seitz — oss/acc @mfts0]

When your PR is finally accepted and merged

[Peter Boccia @peterboccia]

Brand new language! 🥳
https://t.co/E1u9eJOzUh

[Peter Boccia @peterboccia]

Let's do it! https://t.co/Q3wHR034g5

[Microsoft @Microsoft]

Check out 4 tips to beating burnout in our WorkLab Guide: https://t.co/lsbhRhGA93