divtiwari

Location: New York Remote: Open to any form of work (Remote, Hybrid, In-office)

Willing to relocate: Yes

Technologies: Java, Python, Scala, C, bash, Golang, SQL (Oracle, SQL Server, SQLite), JavaScript, HTML, CSS, Linux, Kubernetes, Docker, Kata Containers, Apache Ignite, Caffeine, gRPC, Spring, Prometheus, Grafana.

Résumé/CV: https://drive.google.com/file/d/1AtqD3KNSGepJzbthrpjGO33knVc...

Email: divyaankt21 [at] gmail [dot] com

Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I possess around five years of experience in the Systems domain spanning across industry and academia. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I have worked on implementing Containerization support (using Kubernetes, Docker and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.

Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.

From Wang's Wikipedia:

"During the height of the COVID-19 pandemic, Wang was roommates with his friend Sam Altman, the chief executive officer of OpenAI."

Two mutli-millionaires being roommates sounds pretty strange/funny/weird to me.

Location: New York

Remote: Open to any form of work (Remote, Hybrid, In-office)

Willing to relocate: Yes

Technologies: Java, Python, Scala, C, bash, Golang, SQL (Oracle, SQL Server, SQLite), JavaScript, HTML, CSS, Linux, Kubernetes, Docker, Kata Containers, Apache Ignite, Caffeine, gRPC, Spring, Prometheus, Grafana.

Résumé/CV: https://drive.google.com/file/d/1AtqD3KNSGepJzbthrpjGO33knVc...

Email: divyaankt21 [at] gmail [dot] com

Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I possess around five years of experience in the Systems domain spanning across industry and academia. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I have worked on implementing Containerization support (using Kubernetes, Docker and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). This work is currently under submission with me as a co-first author. Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.

Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.

Location: New York

Remote: Open to any form of work (Remote, Hybrid, In-office)

Willing to relocate: Yes

Résumé/CV: https://drive.google.com/file/d/13qErEVDaxEQUrkSjk6XqJXPAxB-...

Email: divyaankt21 [at] gmail [dot] com

Hi, I'm Divyaank! I am looking for Software Engineering roles focused towards backend, data, infrastructure and distributed systems. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I am presently working on implementing Containerization support (using Kubernetes, Docker and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.

Before FSL, I worked for three years in the FinTech industry at MSCI Inc., first as a Site Reliability Engineer (earning a fast-tracked promotion in the process) and then as a Backend Engineer.

Location: New York

Remote: Open to any form of work (Remote, Hybrid, In-office)

Willing to relocate: Yes

Résumé/CV: https://drive.google.com/file/d/1Dkt5iuSmAAPYsUZnFrzmoapc4jE...

Email: divyaankt21 [at] gmail [dot] com

Hi, I'm Divyaank! I am looking for Backend Engineering, Data Engineering and Distributed Systems positions. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C/C++, Go, JavaScript, Spin/Promela. I am affiliated with the File systems and Storage Lab (FSL) (https://www.fsl.cs.stonybrook.edu/). I am presently working on implementing Containerization support (using Kubernetes and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.

As a part of Gen Z, I feel that with regards to critical thinking skills, our generation got obliterated twice, first with Social media (made worse with affordable data plans) then followed by GenAI tools. You truly need a monk level mind control to come out unscathed from their impact.

Location: New York

Remote: Open to any form of work (Remote, Hybrid, In-office)

Willing to relocate: Yes

Résumé/CV:

https://drive.google.com/file/d/1Dkt5iuSmAAPYsUZnFrzmoapc4jE...

Email: divyaankt21 [at] gmail [dot] com

Hi, I'm Divyaank! I am a Masters in Computer Science student at Stony Brook University graduating in May 2025. I am looking for Backend, Distributed Systems and SRE positions. I am proficient in Java, Python, Kubernetes, SQL, bash and have dabbled with Scala, C/C++, Go, JavaScript, Spin/Promela. I am currently working with Prof. Erez Zadok in his File systems and Storage Lab (FSL) (Link: https://www.fsl.cs.stonybrook.edu/). I am presently working on implementing Containerization support (using Kubernetes and Kata Containers) for Swarm Verification (https://spinroot.com/swarm/) used by Metis (https://github.com/sbu-fsl/Metis). Previously, I used Metis to discover kernel hang bugs in the Journaled File System and submitted patches to the Linux kernel to fix these bugs[https://lore.kernel.org/lkml/8c7b1d37-758a-46b2-b8aa-afd3331..., https://lkml.org/lkml/2024/7/5/899]. Additionally, I have also volunteered as an Artifact Evaluator at ASPLOS '25 and FAST '25 conferences.

I don't know why, but as a non-American, this seems to be more of a Nerd vs Jock kinda thing. Am I correct in my interpretation?

Thanks for linking this course!! Seems to be very nice!! Would go through it.

Lol!!! Made my day:)

