Install rustlings-fix and run it:
cargo install rustlings-fix
rustlings-fix
For more information on how the file this generates works checkout the Rust Analyzer Manual
Install rustlings-fix and run it:
cargo install rustlings-fix
rustlings-fix
For more information on how the file this generates works checkout the Rust Analyzer Manual
A proof is a argument that a statement is true, where the argument is written in a formalized, very specific language. The concept of what a proof is can be confusing, so I want to make an extended analogy to computer programs and programming languages.
(I think that people who know computer programming are in a uniquely good position to understand mathematical logic.)
Install Wayland in Ubuntu: https://askubuntu.com/questions/832509/how-to-install-wayland-on-ubuntu-16-04-lts
Start X applications in a container: https://blog.simos.info/how-to-run-graphics-accelerated-gui-apps-in-lxd-containers-on-your-ubuntu-desktop/
Wayland in container: https://unix.stackexchange.com/questions/330366/how-can-i-run-a-graphical-application-in-a-container-under-wayland/359244#359244
Your phone should have a locked bootloader, as it ensures the integrity of the software running on the device. This is especially relevant for Xiaomi phones, which are often loaded with all sorts of crapware by shady merchants. These vendor ROM's are a serious security risk. You really don't want to run that shit, so do your research very carefully when importing a Xiaomi device to ensure it hasn't been tampered with.
So, Xiaomi makes these nice phones and those vendors just ruin it all. They do the logical thing and start locking devices. But even today, vendor ROM's are still a thing! Even the brand new edgeless Mi Mix isn't safe.
How is this possible?
Through a wide open back door called EDL mode. To flash anything you want, all you need is a "deep flash cable" from [Aliexpress](https://www.aliexpress.com/wholesale?catId=0&SearchText=xiaomi+deep+fl
lsusb
in the terminal. You should get an output similar to this:Bus 002 Device 002: ID 8087:8000 Intel Corp.
Bus 002 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 001 Device 002: ID 8087:8008 Intel Corp.
Bus 001 Device 001: ID 1d6b:0002 Linux Foundation 2.0 root hub
Bus 004 Device 001: ID 1d6b:0003 Linux Foundation 3.0 root hub
Bus 003 Device 005: ID 0bda:0129 Realtek Semiconductor Corp. RTS5129 Card Reader Controller
There are three main concepts with Rust:
These are fairly simple concepts, but they are often counter-intuitive to concepts in other languages, so I wanted to give a shot at