Console.mihai();

Re:Console.mihai(); by pcwalton on Monday April 27, 2015 @05:01PM (#9449042)

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.

[ Parent | on HN ]

Re:Console.mihai(); by cbaleanu on Monday April 27, 2015 @05:15PM (#9449128)

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.

RIP

http://mihai.sucan.ro/mihai/blog/touched

[ Parent | on HN ]

Re:Console.mihai(); by rufugee on Monday April 27, 2015 @09:56PM (#9450203)

Certainly makes my petty daily concerns seem infinitesimally small. Thanks for linking to that.

[ Parent | on HN ]

Re:Console.mihai(); by ChristianBach on Monday April 27, 2015 @10:13PM (#9450260)

Wow I had no idea. What a guy. May he rest in peace.

[ Parent | on HN ]

Re:Console.mihai(); by spaceguerrilla on Tuesday April 28, 2015 @01:03AM (#9450597)

very sad indeed

[ Parent | on HN ]