Such a nice post!! Since 2017-18, even I have had the desire to jump into Android Dev, I tried a couple of times, but it couldn't hold my attention for more than a couple of weeks. Also, I think doing Mobile/Desktop development in general is a pain in the ass, as the platforms are very fragmented and they would never arrive at a single platform due to corporate interests. Since working n the industry, I eventually found out that I had more inclination for Backend/Systems Engineering stuff and look forward to develop my skills in these domains.

Thanks for the advice

Thanks for the advice, would start from today!!

Thanks for the advice!!

Would OCaml be a good language to use here? It would be my first time in AoC, want to learn OCaml as well.

Oh I see, thanks for the info!! I'll see what I can gain out of it. Thanks once again for the info!!

Hey, I just skimmed through this, it seems to be brilliant!! Just one question, can one go through this tutorial without much knowledge about Ruby? Should one read it with 'Ruby Under a Microscope'? I have a decent enough knowledge about compilers, have gone through Thorsten Ball's, 'Writing an Interpreter in Go'.

I'm currently diving deep into Compilers and Programming Language Theory. Have subscribed to the subreddit/Discord of r/ProgrammingLanguages. Also trying to implement/read these books:

1. 'Write a Interpreter in Go' by Thorsten Ball

2. 'Write a Compiler in Go' by Thorsten Ball

3. 'Crafting Interpreters' by Bob Nystrom

4. 'Ruby under a Microscope' by Pat Shaughnessy

Also, I'm trying to learn Racket in my spare time.

I would recommend reading/implementing the below:

1. 'Write a Interpreter in Go' by Thorsten Ball

2. 'Write a Compiler in Go' by Thorsten Ball

3. 'Crafting Interpreters' by Bob Nystrom

4. 'Ruby under a Microscope' by Pat Shaughnessy

Nice advice!! Would definitely start learning it from this year itself.

Do you recommend it for those developers not working in the C/C++ space?

Should one learn Rust, lets say after 3-4 years, i.e by mid 2020s, once it becomes more mainstream? The syntax of Rust is a mix of OCaml/C++ and I feel some of the concepts are very esoteric for a normal enterprise Java/C#/JS/Python developer, so it takes a lot of cognitive overload to master it. So is it worth learning now or later?

Lol, now we attacking Hinduism for spreading of Corona? Expected something like this tbh. :)

> semi-experimental operating system project

Fuchsia? :)

Although you are being downvoted, as an Indian I completely agree with your comment!! Sadly it will never happen :(

FYI 'Saag' is just a generic name to refer to gravy dishes, that are eaten with chapatis. There are hundreds of varieties of saag.

My thoughts exactly!!

Water is wet, who would have thought!!

Sad to hear about your fiancee. Good that this helps in keeping her alive in your memories.

I'm currently learning Ruby as I plan to implement the 'Building Git' book by James Coglan. Ruby has lot many features/syntactic sugar and a weird OO model. Makes me feel quite uncomfortable. Also, no good IDE except RubyMine.