• 10 Posts
  • 402 Comments
Joined 11 months ago
cake
Cake day: August 7th, 2023

help-circle




  • Yep, programming is fun but working as a programmer not so much. For me writing software is a creative activity. It’s fun to come up with problems and find solutions for them. In my personal projects I decide what problem I want to solve, choose the technology I think will be fun to solve it in and then come up with a solution I like.

    At work you are usually handed a problem you don’t care about (we’re decommissioning X, you don’t have to know why, just change everything to use Y), the solution is described in detail by someone else and you just have to turn it into some code using 5-10 years old stack.

    Fortunately at my current job I mostly do projects without much technical oversight (proof-of-concept type project) so I can choose how I want to do then. I dislike the company culture but I know that moving somewhere else would mean going back to boring coding agian.





  • (We’re talking US only, right?) Isn’t the inflation already at 3.5%? The goal is usually around 2%. If the government wants they can get it to 2% by taxing extra corporate profits but even if they don’t do it and it will stay at 3% I don’t know if it’s an ‘era of inflation’. It could still be back to ~2% in a year or two if there’s no new war in the middle east. Now, looking at what’s happening in the middle east my bet is that there will be another war, the inflation will go up again (~10%?) and we’ll be stuck in this cycle until global economy splits and isn’t affected so much by local conflicts. You can already see this happening post war in Ukraine but it will take a decade or two. So I would say 1-2 years if manage to avoid another war, 10-20 if the current trend continues.




  • Yep, that’s correct. I never heard about Z3 and I did it by reverting all the operation. It takes couple of seconds of computer time to solve my way but it took me closer to 7h to figure it out. 1h is impressive.

    There are actually two possible solutions because some bits are lost when generating numbers. Can Z3 account for lost bits? Did it come up with just one solution?








  • Just say “Sorry, I have some urgent work to do. We’ll talk later”. People don’t care, no one will think you’re an asshole. You can say it right after ‘hello’ or after quick exchange. I mostly avoid talking to people at work. I have my ANC headphones, sit at my desk and do my job/browse lemmy most of the time. But when people need help with something I do it fast and without needless bureaucracy so a lot of people know me as a reliable guy. After all it’s work. Be polite, be professional, do your job and you’ll be fine. And if you meet someone who’s fun to talk to have lunch with them from time to time.