skysight-inc/HackerNews huggingface dataset:
Yeah I'm using CCW right now. I like it, but it's annoying that the repl doesn't start with (doc) or (source). I read an article from Stuart Sierra where you can add your own user.clj to the classpath and put code in it to load those up on start, but I haven't tested if CCW's repl will use this correctly. Assuming it does, tips like this are essential and should be in the book IMO.

Your last paragraph is good advice, but IMO I code like that in general. Consider this code:

(-> x
doSomething1
doSomething2
doSomething3)

This was tested as I went, but after the fact, I had to change x. Now any part of the whole series of steps could be broken. This is where I spend 15 minutes trying to understand what the error message means. shrug Maybe this is just what's expected when you're new to clojure.
The answer is quite simple: in a tutorial, or in a book covering technology X, there is necessarily more material, than what is found in the reference documentations and specifications of said technology X. That's because technical documentations are concise (if only to avoid inconsistencies).

Unfortunately, most technologies start with references that are already over 1000 pages! Check any standard or language reference, or framework reference. There are several frameworks with more than 1000 classes! imagine how many printed pages for the reference documatation! A book about those frameworks that wouldn't even be exhaustive could very well be over 10,000 or 100,000 pages.
It seems like Kenya has very little to lose in adopting Bitcoin. I welcome adding new users, even if they just act to stabilize the currency against speculators.
I am usually a fan of Jony Ive's design, but this seems to exhibit a lot of windows-envy. When did Apple start copying design from Microsoft?

The home-screen icons are probably the worst part of the design. There are certainly good parts as well. But Apple's skeumorphic borders and backgrounds were always distinctively Apple, and contributed to make people love the brand, now the iOS just looks like everything else. Android is flat. Windows is flat. And as people pointed out, what about the colorblind?
IBM layoffs
Said no one at Apple ever?

I'm being facetious of course, but really, Apple changes their designs up on the regular, even if it isn't "broken". See: the iMac product line.
FTA: "The thing is, we've grown up. [...] The new iOS is designed for a different environment, and a different maturity of mobile user [...]"
This post is spot on and applies to more companies than you can imagine. Reading Hacker News gives you a really skewed view of how things work and how people think in the software business.
Not just Microsoft, any company that has a size greater than three digits.

On average, at a big company, you're going to spend 95% of your time interacting with less than 1% of the employees.
Most people are saying the same things about Apple as they said about Microsoft with the flat design stuff. This is one of the few positive articles I've seen on HN about iOS 7. I don't understand why you are frustrated reading about this OS when the vast majority of what's been written so far essentially agrees with what you've said. You'd prefer no dissenting articles rather than a handful?

Anyway, even if Apple were broadly being lauded for it now, that would be expected. Microsoft pioneered this look in the mobile space. Obviously they were going to catch more flak for it. The first one to try something new always gets criticism from the essentially conservative press and public.
Theme up your Android with Mycolorscreen
> Relying on color to indicate interactivity

I disagree. We reply on context and content to indicate interactivity. Color has been a pseudo indicator and is now inaccurate at best and misleading at worst. Just take a look at the header of this comment; the username timestamp and link are all the same color, yet only two of the three are actually links or clickable at all. Thus, the content and the context indicate clickability, not color. This is why UI design is harder than everyone thinks.
This is my issue with the redesign. I'm all for less clutter but I really don't think this is how apple should go about doing it. On the whole it looks far uglier than the previous style, and that's what most people care about. I think they have not reached a balance of minimalistic while being pleasing to the eye.
Sharing Rails 3.2 sessions with Node.js or Java
Could email be considered an "interoperable" instant messaging service? All it would take would be an email client's layout to be presented a bit more like a standard instant messaging layout and it might as well be considered a platform with the "back end glue" that they're talking about in the first paragraph.

