skysight-inc/HackerNews huggingface dataset:
That's not really dependent typing. All of your examples are attainable without dependent types.

data NEL a = NEL a [a]

nel :: [a] -> Maybe (NEL a)
nel [] = Nothing
nel (a:as) = Just (NEL a as)

data EqLen a b = EqLen [a] [b]

unzip :: [(a,b)] -> EqLen a b
unzip [] = EqLen [] []
unzip [(a, b):rs] =
let EqLen as bs = unzip rs
in EqLen (a:as) (b:bs)

A dependently typed language can of course do these things (the most popular of them are strict supersets of HM languages after all) but generally they would use dependent types to construct richer and more flexible typing invariants.
The founders could always threaten not to work enthusiastically (or basically at all). Nothing the investors can do about that. So the investors are better off taking their money back.
Can you elaborate upon in which domains that power is worth it? And when it is not?
Murky Special Ops Have Become Corporate Bonanza, Says Report
> The non-volatile read is _allowed_ to see the non-volatile write (i.e. such an execution exists, this is the question I ask in the exercise), but it doesn't have to.

And this is why debugging this kind of issue in practice is fun: You have very little or non-obvious guarantees here.

If you think about constructing adversary proofs or decided that your program is a little gnome bound to make you insane, this can be rephrased as: In this example, the nonvolatile read can choose any value of any write as long as it is in a happened before relationship to the nv-read. It might pick every value, every second value, or just that one troublesome valu and never change again.
You could argue its all 'star power' in the valley too, money and talent do seem to follow people who have a couple of big exits on their resume. One of the differences though is the artistic element. Engineering startups is an 'art' but it isn't the kind that brings out the 'artist temperament' as some refer to it.

I don't have enough real knowledge about how that gets done so I can't really say if such a thing could happen, but I do see a lot of similarities between Bay Area culture and So Cal culture which are both warped a bit by their respective economic engines.
I never knew the term, but just came across it and thought I would share just in case others were wondering.
Anyone here uses ncrypted cloud, boxcryptor or their competitors?
Anyone here using ncrypted cloud, boxcryptor or any other application to protect your files on dropbox. What do you guys think about the apps? Disclaimer: I am making a yo-fied clone of their apps.
I'm guessing it'd be claimed as fair use because it's transformative.
I would not call a 300 million people speaking the same language a "handicap" for the US startups. It's more of the opposite.
Not so much enforce, but it's often hard to prove the details.
thanks for the example, it makes perfect sense to me.

That would be the same reason that when coding in java I moved from "how do I disable warnings" to "how do we automate findbugs+checkbugs for all devs" :)
> Imagine if a foreign companies started liquor stores across the US that sold alcohol to under 21 year olds, flaunting US law, claiming to be innovative and disruptive, and accusing the US of just trying to protect it's internal market.

We have literally discussed this idea at work last week. Air France should park their Airbuses in some airport and sell wine there to 18-year-olds during their prom nights since the laws of France are in effect aboard a ship.
A Competition to Make the City More Resilient
https://www.webkit.org/blog/3362/introducing-the-webkit-ftl-... for those who missed it.

The LLVM phase is really an alternative to the existing DFG JIT, and more precisely to the final phase thereof: the front of the DFG JIT is still used up to CPS optimisations, then it branches right before codegen: DFG generates its code directly while FTL converts DFG to SSA, applies SSA optimisations, converts to LLVM IR and passes the IR to LLVM for codegen.
You could try iBeacons, though they only work with iPhones.
This is for Canadiens:
I personally use Questrade, though virtual brokers is much better in terms of low transaction costs.
"there is only who has the military power to dictate terms." That's generally how these things work, yes. What were you expecting?
Devil's advocate: if you say the Spratly Islands are Chinese, then the line makes pretty good sense.
In the absence of fraud, voluntary exchanges are mutually beneficial.
I checked just yesterday and I'm like 24k-th in line--I was 300k-th when I signed up. That means tens of thousand of people should have already been granted access. Even with that potential user base I still can't find a single review of the service online.
Fascinating article. I also really enjoyed the presentation - the mix of writing, video and images worked well together. This is the first time I've seen the "BBC Magazine", and the experience is great.
Avoid These 10 Office Distractions to Get Work Done
I have been coding for fun for 26 years and played around with most popular languages. Common lisp has by far the worst community I have experienced. There is a minority of people that elitist , rude even hostile to anyone that is new to the language. I never gave up a language because of the community but CL community really was very hard to tolerate. Elitism and snobbery is far from uncommon in the coding world unfortunately.

