nradk

năm ngoáidiscuss

Been running Immich for a couple years now and it has been awesome. There are a few rough edges but I’m sure most of them will be smoothed out by the first stable release.

nradk

năm ngoáidiscuss

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.. :)

nradk

2 năm trướcdiscuss

  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.

nradk

2 năm trướcdiscuss

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.

nradk

8 năm trướcdiscuss

He has written a python library called "manim" for his visualizations https://github.com/3b1b/manim

nradk

8 năm trướcdiscuss

Vim!

Submissions

My home servers are not a homelab

De-googling, so far

Algorithmic Poems

Proving 1>0

Observations of a chronic procrastinator

comments