leto_ii

53 ms·

511.
by leto_ii 7y ago
Thanks!
512.
by leto_ii 7y ago
I see, thanks. I do have some experience with proofs and maths in general, but I never went through a text dedicated explicitly to developing proving techniques. I might give it a go anyway, but do you know of a more advanced version of thi
513.
by leto_ii 7y ago
Does anybody have any experience with How to Prove It? by Velleman? Recently I was thinking of starting on it, but I'm not sure about the level of commitment necessary.
514.
by leto_ii 7y ago
> I'm curious as to how they would do this. No documentation, testing or code reviews, selective knowledge sharing (only to some people at some times, the others might get yelled at), code that is not easy to understand on its own (
515.
by leto_ii 7y ago
> Ultimately, developer retention and hiring suffer because no one wants to work on these products. This was/is indeed the case for that organization. > The institutional knowledge leaves through attrition They have addressed thi
516.
by leto_ii 7y ago
> I find it hard to believe that something like this wouldn't collapse under its own weight fairly quickly. At least in the case of that company the collapse will be a slow crumbling, not a big bang. What I expect will happen is tha
517.
by leto_ii 7y ago
My personal conclusion is that (unfortunately for people who care about quality and craftsmanship) in many industries it's enough for software to be "good enough". The rest can be covered with sales & marketing. However I
518.
by leto_ii 7y ago
Many of the points made in the article seem pertinent to me, however I think thinking in terms of discrete levels of seniority is counterproductive. I also think that there isn't a single dimension of seniority that we should talk abou
519.
by leto_ii 7y ago
In case you find this interesting, there's an entire field dedicated to this kind of models: https://en.wikipedia.org/wiki/Agent-based_computational_econ...
520.
by leto_ii 7y ago
As a Romanian I can testify that Iqos is quite prevalent. While smoking is normally prohibited inside, there are places where Iqos devices are allowed. They also have a fancy building to showcase their products in the Bucharest city center,
521.
by leto_ii 7y ago
Productivity is not the same as hard work. A guy with a pickax can work very hard and still be a lot less productive than a guy with an excavator.
522.
by leto_ii 7y ago
Not directly related to the article, but here's a bit of context regarding the industriousness of different populations: https://en.wikipedia.org/wiki/List_of_average_annual_labor_h... As can be seen, Greece is to
523.
by leto_ii 7y ago
> On the other hand, organizations that are able to keep their internal deliberations private have a strong advantage over ones who must ‘think’ openly. I agree, but an advantage over whom exactly? In this case it's simply an advant
524.
by leto_ii 7y ago
In representative democracies people don't really have much control over the day to day operations of the government. They are also often deliberately kept in the dark about the decisions being made. Even if they had the necessary info
525.
by leto_ii 7y ago
Conveniently, Greece is just below Germany in the table, making for easy comparison: https://en.wikipedia.org/wiki/Retirement_age#Retirement_age_... Regarding early retirement, I'm sure this is the case in many &q
526.
by leto_ii 7y ago
> Greece was in much better shape before the 2008 crisis than Lithuania. Now Lithuania has a higher GDP per capita than Greece Shouldn't this actually make you wonder whether the Greek austerity was a good idea? > It really makes
527.
by leto_ii 7y ago
> People in private converse completely differently (more freely) than in public. We're not talking about private individuals discussing private matters informally here. These are people with great power arguing over the fate of mil
528.
by leto_ii 7y ago
I really don't think in this case there would be any national security issues.
529.
by leto_ii 7y ago
Might be worth taking a look at And the Weak Suffer What They Must? . While I still think Varoufakis is a bit too much of a calculated politician, the book is compelling in showing that the treatment imposed on Greece stemmed to an importa
530.
by leto_ii 7y ago
The Economist recently had some more detailed plots on the crack cocaine discontinuities: https://www.economist.com/graphic-detail/2020/01/18/smoking-...
531.
by leto_ii 7y ago
The left side of the base of the pyramid seems parallel to the road to me.
532.
by leto_ii 7y ago
The view from Google maps is far less convincing to me.
533.
by leto_ii 7y ago
I'm still not convinced. Are you sure the photos are valid? Is curiosmos a trustworthy site? William Matthews Flinders Petrie is mentioned as having written La Description de l’Egypte in the 1700's - this is inaccurate, the man
534.
by leto_ii 7y ago
I saw a similar post recently on a different site. This seems fake to me. Does anybody have different, perhaps more reliable sources to confirm this?
535.
by leto_ii 7y ago
> This happens more often in family business It may be even more prevalent in large corporations. Wherever there are many layers of management there's a lot of room for people who like climbing the greasy pole.
536.
by leto_ii 7y ago
> As far as I am concerned, pretending that bad actors simply do not exist has allowed some of the greatest problems I've seen plague organizations Absolutely. In my experience there are vicious cycles at play. Political people (tha
537.
by leto_ii 7y ago
I think the best that we can do is to observe people over time and slowly build trust or distrust. Work interactions I guess could be treated as a repeated game with imperfect information. We have to try to refine our priors iteratively. Th
538.
by leto_ii 7y ago
Does the advice in the article apply to interacting with people who are not well-intentioned? In my experience the truly impossible collaborations always involved people who wanted to play politics, take credit for stuff they didn't do
539.
by leto_ii 7y ago
Thanks for the recommendation, I'll check it out.
540.
by leto_ii 7y ago
> Just in terms of salary isn’t an union somewhat contradictory to the engineering ethos of meritocracy? I've seen that other commenters have already pointed out that the two are not incompatible. However, with the risk of getting s

More ›