I worked with Mihai (remotely) on the developer tools team when I first joined Mozilla about five years ago. He was one of the most incredibly passionate developers I've ever had the pleasure of working with, and he had an enormous impact on the quality of the developer tools in Firefox. If you've ever used the developer tools, chances are you've interacted with his code; he had a front and center role in the console and was one of the key reasons why Firefox developer tools went from zero to world-class in just a few short years.
This is a very sad moment for everyone. Thanks for everything you did, Mihai.
This is very sad, I was born in a different city in the same country and I remember how proud we felt about 5 yeears ago when we learnt that dev tools were being worked on by a fellow Romanian.
This article[0] is so sad it made me cry. I just cannot imagine having this kind of serenity in the face of imminent death.
This is a very sad moment for everyone. Thanks for everything you did, Mihai.