
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
rocq-community
Blockchain Developer
June 26, 2026 – Present
TwoPhoneSteno
January 27, 2025 – February 12, 2025
cheaper than a professional stenotype machine and yet more ergonomic
View ProjectCrusgkeo
February 9, 2023 – May 30, 2023
candy crush clone for OOP course. unlikely to be interesting, but the repo is public nonetheless
View ProjectCoqCP
January 18, 2023 – July 23, 2025
We combat sloppy arguments in competitive programming and raise the standard of rigor
View Projectlftim
January 6, 2022 – August 27, 2022
Mathematical learnings with Lean, for those of us who wish we knew more of both!
View Projectquinn
September 16, 2020 – October 11, 2020
This is a patch for the quinn library to emit UDP datagrams to async-std channels.
View Projectcontrasleuth
March 3, 2020 – October 3, 2023
Consider it an experiment. A wild experiment.
View Projectmathlib3
July 21, 2017 – June 28, 2024
Lean 3's obsolete mathematical components library: please use mathlib4
View ProjectCultural Fit Analysis
The candidate's project portfolio demonstrates a strong inclination towards academic rigor, formal methods, and open-source contributions, which could align well with a culture valuing deep technical exploration and community engagement. The current role as 'Blockchain Developer' at 'rocq-community' directly aligns with the target role. However, the projects are predominantly personal, and the experience level is listed as 0, suggesting a potential lack of professional team collaboration experience. The diversity of technologies (Lean, Python, Shell, TeX, Dockerfile, HTML, Rocq Prover, TypeScript, JavaScript, Solidity, Rust, Kotlin, CSS) indicates a broad interest but also a potential lack of deep specialization in core blockchain infrastructure beyond Solidity.
Soft Skills & Operational Fit
Insufficient data to assess soft skills and operational fit. The psychometric test score is 0, and no interview data is available.