HN user
Melville was a new discovery for me in the last couple years. 7 of his films are streaming on the Criterion Channel: https://films.criterionchannel.com/?director=melville-jean-p...
Check out Racket's syntax-parse and the "Fortifying Macros" paper for macros with better error reporting:
I wouldn't guess so, for example it's used in the CLRS textbook. What did you call it instead?
I think your thinking is right, machine learning is probably a good area as far as jobs go. Depending on your CS interests you'll find what areas of math they use most. AI / machine learning, learn lots of probability and statistics. High-performance, scientific computing, graphics, maybe more of a focus on linear algebra. Algorithms or theory or programming languages, lots of discrete math, logics, algebraic structures, etc. Of course it's good to get a good grasp of the basics of all these, since they're definitely not exclusive, and which you'll get from your degree, and beyond that, well explore, and enjoy!! Good luck!
If there's "every reason to believe" it's the opposition forces and not the Syrian government in control of and using chemical weapons, what good does it do for the Syrian government to "place its chemical arsenal under international control"? How can these two statements be reconciled?
Putin says:
No one doubts that poison gas was used in Syria. But there is every reason to believe it was used not by the Syrian Army, but by opposition forces, to provoke intervention by their powerful foreign patrons, who would be siding with the fundamentalists.
Then later:
A new opportunity to avoid military action has emerged in the past few days. The United States, Russia and all members of the international community must take advantage of the Syrian government’s willingness to place its chemical arsenal under international control for subsequent destruction.
I guess it must be a joke, but that's a fun review. "I accidently bought this book thinking I was buying a traditional calculus book in order to prepare for a standardized test I had to take. After a few chapters I realized this was no ordinary Calculus book."
Anyway, there is a reprint available now for $25 http://www.amazon.com/The-Lambda-Calculus-Syntax-Semantics/d...
There are two universal properties in the sense that a universal property is either defined in terms of a "terminal morphism" or (dually) an "initial morphism" (see the Formal Definition in the wiki article) -- the examples are particular instantiations of this general definition.
You might like to check out this blog post by Cristina Videira Lopes (though it's not about Go in particular): http://tagide.com/blog/2012/03/research-in-programming-langu...
Many great films are made on a fraction of the budget required to produce something like Toy Story. And anyway I don't think it's hard to imagine Pixar artists saying they were more motivated by the pure joy of creating something than by their paychecks. There are bad movies that are created specifically to be monetized -- that people need money is beside the point that often those who create the really good stuff are probably doing it more for fun than for money. I think I see what you're saying, but it seems like an overreaction to what didn't strike me as a controversial comment by the parent.
I skimmed documentation of Python after people told me it was fundametally similar to Lisp. My conclusion is that that is not so. When you start Lisp, it does `read', `eval', and `print', all of which are missing in Python.
Could someone explain what he means? (Did Python not have a repl when he wrote that?)
See also: Taming Wildcards in Java's Type System http://cseweb.ucsd.edu/~rtate/publications/tamewild/tamewild... (Section 3 Non-Termination in Subtyping)
Another one they linked to was Randy Pausch's last lecture.
FWIW, if you follow the link to his compilers class page, you can see that the projects do in fact deal with traditional topics:
Lexical analyzer
Parser
High-level translator
Normalizer & CPS converter
Low-level translator
Register allocator & Assembly code emitter
Interesting, but I think there are some good comments (at the article) too -- pointing out that it also just seems to make sense -- like,
Undergraduates write to professors with singular first person pronouns because they are often requesting information, or this sort of thing... understandable then that there's less reason for I, me, and my in the professor's response (and easy to imagine similar situation in other relationships).
Still, a cool article. Interesting research.
The syllabus says "A solid understanding of probability and linear algebra will be required." -- I imagine programming experience and knowledge of basic algorithms and data structures would be helpful as well.
You are probably a very smart person, but your replies in this thread read like the epitome of academic pedantry, verbosity, pomposity, etc... the `my claim is (1) (2) and (3), my qualifications are these, my blah blah blah' -- Google is an engineering company; maybe you are better off working somewhere else?
Definitely! I felt the same way. I'm just finishing my undergrad CS degree and I think there was maybe one AI lecture that mentioned Alan Turing-the-human-being out of all the classes I took... I would sometimes wonder.. are there other students who just hear things like "Turing complete", "Turing machine", etc., but don't have any idea who this "Turing" actually was?
I wish it was more common as part of these classes to actually talk about the great CS people.. who they are.. in our short history, because this is interesting stuff! Oh well.
Yeah, I agree. I think I remember reading maybe in the Hodges biography that there unfortunately isn't any; I think there was some sort of recorded radio interview that got lost somehow...
Maybe it's the time of day?
I think you're talking about different things-- there's the monthly CACM magazine, and then there are the huge books of conference proceedings and journals.
There was a really cool parsing paper at POPL this year [1] that goes 'beyond CFGs'... but as far as I know their system YAKKER is still in development / unreleased.
I think from a user's perspective, e.g. someone wanting to design a DSL, it would be nice to be able to write down arbitrary CFGs and not necessarily have to know lots of technical parsing details ("what are all these shift-reduce conflicts!?"). Maybe PEGs aren't the best choice for this (no left recursion)-- MetaBorg's SGLR is probably state-of-the-art then like Zef said.
Though one of the nice things about PEGs is no ambiguity; MetaBorg will do type-based disambiguation but only after parsing finishes. I'm working on an undergraduate thesis on 'extensible syntax' right now, trying to jump off from some of their stuff (but using a variation on Earley parsing) in particular to see if we could use types to help disambiguate incrementally during parsing.
I've always liked §295 of The Gay Science where Nietzsche makes the distinction between "brief" and "enduring" habits:
"I love brief habits and consider them an inestimable means for getting to know many things and states, down to the bottom of their sweetness and bitternesses...
Enduring habits I hate, and I feel as if a tyrant had come near me and as if the air I breathe had thickened when events take such a turn that it appears that they will inevitably give rise to enduring habits...
Most intolerable, to be sure, and the terrible par excellence would be for me a life entirely devoid of habits, a life that would demand perpetual improvisation. That would be my exile and my Siberia."
(http://clichereality.blogspot.com/2009/07/philosopher-as-tra...)
I think in this case it's probably best as is...reading the title as 'Lisp syntax' before English.
Thanks for the link- I love romantic music especially, and Chopin is the epitome of that...beautiful. The études are also some of my favorite music.
I just finished Infinite Jest by David Foster Wallace.
It's a 1000-page kind of experimental fiction about entertainment/addiction.
It took me a while to read, but is something I'd recommend, anyway.
I really like how on HN the content of the comments is emphasized -- no colorful avatars or signatures or any of that stuff.
I wonder if that maybe helps add to...like subconsciously, all the comments appear the same so you start feeling like HN is this big thing that 'knows everything' without realizing how many different people are contributing their knowledge of whatever area.
Piano, guitar
I think this is interesting, but wonder if the change people talk about could be more in the quality of discussion than type of submitted articles?
"Yes, I am saying colleges should teach study habits, time management and hand writing."
I agree these are good things, but shouldn't they be taught before college?