I think as a language it deserve the reasonable praise it gets and certainly a beautifully designed language, powerful and yet flexible. I enjoyed very much coding in it and with the help of lispers I was introduced to a language / environment I fallen in love with Smalltalk , Squeak and now Pharo.
I just let a domain lapse that was going to be about this issue - wrongtutorial. "Your tutorial is wrong and you should feel bad". Not updating / timestamping / putting a big fat "outdated" warning on an article is inexcusable.

This article, however, probably isn't that out of date - the attack still works!
Netflix, Oculus Rifts, and that damn 1%. This week’s Shortlist
Another cycling company, Trek bicycles, has a pedaling mannequin that they use for some of their wind tunnel tests([1] page 14). That's an older report (2010), but they have another from 2013 if you're interested in that stuff[2].

[1] http://www.slowtwitch.com/Downloads/TK10_SC_white_paper_lore...

[2] http://www.slowtwitch.com/images/trek/TK13_SC_Whitepaper_fin...
Vanguard. Website works well enough. Rarely find a need to use the Android app - I use Mint primarily to keep an eye on my accounts, and Google Now for timely updates of certain stocks/funds.
Official SEC Edgar filing: https://www.sec.gov/Archives/edgar/data/354950/0000354950140...
Louisiana Loses Its Boot – Matter
While I don't know as much about it as perhaps I should, the reloadable-prepaid market is very large.
American Express offers a popular card in this model.
Territorial claims is NOT base on distance.Is Hawaii to far to be a state of the us?
That's basically the (Australian) ABC.
What you are saying makes sense.

$12/hour for 8 hours a day, 5 days a week, 4 weeks a month = $1920 per month. Assuming 12 months (even though we are 4 weeks short) we get $23040.

Starting salary for Airline Pilots in the US = $21000. Source - http://www.businessweek.com/articles/2014-02-11/yes-theres-a...

So, its not just Vietnam/Laos or the like, but right here in the US. If we do bring in the rest of the world, $23K per year is higher than the average salary worldwide. Source - http://www.bbc.com/news/magazine-17512040
Solaris has a fine-grained privilege model where you can delegate any aspect of any dataset to any user. However, FreeBSD and Linux don't have this, so on those systems you have to be root to do snapshots.
A nice and neutral report by British, Japanese, etc
It’s Payback Time
Yeah, me too. I opened up a bunch of tabs from the front page (as is my usual habit here, reddit, etc), and by the time I got to this it had changed to Gmail and I was totally fooled. I've gotta be more careful!
Ubuntu controls the PPA. Ubuntu has reassigned the developer that largely lead the Ubuntu Mozilla integration. There is little we as Mozilla can do to control this. If you need this resolved complain to Canonical management or find someone from the Ubuntu community of Nightly/Aurora users who wants to own keeping the PPA running.

