I find the "dark forest" of Ethereum (https://www.paradigm.xyz/2020/08/ethereum-is-a-dark-forest/ https://www.paradigm.xyz/2020/08/ethereum-is-a-dark-forest/) f

I find the "dark forest" of Ethereum (https://www.paradigm.xyz/2020/08/ethereum-is-a-dark-forest/ https://www.paradigm.xyz/2020/08/ethereum-is-a-dark-forest/) fascinating rather than terrifying, though I might be scared if I put in a good chunk of money and risked losing it (which is why I don't plan to invest myself). There's an intellectual beauty in creating a world people can choose to join, where "code is law", developers construct castles out of air and pure logic, trying to write "correct-by-design" code, and others look for creative ways to exploit the letter of the contracts. It reminds me of the beauty of formally verifiable algorithms (sorting algorithm bugs, probing hashmaps, distributed systems), various models and tradeoffs for undefined behavior in C++ and LLVM and Rust, atomic memory orderings and using Loom to find bugs, or binary exploitation and vulnerability development. Though I haven't actually worked on any blockchain tech and don't plan to start. However I don't want a Web3 built around "pay-to-play" which rejects the idea that anyone can read, write, and publish without paying for the privilege. The web I want is closer to Gemini (a simple transfer protocol and a hypertext format built around user-chosen presentation), instead of HTML's complex element hierarchies often unreadable without CSS's author-dictated formatting, JS's drive-by code execution by design, or Ethereum's rejection of permissionless access.