danking00

11 ms·

61.
by danking00 13y ago
Regarding Linear Type Systems and friends I recommend reading parts of Jesse Tov's PhD thesis [1], "Practical Programming with Substructural Types". I found parts of it pretty accessible as an undergraduate. In particular he
62.
by danking00 13y ago
The HN community is particularly receptive to functional programing. HN itself is written in Arc which is a language implemented in Racket. There's still active research in Fortran i.e. for super computers etc., check out the SIGPLAN F
63.
by danking00 13y ago
Seconded. I recently wrote a image searching program (find a set of images as sub-images in another set of images) and I wrote most of it in Racket (Scheme dialect). I wrote the inner loop to calculate the correlation matrix in C and made a
64.
by danking00 14y ago
"I don't think any commonly used language has a truly context-free grammar" It's a matter of semantics. (doubly so) These errors that you describe during compilation are defined by what? Not by the syntax (at least not in r5rs Scheme [1]) b
65.
by danking00 14y ago
My orginal parent post claims that a month of NYTimes content isn't as valuable as/worth 15 USD. Are you saying the NYTimes is not a good value or that, it's simply not a product you seek because you're already amply satisfied by WSJ, FT, t
66.
by danking00 14y ago
So, I subscribed for a couple years, but cancelled six months ago when I left the country for a sojourn in Europe. I am returning to the States next week and I fully intend to re-subscribe to the Times. I'm curious what price you would be w
67.
by danking00 14y ago
Even though the MIT News Office subtitled the article with the phrase "new type of matter," could we please change the HN title to "new phase of matter"? Perhaps this is an Americanism, but a "new type of matter" suggests to me that we've f
68.
by danking00 14y ago
Yes type inference is harder with C++'s language design (OO comes to mind as a particular problem), thus my claim that it's the wrong foundation to build on. Of course, people like challenging problems and are working to bring more type inf
69.
by danking00 14y ago
Correct, I do not suggest adding HM to C++. I suggest using a HM language when you start a new project.
70.
by danking00 14y ago
Your example, void foo() { auto items = {1,2,3,4}; return; } is the case of poorly designed syntax, in a truly Hindley-Milner system there is no expression which doesn't have a type. Now, we could add some syntax
71.
by danking00 14y ago
And this is where I decide the language is too far developed on the wrong foundation. I cannot put up with type systems that don't have complete or near-complete type inference. I don't know why one would start a new project in a language t
72.
by danking00 14y ago
This might be nit picky, but how is explicitly supporting nature preserves and National Parks a left-wing thing? You can advocate for tight purse strings while protecting natural beauty for everyone of current and future generations. I thin
73.
Whats it like to be intelligent and work a menial job?(quora.com)
3 points by danking00 14y ago|0 comments
74.
by danking00 14y ago
I think it might be in the cadence of "99 Problems" by Jay-Z, but, admittedly, I still find it difficult to read it.
75.
by danking00 14y ago
I'd like to focus solely on the issue of "your neighbours didn't sign up for you opening a hotel". Of course my neighbors have a right to not be unreasonably disturbed by my own existence. Most communities have noise violation laws and othe
76.
by danking00 14y ago
And soon after, a team of experimentalists the world over set about proving him right. People rarely remember the experimentalists, the guys who go through all the hard work of providing the evidence to the theorists. See: Michelson and Mor
77.
by danking00 14y ago
I chose to major in CS partly because of great job prospects. Had that not been the case I might have been a Physics and Philosophy major. My friends probably are an unusual sample of CS and Physics majors. However, they made choices which
78.
by danking00 14y ago
Agreed, which was part of my motivation for entering the field. Also, a reason why I've avoided the sorts of relationships which will tie me to one geographic area. On the subject of solutions, has our society been incredibly dishonest with
79.
by danking00 14y ago
I really wish someone could explain this to me. My local observations are the same as parent. I have no unemployed, graduated friends, in fact, I have still-in-school but employed friends. They're all making great salaries and living in fun
80.
by danking00 14y ago
Can you back up any of this with statistics? My anecdotal, local information shows people highly motivated to do things outside of the University and heading to upper 5 or 6 figure salaries at tech start ups, financial firms, and establishe
81.
by danking00 15y ago
I strongly disagree that Functional programming is something that inherently is not suited to building a whole product on. Although I cannot providing evidence that it always is the case, Jane Street is a wonderful example of what happens w
82.
by danking00 15y ago
I'm sure there are people for which 15$/month is a bit much, but I imagine for most HNers it's just a drop in the bucket. Could someone explain their revulsion to paying for the NYTimes? They have expenses that need to be paid somehow. They
83.
by danking00 15y ago
I signed up to troutwine's mailing list and started following the github project. I've participated in mailing lists for big projects before. They seem to work fairly well.
84.
by danking00 15y ago
Agreed. Let's do something about our shared cultural history. Email is also in my profile.
85.
by danking00 15y ago
If you could choose freely for no cost between, perhaps, the first subdomain appearing versus not, would you really opt for not? Mousing over the link seems like unnecessary work when subdomains could be added without sacrificing the readab
86.
by danking00 15y ago
Are you morally obligated to not violate someone else's wishes in the general case?
87.
by danking00 15y ago
The Google cache shows a laminated, rolled version of the America map for $39.95. Google cached a PDF of a speech he gave entitled "Geographic literacy for all North Americans" https://docs.google.com/viewer?a=v&q=cache:nkZ4MXBys8EJ:..
88.
by danking00 15y ago
It's a fine line between blocking the twitter usage of a Somali militant and blocking the twitter usage of a peaceful American dissident.
89.
by danking00 15y ago
EDIT: this wasn't really a coherent response. Maybe I'll come back later with something else.
90.
by danking00 15y ago
What do you tell to someone who's decided that it's really quite pointless to continue working and living because the inevitable fate of the Universe coupled with the seeming inability to achieve sustained happiness? To them living to make

More ›