On another note - and forgive me, I'm a bit clueless on this - is there any reason why email clients/providers couldn't have a standard way to do audio and video calls across services? Then they could do text messaging, file sharing, audio and video calls/messages. Any reason this couldn't happen?
I'm talking about rights, not laws. Congress could, for example, pass a law requiring immigration officials to give certain process to people denied visas. Judges could enforce those laws, and nothing about such a scheme would violate sovereignty.[1] But saying that foreigners have a right to such process is different. Where does this right come from? Foreigners are not parties to the Constitution so it can't come from that. It has to come from something "bigger," some higher law that encompasses both the foreigner and the U.S. But unless you believe in some sort of God and divine law, there is no such thing. The sovereign entity is the end of the line--nothing binds its actions other than its own conscience.

[1] Though many people would say it's a separation of powers violation.
>iOS 7 is a decluttering of the most exciting, profitable, desirable mobile operating system available. It’s a shift away from artefact, and back to essence. It indicates a clarity of vision, and a continued willingness to pursue simplicity ruthlessly.

>The new iOS is designed for a different environment, and a different maturity of mobile user: one who recognises simplicity for what Jony Ive believes it is. Not something as pedestrian as familiarity or consistency for its own sake, but rather focus and clarity.

Then why does the homescreen look like a high resolution version with garish colors of this from >20 years ago?

http://images.yourdictionary.com/images/computer/_PROGMAN.GI...

If you really want to see "a continued willingness to pursue simplicity ruthlessly." compare the homescreens of Windows Phone with all other mobile platforms including iOS, Android, Blackberry, Jolla, UbuntuOS, Symbian.

For example of a real transition, see Windows Mobile to Windows Phone.

>Too many interfaces run immediately to the well-worn toolbox of simulation and explicitness, imposing a cognitive straitjacket not only on the user, but also the designer. We too easily forget that the only thing that matters to people are their goals: their own tasks, and content. With limited attention, we want to devote our focus to what’s important, rather than distractions and artifice masquerading as design traditions.

I thought "Content over chrome" and "Authentically digital" were Microsoft's buzzwords.

>Apple’s philosophy – and particular genius – has always been in sieving the demands of users, technologies and the cultural zeitgeist, and finding the right hundred things to remove for every one thing to keep.

It's all hardware design guru Ive's genius, indeed, to come up to speed with state-of-the-art UI design in just 7 months and come out with this, which looks like Android fonts and Metro UI had a baby that was dipped in fluorescent colors.

Sure, Android and Windows phone copied a whole lot from iPhone, but I don't see the blogosphere give them credit for, say the one click app installs, and calling them geniuses for doing so.
... I wasn't justifying anything.

I was just speculating.

I think this is a rather unique situation where a lot of pro-privacy people seemed to have switched sides.

That raises questions. What everyone seems to be concluding is that these people were insincere before and now their true colors are coming out. That sounds highly improbably and very conspiracy-theory-ish.

It's more likely that there is a lot going on than we know about. It doesn't necessarily make it okay.

It's just something to think about.
"The US Government" employs 2.6 million civilians. There are 538 congresspeople and 100 senators. Surely some of them believe and routinely say something toxic.

I find Speaker Boehner to be an all-around toxic person in general. But I am not particularly alarmed at him calling Snowden a traitor. There are people in his party in Congress who believe Barack Obama is a traitor.
I love half eaten apples !
Accountability is sometimes enough to cause otherwise indecent acts to never occur.
I'm saying it's legitimate to ask the question, and that it's illegitimate to tar anyone who does as a propagandist.

Snowden isn't just sharing materials he acquired from NSA; he's also giving interviews and making apparent sweeping statements about the capabilities and actions of NSA. His credibility is extraordinarily relevant.
I am not aware of Coq being used in the real world, but I have been told that Microsoft is using a similar tool in key parts of the Windows kernel (and that doing so has drastically reduced the number of BSODs people are seeing). There is also this company, though they are not using Coq per se:

https://en.wikipedia.org/wiki/Altran_Praxis
Yeah I think sarcastic but still wanting to keep the job for a while.
This comment is HOPELESS.

