skysight-inc/HackerNews huggingface dataset:
Over and over I see reports of iteration speed being critical to real-world projects, and that's certainly my experience.

But it's something I rarely see featured in tool design. So many of our tools are still batch oriented: they start from scratch, read everything, process everything, and then exit. That made sense in an era where RAM and CPU were expensive. But now that they're cheap, I want tools that I start when I arrive in the morning and kill when I go home. In between, they should work hard to make my life easy.

If I'm going to use a type checker, I want it to load the AST once, continuously monitor for changes, and be optimized for incremental changes. Ditto compilers, syntax checkers, linters, test runners, debugging tools. Everything that matters to me in my core feedback loop of writing a bit of code and seeing that it works.

For 4% of my annual salary, I can get a machine with 128GB of RAM and 8 3.1 GHz cores. Please god somebody build tools that take advantage of that.
But not in every country... To reduce latency, it's much cheaper to reach customers in that last mile with CDNs, not replicating your entire infrastructure and all of you data stores.
If anyone's curious to read more about this, Wired has a pretty good piece: http://www.wired.com/2014/06/wuwt-traffic-induced-demand/
6 Tips on How to Design for Mobile Apps
The VW stuff was found by testing 30 cars 30 times each, and even then it wasn't a slam dunk. Besides, by then, it's too late.
Between that, bottle and maybe sqlite, you've got your whole setup in a directory without requiring modules, packagers etc. That can be a big boon for internal or embedded stuff, when you don't have total control over your environment.
SDR is notoriously CPU-heavy if you're doing anything beyond the really simple stuff.

I quickly gave up on using my Pi for SDR and moved to a mid-range mobile Core i5 which is a lot more capable, but even that is starting to strain and I might need to split the processing to a couple of machines in the future.

Looking forward to trying this when I get home.
From a pure market point of view, I'd prefer they got rid of subsidies (direct and indirect) first.
17 USC 512(f), come back, we miss you.
It's true. How much time is non-stop worth? Or a seat the whole ride? It is worth something!
He reminds me of TJ Hollowaychuk, who singlehandedly wrote most of Express.js. Makes me wonder what the node community would be without him.
Thanks for validating my logic. I wanted to make sure that there wasn't some major gotcha in the MIT license that I missed.
Xkcd's actuary.py – A morbid Python script
Noooooooooooooooo. No.

"distance is relative and depends on the reference frame." does not imply " There will always been some reference frame where their is no distance between points.". It just means that distances may be different.

Special relativity is a linear transformation, so a nonzero distance cannot become zero.

Relativity doesn't help locality violation, far from it. Relativity has issues (EPR) with locality violation.
The last big corporation I worked at, they had pretty strict protocols when you needed help from a co-worker.

It started with an IM, if the person was listed as being in a meeting or had their DND status on, you couldn't IM them. If they were available, you had to ask, "Do you have a minute." and they were free to answer "no" and then set up a time to IM you back later.

If an IM was unsuccessful, or if the person was not on IM for some reason, you could then email them and you had to wait for a response before doing anything else. This was of course after you had gone through the IM process.

If the person wasn't on IM or didn't answer your email (the person had an hour to respond to your email), then and only then were you allowed to go to their desk. If they were at their desk, you still had to ask if they had time to talk. They could still say "no" and you had to accept whatever time frame they set to talk later.

If all of these were unsuccessful, then you had the final option to go to your manager. The only advantage was your manager started with an email and had 30 minutes to answer any emails with "911" In the message title.

The rules seemed pretty archaic, but if you followed them, you'd find they were pretty efficient in promoting a very quiet office, with little or no distractions. There were periods were I could go hours without needing my headphones - it was pretty amazing.
And if you want to get past the paywall, Google the link and open it from the search results.
For those interested in this subject, there's a great documentary that was just released on Netflix, it's called Cowspiracy.

