filmov
tv
Software Can Be Perfect with Blaine Hansen - Utah Rust (Feb 10, 2022)
Показать описание
Formal Verification and Magmide could allow us to create code without errors, crashes, or security vulnerabilities.
Blaine Hansen
I'm an iconoclastic engineer, amateur pianist, and economic theorist. I believe in cooperation and using formal rigor to make the world a better place.
💻 Code Exercises recommended by meetup members
📕📘📗📙 Books recommended by meetup members
#Utah #Rust #rustlang
Blaine Hansen
I'm an iconoclastic engineer, amateur pianist, and economic theorist. I believe in cooperation and using formal rigor to make the world a better place.
💻 Code Exercises recommended by meetup members
📕📘📗📙 Books recommended by meetup members
#Utah #Rust #rustlang
1:33:10
0:22:36
0:16:28
0:01:57
0:12:30
0:09:56
0:12:21
0:00:59
0:01:00
0:04:01
0:06:49
0:09:16
0:00:21
0:11:20
0:05:57
0:02:43
0:00:57
0:01:42
0:12:42
0:03:14
0:00:28
0:00:26
0:00:27
0:14:49