The point of Juan Cole's original piece is clearly that Snowden himself is irrelevant to the contents of the leak. Any speech that bases its defense of Fourth Amendment violations on attacking the messenger deserves immediate scorn.

The reason they attack the messenger is because it's easier than attacking the message. The message itself raises doubts as to their standing as defenders of the law.

* The CONTENTS of the leak do not change simply because the messenger is guilty of a criminal act. *

It's entirely reasonable to state that he is a defender of our Constitution and that he is a whistleblower, but that he should be charged for using inappropriate channels. He technically should have approached his chain of command and then members of Congress first before he went to the media.
Are you being serious?

First, the article specifically says how the government WILL smear. That means he knows they haven't yet done most of the points but is saying watch out for them in the future.

"It is entirely legitimate to challenge Snowden's grasp of what NSA was doing". Obviously he doesn't understand the secret programs but neither does the general public because, guess what, those programs are kept secret.

"It will be alleged that the domestic surveillance is legal. NOT PROPAGANDA." Maybe this is not propaganda but it's irrelevant to the case at hand. If it's unconstitutional, it's not legal. But the courts have not been allowed to rule on whether it is unconstitutional or not.

"It will be alleged that what Snowden did was wrong. NOT PROPAGANDA". I think the point is the administration will want to move the focus from investigating themselves to investigating him.
> We still need servers as rendezvous points, and we can't expect everybody to run their own services. Properly setting up a mail server is hard.

What could be done about this? Running a server on someone else's platform makes you more vulnerable and ISP port blocking can be an impediment to running a server at home. So I start thinking about relatively inexpensive dedicated microservers with integrated solid state storage. Power consumption optimized single board solutions that could just be shoved into a rack and that someone could build hosting plans around. I don't know if anyone has tried to do that.

How far could we go in terms of protecting the microserver from the hosting provider and anyone that may try to pressure them for client data? Maybe provide a bare bones executive that allows them to get it up on the network and from there the client can connect and instruct it to install (from the hosting provider's repository or some other repository) pre-built images that are hardened and optimized for the services they want to run and which would include easy to use provisioning tools to help with post install config? Maybe it could run with fully encrypted storage and the executive could provide the hosting provider with an interface to backup that strongly encrypted storage? Thereby allowing for backups which could be restored by the hosting provider (in the case of a hardware failure for example) but without them having access to the OS and data stored on it?
There is no such thing as a _universally_ "relevant benchmark". They will never agree on a testing suite since performance varies too much. They have no reason to believe the test manufacturer is impartial.
You hint at it, but there are more flavors of color blindness than red/green. When I learned that my (former) boss was color-blind, I spend an hour on wikipedia and learned way more about color blindness than I had realized there was to know.
That is what steamroller will do, increase IPC. This is an interim fix. If they can run steamroller at these clocks and Intel doesn't do something radical, AMD will be "top dog" again for the first time since Athlon 64s were killing P4s.
Time for some articles on the innards of Lua (or Smalltalk, Scheme, Erlang, Forth, or Haskell)?
It's not that unbelievable, I've seen it at Oracle too.
I agree with you that Snowden is himself irrelevant to the contents of the leak. But the raw contents of that leak are not the only thing being reported; Snowden is also making himself a part of the story, and making claims that are not directly backed up by the material that has been released thus far.

It's interesting that you'd call my comment "hopeless" and conclude your response by agreeing with part of it. Clearly, that must indicate some glimmer of hope. :)
Done, basically just linked back to these comments. Hope that's good enough. I can't write something more thorough than that right now.
Facebook apps were down
It's homeopathic medicine in comparison.
Publishing something that HR/PR can consider slander under your real name while being junior developer is not a recipe for stable employment. These guys tend to freak out over minor stuff like that.

Lets hope it does not have negative consequences.

Otherwise familiar - these companies are like supertankers - move slowly and few people are empowered to make meaningful decisions and contributions. Worked for a few years in a telecom ... it was meetings, meetings, meetings, signing contracts with delivery dates before the day they we signed, absurd promises, turf war and NIMBY.