It was produced independently and now is being backed by Leonardo DiCaprio. The facts and interesting story behind the movie are covered in this Rich Roll podcast episode: http://www.richroll.com/podcast/cowspiracy-how-animal-agricu...
This is an interesting take. I think if they continued to any new wahoo code after the disagreement and breaking up, then that new code is infringing. However, the agreed upon merge code might not be subject to the DMCA.
Martin Winterkorn, #VW CEO Resigns
These are easy libraries to write; people should just write them themselves.

Well, if you say so! Seriously though, isn't x86/64 opcode set gargantuan in size? Not to mention the maintenance and what to do with parallel constructs. It doesn't sound easy to me, apart from trivial text emit experiments. I haven't tried writing one though, so I wouldn't know. Also, what's easy for someone isn't easy for others. I find image processing and rendering relatively easy for example.
You're right of course that the organization of the state has changed greatly over the course of the last 1000 years. But in the last 50 years we've seen tremendous improvement in various technological capabilities and very little adoption of these by the states.

When there's a technological revolution every 20 years or so, but a political revolution only every 200 years or so, I think it's fair to argue that the state is very resistant to change. I might see several technological revolutions in my lifetime, and no political ones.
It seems https://libraryofbabel.info/ is being hammered down at the moment.
Scala library for Flow based programming using nanomsg
And we can't switch to IPv6 ourselves? This this problem need to accelerate user switching (even if just the advanced users) or switching at the ISP level?
Firefox for Android supports uBlock Origin and it works wonderfully. Highly recommended to improve mobile browsing, including faster page load times and less bandwidth usage.
I feel like I can somewhat relate, I've been adding flowtype [0] annotations to my JS code, which is transpiled with babel. However, since I'm using unsupported ES2015 features and experimental ES2016+ features, it fails to run over my code (which is completely understandable).

The workaround I've found is to use a plugin [1], which converts the type annotations into runtime checks. It's not perfect, but I've found it helps catch some bugs quickly. It's also really helpful for documentation purposes: you know that this function param takes a number param, if you're not passing in a number you've made a mistake. Also, having the inline type is nicer than having it in a jsdoc-style comment above.

I think there's diminishing returns as you add more annotations to your code and you make them stricter, but having basic sanity checks has been helpful in catching stupid mistakes quickly.

[0] http://flowtype.org/
[1] https://github.com/codemix/babel-plugin-typecheck
Learning in the Age of Tutorial
Car industry 'buried report revealing US car safety flaws over fears for TTIP'
Bounded and unbounded data processing and analytics
Before Wahoo, the DMCA filer worked as an OMF core member, and months later created Wahoo, which is a totally different project. Eventually all collaborators decided to reunite,
and the code base was completely replaced with wahoo, sans the name, but due to "disagreements" they split. The project actually has a long history.
So apart from bruised egos and non-attribution the major issue seems to be repo-stars?

I don't claim to understand what's going on at all or who is in the right/wrong but reading the GH issue discussion it's about repo ownership? Maybe I'm naive and easy to push around but why not just fork, re-add your copyright and start from 0 stars...only the code should matter, right?
IBM to open San Francisco office dedicated to Watson supercomputing – Fortune
> Because how would different points in space "know" to run the same set of equations?

This is not locality. This is translational invariance.

However, equations have parameters.

The principle of locality is that these parameters come from nearby regions of space. Basically, things are only affected by what's near them.

It's violated by quantum mechanics.
Got Milk? What’s in your wallet? And now… #BuiltwithBitbucket?
Since folks seem to be new to docker and Xen: Hypervisors like Xen have very poor IO performance: one of the major benefits of docket is that it provides containerisation without the IO overhead of a hypervisor. Neither of those have been disputed by anyone, ever.
Why Flow instead of Typescript?
> It was thoroughly examined in the 1930s

That's what I said. Only in the 20th century for something that might seem to an outsider to be fundamental to mathematics (after all, mathematicians sometimes compute, right?)

