nradk
Joined 8 years ago
Karma
114
Submissions
11
Member since
Nov 11
Joined 8 years ago
Location: Spokane, WA
Remote: Yes
Willing to relocate: No
Technologies: Java, Kotlin, Typescript, Python, C/C++, Rust, Git, Linux, AWS (DynamoDB, S3, Lambda, CDK, Batch, IAM, etc.), TLA+, Embedded programming.
Résumé/CV: https://www.linkedin.com/in/neeraj-adhikari/
Email: hi[at]nradk[dot]com
A generalist software engineer with 5 years of experience. Passionate about finding the right quality vs speed balance. Most of my experience is back-end, but I'm motivated by engineering challenges regardless of platform, language or stack. More recently interested in formal methods and dabbling in stuff like model checking and proof assistants.This is the most excited I've been about a programming project in years, and I'm looking forward to the fun and the learning. And I'm really curious to see how slow my intetpreter is going to be compared to the industrial-grade ones.