skysight-inc/HackerNews huggingface dataset:
> a tool used by statistically illiterate administrative types to judge the quality of research

Pfft, I bet you only say that because you have a low h-index.
To the extent that I can't tell what would actually happen in an alternate future where Feist v. Rural occurred in the digital realm, sure. To the extent that the CFAA allows companies to make that type of determination today in the actual timeline, no, it's not a guess (and I have the wrecked business to prove it).
For this article specifically, it shouldn't be on wiki. The quality still needs a lot of polish, and too much opinions.
Perhaps it's time to add some more fiber to your diet, or research silent farting techniques.
I use PinDroid on Android. I mostly bookmark things on mobile to read on a bigger screen though, so I can't comment on how it works the other direction.
Three Years of Nights
Oregon's Health CO-OP also recently went under. Basically they lost $18.4m in 2015, and were expecting to receive $5m from the federal risk adjustment program and instead owed $900k[1].

I received less than a week's notice that my insurance plan was ending despite them knowing for almost 2 weeks before notifying me.

1: http://dfr.oregon.gov/public-resources/Pages/co-op-faqs.aspx
Related: http://coccinelle.lip6.fr/

Coccinelle is used extensively by Linux kernel developers for a whole tonne of things like this.
Great overview article but I have a comment.

> In Idris, we can say "the add function takes two integers and returns an integer, but its first argument must be smaller than its second argument":

> If we try to call this function as add 2 1, where the first argument is larger than the second, then the compiler will reject the program at compile time.

> Haskell has no equivalent of the Idris type above, and Go has no equivalent of either the Idris type or the Haskell type. As a result, Idris can prevent many bugs that Haskell can't, and Haskell can prevent many bugs that Go can't. In both cases, we need additional type system features, which make the language more complex.

I really wish when people talk about dependently typed programming languages (e.g. Idris, Coq, Agda, ATS), they would mention the effort involved to get these compile time checks to happen.

These languages allow you to capture almost any program property you can think of as a type. Instead of being limited to saying function F "returns a number/list/string" like common type systems, you can capture arbitrarily complex properties like "F returns an even number", "F returns a permutation of the input list", "F always halts" or "F returns a proof of Fermat's Last Theorem". You don't get this for free and you have to help the computer verify these.

Proving F matches the type is arbitrary hard and is impossible to automated in general (e.g. the halting problem tells us we cannot always tell if a function halts). For example, consider the type "F returns a sorted permutation of the input list", where F could be an implementation of bubble sort, quicksort, merge sort, radix sort or something even more complex. Each algorithm will require a different and potentially complex proof and most of the time the programmer needs to help the computer find the proof. It's completely unlike what people are used to from type systems and is an even more massive leap than for someone moving from the type systems of e.g. C++/Java to Haskell.

I'm glad people are more aware of dependently typed languages but I feel the immense jump in how practical they are to use is severely overlooked.
A Functor is a fundamental category-theoretical term with a specific definition that simply isn't captured by something vague like "Mappable". Precision is important when talking about such terms. It is not at all clear that (-> a) is "Mappable".

Lots of terms like Profunctor, Contravariant Functor, Bifunctor etc. (which are also the names of typecasses in Haskell) rely on the precise, category-theoretical definition of Functor.
U.S. Trade Rep approves import ban on Arista devices, says rival Cisco
EME v0.8 is out, writing presentation with markdown now
No, these are separate concerns. I use Kubernetes for the latter two.
I did some small tasks for people working in bioinformatics and what I've seen is both amazing (the science part) and terrifying (the tools). Apparently I saved hours of retyping for one person who was doing a manual JOIN on gene names between two CSV files. As in ctrl+f name of gene from file A, copy, paste into another window. For thousands of rows. I was trying to explain that you can import CSV files without autoformatting as well, but they didn't believe me... sigh... (at least they were aware that this is a bad idea with default settings, because the formatting changes)

I don't know if this can be fixed and how. Lots of people seem to have their own process and they neither understand that the tools can be used more efficiently / correctly, nor question the long, manual process they follow currently. They basically require an "intermediate excel" course which ends with "if you're doing copy/paste 3 times in a row, you should look for better solution". I'm not even questioning the use of excel at this point...
That's the antithesis of the world wide web because you've just centralised data storage, which makes someone 'own' the www.
I think the point is that he likely quit due to financial reasons.
They have hidden their pricing well: https://raindrop.io/pages/pricing

Anyway, I'm probably going to replace my Instapaper with a self-hosted alternative instead of hoping yet another company stays in business long enough.
"The amount of dev time that a company will save from removing technical debt will likely be more than the extra sales the company will get from a new feature."

Not always true (though it often is!), but particularly not always true in the timespan that the company needs to get sales in...
So, V8 follows in the footsteps of LuaJIT:

LuaJIT2/newV8 optimized interpreter is as fast as LuaJIT1/oldV8 compiler. And to make it cross platform, it uses the LuaJIT/V8 macro assembler, rather than standard platform tools. (Although, LuaJIT2's macro assembler is architecture dependent and does much less than TurboFan's bytecode/macro assembler).

I suspect they'll realize at some point that the 20% or so interpretation speedup that you get from writing crucial parts of the interpreter in pure assembly is easier than specializing TurboFan to generate good interpreter code - see Mike Pall's explanations[0]

[0] - https://news.ycombinator.com/item?id=2588696 ; unfortunately, gmane appears to be gone, and I can't find another copy of the pointed to article.
They should open-source the backend (and hell, the front-end, too). That way you could self-host, or someone else can provide hosting.
Chinese parents have begun to question Confucian orthodoxy in pedagogy and are demanding less rote learning and more exploration, inquisitiveness and questioning authority (of teachers).

However, their main issue will become an aging population --like Japan/Korea and Europe.
It is relevant to the original post. I know it was risky to share, but being able to make sense of life and death is something we will all face.

I used to be a nihilist. I kept asking the same two-word question: then what? Take every hope and dream you have right now, and ask yourself "once I achieve this, then what?"

I have the answers I was seeking, and it actually isn't religion. It is relationship. Religion is actually just "to visit orphans and widows in their affliction, and to keep oneself unstained from the world."

Besides, I'm used to getting people's backs up. Vim is the greatest text editor ever :)
The US healthcare "overhaul" is like taking a piece of technology, not understanding it, using it incorrectly, and then doing a bunch of hand waving and shouting about how it "doesn't work" all the while ignoring the reference implementations and lessons learned others are using with success.

It was a better-than-nothing, sabotaged effort from the start. Still, dat existing condition coverage..
I'm the sole developer of InstaPDF (https://instapdf.com) and have been so for 4.5 years. It's a completly self funded project that I am working on in my spare time. Even then, my cost do not exceed $35 a month.

However the things I've learnt during building and maintaining it have been invaluable and helped me in so many other projects.

I don't get how running a sync server or adapting the product with in-app purchases would require too much time. When it is a labour of love and you still use it every day - why shut it down? Is he going to reverse his decision once it gets all the attention with the news of it shutting down? How can it cost so much when all it does is sync text? Why not hook into CloudKit for sync?

These are questions I would much rather prefer that he addressed
> With “Vesper” we were thinking things like beautiful, smart, clever, strong. In the end, the name was more apt than we knew, because it also carries heartbreak.

That was sad and beautiful. I shed a tear after reading this. Man, this guy can write!
> so when you take insecure nerds, and puff their egos up, this is what you get.

Gold right there.
What you're seeing are apps that aren't optimized for mobile. Once you start moving application logic, network IO, and anything that doesn't involve the DOM off the main rendering thread via a cached ServiceWorker, mobile web app performance jumps by an order of magnitude.

