nilkn

47 ms·

541.
by nilkn 7y ago
Elm confronted a dizzying amount of abstraction and category theory prevalent in Haskell implementations of FRP and over time converged on a solution so amusingly simple that it ended up dropping the FRP branding entirely because it just se
542.
by nilkn 7y ago
As others have shown, Elm is actually super good at stuff like this because you can just write resuable pure Elm functions using functional primitives like map and filter.
543.
by nilkn 7y ago
I think relying on China is about to become a very risky growth strategy. While China's population is much larger, the US is still large and very rich, and an American company is always going to understand how to develop and market pro
544.
by nilkn 7y ago
Elm really raises the standards in this area far beyond most languages. This isn't something to be bothered by but rather something to see as an example to be emulated elsewhere.
545.
by nilkn 7y ago
As an engineering manager and director, I’ve found a lot of the value in planning (including but not limited to estimation) is having the team, stakeholders, and executives all engage in the exercise of thinking deeply about various ways th
546.
by nilkn 7y ago
If it's this simple why aren't other companies entering the market offering steep discounts? I don't see how such an arbitrary and vast margin could be sustained in the presence of even minimal competition.
547.
by nilkn 7y ago
I too developed this habit. Then I forced myself to stop and realized that DDG actually was working fine for the great majority of my queries. I almost wish the bang wasn't there, because it makes it so easy to second guess DDG's
548.
by nilkn 7y ago
There needs to be a way to reward managers for running teams/organizations that have a big impact with low headcount. After a certain point, in most organizations, the management promotion game becomes almost entirely about headcount u
549.
by nilkn 7y ago
And I say the answer is no, because (b . c) is an arbitrary pair, not a list. It would appear that we’re at an impasse.
550.
by nilkn 7y ago
The one notable experience I have with Costco is with buying a Samsung TV. The Samsung warranty only lasted a year. Costco extended it free of charge to two years. They offered in-home delivery for a great price, and on the eve of the two y
551.
by nilkn 7y ago
I'd disagree with you on that. If the document can't clearly define the terms it's using, it cannot function as a formal specification of a language. The writing as it stands now is far too ambiguous to serve such a role. You
552.
by nilkn 7y ago
So you agree it’s ambiguous and one cannot formally deduce the meaning of the expression without making assumptions. One must assume that objects that don’t fit the definition of list can be substituted in for lists within some contexts (bu
553.
by nilkn 7y ago
That would only be true if (b . c) were a proper list. But it’s not. Strictly speaking, it’s not even a list if you go by the definition of list provided before your quoted rule. It’s later called a “dotted list” to distinguish it from a li
554.
by nilkn 7y ago
It doesn't. That definition applies only to expressions like (a b c) which do not contain the dot operator at all. (a b . c) is not of the form specified. Moreover, every object of the sort defined via (a b c ...) is a proper list, and
555.
by nilkn 7y ago
While I think this is the correct interpretation, I do not think it's actually implied by the language specification. In fact, I think the notation (a b . c) is simply undefined -- there's no way to formally deduce what it means f
556.
by nilkn 7y ago
Firefox also offers the Tree Style Tab extension. If you’re working with limited screen real estate (e.g., smaller laptop) it may not be ideal, but on a full-sized monitor browsing the internet without it feels downright antiquated. My hier
557.
by nilkn 7y ago
Even with Zoom, Slack, BlueJeans, etc., there's an incredible amount of communication fidelity lost compared to in-person meetings. Running effective and productive in-person meetings is already hard enough and something that many comp
558.
by nilkn 7y ago
The counterpoint is that LeBron James already makes over $35 million per year (not counting endorsements -- his net worth is in the hundreds of millions) and therefore is actually in an excellent position to take a stand against a dictators
559.
by nilkn 7y ago
It's really not about morals at all. It's about money. China is the world's most populous country, and a surprising number of American industries are fairly dependent on revenue from Chinese customers. This effectively gives
560.
by nilkn 7y ago
I think the point is about vocabulary more than anything. Most people (in the US) understand the word "pension" to specifically refer to a defined benefit plan.
561.
by nilkn 7y ago
Pensions for teachers are certainly common. I grew up in a completely different part of the country and all my teachers also had pensions. I'm not sure how the median income is a poor indicator -- she makes as much as the median househ
562.
by nilkn 7y ago
My partner is a teacher. She does indeed work 40 hours per week on average, has extensive time off for holidays, has the full summer off (she doesn't work at all during it), has a pension that when she retires will easily fund her life
563.
by nilkn 7y ago
It’s almost 2020, not 1940. We have major cities that are majority nonwhite. We have entire statewide school districts that are mostly nonwhite. We have huge metropolitan areas that are mostly nonwhite. You can walk into an expensive luxury
564.
by nilkn 7y ago
It's a great exaggeration to say the numbers are meaningless. Just shy of 90% of Harvard undergraduates are from the US and its territories: https://college.harvard.edu/admissions/admissions-statistics
565.
by nilkn 7y ago
I prefer not to get major news from Reddit. The New York Times is covering this in great detail: https://www.nytimes.com/2019/09/30/world/asia/china-national...
566.
by nilkn 7y ago
I think it depends on the team and your role. In many cases, much of your value comes from being a team member, not a lone wolf, which extends beyond your personal git commits. Sometimes being available to answer questions, remove blockers,
567.
by nilkn 7y ago
I suspect this is a story of two low performers colliding and causing problems for each other. "John", the director of engineering, was fired, probably for some of the reasons the author points out. But there are also many signs h
568.
by nilkn 7y ago
For what it’s worth, my understanding is they were actually trying to fix the situation but users conceptualize being “verified” as a sign of status and so got upset. A lot of YouTubers are currently “verified” for whom there is no risk of
569.
by nilkn 7y ago
The problem is really that a PhD doesn't get you to reading level either. It might get you there in only one specialized subfield. And there might only be a few dozen other people who are also at reading level for that area. How much d
570.
by nilkn 7y ago
I think I'd have a less negative reaction if people actually had a decent amount of personal space in these floorplans. In the photo at the top of the article, two people could scarcely yawn and stretch at the same time without making

More ›