skysight-inc/HackerNews huggingface dataset:
> they’re all tied to specific versions and you’d need a new package file to support a new version

I haven't looked at Spack, but as a Nix user, it's often the case that different versions of some software package require different packages in order to build them. For example, particularly on a less-used platform like darwin, I've submitted numerous patches to the Nix package of MariaDB due to minor breakages in newer versions. It's not always simple to parameterize the upstream version.

That said, there are many cases where it is that simple. Overriding a package in Nix to change the version is possible [1], but could be easier from a UX perspective.

> The user can install the version combination that you packaged, but can they easily try their own

As an example, I needed an older Ruby version that required an older libxml2 than available in nixpkgs. I did need to create my own Ruby package, but was able to simply override the version in the existing libxml2 package, and I configured nix to use that version across all other predefined nixpkgs that required libxml2 and were needed by my project. This meant a lot of compiling on my part (since nixpkgs of course can't publish binaries for my customized builds), but it was fairly straightforward.

[1] http://nixos.org/nixos/manual/index.html#sec-customising-pac...
Martin Shkreli just paid for Kanye's new album with ~38,000 BTC
Funny considering two of the biggest companies in SV in Facebook and Google make incredible revenue from ads. I wonder if their employees use AdBlock or click on ads.
I appreciate these efforts to optimize load times, but the problem we see today slowing down the web is caused by designers making 2MB+ webpages for simple articles you could deliver in 20KB. Why can't we stop it from the source and just decrease webpage garbage? In that case, CSS is negligible adds only milliseconds to the total load time.
Basically yes. The question is what exactly it buys you. In general, the proving power of Haskell's type system is that of a finite-state-machine/regular expression (i.e. you can verify behavior of an FSM), and the proving power of Idris is that of a full Turing Machine, but in general we know that verifying a program property has a lower complexity bound of Ω(# of program states), i.e. exponential in the size of the source code, regardless of the language used (actually, the more expressive the language, the harder the problem becomes, but just by a bit). The question is, then, given that all approaches are bound by the same complexity bounds for complete proof, which approach is cheaper in practice based on property type, program type and required confidence? Sadly, we don't have the answer to that question, but answering it would require some expensive empirical studies.
Google Play Music seems to work really well for me. I can now press instant mix and get a random playlist that works well for me and hit it again if i want a different style.
Wells Fargo will happily let me (but not force me to) take a highly-leveraged long position in the San Fransisco residential real estate market (in mid February 2016, arguably near the top of the market) which is a bet with ~comparable downside probability to divorce and ~similarly devastating payoff if things go south.

Does that make Wells Fargo "clever predators?"
Anecodotal: a friend of mine worked at an ad tech company (not one of the big brand names, though likely one that's served you ads at some point).

He said that everyone at their company used Adblock, to the point where it was part of their developers' standard checklist when debugging issues that their clients were having ("first, disable Adblock").
Mathematica not being Open or free is the only complaint I buy. As for it missing features, I'd wager adding them to Mathematica would be less work than building a CAS from scratch with them- in which case I'm sure you'll be missing features from the original.
That's funny considering he argued the exact opposite, that mere moral disagreement was sufficient reason to justify a community criminalizing said deviant behavior.

Calling the man names and suggesting it's a good thing that he's dead, is far more charitable than his worldview on morality.
Pure Fluid Computer [pdf]
Thank you for update! Good to know and hopefully that makes other calmer too.
Yup... China is still producing cult items to this day:

http://www.nbcnews.com/id/40059786/ns/business-retail/t/must...

I don't know about that list though, I think I rather have a mango candle...
You can overdo anything.

Living in Silicon Valley, I get the impression that teenagers are looking at their phones less than they were five years ago. A few years ago, I'd have to dodge people on sidewalks and in store aisles who had completely lost track of their surroundings. That seems to have stopped. I see teenagers pull out a phone, interact with it briefly, then put it away. Also, everybody seems to be in vibrate mode now; I seldom hear a ringtone.
13 Writing Tips from Chuck Palahniuk (2011)
That's amazing. Thank you!
Grid Computing with Bitcoin Micropayment Channels
> That unelected, life-tenured judges exercise this much authority over us, that they routinely subvert our collective democratic will as expressed through elections and referendums, that people even defend their votes for President on the basis of what kind of Supreme Court nominations they will likely make, does not suggest a healthy democracy.

Nor should it! The judiciary is at its best when it is overturning the will of the majority in order to defend the rights of minorities.

The Court did precisely that in its most celebrated cases (e.g., Brown v. Board, Lawrence v. Texas), and upheld the will of the majority in its most infamous cases (e.g., Dred Scott, Plessy v. Ferguson, Korematsu v. United States).
We haven't been planning it for months, we've been working on it for months. It's a big project to implement search at the scale of Bitbucket.
My third year high school math class used Sage and it worked well. You only need one person to mess with the insides of Sage to run the server that everyone can use. However, my class was CS-focused for an Algebra 3 class edit: and using computers for any kind of math work can lead to distractions if the teacher is not strict enough about it.
Every line of code you write is something you have to worry about. Every dependency you use is something that (in theory) other people are also worried about.
Exactly. In a less connected world, you have more control over things. The pacing felt a bit more balanced or maybe we're still in a transitory regime where the cloud thing is not fully developped and integrated.
It is counter-intuitive, but smoking is more effective a mechanism of delivery than intravenous injection. It gives you the biggest hit the fastest. And everything else is way, way slower and mellower.
You reminded me of another niche industry I discovered recently:

If a terminally ill person has a life insurance policy, they may want to use some of that money before they die. So there are companies that will purchase your life insurance from you if you can convince them that you'll die in the near future.

It all makes sense logically but this company is basically making a bet on how long this person lives, and the sooner that person dies the better for the company. It just feels wrong to me.
If you see that when it casts these shadows, then you could call it real, sure. You could also look at it as celestial bodies aligning and their patterns of shades of light.

Accuracy helps a lot when using understanding of some things' existence to find another thing and its attributes (incomplete understatement). Proof making and checking helps a lot for someone to stay true to their beliefs and maintain a consistently accurate path.
The status quo is largely-absent enforcement. It would be weird to use the term "more" if it was fully enforced right now, but it's not.
The true value of Mathematica lies in its vast, high quality, integrated data sets and domain specific algorithms. As far as a teaching tool for math, it doesn't make sense to lock into a proprietary tool.
Nope. What should have happened, if we weren't such a litigious society, is it would have been considered a political question, not a judicial one. Florida's legislature could have decided its Electors alone. And then if Congress considered that decision questionable, the president would have been decided in the House, and the vice president by the Senate. George W Bush would have been president in that case. And Joe Lieberman would have been Vice President.
Sun isn't a coherent light source, so no interference of light from different sides..
It's one thing to not speak ill of the dead, but you're complaining about a judge having their judgements judged.
Women coders do better than men in gender-blind stufy
Upwork.com and other sites are in favor of the client, who can refuse to pay or reverse the credit card charge. I'd read horror stories about those freelance sites on Reddit where most clients don't pay or use a refund to get free work.

Plus you have to compete with people in a third world nation who work for under minimum wage and can under bid you.

I tried some freelance sites and they even charge you fees to bid on projects.
> requesting payment is a deal between publishers and writers

Not in the case we're talking about here. Sci-hub doesn't provide copies of novels. It provides copies of scientific research papers, for which we, the public, have already paid with our tax dollars. The payments to journals are not deals between those publishers and the scientists; they are deals between those publishers and the government, to get us to pay again for something we've already paid for.
I went with loadaverage.org, but that was a random choice. Nice guy who runs it and since he pays for the server himself I sent him a donation and marked my calendar to do the same 6 months from now.
I've found it very fruitful. I had previously spent a couple of months hacking away at a project in C++ which needed lots of fine-grained parallelism and custom data structures (metagenomics analysis tool). When we decided to shift our approach and that we wouldn't be saving any code, I started out trying Rust and fell in love. Many of the issues I faced in trying to quickly put together an application in C++ were just non-issues as a result of Rust's type system.
Having Getters for each member variable always seems fine and reasonable. It's when you have getters that do "magic" that I feel a little.. unsure. Like if it's taking a member and returning it in a different unit that seems kosher... But there is a fuzzy line where at some point the Getter is doing too much work to genuinely be a getter. It gives a false impression for the internal structure of the program. But conveying the const'ness is important as you describe (or semi-constness if you have caching)
Valentine´s Day tattoo – The Emporialist│romanian „street fashion” magazine
it's quite rare that I've encountered a type error in a Python program

I hear that relatively frequently from people who consider types to be things like functions, strings, integers, and other "representation types". But the benefit of type systems, especially type systems as expressive as Haskell, is that you, many times, can encode your logical invariants in the type system by introducing new nominal types. For example, you can introduce a new type for each type of ID in your system, like CustomerID, ExperimentID, EventID, which prevents you from mixing those up. You can use types to distinguish between mutable and immutable data structures. It's perfectly okay to use object identity when comparing immutable data structures, but it's usually a bug if the data structure is mutable.

When you take a more expansive view of what type systems can offer, they're more useful.
There are libraries that reimplement these types of functions using Maybes for the reason you would guess. I think it's mostly a historical artifact at this point.
Why would I ever click on an ad?
Calling c from numba uaing cffi
... but it wouldn't prevent setting time to 2014. Again, how does this help?
Wow, please post that to HN!

What else have you written?
Ironically, advertising business is mainly run by ad blocker users.
There is a Haskell function called headMay [1] that returns a Maybe, but the Prelude head function throws when given an empty list.

Either way, pure code can throw exceptions in Haskell. Consider division by zero for example.

[1] https://hackage.haskell.org/package/safe-0.3.9/docs/Safe.htm...
What exactly is annoying?

I always want my variable names to be as long and descriptive as possible. We're no longer in the teletype era and our monitors are huge. With autocomplete there is no reason to keep variable names short
It's not plausible; Every website now has an element of social media;
Brilliant nation
2.5 hour flight to Krakow or Warsaw, then take EIC train to https://www.airbnb.co.uk/s/Zakopane--Poland
Indeed. Consider https://github.com/chadaustin/buffer-builder/blob/master/src...

The API is pure, but it's implemented with a high-performance effectful monad, and none of the implementation details are exported. A perfect use of unsafe[Dupable]PerformIO.
The interface and apps. Accurate maps aren't worth a damn, without a reliable way of accessing them.
BTW, I went to buy his latest book and I could save about $10 buying it on Amazon, save about $6 buying it from a physical bookstore that would mail it to me, or save $0 using the http://www.indiebound.org/book/9781617230172 site listed on the author's web site.

In the end, I went to my local library's web site and put a hold on two of his other recent books.

This seems more in spirit of avoiding large companies.
Dru from Diffbot here.

Sorry to hear about the issues you ran into when trying out Diffbot! If you have some examples, I'd like to take a look into whether we can improve.

In cases where our automatic extraction using computer vision isn't 100% accurate, we offer a visual interface for actually overriding our default extraction. This input is then used as additional training data for the ML models.

Mozenda et al. are great if you only need data from a couple of sites and you don't mind spending time manually specifying and maintaining CSS selectors for each website and page layout you need data from.

Our crawling, and proxy support, is fairly robust thanks to our hiring the creator of Gigablast [https://gigaom.com/2013/09/10/diffbot-brings-big-time-search...].

If you'd like to give Diffbot another go or you have some examples where the extraction could be improved, please let me know!
> [](a,b){ ... }

Is valid if a and b are types.
The problem is a single node doesn't whether it can safely skip fsync or not, because it doesn't know what's going on with the other nodes.

In the case of three nodes recieving an update and dying at once in a five node system, the first node to recover needs to tell the other two what happened.
Silicon Valley tends to lead the rest of the US in tech behaviors.
Are you responding to the right person?
I love how this changed from "no evidence of gender bias in pull requests; women's PRs accepted more often than men's when gender unknown and when gender known", which contradicts many feminist talking points, to "women better than men". The second statement doesn't contradict talking points, so whether it's an actual result of the study seems to be irrelevant.
> Maybe that's where the things in programming are going?

Doubtful. Idris is probably the most visible current effort in that direction and even it is extremely obscure and barely known beyond the Haskell afficionado circles.

And for good reasons: even today, Idris can barely express any program more complicated than the simplest mathematical formulas. Developers need languages that help them express network requests and database queries safely and efficiently, and Idris (and dependent languages in general) are not remotely close to being able to express that.
10 people is not a big enough sample size, specially online.
You need to have node installed already. Once it's installed you'll have npm because it's bundled with node.

I googled quickly for gradlew.bat and from the first link I opened it looks like it depends on java being installed already.

Node already includes npm because it's the official package manager. Java doesn't include gradle, presumably because they have multiple options and none of them is considered the official one?
Voice-Controlled Drones and Other Creations from Amazon’s IoT Hacking Contest
The responsibility to package software at a system level isn't yours, it's the system vendor's. Let them hash out a standard packaging model while you ship your plain tarball or provide `configure && make && make install` instructions.
"If it compiles, it ships" seems to be the order of the day at AAPL these days.
Extensive discussion of original study: https://news.ycombinator.com/item?id=11074587
Look at the upper left corners of the images. They're looking at datasets of 100k+.
Ruby `parser` gem is accidentally quadratic
Yeah, many (myself included) share the view that it's a wart in the Haskell standard lib. There are good alternatives to using that function, though (same for most of the other unfortunately partial functions).
My underlying point, which I should have made explicit, was that adding all those extra components to e-cigs was a risk. Arguably an unnecessary risk. Except for marketing, of course.

Experimentally, it appears that GRAS by oral route doesn't necessarily mean that vaping is safe. But that's not very surprising. Vaping does involve heat, after all. Not burning, but perhaps high enough temperatures for components to react and degrade.

Also, GRAS doesn't really mean "safe". It means that people have been using something forever, and it's not acutely toxic. So inertia and vested interests win.

Vaping just glycerin and nicotine would arguably be a lot safer, no?
For one, you can't install system-level dependencies with Maven. `gradle install <foo>` simply isn't a concept. Dependencies you download for a project are confined to that project, and optionally cached for other projects dependent on the same versioned artifacts.

The end result is that there is no "global" dependency like you would install with `npm install <foo>`. There is no dealing with dependency mismatches between projects that depend on "<foo> >= 1.2" for example, which can be a hassle to track down in the "global dependency installation" model most often used by these language-level package managers.
Like git pull --rebase and rebase --onto?
Because you didn't know it was one.
I really wish there was a service which would let me gripe about my problems and it would email me 10 Ads a month of products trying to solve those problems.
Dear White America
i think this is a trend these days to self proclaim being the analog of some industry heavyweight regardless. like "we are the uber of \(placeholder)". i clicked on it just because of the name Intel. so their strategy worked.
What is the difference, asside from someone deeming copying 'illegal'?
They have a pretty good shot at owning customer relationships and becoming a channel for that structured data (a market sites can sell data through) if that does become the case
Does it matter? Facebook is the factor you can change.
You know, I don't actually know. I guess once I get a job again, probably $20-$35?
Gearing Up for the Cloud, AT&T Tells Its Workers: Adapt or Else
https://news.ycombinator.com/item?id=11076161
You're making an argument from your experience, so permit me to make an argument from mine: I've been using Python and Ruby professionally for about 10 years.

The most common error I make myself is typos, but those are often (but not always) fixed quickly. The most common mistake I see getting to production is not handling a return value or an exception because it was assumed it couldn't happen.

Types can help with both of these things, and tests less so - because often if you're making an assumption about the return value of a function, it's because you haven't considered the possibility and you don't write a test for it.

A dynamic language can certainly be good enough, but in my opinion never ideal.
> I'd submit it doesn't create them... it reveals them. They've always been there.

Hopefully, but not necessarily. Any (decidable) type system rejects well-typed programs (i.e., it "uncovers" problems that are not actually there), and the borrow checker is no exception. You will write some correct Rust programs that the borrow-checker just can't verify. This means that you will need to explain yourself in more detail (through more work) to the type checker, even though there was no mistake in your program. I think this is a good thing (depending on your requirements), but it isn't free.
A few thoughts from deep inside the VoIP industry:

1) There are "high definition" / wideband codecs that remove the traditional 3.1 KHz PCM bearer channel audio spectrum restriction, along with its logarithmic companding, such as G.722. There is also desk handset hardware that makes them sound really, really good; given both, it's unlike any phone call you've ever had.

2) The challenge is that even in 2016, the PSTN - with its 3.1 KHz bearer channels - is still the common denominator to which nearly all audio must be reduced. So, you only stand a chance of having that kind of call quality on a private/intra-PBX type call.

3) Direct IP peering among VoIP providers hasn't really taken off, although pure-IP signalling across interconnects is becoming increasingly common. This is largely due to institutional inertia and deliberate lobbying on the part of LECs of all kinds who are invested in the incumbent per-minute revenue models and cost structures of the PSTN. (Even though the measured usage aspect is generally hidden from the end-user, the intra-industrial cost structure is not at all flat-rate.)

