skysight-inc/HackerNews huggingface dataset:
More specifically, you remove your type annotations for the target functions/values entirely, and then ask GHCi what it thinks by loading the module into it.

You should then examine the result and make sure it is correct. In this case, you wrote the type signature incorrectly on an otherwise-correct function, but you will also frequently find that what you wrote is syntactically valid but has a type you did not intend at all, because it is actually wrong. For instance, it's easy to end up missing a parameter passing somewhere and ending up with an unexpected function showing up in the inferred signature.

You can also find that the GHCi-inferred type signature is correct, but not what you particularly wanted. Sometimes you may want to deliberately constrain it to something tighter than it will infer. And the other major case I've seen is that you may want to write the type signature with synonyms you've created; if you fix the type signature with those, GHCi will use them in the future if you ask for the type.
You do realize that the economies in all of those places pre-date the policies they have now by a large margin, right?

California has, and always will be the gold rush state... taxes aren't going to change that.
I actually disagree with this - the point of properties (in many languages) is to handle exactly the case of "there may be some transforms on this data, and they depend on internals, but really it is just a data view, it should be accessible like other data."

A good example is C#/.NET issues (and somewhat java) where you have .length .Length and .Length() and .Size() and .Count() and so on. It makes changing a data type an exercise in annoyance, and on the one hand there is a decent argument about semantic meaning of the name, on the other hand, tracking each and every subtle use of "I need to know how many things I'm dealing with" in several different ways becomes an exercise in yak shaving.

As for the specific of .json - A lot of python web frameworks provide a .json attribute/property to the request structure, so I presume the earlier version of Requests was mirroring that for conceptual continuity.
Google has failed miserably? You might want to tell them that. I'm pretty sure their iOS dept will be shocked to hear that.

The scrolling physics are wrong because they made the horrid decision to emulate that stupid bouncy scrolling. The damn stuff makes my head hurt compared to the subtle, glow effect rather than shit bouncing around my screen. If they would let Chrome for Android handle the scrolling natively, I'm quite convinced that this app would feel as fast as the native app.

But then again, I know that I'm spoiled with Chrome for Android.
China reportedly blocking VPNs in new attempt to bolster Great Firewall
People are especially generous to homeless youth. You have to watch out for very caring individuals that try to take you to get food or a shelter.
All I want for Christmas is my Apple TV
I don't know how anyone missed that this was sarcasm. However, I happen to currently be in California and lived here previously. I am fond of the state, while myself sometimes wondering why I am so fond of it, given the high cost of living and other problems. It fails to meet a lot of criteria I think I value. Yet, I came back and I am glad I did.

What comes to mind with reading the article is a Simcity game I played once. I typically go for super clean environmental measures and lots of other people-friendly characteristics. A consistent problem I run into is that I wind up getting complaints that property values are too high, it is too expensive for new industry. One day, to entertain my son, I let him set some goals and parameters. For shits and giggles, he wanted to see how quickly we could create an acid cloud disaster. I zoned lots of heavy industry and piled in the most polluting business deals, destroying the environment and dropping property values to never before seen lows. We quickly got our acid cloud. We also got the most humongous factories I had ever seen in the game.

I don't know which aspects of California are "features, not bugs". I do know that it has long broken new ground for environmental laws and policies. No doubt it did so in part because of pollution being "the smell of money", so to speak -- in other words existing business success. Some of our federal environmental laws were modeled on California precedents. The pollution here goes back a long way. So does significant progress on getting it under control. So I cannot take the criticisms of the article that seriously. Criticising the environmental policies here and implying they are broken because L.A. is very polluted really is idiotic. L.A. has substantially better air quality now than it had in the 1970's.

Furthermore, the spread out city layout so responsible for making L.A. all about "the cult of the car" preceded automobiles as the standard form of transportation. It was spread out like that when public transit was the norm. The reason: It is a desert and water gets imported from hundreds of miles away. It did not make financial sense to grow "organically". It only made financial sense to develop large tracts of land at once. That was the only means to justify or cover the high cost of necessary infrastructure.

Again, I also find myself baffled by what exactly is so great about California. It can be difficult to see past its many bigassed hairy warts to find the appeal. Yet I love it here and I increasingly wonder which "warts" are really bugs and which are evidence of important features which are just poorly understood.
Personally, I think QR codes are a solution looking for a problem.

There was ONE time I found a QR code to be practically useful. My wife and I were shopping for car seats, and the higher end model had a QR code that scanned to watch a video about the safety features of the car seat.

I scanned the code, but the video took forever to load anyway, thanks to my carrier and/or the server the video was on.

Not the best experience.
The Single Most Important Reason For Facebook’s Success
> at some point you can get a better user experience, have better access to native API's and can really leverage the full abilities of the device by going native

This is very increasingly untrue.

>, if you are doing a bunch of optimizations to make it fast on HTML5, then you're basically doing the same work as writing a native app

This has never, ever been true for me, not even counting the fact that I don't have to make 3-4x the number of native apps, especially given BB10 coming out next year.
Blekko donates search data to Common Crawl
Ha sorry first time I submitted one of these.

Just any suggestions on the site or the idea.

It uses in browser encryption, all data saved on my server is encrypted and I cannot even read it. I put 1 ad on the pickup page.

thanks!
NASA to test color-changing LED light system on the ISS to help astronauts sleep
The single biggest problem with working remotely is that you have to be excellent at a lot of things that don't matter when you're on site. And since your energy is a zero sum game, being excellent at these things steals energy from building.

You need to expend time and energy on:

- preparing precise specs instead of explaining and interacting

- interpretting imprecise specs instead of questioning and interacting

- writing precise emails

- interpretting imprecise emails

- guessing body language and tonality from written communication

- dealing with conference calls and web-based meetings

- building relationships without benefit of breaks and meals

- understanding the human terrain without benefit of gossip and the water cooler

- being noticed and recognized for who you really are by new people

- being included when you're "out of sight, out of mind"

You kinda get the idea. If you can be excellent at these things, great. Otherwise, be prepared to see your work suffer.
what do you need a "serious secure phone" for?

Android's "open".
I disagree with this comment. If anything the video shows that the HTML5 version here does not lose state when moving between feed and wall. So in effect, it consumes less data when used.

Also, FB is an online community so there is no way to get content, whether native or HTML5 without data plans on your phone. While the native app will be able to cache some content, FB will never make it large enough because they want to get site traffic (and hence ads)
That's correct, that is a viable third option.
Or you can keep the Bookmarks at a minimal. Keep only those you TRULY care.
I'll tell you why working from home makes sense for me, and it doesn't involve hand-waving: without it being an option, I would simply make less money. I am not willing to move to work for a company, so every company that allows me to remotely contract increases my revenues. This goes both ways, too. Without being open to remote workers, these companies would have a far smaller talent pool to draw from, which would mean they will inevitably get worse talent at a higher cost.
All the HTML haters (I jest, but that's not a totally unfair characterization of some here) should check out the Chrome team's efforts for Web Components (although I think the name just changed) for Dart/W3C spec, and AngularJS.

They make building HTML apps much, much, much more similar to building native applications.
HTM5 and Canvas 2D Definition Complete
Purging bookmarks is fine when it comes to 'sites you visit regularly', I suppose. Slows things down a bit. But it's a terrible idea for bookmarked references that you might only look at rarely, because now you have to fall back to google and pray you remember enough details to get back to the same place. Just a few days ago I spent twenty minutes finding http://aliciapatterson.org/stories/eurisko-computer-mind-its... because I'd neglected to save the url anywhere.

I'll go ahead and give support for getting rid of the bookmarks bar, but that's not what the actual article is about.
Were they errors like these?

http://book.realworldhaskell.org/read/using-typeclasses.html...

http://www.haskell.org/haskellwiki/Monomorphism_restriction
> The population has deemed they would rather pay 15 times more to live in San Francisco than KY

Price is not necessarily correlated with value, but rather with supply and demand. And in the case of SF, no, it's not because of the population that the demand skyrockets.
Fundamental Numerical Methods and Data Analysis
Those policies have been in place since at least the New Deal, longer depending on how you want to quantify them.

If empiricism can't convince you, nothing can. Why even read my posts?
Rovio Launches Angry Birds Star Wars On Facebook
1 is more or less already here. Both Chrome and Mozilla are working on it and collaborating on specifications: WebRTC, Mouse lock, Fullscreen, low level Audio creation, MediaSource API for appendByte() style free-for-all video.

It's already becoming easier to build interactive rich applications with web technologies. Frankly, most people aren't paying enough attention.
I was nodding my head up until your last point, about staying in touch. Chances are, not everything (and more important, everyone) at your job has been terrible. I've seen too many people leave a job and then sort of isolate themselves from it entirely, as though it never existed. (And I've been guilty of this myself, especially early on in my career).

You never want to burn a bridge, or leave on bad terms, or fade away entirely. Especially since there is so much fluidity in this industry, and you never really know a) who knows whom, and b) when someone you used to work with will be working with you again.

The ability to compartmentalize -- to separate the negative emotions evoked by a terrible job from the aspects of the job that may have been worthwhile -- is not easy to master. But it's a great skill to have.
I see, so your main point really is that you don't think the new features proposed in HTTP/2.0 are worth the change in wire representation.