From now on - 20-50 person companies for me only, unless I am at the very top.
i have used trillian years ago and now rediscovered it through this. Their current client looks cool and the cross-plattform stuff seems to work really well and syncs chat histories and everything.
However today most of my IM stuff goes through Skype (still have a 7 digit ICQ Uin that i have been using from 1997-2010) and their mobile clients dont support it. Too bad, i still dont like Skypes offical mobile clients, they seem to be dog slow and eat alot of resources.
Skype is also a massive PITA on multiple machines/devices which i do all the time and it really annoys me.
So Jony Ive Tipped Off Marissa Mayer On The Changes Coming To iOS 7, Right?
While it makes logical sense I can't help but be saddened by the further misuse of hash tagging by the clueless.
ناروتو شيبودن 317
I am being serious, so much so that you seem to agree with a lot of what I said; obviously, you say, Snowden doesn't understand all the secret programs he's been a part of disclosing, yet there he is, telling journalists that he easily could have read Barack Obama's email had he only had his private email address.
If you're terminating SSL in the edge network of CloudFlare or other CDNs, then your private key is going to be replicated to all their points of presence.

Keys will be vulnerable to anyone with access to those PoPs, which are generally ISPs.
I doubt he is sarcastic.

The very fact that there is so much doubt means it is not sarcastic. Or it is exceptionally poor writing.
Worse... I bet he used drugs.
I think you're looking for Shortcat (http://shortcatapp.com/).
If you're interested in package management solutions on Windows, you might want to see http://chocolatey.org
The Zachman Framework
Duplicate: https://news.ycombinator.com/item?id=5868066
The 17th-century version of the fight over Uber
But you can't deny the hard line separating those who take oaths of office and those who do not. A low-level HUD employee's comments have far less gravity than those of a US Senator.
Origin: "NIST Researchers Offer Tool to Aid Standards Development, Implementation" http://www.nist.gov/el/msid/standards-061113.cfm
For people that are visually oriented they are great working tools.
Tony Buzan, the "inventor" of mindmapping, has a number of presentations available, see for instance https://www.youtube.com/watch?v=MlabrWv25qQ&list=PLofaHHP7uY....
I especially like: https://www.youtube.com/watch?v=LnYVJKxyRPM
although it's a bit dated.

There are a number of really good software implementations:

freemind
freeplane
xmind
SciPlore
YES! That is it! Thank you very much.
Chip In
Ask HN: Is it possible that hardware backdoors have direct access?
Is it a possibility the PRISM related direct access is a hardware backdoor?

References:

NSA has their own chip manufacturer: http://en.wikipedia.org/wiki/National_Security_Agency#Role_in_scientific_research_and_development

Hardware backdoors are practical (defcon 2012 slideshow): http://www.slideshare.net/endrazine/defcon-hardware-backdooring-is-practical

Backdoor in military chips from China: http://www.scribd.com/doc/95282643/Backdoors-Embedded-in-DoD-Microchips-From-China

Rakshasa: http://www.extremetech.com/computing/133773-rakshasa-the-hardware-backdoor-that-china-could-embed-in-every-computer
I'm not suggesting they should all know, but I don't believe all are completely oblivious to the outside world.
You don't have to leave the coasts. Just head over to Herndon in the suburbs of D.C. (http://www.voanews.com/content/illegal-immigration-reform-he...).

You don't get to say that "your America" does not include the rest of the country, not unless you're willing to take up arms and defend Boston as a sovereign entity against foreign invasion.
Enough to stop the NSA? I speculate not.

Aye, and that's the question isn't it. Does the NSA actually have the ability to defeat what is considered modern, secure, strong encryption, or do they have backdoors in popular security program? We don't know, which is a little bit disturbing.
Some advantages: binary instead of XML, compression, shared state between devices.