Every single performance issue that you're talking about can be seen in native apps; check Twitter, for example, or Facebook. There is a definite lag there caused by the network sync being front-and-center. That's unavoidable, but for an app like Vesper where you're not looking at a huge data transfer, running the sync in the background is absolutely viable.
Wind and solar make warm-and-fuzzy infographics, but the practical answer for alternative energy has been known for decades: nuclear.

Currently, there just isn't an economic need to switch off fossil fuels. The US has an enormous supply of coal. Combine that with fracking oil, and it'll be a long time before we really need other energy sources. (I'm of course sidelining environmental concerns. It's economics that drive energy.)

...But once fossil fuels do finally run out in years and years and we have to finally get serious, we'll choose the obvious solution: one that's compact, location/weather independent, and sufficiently plentiful.
Interesting, when did Yahoo sell off the Jumpcut.com domain name?

https://en.wikipedia.org/wiki/Jumpcut.com
OK, that's impressive.
I have long fantasized about writing a virus that forces Excel to quit if it detects the user is attempting to use Excel to do scientific research.
Risk appetite is diminishing. The shit storm is just over the horizon.
technical debt will not always manifest itself as instability/bad product.

It might just affect development time of things interacting with the bad, old code - or make bugs harder to fix
Changes to old nasty code will probably be hacky under the mentality "we're going to refactor this anyways, no point in writing clean code /now/"

Most old code (i've worked with) will function fine - it has for a while after all.
Relevant: https://twitter.com/nternetinspired/status/76762763342105804...
In this case the reason is that not only the sync service costs money, but also the custom font they use costs money. So just letting it sit there would still cost money (on top of the fee for the app store itself).
I agree with your point, but this isn't the forum for a post with a tone like that.
True, but conceiving and building the right IAP structure takes substantial time and money. If there were some sort of trial system that all customers could use to try out any app, then some app devs (not all) could ship apps much more quickly. I know we spent a ton of time figuring out what we should offer for free, what we should charge for, and how we should draw a line between the two. If there were a 15-min trial we would have just used that and not worried about it. (And if you're wondering why we didn't simply implement a 15-minute timer in our app, it's because people would have thought it was weird, since pretty much no other iOS app uses that. But if it were standard, this wouldn't be a problem.)
While most people are giving positive sugar coated advice. I would say do the right thing. Stand up for the right thing. If you submitted the PR, stand up for the correct thing and describe it to criticizers, take the feedback and loop over. Life isn't all sunshine and rainbow...

Cheers
Heck, I saw Star Trek II: The Wrath of Khan in HD several years ago and man, it looked awful. Gone was the Star Ship Enterprise, Kirk and Spock. Instead, I got a half-baked set and some old actors in obvious costumes. It was painful to watch.

Ronin (the next film being shown) didn't fare much better, looking like a TV soap opera.
Easily create large static DOM Trees without using innerHTML
Power them up before evolving them.
Trolls might very well try this. We will carefully screen people who sign up to make sure this doesn't happen. We have several ways in mind to do this, happy to discuss if you're interested. If trolls stoop to fraud or bribery to infiltrate the group, there's not much we can do - this is true of regular joint defense groups too. If they do infiltrate, they can make things difficult, but they can't completely destroy the utility of it. Our tools would still make small businesses more powerful than they were alone.
I'm convinced the whole reason for the dwarf song in Bilbo's house at the beginning of The Hobbit was just to distract viewers from the HFR long enough for it to stop looking weird. And at least for me, it worked. The first few minutes of that film everything looked odd, and then the rest of the film looked great.
> How about - and this is wishful thinking since it would require several big companies to work together, individually it would not help much - if there was ONE big service subscription, let's say $199 annually, and I can use everything (apart from enterprise stuff, that's more). Every piece of software - and also media! - out there. The system checks what I use and how much and distributes the money to the people who made the software and the media.

I'm not necessarily disagreeing with your point, but there is some irony in suggesting bundling app services together when the HN crowd (me included) is so vehemently opposed to bundling in other media, e.g - cable television.
There are some attempts, like http://futhark-lang.org/

