alexibm

5 ms·

1.
by alexibm 7y ago
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.
2.
by alexibm 7y ago
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.
3.
by alexibm 7y ago
Please, take my sympathies. It is one of the most heart breaking stories I have read on HN. Stay strong.
4.
by alexibm 7y ago
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
5.
by alexibm 7y ago
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.
6.
by alexibm 7y ago
"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
7.
by alexibm 7y ago
"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.
8.
by alexibm 8y ago
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
9.
by alexibm 8y ago
Look at Arnold's book on Diff, it is harder then others, but has absolutely different outlook.
10.
by alexibm 8y ago
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.
11.
Ask HN: Where to buy Qualcomm Centriq?
1 points by alexibm 9y ago|0 comments
12.
by alexibm 9y ago
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 man
13.
by alexibm 9y ago
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
14.
by alexibm 9y ago
UPS software developer from Lutherville- Timonium, MD office. My manager, who been with the company for over 20 years went out delivering packages in his car few years ago. Any employee, no matter how high the rank, if needed, should hop in
15.
by alexibm 9y ago
Just few days ago, I had conversation with my GF about Pit bulls. She told me that they are adorable dogs. Well... Pit bulls - the only breed of dogs that ends up on front pages of news. They are not dogs, they are weapons. Entire story rem
16.
by alexibm 9y ago
With this background, you can easily go through CLRS book. It does not req. advance math.
17.
by alexibm 9y ago
- Learn sequences, series and summations 1. "Real Analysis via Sequences and Series" (excellent) 2. "Theory and Application of Infinite Series" (Advanced, old, but very good) - Learn Real and Complex Analysis (on undergr
18.
by alexibm 9y ago
Could you be more specific, what areas of mathematics are you most familiar with and what have you done so far ? Here is my suggestion. I might be wrong, but you might have 0 skills actually solving mathematical problems. Most of the math y
19.
by alexibm 9y ago
If someone wants to see what Borderline is like, read this https://www.reddit.com/r/relationship_advice/comments/7gyl8d... Some poor soul posted this today.
20.
by alexibm 9y ago
What bothers me, is that all the Digital Design tools are freaking expensive and closed source. For example, building RISC-V is possible on FPGA board, but you have to have Xilinx tools (or some other brand).
21.
by alexibm 9y ago
I have gone to therapy, talked to friends and family members. Still, have this lingering pain, that doesn't go away.
22.
by alexibm 9y ago
In grand scheme of things, nothing terrible have happened to me. I didn't move to another country, we don't have kids (imagine having kids and getting being banned from entering country where they live) or house, no costly divorce
23.
by alexibm 9y ago
I am sorry this is happening to you as well. My last 10 months also have felt like an eternity. It also took me many years of finding someone I felt comfortable being with and having a family. In our age bracket loosing someone is extremel
24.
by alexibm 9y ago
She has traits of [Borderline?] Personality Disorder, but I found out about BPD after whole thing went down in flames and I started doing research. She is 35. Attractive. Abused childhood, absent mother that went around banging man and abus
25.
by alexibm 9y ago
Thank you for your kind words. Hopefully, it will get better. One thing that kills me, is that I am 35 and I have to deal with this shit during most productive years of my life and I can't fix them.
26.
by alexibm 9y ago
OP here. It helps to kill emotions, they become distant background noise while alcohol is effective. After a while, you have to keep-up with intake, in order to be in this state all the time.
27.
by alexibm 9y ago
I am 35M terribly heartbroken after my most important relationship for which I had great hopes, ended in a complete disaster almost 10 months ago. Person I loved the most, cheated one, shitted on me, got engaged to guy, sent me pictures of
28.
by alexibm 9y ago
Can you email me the tracking number of the "fake" delivery to adorfman@ups.com ? I will pull GPS coordinates + other data for you, of where & when the delivery was made/attempted.
29.
by alexibm 9y ago
I work for UPS as a developer and responsible for software that manages/tracks actual deliveries and delivery window. Can you provide some information about fake delivery attempts ? I will personally make sure that if there were "
30.
by alexibm 9y ago
I was born in ex-soviet Republic of Moldova and I lived in US for last 20 years. Watching in dismay, how world is just quietly watching Russia sabotage world peace in every possible way.

More ›