And Idris even enables a type-safe version: https://www.youtube.com/watch?v=fVBck2Zngjo
So if you mismatch the types you'll get a compile time error instead of a run time error.
482 karma · joined January 6, 2012
srodal / gmail
So if you mismatch the types you'll get a compile time error instead of a run time error.
Is there no welfare for people who aren't able to make a living in your country?
Sounds like slavery. Is it humane to have a system designed so that people are stuck doing work they hate just to avoid starvation and homelessness? When we could greatly improve overall wellbeing through increased automation and redistribution?
There's a glacier arm in Norway named after the farm it swallowed during the Little Ice Age: http://en.wikipedia.org/wiki/Nigardsbreen#History
> Between 1700 and 1748, the glacier moved forward about 4 kilometres (2.5 mi) completely covering and crushing the "Nigard" farm (hence the name of the glacier). By 1748, the Nigardsbreen covered about 48 square kilometres (19 sq mi). From 1930 until 1939, the glacier retracted again.
Indeed.
"Engineers will work during the preferred hours of the clients."
"For example, if the in-house engineers start their workday at 11am PST, our Eastern European Toptal engineers can often start working at 7pm EET and work through the night if that's what the client needs."
Requiring their engineers to sacrifice their health and personal life in this way sounds insane.
And to point you to this comment in the same thread: https://news.ycombinator.com/item?id=9205724
It's fully possible for one person in the chain to get positive utility from employing someone while society as a whole gets negative utility, considering negative externalities and race to the bottom-style situations, or a way less than optimal utility if you consider opportunity costs.
Also, evolution doesn't care about life span, beyond what is necessary to ensure the survival of genes across multiple generations.
Risk and lack of a safety net prevents people from working on their own thing.
Yeah, I guess the norm is too strongly ingrained, and employers like to keep it that way. If there was a "free" labour market you'd expect more variation, as it can't be right that the standard amount of working hours are perfect fit for everyone. Ditto with number of vacation days in a year, etc - in an ideal world it would all be negotiated based on individual preference. The status quo causes symptoms such as rush hour traffic, overly expensive flights and hotels as everyone goes on vacation at the same time, and people who are wealthy in monetary terms but starved of leisure time. It seems like this often leads to making up for it through overconsumption - to spend the extra income that the full time worker might not really need to satisfy his basic needs and wants.
Unfortunately I haven't made such attempts, and I'm currently a freelance contractor which already means I have more spare time when I want as I decide myself how many hours I work. I know about ex-colleagues who negotiated a four day working week for a commensurate reduction in salary, though that was in Norway.
The tyranny of the 40+ hour work week. Why is it that so few people are willing and/or able to negotiate working fewer hours in a week, for example 6 hours a day or 4 days in a week?
Is it fear of being fired for making such a request? Are the employers so powerful and the employees in such a weak bargaining position?
Or the fear of having to take a pay cut? Maybe people get used to too expensive life styles instead of keeping living frugally when the money starts rolling in. They're then in the fragile position of not being able to afford a slight reduction in income.
It's kind of sad that there is not a lot more individual variation in working hours, when people are simultaneously lamenting their lack of free time.
"According to the World Health Organization (WHO), Andorrans' average life expectancy is 83.5, officially the highest in the world."
The standard layout is just horrible, reaching "v" and "b" with the left index finger while keeping the rest in home position requires an uncomfortable amount of stretching. Even for the right hand, I think the standard layout errs on the side of too much stagger, which is evident when using the pinky to hit the "/" key. There is certainly a lot more wrist distortion than when using the TypeMatrix - there tends to be less distance between the "a" and "l" keys on a standard keyboard as the TypeMatrix places the Enter and Backspace keys in the middle. I guess the Kinesis Advantage might be more ideal in that regard, though I don't suffer from any significant wrist distortion with the TypeMatrix. My hands tend to look like this when using it: https://ploum.net/images/tmhands.jpg
The small size of the TypeMatrix also makes it a win for me, as I occasionally bring it along with the laptop when I sit in the couch for example.
Qwerty is another inefficiency, and I use Colemak myself. The difference between a standard keyboard and the TypeMatrix is still far from negligible.
A good way to see if a keyboard actually tries to be ergonomic is to see if the left and right hand layouts are relatively symmetrical.
They say it's the first five minutes per day that give the most benefits: http://www.latimes.com/science/sciencenow/la-sci-sn-five-min...
Maybe you should consider trading some of that running for walking instead.