alexibm

Just few hours ago, while driving, I was driving and thinking of one of the books - Little Book of Semaphores. I need to go through some the algorithms and try to formally verify them in COQ, since I'm learning how to do formal proves.

Recently, I was in Germany (I live in Baltimore, MD) and was pleasantly surprised that a lot of goods are made in Germany. It is hard to find anything in our stores that isn't made in China.

Please, take my sympathies. It is one of the most heart breaking stories I have read on HN. Stay strong.

Hello, I have found your comment to my prev. comment, posted some months ago "Hey alexibm. Since neither of us included contact info in our profiles, commenting here instead of a PM. I stumbled across one of your prior comments. All I want to say is I hope you're now doing well. Or least better. I'll delete this reply in a few days, or after you acknowledge, which ever comes first."

Thank you for looking out for me. I'm pretty sure, I know the comment you are referring to. At this point, it is been over 2 years. I would not say, I'm completely healed over, but I'm in a lot better place than I was before. To this day, I have bad days.

Person in question, who caused a lot of needless harm to me, recently popped-out on my FB (haven't spoken to her in 2 years). She was not apologetic, instead, she told me how fun it is skiing in Alps. When I question, if she understands that she caused a lot of harm to me, she went silent. From what I understood, she wanted to see if I have forgiven her since then ... I didn't. Asked her to never come back to my life.

Unlike a lot of people on HN, I don't like Herman Miller Aeron that was a gift from my parents & brother for my birthday few years ago. I find it to be very unforgettable to sit in it for a long time.

"Gold medal" ??? You are probably from Ex-Soviet countries or one of their ex-satellites. Limiting number of people who can attend undergraduate studies by setting bar so high that 99% people will fail either by failing entrance exam or grades to get in, is a dumbest given such a prevalence of Computers everywhere.

"fall madly in love!" with GAP (Computer Algebra System)

"9.0 Open source doesn’t bring major tech innovation to market". You have to have some balls to say that. Major mathematical libraries used in HPC are OSS.

I'm so tired of comments like "startup is disrupting the [xyz] industry." No they don't disrupting anything. They didn't invent anything. They are just planning to grow and sell mushrooms. Growing mushrooms is well know process.

Look at Arnold's book on Diff, it is harder then others, but has absolutely different outlook.

I'm not sure what kind of flippers you are referring, but usually there are no loans. Cash purchases - 100% for the entire value of the property. Source: my parents are prof. flippers.

Thank you for sharing your experience. I have been with the company for a year now (prior to that I had number of years as dev) and to be honest, I am not too familiar with union side of UPS. But I had multiple conversations with higher managers & leads and they told me how they went out delivering packages. Lead developer who manages team I work in, been with company for 15 years, has driver delivery jacket hanging in his cubicle that he received when he was delivering packages few years ago.

Just recently I got this email: "Directors, A Peak Volunteer Request has come in for Maryland. The request is strictly for Driver Helpers. They are looking for any volunteers that are able to give at least one week.[...]"

Every IT employee is a manager, no matter how high you rank is. James E. Casey(founder) recognized that technology will drive the company and technology employee are the one who make company operational 24/7. If for some reason I (or any other manager) ends up at sorting facility and there is no one in charge, I must step in and take the charge of operations.