skysight-inc/HackerNews huggingface dataset:
Thrashes a bit in Chrome on Windows for me.
Can the government go at least one day without doing something stupid?
I was replying directly to the poster's analogy, when he said Tesla isn't obliged to go through a Ford dealer. While the first-sale doctrine isn't directly applicable in this case because there is no direct sale and no physical good transferred into the buyer's possession, the principle should be, and we should make laws that respect that.

The old adage is "possession is 9/10ths of the law". We need to think about how that applies in the digital age, when much of what we "own" is only represented by a relatively small handful of bits on a drive in a datacenter somewhere, and not in the legal owner's direct physical possession.

I have season pack DVDs and I have season packs I've bought on Amazon Video (I also have over 200 games on Steam, where this issue is probably much more salient). Ideally, the medium wouldn't matter, legally speaking; what would matter is that I owned a copy of something. As it stands, I have substantially more rights with a DVD than with a bit assigned to my user profile in Amazon's database somewhere. We need to find a way to port the first-sale doctrine to the digital world, and otherwise update our arcane technology access laws.

Separately but relatedly, we also need to weaken copyright protections substantially to grant a more even balance between the financial interests of the rightsholders and the cultural interests of the public at large, and to correct the economic inequities that flow from government's grant of a practically-eternal (since most copyrights that come into being today are not going to expire until most or all of us are dead), almost-unlimited (since copyrights allow the rightsholder to squash almost any use and since it requires millions of dollars to fight the media conglomerates and establish as valid just one single, isolated usage as legally fair) monopoly to the rightsholder.
The release process specifically allows an extension to be deprecated and then punted to PECL.

As for frameworks, I and others have already been going around (for years before the mcrypt deprecation came up) switching things to use OpenSSL (and, for that matter, authenticated encryption) instead of mcrypt.

https://paragonie.com/blog/2015/05/if-you-re-typing-word-mcr...

To date: ZF, CodeIgniter, Symfony, Laravel, and CakePHP all support OpenSSL instead of Mcrypt, as do many, many more.

You get E_DEPRECATED in 7.1 then in 7.2 you can still

pecl install mcrypt

...if you really have a need to support abandonware.
Believe me, there was lots of pushing back. It was right before Google dropped panda and basically killed ehow.
No they can't
No problem. Your likely somewhere in a pile of old resumes that new people call when they start. If you want I can mark you as do not contact in our CRM.

Edit: Sorry. I believe the gui role is for a contract client that is nearly always hiring. We've got two out there that are similar roles so I believe the C++ team keeps the roles posted because when they find someone with a good fit the company will always talk with/hire them.
Really? When giving demos myself and others seem to be able to get the Vive off and on more easily, the Oculus seems to leave marks on your face more often (because of the fit), and I find the light leaking from the nose area very distracting.

I'm also concerned about the durability of the Oculus. Being cloth covered it seems to pick things up. I'm also worried that once the fabric gets a tare it'll all start coming off.
I don't personally have any supporting data but the business people were not ones to do things unless it worked. Just look how high in the rankings ehow was able to get before panda hit.
Considering Gitlab is the more open source of the two, the answer has to always be gitlab.

Albeit, it still sucks most free software communities cannot use self-hosted gitlab because too many features are stuck in the enterprise edition, but its way better than what github is offering, which is nothing.
These experiences during meditation are real. It is therefore very important to develop compassion for yourself. In the Dhammapada the Buddha teaches to "Love yourself and watch". If you cannot love yourself, it may be better to not meditate (yet). There is a related and equally well known quote by Dogen which cautions against "driving the self to enlightenment". If one doesn't love himself, that will be what he will attempt to do and then because things don't work that way desperation results.
That's how Github Enterprise is distributed for on-prem. Virtual appliance.
It's not about the technology or the ads or so much the price. It's all about the catalog. Hulu, Netflix, HBO and Amazon are just fancy completely interchangeable video players; the only thing that matters is what you can watch on them. I pay for Hulu because the price is low enough, and the extra catalog is worth it. A few extra ads don't bother me enough to outweigh the good points. I pay for Netflix for the House of Cards and a few other things they have available for streaming here and there (like a bunch of children's shows), though their catalog has been getting terrible over time and I will probably cancel it. I pay for HBO for Game of Thrones. I'll probably cancel when I catch up.

The bottom line is, the content creators have everyone by the balls and no matter how few ads the streaming sites show or how fancy their video player is there is very little they can do about it.
A Secret Tunnel Found in Mexico May Finally Solve the Mysteries of Teotihuacán
About 1 in 4 adults experience some level of mental illness in a given year.

> "I started having thoughts like, 'Let me take over you,' combined with confusion and tons of terror," says David, a polite, articulate 27-year-old who arrived at Britton’s Cheetah House in 2013. "I had a vision of death with a scythe and a hood, and the thought 'Kill yourself' over and over again."

