In Search of Code Purity

5 mo ago

5 views

Alternate title: Rust's Hidden Purity System I was taught formal methods at university but these ultra-safe development techniques are expensive, require using unusual external verification languages, and most damning for web and application developers, they slow down iteration. After graduating and getting a webdev job, I despaired that the safety and guarantees of the formal systems that I had been introduced to weren't available to me as a web developer. I was going to have to act if I wanted to live in a different world.

❤️ If you would like to support what I do, I have set up a Patreon here: https://www.patreon.com/noboilerplate - Thank you!

📄 All my videos are built in compile-checked markdown, transcript source code available here https://github.com/0atman/noboilerplate this is also where you'll find links to everything mentioned.

🖊️ Corrections are in the pinned ERRATA comment.

🦀 Start your Rust journey here: https://www.youtube.com/watch?v=2hXNd6x9sZs

👕 Bad shirts available here https://www.teepublic.com/user/no-boilerplate

🛰️ Lost Terminal is here: https://www.youtube.com/watch?v=p3bDE9kszMc

🌕 Modem Prometheus is here: https://www.youtube.com/watch?v=_SDnUVHAC44

📓 The Phosphene Catalogue is here: https://www.youtube.com/watch?v=y3wVvDbJHrU

🎵 My published albums are on spotify, itunes, etc, but I have a lot more unpublished work over at https://soundcloud.com/namtao

🙏🏻 CREDITS & PROMO My name is Tris Oaten and I produce fast, technical videos. Follow me here https://tech.lgbt/deck/@noboilerplate Website for the show: https://noboilerplate.org Come chat to me on my discord server: https://discord.gg/mCY2bBmDKZ

If you like sci-fi, I also produce a hopepunk podcast narrated by a little AI, videos written in Rust! https://www.lostterminal.com If urban fantasy is more your thing, I also produce a podcast of wonderful modern folktales https://www.modemprometheus.com

👏🏻 Special thanks to my patreon sponsors: