Preferences

benaadams
Joined 4,568 karma
[ my public key: https://keybase.io/ben_a_adams; my proof: https://keybase.io/ben_a_adams/sigs/gvU8GwPtjTPPJkoiHhuw1fW7zJ-3qMcHhbK2r-BuxrY ]

  1. Zero-knowledge proofs are basically a way to trust code execution without re-running it yourself.

    Compile C# to a minimal RISC-V runtime. You run the program once, and instead of shipping all the outputs and logs, you generate a zk proof—a tiny math receipt that says "this execution was correct." Anyone can verify that receipt in milliseconds.

    It's a bit like TEEs (Intel SGX, AMD SEV) where you outsource compute to someone else and rely on hardware to prove they ran it faithfully. The difference is zk proofs don’t depend on trusting special chips or vendors - it's just math.

    Implications:

    * Offload heavy workloads to untrusted machines but still verify correctness

    * Lightweight sync and validation in distributed systems

    * New trust models for cloud and datacenter compute

  2. 41% of EVM nodes on Ethereum run .NET on Linux via Nethermind(https://github.com/NethermindEth/nethermind).

    Ethereum has a Market Cap of $249Bn and $34bn of other assets in smart contracts.

    So you could say .NET on Linux has under management $116Bn and handles $800m of asset transfers per day, napkin math

  3. End of Dennard scaling was the performance breakdown. Meant chip frequencies couldn't be cranked higher and higher as temperature dissipation became more and more of an issue https://en.wikipedia.org/wiki/Dennard_scaling
  4. Dennard Scaling is dead https://en.wikipedia.org/wiki/Dennard_scaling which is why things stopped magically getting faster (chips started getting too hot)
  5. C# (and Go) have adjusted goto to ensure consistent scoping, avoiding undefined variables, and keeping control flow reducible. So its a much safer and better form of goto than exposed in C/C++, where you can still do weird things without being warned by the language
  6. I feel the article violated Betteridge's law of headlines

    https://en.wikipedia.org/wiki/Betteridge%27s_law_of_headline...

  7. Why? .NET also runs on iOS and Android
  8. Alameda Research (re: FTX exchange) normally makes a ton of money doing the arbitrage between dollars and tether but its having liquidity problems, so not doing it currently.
  9. They are, they just aren't buying them back on coinbase. Tether don't manage the secondary market (cexes and dexes)

    Though the minimum redeemable amount is $100k https://tether.to/en/fees

    Why they are depegging is people are selling for under a dollar on coinbase (perhaps in panic); and Alameda Research (re: FTX exchange) who normally makes a ton of money doing the arbitrage between dollars and tether is having liquidity problems, so not doing it currrently.

This user hasn’t submitted anything.

Keyboard Shortcuts

Story Lists

j
Next story
k
Previous story
Shift+j
Last story
Shift+k
First story
o Enter
Go to story URL
c
Go to comments
u
Go to author

Navigation

Shift+t
Go to top stories
Shift+n
Go to new stories
Shift+b
Go to best stories
Shift+a
Go to Ask HN
Shift+s
Go to Show HN

Miscellaneous

?
Show this modal