That's not an effect of meditation, that's a symptom of a mental illness. Meditation probably helped him discover it earlier than he otherwise would have.

I mean, the words "mental" and "illness" don't even appear in the article.
For an article that decries the lack of scientific research in this area it sure is eager to pull conclusions from anecdotes rather than remaining unsure. I mean, the article uncritically quotes someone as saying they stopped digesting their food because of a bad experience while meditating.

Honestly, it sounds like David is someone with depression and mild anxiety. If I'd abandoned as much of my life as he had to fruitlessly chase an experience which wasn't returning then I think the same might happen to me.

People get unwell for many reasons. I think it'd be pretty uncontroversial to say that the sort of people willing to go hardcore with meditation are probably more likely to be susceptible to these problems. In the absence of any alternative evidence I'll continue to think of horses not zebras when I hear hoofbeats.

That's not to say that there couldn't be an issue. Self guided CBT can be prone to misuse by practitioners but that's just a symptom of their underlying depression, not the fault of the CBT.
Usually I avoid splitting hairs, but since the terminology bikeshed is all about that, let me make a little correction.
In julia, there is a data structure called `Expr`, which is what's used internally by the compiler to represent code and is exposed to julia. It's not a list, it's a tree, but the power of being able to access it like any other tree still remains. Of course julia's surface syntax is significantly more complicated than lisp, so macros are more complicated.
It's going to be butchered like English class to point of utter uselessness, no?

It's like learning Spanish and then totally and utterly forgetting it. What is then, the leftover value after one finish his secondary education?
Firefox & Noscript win the day again.
> He went to school while working. Tons of people do that.

[After losing everything, a man in his mid 40s went back to school for the first time since 1982 while supporting 3 kids and a wife (who also went back to school) working as a janitor and, at the same time, earned an engineering degree from a well respected school.] != [He went to school while working.]
> Tomorrow they can release some static checking tools. Java's JML and C#'s Spec# are similar.

If, in order to check a program, you need to supply additional annotations, you aren't checking the original program - you are checking the extended annotated program. So let's not conflate these two languages:

(0) The whole of Java, and,

(1) The collection of Java programs, equipped with JML annotations, that can be statically verified by some given tool.

If the annotations express facts inexpressible in Java's type system, and tool performs a sound analysis, then you can prove more safety theorems about the second language. (And if the analysis is unsound, why bother with it?) That both languages happen to have mostly the same surface syntax and dynamics is best regarded as a happy accident.

> First, I didn't say unreasonable, but I think it is still more effort.

How so? All you have to do is think what properties you want to hold for your system. But this is something you have to do whether you encode these properties in types or not.

> Second, without dependent types (which require proof, either manual -- which is a lot of effort -- or automatic -- which is rather limited), you can't nearly express the same propositions.

I never said otherwise. I only said “using GADTs and DataKinds to express problem domain constraints is a de facto standard practice”.

> The advantages and disadvantages of types do not stem from them expressing static propositions -- there are many ways of doing that

Merely expressing static propositions is boring. What really matters is proving them.

> but from them expressing propositions in a certain way

In a compositional way: the types of expressions can be synthesized from those of their subexpressions, and the types of defined symbols can be recovered from their definitions' right-hand sides.

> that influences how the program is organized and how propositions propagate throughout the program.

In a modular way: when checking a module Foo, you won't observe a failure of an invariant internal to another module Bar.

> Whether propositions about code are best expressed as types or as data-level propositions is an interesting debate, but a rather subtle one; it is certainly not binary.

I can see legitimate use cases for expressing propositions as types (most of the time), as well as legitimate use cases for not bothering to represent propositions in a mechanically verifiable manner (when the proof is obvious, only needed in a very small part of the code, and explicit annotations would only add noise). But I can't see a use case for expressing yet not proving nontrivial propositions that you expect to hold. If it isn't trivial, you need a proof.

> IMO, it is likely that some propositions are best expressed as types while others are best expressed differently.

Whatever makes the proof go through the easiest.
No, "hits.total" is the total number of documents that matched, regardless of what you specified as the number of hits to return.
That article reads like scrambled eggs without seasoning.
ProDiagnose: First On-Demand Ultrasound Scheduling App
Reminds me a bit of Project:M36 Relational Algebra Engine, written in Haskell. No nulls allowed.

https://github.com/agentm/project-m36

https://news.ycombinator.com/item?id=11465145
Point taken, but to clarify I was saying "plot a way forward for Japan to become a tech powerhouse, when a company like Rakuten is about the pinnacle of what they can achieve as far as technology companies go". And you can't really just say "they can do X, Y, and Z" if X, Y, and Z are things that are totally unrealistic to expect Japan corporate culture to do. Even Rakuten is considered "weird" to the point of apostasy among Japanese corporations, and I promise you would not find it particularly enriching to work there either from a creativity standpoint or even just for basic work/life balance.

