HN user

nradk

114 karma
Posts5
Comments6
View on HN

Well, I have nothing productive to say; overthinking nomenclature is probably even counterproductive. But I was actually quite curious to know if there are people like me who self host but don't use their setups primarily for experimentation or learning, and how they refer to their setup.. :)

  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.

I'm implementing a Scheme interpreter in Rust as a way to learn and get bettet in both of those languages (but mainly Rust). I picked the R3RS specification of Scheme as it looked like the simplest one, but I've been surprised by the complexity of numbers in Scheme.

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.