Adam Trabelsi, software engineer building secure note-taking solutions at Lockbook , using Rust