I'm a backend developer with a little bit of a lot of things from compiler internals up to web development without frameworks. React/Angular is too far frontend past my experience but I'm open to learning as needed. I wrote a book about Functional Programming in Rust that was fairly well received.
It's still a guarantee. The point of the guarantee isn't that no code can cause certain kinds of problems, but rather that any code that can must be marked unsafe.
Basically any guarantee can be broken by an evil guaranteer. All this is saying is that this is a case of the user being required to uphold a guarantee, instead of the stdlib/language.
Working on verifiable correctness for programs written in LM or anything that generates annotated assembly. Basically low-level proofs that accessed memory is valid and live or that function pre/post-conditions are met.
The goal is that these proofs are compiler agnostic, so more people can use them.
Location: Helena, MT, US
Remote: Yes
Willing to relocate: No
Technologies: C, C++, Rust, Python, Javascript, HTML, CSS, Linux, Bash
Github: https://github.com/andrew-johnson-4
Résumé/CV: https://www.linkedin.com/in/andrewjhnson4/
Email: andrew@subarctic.org