It's just difficult to imagine how a world-class tech company can rise up from Japanese business culture, at least on time scales that don't span decades. (For me, anyway, YMMV I guess.)
I'd love to see someone spoof those UDP multicast and play death metal or something rather then elevator music.
USFL would have died once players got huge salaries. The only reason it was doing alright was because players were underpaid. They had star QBS. The XFL was a summer league and failed because they had no talent.
The count API just returns counts. I'm assuming he needs some fields to display which should be smaller than source if source is "large." Unfortunately we are left to guess at his statements because not enough detail is provided.
> I can't really trust a company that has arrived at mediocrity after a full decade of tackling a problem

I disagree that it's mediocre. It's just different from Netflix, and has worked well when I use it.

Also, this is a well entrenched company in the cable industry that is working hard to maintain their current revenue stream while opening up a new revenue stream from a completely different distribution channel.

I can think of a number of companies that have failed to do this. Oracle and SAP in the cloud are at the top of mind. This is challenging for any company to do.
http://i.imgur.com/2rk7uhU.png

y u do dis? Does S3 not also have the ability to store complex data bits like filenames? Is the server open source? Will the client work without the server? What if your server actually keeps a transaction log along with my IP and other identifying information (seems like logging in would make this readily available). WHAT IF YOU ONLY LOVE ME TO HARVEST MY METADATA?!
As an experienced dev I wouldn't bother reading it for the tech side.

However if there are some good nuggets about how to juggle learning something new with parental responsibility, how to get the time and energy to do this, stuff about cost of nannies, pressure on relationship and partner and finances etc. That stuff would interest me.
Swift CEO to Say More Banks May Have Been Breached by Hackers
Teleport looks really cool–I can't wait to try it out. Thanks for releasing it.
Ask HN: Are there any great Freemium cloud based private Wikis?
I'm looking for a cloud-based wiki/knowledge-base software that is either free or "freemium" run at the same level of performance, quality, and obsession over details as Trello, StackOverflow, GitHub, Discourse, et al. It needs to work great on both desktop and mobile (an app would be nice).
Because fieldsets are often used as accessibility features and may not be semantic in all the places you would want the look of a fieldset
I'm not going to say I'm the most experienced meditator in the world, but I've gone fairly deep. I'd argue that if you aren't getting into weird ego-dissolution experiences you are still meditating for comfort (which is totally okay! meditation is a great stress dissolver) and not moving towards the actual point of most meditative practices...but this also points to two things -- 1) meditation can't "cure" everything, sometimes you need a good therapist, or some chemicals, or some combination of the above 2) you absolutely must have a meditation teacher you trust if you want to do deep dives (yes, a 10 day vipassana retreat is certainly a deep dive, as is a zen sesshin). Preferably one you know has actually touched most of these spaces, is well grounded and compassionate, isn't woo-ey or ego-challenged in terms of feeling like your bad experience might threaten their "good teacher" status, etc.
Right, but if you set the size to 10, then you either return 10 or (hits.total - 10) documents. If hits.total is greater than 10, you know you returned 10 documents; otherwise, you returned hits.total documents.
At first I thought "I don't do this; it's never seemed necessary", but actually, I think I do. Years of copying to a plain text editor to strip formatting have conditioned the behavior.
There's a few gates that you can only create by editing the URL ;).

Examples include the X-axis post-selection gates "|+⟩⟨+|" and "|-⟩⟨-|", some square-wave gates "X^⌈t⌉" and "X^⌈t-¼⌉" that were made redundant by the counting gate, the impossible universal-not gate "__unstable__UniversalNot" [1], and the error injection gate "__error__".

1: http://physics.stackexchange.com/a/247178/911
The max is 10,000 in 2.x. It was higher before, I forget exactly.
> Aside from criminals, suspects and detainees, the system includes data from people fingerprinted for jobs... or volunteer service, background checks, ...

Gotta make sure we keep tabs on those shady volunteers... Jesus.
Releasing Dgraph, distributed graph database: v0.3
"There is always doubt. No sane man would deny that. But no good captain would admit it."

Simple message, don't amplify failure.
>Conflating that shit with actual coffee, black or doctored, is ridiculous.

Entirely my point...coffee can mean anything from zero calories black coffee to a 600+ calorie sugary sludge. Moreover, just because people claim they skip breakfast and only have coffee (such as the author), that does not mean they are consuming zero calorie black coffee.

It shouldn't be controversial my asking if it is really skipping a breakfast if they are consuming a beverage that exceeds the calories found in a nutritious breakfast. I'm surprised my observation has resulted in down votes, then again I assume my comments about people - as you eloquently state - conflating that shit with actual coffee, probably hits very close to home for a lot of people, and no one likes hearing their habits are unhealthy.
yes, definitely developing compassion at the same time as encountering "nothingness" is a huge thing! Otherwise, totally possible to spin off into a sort of depressive nihilism.
Nice. It's a small thing but I really like that you can add loading indicators on the buttons with just a class.
This was often an argument I read in my Systems Analysis textbooks back in that era: "Bob from Accounting threw together this app, now we need to replace it with a staged CMMI-compliant development process that does things properly". IRL: it resulted in an expensive and late waterfall project that Bob, and the rest of his department hate.

I'm sure that the code quality was atrocious, but in many ways, it is the ultimate Agile goal: Bob is solving his own problems, cutting through red tape, and addressing real business needs. It's a pity that the idea was abandoned, instead of finding ways to reduce the ways Bob could shoot himself in the foot.
Many (all?) subjects that are taught at schools are already like that. People don't see the value until they need the skills.
Thanks, I'm plenty good at math. The point of a graph is to display information visually -- minimal math should be required.

If what you want is the numbers, then a graph doesn't help you -- use a table instead.
I've learned to live with the meanings of things getting mangled. Once marketing requires that a definition change it's pretty much game over. You can try to fight it but quite often it's the marketing department and customer working together to change how something is defined because it's easier than changing outdated policies or thinking. At that point you're just a stick in the mud, pining for the good ol' days when clouds were just called "other people's computers".
It would be idea to start in secondary/high school as in educations in Singapore does.
My claim is not false: state machines do not "require" linear types, but that is not what I said. I said linear types are what you want if you want to encode these things in a natural way.

Substructural (linear) types are ALL ABOUT encoding stateful propositions in the type system. Even if you had an expressive dependent type system, the best way to type check a stateful protocol would be to add substructural types to it!

See http://users.eecs.northwestern.edu/~jesse/pubs/dissertation/... for a good discussion of encoding stateful propositions with substructural (linear) type systems.
See Intel's DPDK and Tilera's mPIPE.

You can't really do this with TCP though, without changing the hardware. Most modern network adapters support only a scatter/gather list mechanism for receiving/sending packets, but this doesn't work for receiving TCP payloads into contiguous locations, since TCP's data model is a byte stream.

With UDP and SCTP you can do full zero-copy just fine.
It's like learning Spanish and then totally and utterly forgetting it. What is then, the leftover value after one finish his secondary education?

I'm not sure that's true. Programming intrinsically requires logical thinking and problem-solving. So it has the potential to shape young brains and teach them cognitive skills that will stay with them for the long-term, whether or not they remember certain techniques or languages.

It's like math. Do I remember how to derive the quadratic formula? Heck, no. I can't even remember what it is, I'd have to look it up on Google. I'm sure I could do it again if I really wanted to though. But I bet my cognitive skills are better today because I at one point in time learned to derive the quadratic formula in my math class, among many other things.

edit: It's like how Lego and models helps kids to learn spatial skills and fine motor skills. There are lots of things that teach skills taken for granted by adults, but aren't readily apparent to children unless they're thrown into a situation where they use them.
I must say this is quick guide and really useful
Yep, this looks like exactly what I need. Thanks!
For distro packages? Any number of alternate download sources.

But I agree with your greater point; hashes are better used as a guard against file corruption than fuckery.
How to Research Keyword with Wealthy Affiliate
It's happening: GitLab has basically filled the feature gap with GitHub and it is surpassing it.
Information generated with public funds should be public. Law enforcement has two big caveats to that. Information obtained with a warrant should remain protected until trial, and only information used in the case should be made public. Second, Ongoing investigations clearly should stay secret.

I'm sure there are sensible exceptions for tax, military and intelligence services. But seriously, what the hell. We're paying for it, why can't we see it?

The general policy needs to be openness. Historically, i understand finding that stuff was a pain in the neck, shuffling around papers in filing cabinets. This is the information age. Read only access to everything is achievable and, i think, desirable.
I don't see much leftover value, but I do see benefit in increasing exposure to programming for all kids at a young age. Most will forget it, but for the interested ones it could be a gateway into further learning.
When Poles Collide: Jonny Greenwood's Collaboration with Penderecki (2012)
Observations and thoughts on the LinkedIn data breach
...predicated on the belief that American life is not divided by...policy divergence...

We've arguably been in a post-policy era of American politics for a few years now, so such a belief would not be entirely unjustified.
Au secours! J'ai compris une-et-demi de ces réponses. Време ли е за Физз-Бузз?
Ok, yeah, I see what you're saying and that makes sense. But, even my response is premature because you generally have to parse the whole response to get "hits.total" anyway. So unless you have written a partial parser (does an open source one exist?) you are going to be parsing the whole document to get even "hits.total".
the result of a real-life atlas shrugged?