In Germany (on the island Sylt) they recently removed all of these structures again after decades of them being a staple on Sylt's beaches. They were found to have no positive effect on protecting their shores.
I'm having a hard time to find a good source to quote but look for: "sylt tetrapoden" if you want to dive deeper.
> Tauri is a framework for building tiny, fast binaries for all major desktop and mobile platforms. Developers can integrate any frontend framework that compiles to HTML, JavaScript, and CSS for building their user experience while leveraging languages such as Rust, Swift, and Kotlin for backend logic when needed.
> TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs, especially concurrent systems and distributed systems. TLA+ is considered to be exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems;
Does it really matter if in real-world-use 99% of the users never hit any limit? And I cannot blame anyone to use "unlimited" instead of "fair use, with reasonably large limits so that you will (probably) never see any restrictions in your use of the product"