Here in germany I would say that the median salary for teachers is quite close to a software developer's one. I know Teachers that earn more/ have more benefits with less work years experience than me. (Not complaining tho, I just hope they put that into good use)
Hey nicbou, a fantastic website thanks for your efforts.
While reading your Bank article I noticed a potentially outdated information concerning ING as I am also an expat and was able open a bank account there.
"ING: You need German permanent residence or citizenship to open an account. Some students could open an account with a residence permit. Their customer support speaks English."
I'm rewriting it as we speak. It's my main focus this month.
Can you tell me more? When and where did you open an account? What residence title do you have and what is your nationality? Feel free to email me the answer if you prefer privacy.
Not the parent but I had similar experience: I could open an account by ING.
Opened end of 2022, fully online. I have italian citizenship; my residence title was just... resident? I had the Anmeldung for the apartment I was living in.
But it wasn't all easy. I needed:
- A german telephone number.
- A document (with a MRZ) with my german address in it.
- Not sure but maybe they also asked about my job?
The document was critical for me; I had to go to my embassy and apply for a new id that had my german address.
Also everything was fully in german, no english whatsoever.
I guess this is rather category #2 than #3, but my favorite example is Advent of Code 2021, day 24: https://adventofcode.com/2021/day/24. I think many people consider this one of the hardest AOC problems ever and at the time many people didn't even code up a complete solution but solved in manually (me included). However, with Prolog it's almost trivial. So many of Prologs strengths come together here: writing parsers, writing interpreters, solving integer constraints, and in particular "reasoning backwards".
I was writing a theorem prover for higher-order modal logic. All the theorem provers written in C or C++ were tens of thousands of lines, and even at that they had only a fraction of what I needed. What's more, they were all like 100 times *slower* at proving theorems which prolog could prove out of the box.
So I decided to try to implement the features I needed on top of the theorem prover which prolog already is.
Took me forever, but eventually it all came together like a thunderclap, and I was able to implement a theorem prover for quantified, higher-order modal logic which was amazingly-blazingly fast--in 67 lines of prolog.
In terms of lines-of-code per day, its the least productive I've ever been :-)