4) The VoLTE ambitions of mobile operators might change the game a lot as far as call quality, but there is some question as to whether the spectrum is physically there to support HD calls for all, and of course the limiting factor of mobile handsets as described in the article.

5) Residential and consumer users are probably not willing to pay for premium call quality experiences or value-added application-level features, and the VoIP industry is mostly disinterested in selling to them except through wholesale channels. But core business users - folks who still use desk phones, and who are pretty much the exclusive focus of the VoIP industry at this point - do care about this, and there's active work going on to cater to them and make their conference calls and such sound better.

6) WebRTC is overhyped and overrated, but there is one large industry to which it is directly relevant and for which it will make a significant impact: contact centres (call centres, customer service centres, support centres, etc.). Better codecs can be found there also, though somewhat offset by the varying quality of Internet connectivity and intermediate network engineering (that call centres are cheapscates is an understatement).

7) Along the lines of #4, over-the-top applications that support voice calling, such as Skype and WhatsApp, are also increasingly changing the character of the typical Millennial's "phone call", especially outside the USA. However, they are aggressively resisted by mobile carriers for obvious reasons: it commoditises them down into a dumb data pipe and purely price-level competition to provide bandwidth, while some clever Silicon Valley app takes all the value-added / higher-margin premium.
Previous discussion: https://news.ycombinator.com/item?id=11093753
Re-reading this a couple of days later, I can see how a part of it could be misinterpreted so I wanted to clarify.

I should have said that many of my female relatives have these problems.

In retrospect, it looked like I was saying all of them.