skysight-inc/HackerNews huggingface dataset:
Having just set this up, I'm really digging it.

If you're unsure whether or not a Chromebook is the right system for you, check out the specs[0]. Note that the Chromebook isn't extremely powerful, but that is not the product's goal.

Back to Ubuntu/Chrome: Rather than install Unity (which I actually don't mind on some systems), I opted for the actual crouton dev team's recommendation of XFCE[1].

XFCE is made for an underwhelming environment, and its performance is better than what Unity would probably offer.

You can in fact switch between Chrome-os/Ubuntu with 3 or 4 key presses, depending on your chromebook model. Your install likely won't come with vim, git, etc. installed as ujeezy noted, but if you're familiar with gnu/linux, you already know you what you want from your environment.

I, like many of you, have a couple of computers to lug around: Work laptop (windows), Macbook (expensive shiny development tool). Being that I really have come to enjoy the macbook's battery life, even when using lots of high-resource tools/windows, I'm not sure where this chromebook will fit in. Breaking my macbook scares me, but so does being without it.

If you have a chromebook, definitely try this out. I was expecting to have to deal with lots of issues, but the install was extremely smooth (other than the downloads coming in at 20-30kb/s).

Things to note:

* Make sure you read Crouton[1]'s readme - there are a few potential 'gotcha's in there.

* Disable XFCE or Unity's screensaver.

* As ujeezy noted, you'll need to install vim/emacs, git, gcc, etc.

* While nice, and amazing for what it is, this will probably not replace your default dev environment, unless you exclusively use programs that aren't resource intensive, and/or only exist in terminal.

[0] http://www.google.com/intl/en/chrome/devices/samsung-chromeb...

[1] https://github.com/dnschneid/crouton
So the algebra of data types, as described, is simply the algebra of natural numbers. I guess this can't be the whole story because it does not describe types which can get an infinite number of values.

But still I wonder, what is the practical advantage of using this simple mathematical structure? What does it buy us? Not trying to be snarky, I just don't see the point.
At least for me (Galaxy Nexus), that is how it works. I've set Chrome to "always" and now any links I click on in whatever app open in Chrome.

Maybe is something specific about how the bookmark app I'd launching its intents, though, because I don't use that app (I use a reddit app for launching links mostly).

The exception is links to sites which have their own handlers (reddit, YouTube, etc).
Spam harder dude.
Disillusionment with age seems a relatively universal phenomenon. There is no end to stories about humorless elders in any part of the world, at any point in remembered history.

> More importantly, the question of whether schools are the best place to prod cultural forces remains open.

I think that the problem is actually in how society looks at schools, rather than schools themselves. We think of it like a machine, to be kept fueled and oiled, into which we can feed empty buckets and get them filled. We try not to get involved in the actual machinery, which is full of loud noises and creaking cogs. We expect magic. We expect numbers. We expect efficiency. We expect standards. And this is wrong, all wrong.

Curiosity dies when boundaries are perceived as absolute. If you push at a wall, and it doesn't budge, you stop pushing. It has given you a response, and it's a boring response; you lose interest. You stop being curious. That doesn't mean we shouldn't have absolute boundaries, but it does mean we need to give serious thought to why each boundary exists.
I can honestly say that the best thing to have come out of this article was the link to Bret Victors talk on inventing on pricple - http://vimeo.com/36579366#t=1004. Thank you.
Chef is an automation framework that can handle your entire infrastructure. We use it to manage thousands of servers from PXE boot, OS installation and to configure the entire software stack. It basically give you a better environment to manage your automation scripts. The cookbooks are unit of works and you have testing frameworks.
"That’s what I hated about school - it felt like such a waste of time, learning stuff that I was probably going to forget."

Some people go to gyms, where they exert themselves pointlessly - they're not drawing water, generating electricity, or moving materials uphill.

They seem to think that the process somehow improves them. Modern medicine apparently agrees with them.

If that is not the case with whatever exercises are done in school, perhaps we could get better proof than "it felt".
More than that; your smart and get things done. if and when you needed to learn the math needed to solve a roadblock you'll use exactly the same skills you used to learn Linux administration/networking/programming
Interesting. Do you think it's a coincidence that a sleep cycle also happens to be about 90 minutes long?

Maybe the brain works in 90-minute bursts, whether you are sleeping or conscious.
without disagreeing with a thing you wrote, you're assuming that he even wants/needs to go to college
hsmyers is referring to the first sentence in the linked pdf.

Parallel machines are hard to program, and we should
make them even harder – to keep the riff-raff off them.
— Gary Montry
And then they put Dennis Quaid in it.

http://ia.media-imdb.com/images/M/MV5BMjEyNTIyNTYyNV5BMl5Ban...
I used Chrome for like a day untill I deactivated it (can't uninstall) and continued to use the stock browser, just because it is so mind-bogglingly ugly.
I switched to Mac almost exclusively about a decade ago. I still miss Windows Explorer. The Finder is a piece of shit. FTFF.
Relaxation isn't a theory, it's a way of life. When you step outside of the insane and stressful mentality of having to kill yourself to make a good living in life then your life will improve immensely.

There should be no reason at all for you to not take it easy for at least ten minutes a day.
Really, I've consistently credited having a real browser in Chrome was the best part of modern Android. The Google account synchronization especially.
he convinced me to do what I could to try and convince his parents to let him get his GED and then dropout
I have just arrived in London (today) after spending 2 weeks in San Francisco and Silicon Valley with a group of 24 other British founders.

We came as group ( http://www.ldn2sfo.com/ ) to learn about what makes Silicon Valley special, about the pay-it-forward culture, about the optimism and support, about the venture culture.

The stand-out questions at almost every session and meeting that we had was this: "How are the immigration issues overcome?"

Most of us will take the things we've learned and just apply them to where we are, knowing that even if we individually overcome the hurdles we are unlikely to achieve the same for our teams and people we would love to hire. Only a very few of us are likely to take on the immigration challenge.

Instead, the immigration issue will lead most of us to re-evaluate our local advantages such as access to talent (London does not have the scarcity issue of Silicon Valley for example), cheaper housing, free health... and because of the immigration spanner in the works, those suddenly seem to be bigger advantages.

They're not really that big an advantage... but the immigration issue is that big an issue.
Lately, the biggest complaints about PL design seem to be that they didn't take enough inspiration from ML-family or Erlang.
This reminds me of using swank-js with Emacs, as demonstrated in a short Emacs Rocks! screencast[1].

[1]: http://emacsrocks.com/e11.html

Basically, you can hook Emacs up to the browser and interact with the page directly without having to refresh it. You can do some really cool stuff as shown at the end of the screencast.

All this without having to sacrifice the inherent editing and programming power of Emacs.

In the screencast, code gets reevaluated using a key command (C-x C-e), just like Emacs does for lisp. However, since Emacs is extremely programmable, it would be pretty easy to set it up to run any new code as soon as you finished modifying it, or on a timer, or however you like.

As an aside, the rest of the Emacs Rocks! videos are also worth watching--they make it very clear why people really like Emacs. For example, episode 12 (about editing HTML with Emacs) not only shows how powerful some of the default modes are, but also how easy it is to customize commands.
The smugness of this post reaks. Rather unwarranted considering the number of XSS vulns found, I also question their classification of these, XSS in this system entirely breaks their "encryption as a mass product" philosophy. (provided you give them the benefit of the doubt and assume its for the users and not their protection)

Taking they want to tout this system as security focused I'm quite amazed they seem to not have scrubbed a single output. I highly doubt they fixed it properly either.
However, it is often important to keep in mind how a particular functionality will scale. Complexity is an excellent way to gauge that.
worse than that; the very nature of the job of school administration attracts a certain kind person

they want him to conform to a system that was never designed for him
Thanks mertd. Can you explain what this has to do with my latex comment? I was not supposed to describe the magic behind the typesetting/layout?
Thanks for your feedback!!
No offense taken ;).

It's just that there is a lot of thought wasted solving a derivative problem that could be avoided by continuing to use a simpler solution to the first order problem. This is classical overengineering. At the same time, any good solution to the coffee problem will likely have to find a tuned balance between a number of traits and they will be different for each person.

There are certain abstract tradeoffs that aren't taken into account in the OP (if I remember correctly). In the case of the keurig machine, it solves the complexity and convenience by narrowing flexibility, increasing expense and maybe sacrificing taste (which are all completely valid tradeoffs). The french press or a ceramic dripper maintain the flexibility, expense, taste and minimize complexity at the cost of convenience.
No easy way to maximize window and full screen mode weirded me out. On Windows, I’d just double click on the window title. But on Macs, I had to carefully hit the green plus button.

I'm a Windows refugee who made the switch in 2006 and I'm very happy with my Mac, but I still can't wrap my head around the behavior of this button. There doesn't seem to be any method to its madness. Clicking it consistently results in the window's size being altered somehow, but I've never really understood how OS X decides what dimensions to resize to.
I strongly disagree. Good developers have a sort of Big-O intuition at the back of their minds that automatically tells them that the nested for loop they're writing to find a string in an array, and using an array in the first place, might not be the right approach.

Big-O applies to a hell of a lot more than just sorting algorithms, and no language lets you ignore the varying degrees of complexity that come from the choices you make.

Good developers consider Big-O implications all the time, without explicitly thinking about it. They don't ignore it.
There's always USB booting [0], you can still tinker but can't muck up CrOS

[0] http://archlinuxarm.org/platforms/armv7/samsung-chromebook
It's good. Iteration cycles drop like mad when you can do hot-swapping.

Now of course Lisp dialects had that 50 years ago or so and... Any modern which can run JavaScript can run ClojureScript and hence already had hot-swapping ; )

But it's good to see non-Lispers getting there eventually ; )
Just remember that, most likely, not a single user will ever be execute this code.
Debugging a Resource Leak in WebKit
The thing that killed chrome for me was the way it uses the same UI as desktop chrome for browser tabs. On my nexus 7 (I can't speak for larger tablets, maybe it works there?), the tabs are simply too small for me to be precise about any interaction I have with them.
I have seen this argument applied to Dell, Microsoft, Apple and others over the years. It is really a straw man argument. Apple will not kill off old hardware just to boost new sales. Apple keeps their offerings fairly current in order to push the envelope. When Apple dropped the floppy drive they were not trying to screw over consumers, they were looking forward and realizing that documents would not fit on a 1.4mb storage medium for much longer and they were right.

It's a matter of leaning forward or leaning backward. Another strategy Apple will likely pursue is to continue to break into new markets. The TV from Apple is likely the next innovation and area of growth that will boost Apple's outlook and get stock values up again. And that may happen this year. And beyond the TV I think Apple will be exploring other areas. We know that smart cars are coming with iOS integration. That will generate a good deal of revenue for Apple. Products like Nest and Bluetooth LE devices will also become quite handy. Just look at the Nike Fuelband, Jawbone UP and Fitbit for examples of new opportunities for hardware which integrates with the iPhone and gives consumers new gadgets to buy which leverage Apple products. Also keep in mind products like Pebble which are smart watches which integrate with the iPhone and Apple may even create their own smart watch which would surely do well given how popular the idea is with Pebble.

Apple does not need to get people to buy new iPads more frequently. They can simply create more products we are willing to buy.
Indeed, it's not the whole story. Infinite types and recursive types will come along in part 2!

As to the practical advantage - does there have to be one? Isn't the fact that it's intellectually gratifying enough?

If you insist, though - I sometimes see the kind of laws I presented used in actual Haskell code. For example, in the Data.Lens package[0] you can consider a lens on a a structure of type a to be composed of a getter and a setter of values of type b

data Lens a b = Lens (a -> b, a -> b -> a)

which is refactored, using the law (a -> b, a -> c) == a -> (b,c), to look like

data Lens a b = Lens (a -> (b, b -> a))

which allows for a more efficient 'modify' operation. It also allows you to notice that lenses are related to the 'Store' comonad[1]:

data Store b a = Store (b, b -> a)
data Lens a b = Lens (a -> Store b a)

on which a lot of the Data.Lens internals are based.

[0] https://github.com/ekmett/lens

[1] http://stackoverflow.com/questions/8766246/what-is-the-store...
the insipid inanity that they pass off as "knowledge" really is not worth his time.

he would be much better served reading broadly; historic fiction, science/nature periodicals, the classics etc
My question is, will Justice Clarence Thomas recuse himself from a case involving his former employer?
> In the spirit of healthy debate, Microsoft's control of the desktop is akin to Kleenex's control of the tissue market. It will always be there because no one really expects it to change.

The thing is that most software development is done on desktops and similar environments that Microsoft controls. Software development isn't usually done on mobile devices because they generally don't have keyboards. This means that developing an operating system that that doesn't alienate its users from production and that ultimately works to eliminate the user/producer distinction is something that remains out of our reach.

> Capitalism is intrinsic to certain innovations, so the need for closed designs is necessary.

When do you think it is okay to alienate consumers from the design process? Capitalism transforms peoples labour power into a commodity to be bought and sold in a competitive market. This alienates workers from their own productive lives and from one another. When is alienation which is intrinsic to capitalism ever essential to innovation?
No, that's not true. That may be true if your whole world is making CRUD apps but there is a whole world out there. People use the phrase "pre-mature optimization" as a crunch to not understand how computers work.
So make it easier for Raj. Don't make it even harder.
doesn't changes to run lists and roles require a pem you're supposed to delete immediately after registering a node with chef?
> scientists want to spend their time doing science, not improving free software.

Wasnt the whole point of science to build their own chain of verifiable tools to rely on, instead of having to trust secret, unverified commercial black boxes?
You could add the Applications folder to the dock. http://i.imgur.com/qb7DB7u.jpg
Yes, if you want to get pedantic about it languages are separate from implementation. For example there's CPython, Cython, PyPy, Jython, IronPython.

However, reality is that most languages' ecosystems and performances are tightly connected to one or two implementations.
I don't much have a solution to the rabbit hole syndrome, but at the very least I can point out that your rating system could be solved by a confidence interval made using a Bernoulli random variable, which is a useful and (fortunately for you) a relatively simple formula to derive and comprehend.
They remember it, but in the conservative narrative it was supposed to be a single and final act that would magically bring illegal immigration to an end. Instead evil Democrats tricked Reagan.

In reality, as far as I can make out, the choice was made to prioritize speed over accuracy in the amnesty process with the result that there was quite a lot of fraud, and little was done to strengthen border security; of course there's a limit to how much you can realistically secure a ~2000 mile long border, notwithstanding the fantasies of some about installing an electrified double wall with a minefield in the middle (actual proposal I heard last year some some primary candidate). 'Business Republicans' like immigration because it fits with a free trade ethic and also provides the treasury with a hedge against demographic trends that are skewing the ratio of taxpayers to retirees downwards, while also serving as a secondary and fiscally 'free' source of foreign aid in the region. 'Social Conservative Republicans,' however, tend to be far more ideological and dogmatically insist that no compromise is possible. I personally feel there's a correlation between the absolutism of such political positions and the sincerity of their belief that bad people are going to spend eternity in a lake of fire, presumably for the entertainment of those sitting up in heaven.
Of course O-notation is mostly misguided, but then there are places where it comes back to bite you. Remember that DoS that worked on basically every web framework out there because everything is a clever hash-table nowadays? O(n^2) means very slow very quickly.

And I certainly wouldn't want to use a database with O(n) lookup or worse.
Rel="logo" (2011)
I think that 'people on HN' are smart enough to evaluate things on a case-by-case basis and to avoid generalizations like that.

If only!
I've conducted well over 200 interviews and I will tell you honestly it never would've crossed my mind to pass up on someone who is smart and got things done simply because they had a GED

and just to give that statements some context, I've been in a position to make the initial decision on hiring at three of the last four companies I've worked for
That's not terribly unexpected, to be honest. Apple's building the machines for the average consumer first, so the "just works" is their priority. Ubuntu, as much as they've been trying to emulate OSX recently, is still a full Linux system under the Mac-y gui. There'll be a little less "just works" for the average consumer, but a bit more for the developer.
When you create an app you tell it what the default size is. The green button sets the app to the default size.
I can't say I completly agree with this.
Even though big-O notation is far from perfect, I assume analytic combinatronics has its problems as well: since it's based on the scientific method, it should have some errors (although I have not read about it, so I might be wrong).

Also, I never seen anyone claim that quick-sort is O(n^2). Usually it's considered only the average case, where it's also O(n log n).
This is where I believe Analytic Combinatronics should come in: if you want to compare two algorithms with the same order of growth on the average case. Otherwise, I think it's better to use big-O (analytic combinatronics to compare linear vs. exponential growth algorithms seems a little bit of an "overkill").
Dieting does not make others fatter, and having a high salary does not make others poorer.

True, which is why I don't care about inequality.

I'm just pointing out that jquery's point is mathematically wrong - his high salary increases inequality. Immigration would reduce it.
http://research.microsoft.com/en-us/events/sscli2005/perry-h...

This mentions Odersky's pizza, which (I think) was the first implementation of generics on the JVM.

I think there other things talking about MSR's effort to port haskell to the CLR
Hello, Group F here.

I'd like to point out that we like cake and tea, and amuse ourselves with getting on with stuff, while groups A-E do their best to screw it up. If A-E could just naff off and let the rest of get on with it, we'd be in a much better place.
His arguments, considering that he's not even quite sure what he wants, where enough to convinced me to try to convince his parents to let him get his GED and then dropout
Show HN: Subtome – Universal subscribe button
Modern Fonts: Most Popular Typefaces, Best for Webfonts
Successful usage of the Modern Fonts requires tons of inter-line space and white space so the margins and spacing should be well planned.
I'm really happy with Chrome Beta on Android. Easily beats all the alternatives. YMMV.
Being forced into a preconceived role sucks (unless you like the role). There's a fine line between "I am willing to do that" where "that" is almost anything, and realizing that if you are willing to, say, do programming in PHP or for Windows, people may capitalize on that and pigeonhole you into that sort of work, even if you don't prefer it.

I personally prefer to learn/master FLOSS tools and other open solutions, as I don't like being locked to one vendor for tools. More importantly, I only have so many hours in my life and cells in my brain. I can only learn so many things, so a simple first filter when choosing things to learn is to preclude anything that doesn't have a FLOSS implementation. I don't want to waste time or effort on things that may become easily irrelevant, or worse, are at the whim of someone else (whose goals may not always be pragmatic, but rather "market oriented"). While these problems are possible with FLOSS, it is highly more likely to happen with a proprietary solution. It's also a question of "do I learn all the quirky, unnecessary irregularities of Brand X tool, or do I search for tools that delve into more universal, deeper questions?".

This also, unfortunately, applies to who you associate with. Should you waste your time with people who are into sports, participate in fantasy football, etc, if you don't care about sports? If you want to become good at something, hang around those that are and learn from them. If you are the smartest person in the room, you need to find another room where all the people in it are smarter than you.
Flawed doesn't even begin to describe the system, and that's not taking into consideration that the system was never designed for people like him