thinkpad20

11 ms·

61.
by thinkpad20 9y ago
As a nix user for several years this is pretty exciting. I hadn’t been following the 2.0 development, but I was really hoping to see a mention of support for something like a .gitignore equivalent when hashing directories from the filesyste
62.
by thinkpad20 9y ago
That is weird, and saddening. As a lifelong city dweller (primarily Chicago) I love the character, chaos, and depth of dense cities. Visiting some of the big cities in China, I was really taken with their bustling nature, the crowded street
63.
by thinkpad20 9y ago
I don’t think the novelty of the research is the fact that elephants have personalities, but instead the study of the personalities themselves and how they develop and are influenced by the environment and the species. If people stopped res
64.
by thinkpad20 9y ago
> Meanwhile over here it's taken as assumed that cities cannot and/or should not grow ever again. How do you mean?
65.
by thinkpad20 9y ago
> Neither do I. But that's because I love freedom. I guess all the folks in Xinjiang just don’t love freedom as much as you do.
66.
by thinkpad20 9y ago
Xian at least has thousands of years of history. On the bullet train in China you’ll often pass by cities of millions of people which might have been mere hamlets a generation or two ago. The size of China, its economic renaissance and the
67.
by thinkpad20 9y ago
One man’s terrorist is another man’s freedom fighter. I think the parent post simply meant that they were not passing judgment on the justification of the violence.
68.
by thinkpad20 9y ago
The analogy has a couple of problems with it. There is the fact that programs can be run in parallel, with one program feeding the other output in real time. This one the article covers although I don’t completely buy their explanation. For
69.
by thinkpad20 9y ago
I was speaking more about the concept of art from a philosophical point of view. I don’t see how a machine can “check” if a work of art is beautiful, a necessarily subjective and human process. Certainly given detailed enough criteria an al
70.
by thinkpad20 9y ago
Well that’s the key word isn’t it, “meaningful”? I think what makes art interesting is the story behind it, the statement the artist is trying to make. Art made by a machine is simply following an algorithm. I can find the process itself in
71.
Julia Dependent Types Debate (2014)(github.com)
2 points by thinkpad20 9y ago|0 comments
72.
by thinkpad20 9y ago
How so? Haskell has a very high performance ceiling.
73.
by thinkpad20 9y ago
Almost all Haskell code written these days uses at least a handful, if not a barrel-full, of extensions, and ScopedTypeVariables is one of the most common ones. Of course, you’re completely free to do whatever you’d like with your own code,
74.
Tech Start-Up Fires Engineers Amid Union Organizing Effort(bna.com)
268 points by thinkpad20 9y ago|339 comments
75.
by thinkpad20 9y ago
Interesting to read his description of the language, which sounds pretty much exactly like python is now. It’s a pretty good testament to why python gained and retained popularity. Though not without fault, python is certainly one of the be
76.
by thinkpad20 9y ago
> It's hard to pitch a greenfield project like Eve, because there's no real great way to quantify the benefits of a language before it's been fully realized. Plenty of languages have been developed without major corporate
77.
by thinkpad20 9y ago
Aside from both being functional languages, they have relatively little in common. Purescript has Haskell-style purity (with synchronous impurity via monads) and doesn’t have an inherent concept of processes or message passing like Elixir&#
78.
by thinkpad20 9y ago
I agree with aspects of what you said; in particular the observation that his would be impossible to implement everywhere due to the numbers imbalance of the talent pool. Although I think in general having more women in tech will encourage
79.
by thinkpad20 9y ago
I can imagine that parsing Coq is pretty dang difficult since the user is able to essentially define and use their own syntax in the code. Also parsing Agda seems non-trivial, though likely not as hard as C++.
80.
by thinkpad20 9y ago
Some of the time stamps I’m seeing on the code are on the order of two years old. How is that possible, considering how long the switch has been out? I guess they were able to reuse a lot of code?
81.
by thinkpad20 9y ago
Yes, oddly intense. Makes it look like Mr Robot or something.
82.
by thinkpad20 9y ago
The way your responses read, you would think this article was some kind of hit piece on your programming skills. Not only is (to my eyes) no slandering or insults to anyone going on in this article, but the only one they call an amateur c
83.
by thinkpad20 9y ago
> If this article is really meant to be readable by non-Haskell programmers, the example code snippets should also be provided in a more mainstream language with static types, such as C++, Java or perhaps JavaScript+TypeScript. First of
84.
by thinkpad20 9y ago
Definitely. I meant that in the usage that I described (as a way to join complete sentences) you generally only see one per sentence.
85.
by thinkpad20 9y ago
Seconded! I remember being wowed by his Debussy Arabesque visualization many years ago. Still worth a watch/listen! https://youtu.be/A6s49OKp6aE
86.
by thinkpad20 9y ago
Downvotes? What did I get wrong here?
87.
by thinkpad20 9y ago
Semicolons should be used to join two complete sentences while having a “comma-like” flow (e.g. “I like cake; it tastes good”). I personally tend to use them quite a lot (despite being American). However I generally don’t put more than one
88.
by thinkpad20 9y ago
It started out as compiling VBScript but from my understanding it became its own beast, with all kinds of bells and whistles. Yes, definitely there can be valid reasons to write your own language/compiler etc. Of course, the size of th
89.
by thinkpad20 9y ago
Wow, that project sounds like a total dumpster fire. Not that I know any of the details, of course, but I find it hard to believe that it saved any effort to try to write a compiler and a custom language/type system/code generator
90.
by thinkpad20 9y ago
She never claimed that they were equivalent. The disparity in quality of health care for transgender people in this country is well-documented and stems from many of the same reasons as the situation described in this article.

More ›