Michael Krasnitski
Research Scientist
Summary
🤩
RockstarMichael Krasnitski is a research scientist and security researcher with seven years of hands-on experience in Rust and backend systems. He focuses on improving developer tooling and code quality, contributing significant refactors and API cleanup to Binary Ninja's Rust bindings and enhancing safety-oriented lints in rust-clippy. Michael has extended real-world libraries like serenity to provide practical HTTP and webhook features, demonstrating an ability to add ergonomic, builder-pattern APIs to existing ecosystems. His work blends low-level intermediate-language changes with high-level API design, showing comfort across abstractions that most engineers keep separate. Based in the United States, he pairs a security mindset with a hobbyist’s passion for Rust, often surfacing non-obvious improvements that boost maintainability and correctness.
8 years of coding experience
Github Skills (16)
linting10
clippy10
code-analysis10
rust10
api10
apidoc10
discord10
webhooks10
builder-pattern9
reverse-engineering9
source-code-analysis9
analyse9
decompilation9
program-analysis8
intermediate-code8
Programming languages (13)
Github contributions (5)
serenity-rs/serenity
May 2022 - Mar 2023
A Rust library for the Discord API.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:263 reviews, 40 commits, 219 PRs in 10 months
Contributions summary:Michael primarily contributed to the Serenity library by adding new methods to the `Http` client for interacting with the Discord API, particularly webhook functionalities. They implemented features such as extracting webhook information from URLs, creating and editing application emojis and forum posts, and managing message components and related features within the existing codebase. The user also refactored existing examples to better align with builder patterns and improved code quality.
discordrustdiscord-api
rust-lang/rust-clippy
Jul 2022 - Apr 2026
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Role in this project:Back-end Developer
Back-end DeveloperContributions:15 reviews, 9 PRs, 47 comments in 3 years 9 months
Contributions summary:Michael primarily contributes to the Clippy linter, focused on improving Rust code quality. Their work includes enhancing existing lints, specifically the `if_then_some_else_none` lint, by adding suggestions for `bool::then_some` and adjusting the lint description for better clarity. Additionally, they added a new lint for `extra_unused_type_parameters`, fixing false positives and including suggestions for improved code. The user is contributing to a tool for analyzing and improving Rust code quality.
rustlint
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.