> So why avoid this kind of stuff? Because you want to pick a "cognitive abstraction", in your terms, which is most useful.

Oh, absolutely, but there are many ways and many forms of reconciling "equational" mathematics and computational mathematics, and PFP is just one of them. As I've shown in another comment, Prolog takes this much further than Haskell because it's truly equational (or, rather, relational), while Haskell gladly allows a direct (one-way) computation if it defines it as pure, i.e. in Haskell 2+2=>4 is still as different from 4=>2+2 as it is in Java. Other ways are the plain procedural style (which simply lets you name and parameterize a computation), and my favorite (although I don't know how practical), temporal logic used in, e.g. Esterel (and TLA+).

My beef is not with equational reasoning as a concept, and not even with Haskell's flavor of it. Certainly "equationality" in programming languages is a spectrum (as computation is inherently non-equational), and finding useful points on it is a matter for lots of empirical study. My "beef" (if that's what you want to call it) is with the claim that Haskell's particular design is somehow more fundamental or mathematical than other designs, and, to bring us back to the topic of the discussion, that (cognitive) monads are somehow essential. The reality is that there are many (good) justifications for Haskell's design, but they've been made by people to match certain human aesthetics and certain human goals[1] and they don't have any transcendent mathematical justification. They are just a point in the design space. Similarly, monads are only (pretty much) essential in Haskell given its design. Some people try to present Haskell (and monads) as the language (and abstraction) God, nay, better -- Math -- has given us, and that's just wrong. It's just a language like many others, with its own design choices. Besides, everybody knows God uses Lisp. My other "beef" is with the unjustified belief that a certain way of expressing an algorithm is automatically cognitively optimal just by virtue of it being equational (be it either in the Haskell or the Prolog sense).

[1]: One of them is a particular balance between correctness and specification effort, which, again, is also arbitrary and defined by the limitations of HM type inference.

P.S.

To clarify something I wrote in another comment, Haskell's definition of purity, while fundamentally arbitrary (from a computational theory point-of-view), makes a lot of sense if you've chosen that particular design.
The F35 will be the superbattleship of WWIII - by the moment it arrives in all its glory it will be obsolete, as were the battleships in WWII.

If it has a pilot inside - it is obsolete. A good 30-40% of the plane's weight goes to ensure the pilot mostly survive.
Was it obvious when you were in "don't interrupt me" mode vs. not?

Because if there's no outward way for someone to tell whether it's okay to ask you a question or not, you're just being an asshole.
Nixon was a babe in the woods compared to Obama.
A lot of people complain about amazon lacking a cap for spending everytime such a story appears. Invariably though everrytime i've read about something like this happening amazon dropped the bill if the usage was not intentional.

Honestly from what i've seen this policy of amazon's is really nice and if they did otherwise they'd constantly get a lot of bad pr. Cases like this probably happen often but not everyone writes about it. A lot more would write rant blog posts if amazon didn't drop such bills.
I have a Pi2 that runs Dump1090 for ADS-B just fine. Though I haven't tried any other SDR related tasks on it.
look at sherlock here. do you realize how robotic you sound with this comment?
Seconding the peewee recommendation. I usually go with Peewee for lightweight needs.
> Operating profits more than doubled during his tenure.

How much of that was due to breaking the law? How much profit and reputation will be lost due to breaking the law? How much of that would have happened anyway with any other competent CEO?

This wasn't a reward for his contributions. It was most likely in his contract that he gets it no matter what. His golden parachute.
try opening it in a private tab, Google tracking cookies seem to break it for some reason.
Yes, but you missed the nuts and bolts of MIT
subject to the following conditions:

The above copyright notice and this permission notice shall be included in all
copies or substantial portions of the Software.

In the DMCA it's stated that his copyright is not credited, so they are in violation of MIT. Which is what is happening here.
I wish this scandal would somehow add pressure to clean up ship and truck pollution. VW is having severe consequences, but their contribution to the problem might not be that significant:

http://www.theguardian.com/environment/2009/apr/09/shipping-...

http://www.ucsusa.org/clean-vehicles/california-and-western-...
OS X Server 5.0 out now for El Capitan, free upgrade for Yosemite users
Using AS/400 systems would make them a computer service company. I actually work at a bank (developing apps) and we use a massive COBOL system for a lot of data. However, we also have a massive Hadoop cluster (much larger than the COBOL systems, and firewalls everywhere.

Banks might not be the most competent at web programming, but they higher a ridiculous number of awesome security folks. I would still put them behind Apple or Google in their given domains, but many banks have pretty robust technical systems for their domain.
As somone who doesn't like to configure and tweak stuff for hours, my favorite Markdown editor is VS Code. You only have to set "editor.wrappingColumn" to zero (viewport wrapping) and you're good to go.

You can use tables, fenced code blocks (there is syntax highlighting too), and images (I use viewBox'd SVGs for my diagrams). And of course there is the usual split view and a live preview on whichever side you prefer. You can also customize the CSS if you want, but the default one looks fine, really.

It does everything I need from a Markdown editor out of the box.

https://code.visualstudio.com/Docs/languages/markdown

(The right sidebar can be toggled with Ctrl+B.)
Cry me a river. The widespread adoption of encryption wouldn't have been such a pressing issue if spy agencies like the NSA hadn't been abusing their powers by conducting mass surveillance on law abiding citizens.
How We Increased Our Traffic Without Advertising
Google's mission statement is to "organize the world’s information and make it universally accessible and useful." Currently, their opinion is that when a user searches for "late night hamburger place", the information most useful to that user is a late night hamburger place near the user, if there is such a place nearby with a statistically significant amount of noteworthiness, i.e. not just a random blog post from another user near me in Palo Alto that mentions how they loved eating Shake Shack in New York.

Your opinion is that what is usable to people around the world is knowing which page ranks highest according to a metric such as PageRank when it comes to "late night hamburger place". Because numerical metrics is "how the world is". There's no way you could be a casual habitant of Earth and think that that's how many other people evaluate things in this world.

But here's an example: What if a user types, "late night hamburger place near me"? How should Google interpret that? At what point does "pure" PageRank shut off and "Google as the new Yellow Pages" kick in? That in itself is an opinion not just about how information should be organized and what is useful, but about linguistics: whether or not that query is interpreted as a question or a user typing in the words he remembers from a song he likes and hoping that this blind query finds it.
He said/He Said blah blah blah.

TLDR: Oh My Fish got replaced by Wahoo. But rather than start a new project and declare Oh My Fish unsupported they replaced the Oh My Fish code in the repo with Wahoo code. Breaking userspace in the process, and thus starting them on the path that caused all this drama.

At least that is what appeared to happen according to that thread.
But I see 'artificial meat' articles every month on HN. Surely we're only a year or two away from a major change here. Its nowhere near an intractable problem.
The problem with strengthening government and institutional influence over the food supply is that the when it comes to nutrition, the big US institutions are loudly proclaiming that up is down and black is white, particularly with regard to salt and fat. If we succeed in importing our dietary advice to poorer countries, we'll cause them to have obesity epidemics, too, without solving their hunger and malnutrition problems.
The search for type-systems-that-don't-suck is very much ongoing and there's no solution in sight. You need to find one that is 1/ understandable and palatable to the human mind, 2/ powerful enough to specify properties of interest and 3/ can be inferred as much as possible to reduce effort.

Even deciding what those "properties of interest" alone may be is very much an open question. Right now, some advanced type systems simply specify those properties that happen to be easy to infer rather than those properties that would be most valuable (i.e. cause the most expensive bugs). And, of course, you still have the halting problem fighting you at some of those most painful points.

For an interesting (though very partial) discussion of the difficulties, see Lamport's Should Your Specification Language Be Typed?[1] It speaks about specification rather than programming language, but once you decide to introduce rich type systems to programming languages (which was not so much in fashion among PL researchers when that paper was written) the problems become similar (and when he says "statically typed programming languages" he means C or Java -- not Haskell). In the conclusion he even hints at optional types:

But typed formalisms that permit automatic type checking are less flexible than set theory. The best way to catch errors may be to treat type declarations as annotations that do not affect the meaning of the specification. If the type system
proved to be too inflexible, one could replace it by a different one or simply ignore certain type errors.

[1]: http://research.microsoft.com/en-us/um/people/lamport/pubs/l...
Practical use of websockets
They looked into whether it could be done and then decided that doing it was not worth the controversy it would generate. This seems like a good thing, I'm not sure why WaPo went with such a sinister sounding headline. More accurate would be "Obama administration rejects several proposals to bypass smartphone encryption".
>In September 2013 we blogged about why we’re supporting Typed Clojure, and you should too!

I wonder how many other premature "you should too"s have been issued over the years. At least they had the guts to retract theirs.
You have a catch-22 though. Such a law is probably politically untenable. Due to lobbying and the simple fact that Americans love their meat.

In order to pass you you probably have to win a culture war first.
I don't think self-reporting is unscientific, but I do think it's not particularly reliable. Reported loneliness may correlate with actual loneliness, but they're different phenomena.

This was really driven home to me in doing product development and user testing. I've worked with some great user researchers, and they were extremely skeptical about self-reported characteristics. The classic example is, "Would you buy X?" People are terrible at answering that correctly and honestly. But there were a bunch more where we carefully rigged situations so we could measure behavior rather than self-reported internal state, because behavior ended up being a better measure of internal state for us. I could well believe the same is true for loneliness.

I'd also disagree that some phenomena only exist as experiences. As far as we know, all experiences are also physical states in the brain. We currently may not have the tools to usefully read that physical state. We may not have a blood test for loneliness, but we may one day have a brain scan for it. Or, perhaps sooner, a pattern in the sort of data that will be gathered by the iPhone 15m (the "m" being for medical, of course).
But the evidence shows salt and fat have been demonized. I know, it'll take a generation (current convinced people grow old and die) before we can kill those old ideas.
I'm not sure what you're trying to say, but it appears that you're conjecturing that "everything is local". That doesn't square too well with relativity, though.

Either that or you're talking of a hidden variable theory, which is exactly what Bell's theorem disallows.
The article's section about "peace games", with its hopeful notion that if countries really cooperated everything could turn out wonderful, completely misses the point that sometimes there is no good outcome for everyone. If resources are limited, and people are going to die without them, and there isn't enough for everyone to live on, people WILL (as individuals and/or organized groups) abandon civilized rules and engage in any means necessary to acquire what's needed to not die, willing to risk death to win because they will die if they lose.

The section also conveniently avoids any discussion of the human tendency toward acquiring power over others for power's sake. ISIS is currently leading the way, literally killing anyone who does not abjectly subject to theocracy; these are not people interested in "peace games".

"Let's play war" is childish naivety about the ways of the world. That the needs of the many may outweigh the needs of the few does not mean the few will meekly accept suffering and death, as human nature is (generally) to survive at all costs.
Replacing the code in the shared repository doesn't mean he transferred the copyright to them. When you contribute to a project, you still own the copyright, you just provided a licensed copy, and that project must still comply with it.
It depends on what happened to the license when the merge happened. Did the author of wahoo transfer the license to the authors of oh-my-fish? If so, then the code at the time of the merge is not subject to this DMCA notice. However, as I brought up, if after they had this tussle and split up, and oh-my-fish kept pulling new code from wahoo, then that code would be under wahoo's license and would need to be attributed as such (and I don't think it was attributed, hence this takedown request).

My point is that if they agreed to merge projects and wahoo didn't keep their license on it, then that code at the time of agreement is no longer under the exclusive copyright of the wahoo author.