Prioritization:
Generally speaking, documents (HTML) > script/stylesheets (JS&CSS) > subresources (e.g. images).
https://insouciant.org/tech/resource-prioritization-in-chrom...
https://insouciant.org/tech/throttling-subresources-before-f...
Torchbox development lets you tweet via a moose straight into their office...
This is absolutely ridiculous given how hard China has tried to woo foreign investment. Now what's going to happen to companies that run on Google Apps and their employees who are used to having Google/Facebook/Twitter?
So in other words, it's harder to play corporate politics when working remotely. That I would agree with. Whether or not that's a bad thing, I'm not sure.

And honestly, if you're not spending time on preparing precise specs or writing and interpreting clear and precise emails while working on location then you're doing something wrong. Most of the communication and project management still happens on computers whether or not there are remote workers involved.
Why Java programmers have an advantage when learning Clojure
I couldn't find on the front page how to make a custom poster... I had to click on a premade one to see that I could edit it (and I only did after checking the comments here).

Plus I had to read the very long introduction text to know what this what about. My advice: let me play with the interesting stuff right away, or at least tell me clearly in one sentence what I can do on this site. It will most certainly improve your conversion rate.

Great stuff, but a little too hard to figure out !
If a non-jailbroken phone is secure, then how is it possible to jailbreak it?
If software is Eating The World what language will be used as the main medium?
writing a program so it runs cross platform on ~800 devices and ~100 different operating systems is more work than writing a software for a single device and software.

Android is defragmenting the market, because it allows you to write a single software for both samsung touchwiz and htc sense.

iOS is fragmenting the market because you have to write a seperate app for it.

The fragmentation complaint makes no sense, because Android did not spawn all those different devices. Android just allows you to target all of them with the same code.
The thing I notice about people who are frustrated about how difficult it is to code is that they don't give themselves enough time. Learning how to code, like any good craft, takes time and that's something most people cannot understand because of all the flashy and motivating books and tutorials out there. "Learn Ruby on Rails in 24 hours blablabla".
I would say 3 years is a good start for the total beginner.
Learning to code is hard, and everyone's specific struggle is unique. The key issue though is why do they fail to learn, and that answer is the same for everyone that fails: they give up.

All kinds of mental talents can be helpful for learning to code, but tenacity is probably the most important. Better learning materials can be great, and they're getting better all the time, but they are still no substitute to an unshakable commitment to being a developer.

For my 12th birthday in about 1980, my grandparents heard I liked computers and bought me a college level textbook on microprocessors. I didn't understand a word of it when I first read it really. But I did read it, and re-read it, for a couple of years. And it's one of the key reasons I wasn't afraid of doing assembly language a while later when I got my first computer. The book was a terrible way to learn, and it was completely at the wrong skill level for me. But I was really into it and made up for my lack of capability with a tremendous commitment and huge amount of time, slurping up every bit of information on computers I could find.

You've only lost when you quit fighting.
If you'd like to see some examples of what you can do with Common Crawl data, here are the winning projects from a code contest held last September:

http://commoncrawl.org/announcing-the-winners-of-the-code-co...

Some code libraries for using Common Crawl data:

https://github.com/commoncrawl/

Some clues for getting started:

http://commoncrawl.org/get-started/
Ode to StackOverflow
You could just put some piece of contact info in your ESSID?
Blip.tv's Clojure videos are being rehoused on Youtube
I'm tired of web-based project management tools. Give me something on the desktop, that has a UI I can understand and isn't integrated with my browser, or go away. Anyone with a few hours and a CRUD generator can make a web-based project management tool.
Zebrafish made to grow pre-hands instead of fins
Gaining access to the full Windows APIs from Windows 8 apps
It's all about who is able to get their VM in the most places; Java already lost that battle and Flash is on the way out.

It seems like JavaScript is the new ActionScript.
Matt Collins is the artist behind the Apple TV and Apple TV device concept renderings. You can see more of his work on his Dribbble; http://dribbble.com/matt_kicks and his footwear blog; http://www.lastplacefootwear.com/
2012 Robot Gift Guide
Being someone that may soon be in a remote working situation, I'd be very interested to hear what tools you (and others) find crucial for your day to day remote communications. I am not an engineer, but in more of a producer role so personal communication is a large part of my day to day work. I'm wondering if I can get anywhere near the level of communication that I've grown accustomed to, working onsite. I'm obviously familiar with Skype/iChat, Basecamp, Campfire (we use these tools extensively even though we are in the same office)... Just wondering if there is anything else that helps more than these tools, or if its just a matter of being very diligent with them.
Am I going mad or does that article end before it gets started?

How Facebook got us to use our real names is pretty well documented, but the result of that is -in my opinion at least- much more interesting. I'd attribute that to the start of the downward spiral of our desensitisation to the erosion of our privacy.

