Last year I taught myself a good deal of category theory, and you're right, five minutes is not really enough to learn most things - but it is enough time to start an exercise - and those five minutes often turn into something longer!
We used this to make updates to the NHS Patient Demographic Service (which stores names, addresses, contact information). The records are pretty detailed (FHIR) and there's a lot of business rules and deep nesting.
It worked really well, and our users had no problems making JSON Patch requests.
Fantastic. First time I saw something similar to this was Edwin Brady’s recent demo of Idris 2. It’s quite amazing just how much of a program can be machine-written when the types are strict enough.
I hope holes & case-splitting get into many more languages.
Yes, once I got to know sum-types with match destructuring in F#, every other programming language that doesn't have them feels inferior. It's just such a practical idiom.
I don't know, some of that is at least starting to happen with Idris 2, though not in the exact way predicted: https://www.youtube.com/watch?v=mOtKD7ml0NU (Type Driven Development with Idris 2)
Short summary of linked video: when your type system is powerful enough you can restrict the set of possible implementations to the point that the compiler can make a decent guess as to what the program should be to satisfy the type signature.
Yep. Your average SV engineer might be able to afford a Tesla and still have plenty room to spare in their budget, but your average EU-based engineer doing the same job is never going to get anywhere close.
I guess if companies were to go all-remote, and offer equal pay to anyone, based on the sheer numbers the equalized salary will be closer to that on Bangalore rather than SV. So as a EU resident I wouldn't complain much, there are a lot of people who envy our salaries too.
It doesn't work that way. If outsourced workers produce the same economic value they will eventually get paid the same amount. Incomes in China are rising, not falling. Poverty is the result of low productivity and if you increase productivity you decrease poverty.
Imagine if you are building cars worth $20000 for $5000 and undercut western companies. Your car is worth $20000 so instead of undercutting you can just sell it for $20000 and take $15000 profit which then leads to more demand for employees which then leads to increased incomes once unemployment is down.
Cool, thanks for the tip about NixOS! I think I like the flexibility of running scripts and picking and choosing... But a Dockerfile in the repo might be a cool way to tie everything together. Submit? :)
Yes, but make sure you know what your country's tax laws are. US companies can even hire foreign workers as employees, so long as the contract meets to requirements of each country's working laws (e.g. paid time off and minimum wage in the EU). In that case it's best to get an accountant that has done it before.
In Poland, there's minimum wage for contractors as well... That's because hiring contractors was a popular way to get around minimum wage for employees (along with some benefits). So, the lawmakers decided to make the law ridiculous instead of focusing on punishing the companies which hire employees as contractors to evade law.
While that's true, I did ask it for freelancers, I wouldn't mind to broaden the discussion to employees as well since it's quite related to it and I'm mostly asking out of curiosity.
If they are a contractor, mostly yes. If they are an employee, you have payroll tax, tax withholding, etc.
ADDED: And, if you're working full-time for someone as if you were an employee, you may not actually be allowed to be a contractor. See the current Uber discussion going on in California.
"depends". In the UK the employer pays taxes on behalf of the employee, so if you only work for someone(instead of running a company) you never have to file a tax return, everything is calculated and done for you.
It is, so the individual needs to be aware of what taxes apply to them - and especially if you're making bay area money, it's probably a good idea to have an accountant to make sure your tax returns are correct and efficient.
Last year I taught myself a good deal of category theory, and you're right, five minutes is not really enough to learn most things - but it is enough time to start an exercise - and those five minutes often turn into something longer!