There are precompiled tarballs available at nightly.mozilla.org and aurora.mozilla.org I have used these on just about every major distro and several of the smaller ones without issue.
Astonish Services from Web Design New York Company
Presumably the Bitcoins were not worth anything when he mined them and he won't owe any capital gains until he sells them.
The Wedge of Technology and the Next Era of Work
It can be, if the effect is big enough compared to noise. (In medicine you usually have much more noise, that's why you need more participants.)
Ordering a Pizza with JavaScript
Well sure, that was my point. It seems like, even without dependent types, you could do a runtime check to prove anything you like in a type's constructor, and then other code can rely on it being true. But that doesn't mean it's practical to introduce a new type for every possible assertion, nor is the compiler assisting you very much with your proof.
All should take this moment to remember how much money George Soros made when Britain tried to peg the Pound to the Continental currencies. [1]

[1] http://en.wikipedia.org/wiki/Black_Wednesday
Does the US claim all the ocean between the west coast and Hawaii? No, because it's too far from land.
Oooh, this seems like a perfect app for sandstorm (sandstorm.io)
I've never encountered a field in science where fundamental results aren't sufficiently replicated by other labs.

That nobody spent $500-$2000 to estimate leg hair drag probably speaks more about people not wanting to be caught measuring leg hair drag than about the entire field's tendency to replicate findings. It's also really weird for people to consider $500/hour tunnel time to be expensive for a sport with as much money as cycling.

Really, I thought it was weird, and probably inappropriate, to mix in so much of an outsider's amateur and unsopported opinion about science into an otherwise interesting story about leg hair drag.

If there's a serious story somewhere about results not getting replicated when they should in many fields of science, I'd like to hear about it. There's often stuff on the fringe, but any serious result will be replicated soon. Take, for example, the acid-bath stem cell retraction from not long ago. Where else are important results not replicated? The Higgs? It's a baffling perspective.
Forgive my ignorance (I know I'm missing something), but how do you distribute the shared secret to clients of a single page app? How do you keep the shared secret "secure"?

I've implemented something very similar to JWT (based on the old AWS auth scheme), but each client is given an API Key and their own Shared Secret. How does the server know whose shared secret it should use to validate messages?
The number one reason I don't use ZFS is that I have to use Linux and OS X. My data at home indeed does reside on ZFS, and I also have a few Solaris machines in the cloud, but a huge part of what I have to do, I have to do on Linux. This is not my decision, and usually I can't influence it. ZFS does run on Linux, but it's not by default, so from the perspective of the people I have to work with, it could as well not exist.

But you asked me only about a single place; my OS X laptop. After I use Solaris for a while (where I have automatic snapshots), when I come back to OS X I feel so weird that I have to remember that I can't just delete a file and recover it from a snapshot. Also, I've experienced silent data corruption on my laptops; this would be detected by ZFS (unfortunately it wouldn't be solved, as laptops with more than one hard drive are very rare, but with mSATA and a SSD, now there's at least a way on some laptops).

I also have to run old versions of Go every day; on Solaris I have versions of binaries from every commit and I can just run them to test something. On OS X is more complicated, I use venti, but since it's not integrated with the filesystem (because FUSE sucks), as on Plan 9, it's more annoying.
Apple is the Lone Wolf, which way will they go?
RobusTest – One Click Automation
- Robustest Integrated Testing Environment (http://www.robustest.com)

With RobusTest , you can Create and Manage Manual and Automation Test Cases, Perform Cross Browser Testing, Convert Functional Tests into Regression and Performance Tests .

Point, Click and File a Bug

The easiest way to file Bug. Browse on the Page, Open Bug Report, Point to the Element on the page, Click to File and Sumit the Bug.

Cross Browser Testing Choose Browsers, Choose Test Cases and Click to perform Cross Browser Testing Schedule a Smoke test and Get extensive reports.
I'm actually not the one who made that comment. My mention of spyware was in reference to the Ask toolbar installed by the JRE on Windows. Installing such things is not a normal part of the Ubuntu update process.
I'm not sure how it works out for these chips, but I remember stories a few years ago where the fabs were so high quality they didn't have enough defective chips to put in the lower bin, and had to bin "perfect" chips to reach target volumes.
Automatic iOS App Testing (with iOS8 support)
Improving Smashing Magazine's Performance: A Case Study
So, what you are saying is that every time we buy something that's "Made in China", we are fueling the next major military power, which in turn will lead to a major conflict in the area?
True Link (YC S13) Is Hiring a Full-Stack Web Developer (Rails Stack)
We pay attention to any performance related problem found by our users and try to fix them as soon as possible. If you ever face this experience again I strongly recommend you to report it immediately so we can reproduce it and provide a fix for you.

Please use this instruction on how to report such problems: https://intellij-support.jetbrains.com/entries/29983118-Repo...
When Hiring Test Critical Thinking Over Specific Technology Knowledge
I'll still likely get the iPhone 6.
> there is only who has the military power to dictate terms.

Yeah, just like the American invasion of Iraq in 2004. Just because they could, despite it being unlawful at all international levels. But hey, Russia also does it, so there's not really any good example out there of a country that does not seize opportunities.
MBase compiler development framework is released
More than the article, I enjoyed the presentation. The whole design is very intricately woven together with various media elements. I loved the style but at the same time I was slightly annoyed by not being in control (probably the auto changing images with scroll was slightly over the top). I wonder how's the user experience with others.
Yeah.

Faster talks about a certain dimpled TT helmet[1], and how it would probably work really well if your head rotated continuously while you rode.

[1] The book doesn't name which one, but this is the only dimpled TT helmet I know of: http://www.louisgarneau.com/in-en/product/826916/1405156/Vie...
I think I can answer my own question.

The client doesn't get a shared secret. JWT is a server sending a token to the client which the client then sends back like a cookie. The client isn't allowed to modify the token or the data inside it.

It's like a signed cookie.
Since a year ago upto a few months before, my day was split in half while working on two projects. The first half had me working in C, bash and HTML/CSS, Javascript for an embedded project and the latter half was Java (Android), HTML/CSS and Javascript for a mobile/web project.

Nowadays, (moved on to another company) the first half is in Scala (Play), HTML/CSS and Javascript for a web project and the second half in Java (Android) for a mobile project.

It has been not been that difficult to manage switching between languages unless the programming paradigm changes (Java <-> Scala), but even that you get used to. The major goal is, in my opinion, to become so proficient with the language(s) that you're working with, that it becomes second nature to transform your thoughts to source code. Very much similar to learning a second natural language. It's not really necessary to learn the ins and outs of each language that you work with, but at least the stuff that would be required.

Some problems that I had,

* Realizing it takes time to get used to the context switch.

* Using different editors. I was doing C and bash coding in vi, but working and modifying Linux source in KDevelop, mostly due to changes in coding style like tabs vs spaces. Java(Android) coding was in Eclipse and HTML/CSS/Javascript was in Sublime Text.

* If you go off one lanugage for a couple of days, it takes some time to get back into it. Doing at least a few things daily keeps one in the flow.

* Static compilation helps a lot when we make mistakes after a context switch. Javascript and Bash proved to be a major pain for this (I did try out JsHint for Sublime, but it slowed the system down, so I went back to looking at errors in browser console).
No. Probably the date was set wrong by the sender.
@ultraboy
Despite the risk of down votes, I have to say this.

Did you really say that?!
Interesting, I wonder how dramatic the effect is with swimming, there are swim flumes like this https://www.youtube.com/watch?v=feUhyCklHL0. It's usually used to analyze your stroke, but maybe if you put a bar in there to hold on to and test unshaven vs. shaven.
Sure. And that person would benefit from working at the top tier startup before starting his own.
I had the opposite experience; usually I can't stand when a website tries to do something novel with my scrolling, but here all they did was update to a more relevant map alongside the text, for example. I was a bit too ecstatic to see that.
Zimg – A lightweight and high-performance image storage and processing system
PS4 Controller and PlayStation 3 – Welche Spiele Funktionieren?
Is it better than the "Subsonic" Android app [1]? Just looking at the screenshots of DSub is that it doesn't look as good as the Subsonic Android app.
iPhone 6 is to be released on 19th September
I get that environmental concerns don't affect anything here, but are any of these coral reefs? Or are they just areas with shallow water?
It may become self-fulfilling prophecy.
YouTube now defaults to using the <video> element unless the video would show an advertisement. In those scenarios, it falls back to using the flash player.
That does not contradict shlorn's hypothesis. One hacker gains access to Satoshi's accounts through @gmx recycling. Then he sells those accounts separately.
How's that different from non-digital information?
To clarify, I'm not saying I wouldn't punch Andy Rubin, I'm just saying I wouldn't punch him because someone stole my phone.
Hey,

This is really nice. Would you mind chatting with me sometime? I'd love to pick your brain or even just converse with someone who has similar interests. I've spent the past two years developing Streamus, https://streamus.com/, an open-source music player which runs off of YouTube as a browser extension; it has 130,000 users currently.

Hit me up if you want to chat! admin@streamus.com and if you'd like to browse the repo, https://github.com/MeoMix/StreamusChromeExtension
Use Go to extract dominant colors from an image
"Largest open platform in existence"

It's not open, it's locked to legacy languages.
> which will clue you in on the attack.

I would just assume that this is due to browser lag (since at my machine using Chrome, I've usually written my credentials before the browser's delay for notifying me about saved logins pops up.
Undo/Redo and Optimization Level Features in Runtime Compiled C++
'Catholics' didn't murder anyone, since they didn't exist yet. The third crusade was hundreds of years before the protestant reformation. The Crusaders were simply Christians.
I've watched with fascination as the Japanese Senkaku islands slowly and gradually came to be labeled 'disputed' in the western media, after China's recent claims.

It seems like China has figured out a way to hack the media (the free media outside of China, I mean -- the government there obviously has root on Chinese TV and newspapers).

Japanese ownership of this territory is basically as settled under international law as anything of this nature can be; the islands have been held by Japan since the 1800s, then controlled by the USA for a time after it defeated Japan in WWII, and eventually returned to Japan along with the return of Okinawa.[1]

But after China's slow and steady media campaign, it has somehow become widely reported as 'disputed territory'. (Which it is in a meaningless and pedantic sense only.)

This island-building is another hack, and maybe a clever one. Killing 70 Vietnamese soldiers in the military action in the 1980s to seize a submerged reef didn't make China look good at all.

But perhaps by building new 'islands' to buttress its aggressive and expansionist claims to the territorial waters of other nations, we may end up seeing the western media in ten years uncritically reporting that "China, which has 9 islands in the disputed waters, insists that it is merely defending its territory..."

Which is very important, because none of the countries whose territories China is going after -- not even Japan -- would do well in a straight up military conflict. The Philippines only hope is American protection. So the way China's aggression is covered in the western media is actually very important.

Interesting times.

[1]: http://csis.org/publication/japan-chair-platform-senkaku-isl...
Ex-Microsoftie Arrested for Pirating Windows Activation Software
Apparently this is called "open". Black is white, god is bad, truth is a lie, web is open.
After 5 long and difficult years,
I’m extremely proud to say that
I’m a Waterloo grad

Every Waterloo grad I've ever met has gone through their coop program, which adds an extra year to their undergrad degree: https://uwaterloo.ca/find-out-more/co-op/how-co-op-works
I'm sure it's an improvement; I'm not sure how big a one - that doubtless depends in part upon just what the NoScript user's habits look like.
Home Depot Data Breach Could Be the Largest Yet
Considering Thiel's net worth of 1.5billion, I imagine he's motivated by making a profit as well.
Second this. Use IB API to trade. Use ToS for option analytics.
I think they would use the list of ciphers the browser says it will accept in the TLS handshake, or maybe TLS version.

Anything from ClientHello could be used: http://en.wikipedia.org/wiki/Transport_Layer_Security#Basic_...
Grouping "US tech companies" together based solely on their place of origin, and tarring them all with the same brush, is naked nationalism.
> because none of the countries whose territories China is going after -- not even Japan -- would do well in a straight up military conflict.

I'm curious about why you don't think Japan would do well in a straight-up military conflict.
well is there any company which does market research for your app? that would be nice!
That attitude is definitely not in OnePlus. While we naturally do look at history to see what worked for other people we're certainly not afraid to try new things.
The Camera of Your Samsung Smartphone Will Act as New Mouse for Your Smartphone
One solution I have seen, is you select a custom image during the account signup process, and it appears on the login page. That way, if there is no cartoon elephant on the login page, then it is not right.

My chinese bank account does this. I am not sure how effective it is, and it requires a two step login, so it is terrible from a usability standpoint.
According to this feature Samsung's camera will act as its mouse.

They have filed a patent application for this feature and this will alleviate problems that we face while using touch screen of our smart phones and tablets.

You can even control your device by using your head.

You can scroll a webpage by moving your head up or down.

You can turn pages of a PDF file by turning your head to left or right.
I'll add that their starting salaries reflect this, though.