Since Google has dropped XMPP, at this point it's possible that IMPP already rivals it's usage numbers worldwide (no word on users, but Trillian has >40m downloads).
Edward Snowden doesn't have a BA – why that's the future of the tech industry
I'm sorry, I just don't accept the point that anything some random Congressperson says represents the viewpoint of the whole US Government.
A friend of mine that do not see green will love it (she sees mostly only red, green she sees as 100% colorless, and blue she sees partially)
Ya, he's not paying attention. I work for Azure and everyone is very clearly aware of the world and the competition.
I don't understand why you are frustrated reading about this OS when the vast majority of what's been written so far essentially agrees with what you've said.

Perhaps our browsing history is different: I've read negative feedback about iOS 7 but it's mainly from the Dribbble crowd. I'd say the majority of the feedback from the tech press/blogosphere has been gushing.

Anyway, even if Apple were broadly being lauded for it now, that would be expected. Microsoft pioneered this look in the mobile space. Obviously they were going to catch more flak for it. The first one to try something new always gets criticism from the essentially conservative press and public.

I completely agree, but this is what frustrates me so much.
"making claims that are not directly backed up by the material"

Which makes those claims inconclusive regardless of Snowdens character.
A linguistic change is happening in the English language. We're adding a new class of word, the "referent case", which is signified by a # before the word. The referent case shows the topic of a sentence, just like how the nominative case shows the actor of a verb, etc. We've already added the vocative case to English with the @ grammatical marking.
Can you knock off the straw man arguments? Not wanting my taxes to be wasted isn't a valueless point just because I'm one of many taxpayers, or because the US doesn't compensate Germany when a German-educated person moves to the US, or because education is worth money to someone, or because money is wasted elsewhere, etc.

If the US taxpayers' investment in foreign students who may not end up staying here is a net benefit to US society and that benefit has been reasonably maximized, then I'm all for it. Otherwise I'm not. When a foreign student is given a nice education at taxpayer expense without so much as granting them a green card on arrival to increase the odds they'll stay here, I suspect that taxpayer money is being wasted, even if the return of educating foreign students is positive on net.
I'm not sure you read the article.

Who needs to call him a traitor, only Obama? Is that your interpretation of Juan Cole's "governmental class"?
That's because there is no holistic US government viewpoint (we hope!). The comments of prominent members of the house are important as well.
This seems like a compromise. Someone knew that the standard text was somewhat hard to read, so he tried to change the standard setting, but someone with more power wanted to keep it. So they implemented the larger size as an option.
I wish I could say things were better on the academic end of scientific computing.

Expect no documentation in corporations. --> Expect no documentation in research code.

It is not what you do, it is what you sell. --> It is not what you do, it is what you publish.

Not everybody is passionate for engineering. --> It is not what you do, it is what you publish.

2-3 hours of coding a day is great. --> It is not what you do, it is what you publish.

Not giving back to the public domain is a norm. --> Not giving back to the public domain is a norm because you might not own your data, or because you might not have any documentation.

The world outside is not known here a lot. --> Ivory towers?

It is all about getting shit done. --> It is all about getting shit published.

Copy-pasting code can be okay. --> Copy-pasting code is okay.

Code reviews can be skipped. --> Code reviews? You're lucky if we keep track of revisions.

Your specialties usually do not matter. --> You are your specialty.

At the end, you are working for your manager’s and their managers’ paychecks. --> At the end, you are working for your advisor and your advisors’ grants.
CompCert (http://compcert.inria.fr/doc/index.html) is a "real-world", optimizing compiler the core of which was written and verified using Coq.
> Every person I've shown it to, developer and otherwise, has loved it.

It is unclear to me if those people also actually used the software (at lenght)?
Thank you for the offer, but, where possible I would like to be able to work for it. But thank you very much though!!
Linked article is one of the worst offenders I've seen for unsubstantiated whining.

I'm sorry I just don't see why many of these things are so terrible. It's like every designer thinks their personal taste is an objective standard...
You love Angular, so do I, but not so much about JavaScript.

As a Dart user I can tell you, it feels more right than JavaScript with true classes, interfaces libraries, debugger, etc.
What if the lobster is under-aged?