Before then, people cared much more about how supermarkets collated shopper habits based on club cards used. Or CCTV cameras. Now few people even seem to care that their e-mails are being scanned for targeted adverts.

Maybe I'm being too harsh? Or does anyone else agree?
Right, I really dislike when people say generally "I don't get it". I have no idea where I need to re-explain something, and I end up starting over from the beginning a different way. Sometimes, after a couple rounds of this, I just have to stop and say, "I'm not sure what you're confused about, why don't you help me a little in clarifying what you need info on?". I quickly lose patience (and respect) for someone who doesn't take an active role in understanding. Conversely I have no problem going over something N times with someone if they can help me map out their (not)understanding of something, because then progress can be made.

Even if you aren't sure what you don't understand, narrowing your questions or explaining your reasoning on things you do understand (or think you understand, sometimes we all are wrong on some key assumption that changes everything) can help your tutor fill in the bits that help explanation. Further, this sort of exercise is an example of metacognition, which teaching theory suggests is a very vital part of directed learning.
Thats great feedback! Thanks.

I will experiment with how to better describe how to use the site on the homepage and make it a little more obvious how to customise a design once you have chosen a design.
This makes so much sense in high-rise apartment buildings where everyone has their own cable connection and wireless router. The cable companies don't want you to share your connection -- they want everyone to pay up. But sharing is much cheaper for end-users. Good luck with this, smart idea. Incentivizing broad adoption is the hard part. ;)
The whole point of the @property decorator is to compute properties. It's no big deal really, I'm just interested in the design decision in this particular case.
There comes a point where you think "I disagree with so many of the design decisions this project took that I don't have the energy to chase up every last consequence." Well before that point it becomes reasonable to kick off another project to flesh out your own ideas. Competition is good.
Two problems with that:
1) You and your WiFi don't stay as anonym as with wifis.org
2) The "neighbor" seeing eg an email as a SSID get's no explanation why you did this
Surely you see the irony in complaining about the erosion of these liberties while at the same time pushing for further subjugation of the populace?
> Getting that seems to require in-person contact. It requires trust so it rarely happens when people haven't shared physical space.

It's difficult, but it's not impossible. I was recently promoted to CTO, and the company I work for is based on the opposite coast from me. It helps if you work for a company where working remotely is part of the culture - we have people all over the world in many different timezones, about one third of use work remotely. You can definitely make it work in the right company.
This is pretty sweet, it's a shame it doesn't appear to be open source.
> Talk with people about more than work. Connect and develop relationships. Work toward a true culture that exemplifies what the company stands for both internally and externally, and make it meaningful to everyone involved.

So, what, people can't do this type of stuff online? The remote team I work with hangs out on internet chat all day long, every work day. We talk about plenty beyond work related stuff. We even post messages over the weekend. We care about each other and our personal lives and have a very cohesive team. Again, this is ebooks vs. paper books. People have a romantic notion about what true interpersonal communication is supposed to be, but when it comes down to it there's no reason why one method of communication is inherently better than any other.
Patient Shows New Dexterity with a Mind-Controlled Robot Arm
I completely understand where the author is coming from and then some.

I am also on the receiving end of many of those same emails. However, I actually live in California, in beautiful Monterey. Every single Silicon Valley recruiter does not think it is a big deal for me to move two hours away. I am so close, why not? If I wanted to live in Silicon Valley, I would live in Silicon Valley.

BTW, I do not believe in working remote. Working locally has numerous benefits for both the employer and employee.
Possible vulnerability is a reason to disable font loading from untrusted network locations. It is not an excuse to break font loading in local content-creation programs.
Nice. Good job reducing UI and common interactions to a minimum. The auto-updating structure on the left also encourages a proper hierarchy for the document.

I want it. Where do I go?
I've been waiting for what, a decade, since VIA introduced padlock to get hardware accelerated encryption in mainstream CPUs. And, just recently, basic support have been introduced but only for AES and nothing else (and if I'm not mistaken (probably is) the padlock is vastly superior to the offerings of AMD and intel :P).

So yes, crypto accelerated hardware is behind and does not support the ciphers that the crypto community (academia/industry) endorses and in all likelihood will never bother catch up since doing it on the GPU will be good enough. Even if it takes another decade.
More Combinator Recipes in JavaScript: Partial, Bound, Send and Fluent
interesting idea, but how can the user contact the owner when he currently doesn't have an active internet connection ?

I guess the user has to contact the owner from a different device that has internet access.

and why not just rename my SSID to ContactMeForFreeWifi@somemail.com ?

How about some software which actually lets the other person with no internet access contact me ( via WiFi ), of course security should be taken care of .