4 ms·

> We would like to thank ... the Zw3rk stake pool Interesting, is this a blockchain proof of stake/work system where the work done is running a CI for GHC?

angerman 4y ago
Technically it’s running a proof-of-stake stake pool and using the operational rewards to fund CI hardware for GHC. It currently provides 7 Linux, 2 windows and 3 m1 macs as well as covers the maintenance for them. Thus by staking ada (cardano) with the stake pool, one can “earn” a competitive rate (~4%) of stake return as well as support GHCs CI indirectly as the excess operational rewards from running the pool are put towards running CI machines for GHC. To compare this to some non-blockchain scenario: Depositing money at a bank will yield some interest, but also provide the bank with some operational return (they usually don’t provide you a savings account due to altruistic reasons); and the operational rewards the bank would use to run CI machines for GHC. I hope this makes sense, and explains the concept of how this works in principle.
- steeleduncan 4y ago
  Ok, thanks for explaining. I got excited for a moment and thought that the compilation was being used instead of hashing as a proof of work. That would require compilation to be trivially verifiable though, so sadly it is not the case.
jaipilot747 4y ago
Looks like it https://reddit.com/r/haskell/comments/ls0p18/experiment_can_we_improve_ghcs_ci_with_a_stake/ https://reddit.com/r/haskell/comments/ls0p18/experiment_can_...
deleted 4y ago
[deleted]
deleted 4y ago
[deleted]
encryptluks2 4y ago
That is so cool! I've long imagined something like this for static site generators where the work is to render and verify content.
- theamk 4y ago
  I don't think it works as you think it works... The non-blockchain equivalent of this would be: "If you are buying stuff on Rakuten please use "Zw3rk" as referrer code! I promise I'll spend all money earned by referrals on servers for GHC CI" So yes, technically this is a blockchain system which supports GHC CI... but practically it is all traditional hardware and regular cash after the first step.

angerman 4y ago

Technically it’s running a proof-of-stake stake pool and using the operational rewards to fund CI hardware for GHC. It currently provides 7 Linux, 2 windows and 3 m1 macs as well as covers the maintenance for them. Thus by staking ada (cardano) with the stake pool, one can “earn” a competitive rate (~4%) of stake return as well as support GHCs CI indirectly as the excess operational rewards from running the pool are put towards running CI machines for GHC. To compare this to some non-blockchain scenario: Depositing money at a bank will yield some interest, but also provide the bank with some operational return (they usually don’t provide you a savings account due to altruistic reasons); and the operational rewards the bank would use to run CI machines for GHC. I hope this makes sense, and explains the concept of how this works in principle.

steeleduncan 4y ago
Ok, thanks for explaining. I got excited for a moment and thought that the compilation was being used instead of hashing as a proof of work. That would require compilation to be trivially verifiable though, so sadly it is not the case.

jaipilot747 4y ago

Looks like it https://reddit.com/r/haskell/comments/ls0p18/experiment_can_we_improve_ghcs_ci_with_a_stake/ https://reddit.com/r/haskell/comments/ls0p18/experiment_can_...

deleted 4y ago

[deleted]

deleted 4y ago

[deleted]

encryptluks2 4y ago

That is so cool! I've long imagined something like this for static site generators where the work is to render and verify content.

theamk 4y ago
I don't think it works as you think it works... The non-blockchain equivalent of this would be: "If you are buying stuff on Rakuten please use "Zw3rk" as referrer code! I promise I'll spend all money earned by referrals on servers for GHC CI" So yes, technically this is a blockchain system which supports GHC CI... but practically it is all traditional hardware and regular cash after the first step.