This is supplementary/separate from the Twitch Streams (see sidebar for links), intended for discussion here on lemmy.
The idea being, now that both twitch streams have read Chapter 4, we can have a discussion here and those from the twitch streams can have a retrospective or re-cap on the topic.
This will be a regular occurrence for each discrete set of topics coming out of The Book as the twitch streams cover them
Ownership and the borrow checker are obviously a fundamental and unique topic to rust, so it’s well worth getting a good grounding in AFAICT.
- Anyone up to trying to summarise or explain ownership/borrow-checker in rust?
- it can be a good exercise to test your understanding and get feedback/clarification from others … as well as probably a good way to teach others
- Any persistent gripes, difficulties or confusions?
- Any of the quizzes from The Book stump you?
- Any hard learnt lessons? Or tried and true tips?
@Jayjader @brokenix The ownership notion :
This is yet another key information regarding data that :
• A CPU is completely ignorant / agnostic about it.
• Nor the address space notion glued to the CPU bus notion.
• Even at MMU / PMMU level, it’s still unknown.
CPU are such a low level engine concept, same as CPU buses. When you think that all this ownership notion is just an abstract one maintained only through code self-generated by the C compiler. So dangerous. So risky.
@Jayjader @brokenix
cc FYI : The intetesting short thread above, regarding C compilers.
@theruran @haitchfive @50htz @vidak
@Jayjader @brokenix @theruran @haitchfive @50htz @vidak Here I’m not revolting at compilers, I’m revolting at all of is who never complained about this.
The only excuse we have is that by that time, making our own CPU/VLSI was so costy that this was like a glass ceiling for us not to challenge the CPU concept. I want you to step back and realize how this fact just completely jailed our minds with current CPU concept, pushing
@Jayjader @brokenix @theruran @haitchfive @50htz @vidak all of us to accept the inacceptable with both CPU and compilers.
Because if you step back, ownship should never have been implemented in software code tricks by a compiler, it’s an ugly thing, because insecure. These things should be securely handled in hardware, by the CPU. It’s a design fault.
@Jayjader @brokenix @theruran @haitchfive @50htz @vidak I want you to realize HOW FAR the idea we couldn’t not invent, design, route, produce our own CPU has deeply limited our perception of what computers could alternatively be. This fact has put us into high security conceptual jails for decades. And we have just escaped and are still in a fully readaptation phase with this new freedom acquired.