One problem is that you have to codegen to meager intermediate languages that are fragmented & buggy (OpenCL or GLSL), or go proprietary with just one set of bugs and features (CUDA) but with much limited user base.

Also GPU software stacks are very crashy, have roots in the culture of testing all shaders for driver bugs before shipping in apps ("your game/app is buggy and poorly qa'd if user pc crashes") and only
recently has been slightly exposed to dynamic workloads by WebGL (which is only a OpenGL ES 2 subset, impls invest major engineering effort to work around driver bugs, and still had/has big crash problems).
What would happen if you did not compare them before calling the function, and just passed them in such that x >= y?
Things are changing a bit in the industry, but programming teams have historically been wolf packs. You have the alpha dominant one that withstands the challenges of the young up and coming pups. Sometimes the alpha needs to nip their heels to get them in line.

This shape can work well if you have a good alpha. It provides direction and confidence in the team. It can be a great antidote to team staffed entirely with prima donnas. When done well, it actually provides a safe place for people to learn and experiment because the alpha is the only one that takes political risks. On more democratic teams I've seen many junior/intermediate developers absolutely melt down when they suddenly discover that they aren't as good as they thought they were.

I thought this was an interesting set of anecdotes about dog roles: http://www.massachusettsdogtrainer.com/page11.php
10 ways to hack Facebook
What's your proposed alternative that doesn't require hours to start with? Serious question - I believe no programming languages can be applied here. (at least not yet) The barrier to entry must be minimal.
> Who is anyone to tell me what I can and can't automate in my life?

You are exactly right. But although a site can deny you access for any arbitrary reason (it's their website, after all) obviously government think they are the ones to enforce this crap.

What if the ToS say you can only access a site while jumping hoops? Only read the ToS after a while and wasn't hooping? Well too bad, now you are being sued for reading the main page _and_ the ToS page without jumping around.

This comment Terms of Service: If you read any of this text you owe lerpa $1.000.000 to be paid up until 09/01/2016.
What I read about the 48fps Hobbit movie was that the indoor scenes looked very fake, but the outdoor scenes of New Zealand looked fantastic.

The same article made some comments about mixing fps in a movie, one approach like the Wizard of Oz (real world B&W, magical world in color). Another approach might be one aspect of the move (like a character) appearing at 48fps while the rest is in 24fps. Lots of room for experimentation in the next few decades.
I can understand the depression. I was unemployed for 4 months in 2014, and went through a major depression.

I couldn't even muster the energy to look for a new job, just the thought of looking into my Vim editor made me feel miserable.

That said, I came out of it. You will too. I'm now coding like crazy :) Please go see a doctor. I did, and stayed in hospital for 4 days so that the doctors could conduct all kinds of tests on me. I was diagnosed with major depression. I took some meds (still taking them), started walking daily, and soon got out of it.

Also try meditation. Its wonderful. And some Yoga.
GRPC 1.0
Not yet, currently sitting there with around 2000 unique cases and wondering how to do it efficiently.
We did get one email from you on July 20 and replied the same day.

Your site is banned on HN because stories like https://news.ycombinator.com/from?site=ifixscreens.com aren't a good fit for the site (as described at https://news.ycombinator.com/newsguidelines.html). I know that's disappointing, but it isn't in your interest to post them to HN. The audience here will flag them and use unkind words like 'spam'.
I was in a very similar situation (nasty commute, 3 years of very stressful work with a lot of hours).

I left without a job lined up. It took me less than a month to find a new job that I liked. I had several offers and declined a number of them early on as I looked for something better.

You can certainly do it. I suggest you take two weeks off to relax and prepare for interviews, then hit interviews hard and keep practicing for whiteboard interviews.
Why people collect art
The difference is that Google didn't agree to not scrape your data. You, as per their TOS, agreed not to scrape theirs, as part of the condition of using their service.
Psychic Weight – Dealing with the things that press on your mind
However, something called "VSEPR" is impossible forget: "valence shell electron pair repulsion" theory. Ah, high school chem ...

https://en.wikipedia.org/wiki/VSEPR_theory

:)
For Java, IntelliJ has a built-in version of this called "structural search and replace" [0]. This is incredibly useful when a library changes an API or you need to refactor a lot of similar code.

