8 karma · joined December 27, 2022
Remote: Yes (or hybrid)
Willing to relocate: Yes
Technologies:
- Core: Rust, C/C++, Solidity, PostgreSQL, WebAssembly
- Domain: Zero Knowledge Proofs (ZKPs), Solana, compilers
- Tools/Libraries: Winterfell, Arkworks, RISC0 zkVM, Solana Anchor
Résumé/CV: https://drive.google.com/file/d/1TxkqTKGxYuio0WN_3lk3Bdfj3ZN...Email: kobby5angels@gmail.com
LinkedIn: https://www.linkedin.com/in/kobbypentangeli/
GitHub: https://github.com/kobby-pentangeli
Rust/C++ cryptography engineer with strong bias towards zero-knowledge proofs (ZKPs) and compilers. Currently leading the open-source implementation of a Turing-complete programming language for writing ZKPs; Rust-native syntax, Winterfell STARK backend: https://github.com/maatlabs/maat
I’m not sure what you mean by a “casual setup,” but I find Cargo to be very easy to use. Granted, compilation can be pretty slow, but it’s a small price to pay for the runtime performance.
If by “faster feedback” you mean something that looks and feels like Python’s REPL, then I think you’re missing the point here. Rust is a compiled language.
With this new workflow, however, we should, uncompromisingly, steer the entire code review process. The danger here, the “slippery slope,” is that we’re constantly craving for more intelligent models so we can somehow outsource the review to them as well. We may be subconsciously engineering ourselves into obsolescence.