This feels relatively safe in Java because tooling can staticly know a lot about your code (and can know for sure that a particular call site is the method or class you're targeting). I've be terrified to do it in python without a very thorough test suite.

[0] https://www.jetbrains.com/help/idea/2016.2/structural-search...
This. I'm surprised this is the only comment on here suggesting this. It's the most obvious way to gracefully sunset an app.

"This isn't making us any money, it's costing us money to maintain. If you still depend on it, here's the tools that will allow you to continue to depend on it"
What poor people need is education --more specifically an altogether re-education of their children away from how their parents think in order to break the cycle of thinking the way poor people think.
I don't think that's palatable to most people --it kind of harkens to reeducation camps, etc. It means diverging their thought process from their parents' way of thinking. This applies to Appalachia, Detroit, Volgograd or Lagos.
What users want is the same thing consumers of products have wanted forever: to pay the least and get the most they can.

The whole "free with in-app purchases" model was driven by users' unwillingness to pay for apps. So in some sense this nickel-and-dime thing is a self-inflicted wound. On the other hand, (we) developers ought to be smart enough to figure out how to handle that.
Flex sounded fairly interesting, but I wonder how they can sell without more review. I was expecting more standardized forms and language on their site than I got. The 'How it Works?' / 'Is it Safe' FAQs seems not nearly technical enough. No known expiration date, really? As a guy am I not meant to fully understand how the device works?

Obviously the 'Try it Free' should have a way to email your wife, right? Or are men not supposed to recommend feminine hygiene products to their wives? One for $3.95 (shipping cost) per address is a great marketing tactic.

Anyway, I get a kick out the fact this is a YC funded startup.
I just don't see how an operation like Oscar fits into the US healthcare landscape. If the benefits are denominated in dollars and you don't have strong negotiating power (Aenta) and are not vertically integrated with the health care provider (Kaiser), how can you not be screwed? The provider can bill $5000 for one Advil and there's little that can be done about that.

There's no way out of this problem except federal laws that sets the prices of services. Ibuprofen has a market price of less than a penny per milligram and that should be the end of the story. It shouldn't be possible to bill them at $100 each just because the patient couldn't object. As long as we have a system where the prices for goods and services come as a complete surprise to everybody, it is impossible to have a working "market" for insurance against risk.
The bundling you are talking about is to create an oligopoly - bundle some things to the exclusion of all others. I think that's very different to my idea. It's something else.

Bundling is more top-down, this is more bottom-up. Bundling is decided by "politics", and this is what you get. In my scenario everything ("the whole world") is included, it is not just a bundle made by someone. And there is raw competition below that layer: People's actual usage determines who gets paid. This also avoids the issue of market distortion (and therefore wrong signaling) of software and/or content that is paid for but not actually used (recent headline: 37% of Steam games that were purchased were never played).

Traditional bundling takes away control, my suggestion is supposed to actually give us more market, at least in my obviously limited and individual mind.

One thing that needs heavy thought and tweaking is the level of granularity. Looking at the two extreme ends:

- World government, all income goes to it and underneath is that proposal. (It would not be "communism" though - money is still there and distributed depending on use.)

- The other extreme: You buy everything piecemeal, even more decisions as today, see care example. Both are obviously extreme.

The optimum is not "somewhere in the middle", it's n-dimensional space, not a linear one.
Yeah, cloud, app stores and breaking platform APIs. I know people who still use ATnotes on their Windows 7 machines, despite the fact that it was discontinued more than a decade ago.

Still, PC era shareware (the equivalent to these small apps made by a couple developers) wasn't immune to cloud dependency, particularly when they had online license validation mechanisms.