skysight-inc/HackerNews huggingface dataset:
Except those three projects don't have the same model at all... Wikipedia isn't a small print book that can fund a website. It's not part of a larger software project that receives donations ample enough to defray and costs of maintenance. (mediawiki is the underlying software, but it's not the project itself) Lastly, it can't have "private" articles like GitHub does. You can't just say "I'd prefer they not did this" while completely ignoring why they do it and without presenting any valid alternatives or models.
Actually, I live in the middle of a city, and I still can't get water from the municipality.
Craftsy Acquired by NBC
I understand REST's original motivation, but having a modern protocol to work with resources on a computer doesn't seem too much to ask.
Strangely, it seems to be helping them. Usually whenever there's an excellent product/article featured on HN, there's not much to say, so there are very few comments. CockroachDB seems like an excellent product, yet the firestorm about their name is fueling discussion, which amusingly might be leading to more upvotes from people who dislike that they're being discriminated against based on their name. It's counterintuitive internet behavior at its finest, similar to everyone complaining that Soylent was a terrible name.
I am not a scientist but when someone tells about causality, often it is about causality in her mental model. Even without speaking of quantum weirdness and all that stuff, in real, macroscopic life, it is often difficult to be sure of causality.
Physics experiments that are conter-intuitive are not rare, for example the Sagnac effect:
https://en.wikipedia.org/wiki/Sagnac_effect
Mossad Yearly cyber challenge 2017 (Solution)
My apologies. I've taken it for granted that if I submit a duplicate link, I'll be redirected the already-existing HN post. I'll be more careful.
> Are there any uses or applications for Gödel's theorems (other than their mere implications)?

Theorems are implications, so I'm not quite sure what you mean.

There are practical applications of Gödel's theorems, if that's what you mean.

His incompleteness theorems are useful for determining when to give up on a certain class of approaches toward a problem. I think this is what you meant by "implication", but the importance of this knowledge is difficult to over-state.

His completeness theorems form the groundwork for first-order theorem proving, which has plenty of practical applications.
This provides a very concise and to the point explanation of the original article.
I think Jensen mentioned this would be available with OEMs Q4 onwards
The author of REST, Roy Fielding, feels that they're intertwined [1]:

HTTP/1.1 is a specific architecture that, to the extent I succeeded in applying REST-based design, allows people to deploy RESTful network-based applications in a mostly efficient way, within the constraints imposed by legacy implementations. The design principles certainly predated HTTP, most of them were already applied to the HTTP/1.0 family, and I chose which constraints to apply during the pre-proposal process of HTTP/1.1, yet HTTP/1.1 was finished long before I had the available time to write down the entire model in a form that other people could understand. All of my products are developed iteratively, so what you see as a chicken and egg problem is more like a dinosaur-to-chicken evolution than anything so cut and dried as the conceptual form pre-existing the form. HTTP as we know it today is just as dependent on the conceptual notion of REST as the definition of REST is dependent on what I wanted HTTP to be today."

[1] https://web.archive.org/web/20091111012314/http://tech.group...
As ben_jones stated, a client and server need a formalized contract or you're doomed to break things. Whatever you use needs to at a minimum be:
- internally consistent
- sufficiently documented that a developer on either side understands what the other side does

REST is just a set of rules to follow that attempt to avoid some pitfalls and provide a common parlance.
DigitalGlobe Moves to the Cloud with AWS Snowmobile
Gaming mouse rebellion?
And they innovated in this space with the "facebook patent grant" -- they give away free stuff, with a patent grant that disappears as soon as you sue them.

And they're better at marketing than many - heard of the amazing new zlib replacement, Zstd? It's better in every way except one - unlike zlib (unconditionally patent free), it is only patent free as long as you don't sue Facebook. But almost no one is aware of that.
I think this is why it was chosen in the first place.
I actually saw a comment (by you?) on the book a month or two ago, right before going to a (beta) one week course on software safety. I suggested it as a good source of material for case studies and discussions. This reminds me that I should contact the instructors and see what they've done with the feedback we gave them.
Preaching to the choir! .. however getting time on the correct telescopes at the appropriate times to check those inferred locations could be a problem.
I use duckduckgo more than Google for search. I almost always get hits with duckduckgo, that I want, that are on page 2 of Google.
More details including the documents at Chemjobber: http://chemjobber.blogspot.com/2017/05/harvard-matt-shair-be...

The bad labour market has paradoxically an effect of encouraging lawsuits. When previously you'd have bailed quickly, nowadays you hang on to your job and collect kompromat.
Ask HN: Remote Summer 2017 Internships
I'm a Graduate Student with a Computer Science background at a State University pursuing a career in Data Science or CS Education.

I had plans for Summer but they fell through at the last moment and I'd like to explore Internship options for this Summer if there are any.

I've been a Software Engineer & UX Designer in a past life (Ruby/RoR/JS/HTML5), and currently an aspiring CS Educator/Researcher and a curious Data prospector.

I don't want to miss a potential learning opportunity and any help wrt this would be appreciated.

Thanks!

Ameen,

http://ameen.in

P.S. Further info available on request. (Projects / Teaching Portfolio / etc)
More than 40 schools in the US charge at least $250,000 for a college degree
How anyone can make insanely better slides
Any possibility of eventually getting it for Ubuntu then? I've been using Rider.. but it's buggy as hell on linux.
Check out Xamarin.Forms! http://xamarin.com/forms
Agreed. It's usually the older generation I see having trouble with them.
Is GROUP BY support a possibility in the future? I was a little disappointed to see aggregates implemented without them after waiting for so long...

Here's a link for anyone who would like to vote for this feature.
https://feedback.azure.com/forums/263030-documentdb/suggesti...
I think there's a huge issue with all of these companies being able to own so many disparate products. It creates an effect where users feel like they need to be in one company's ecosystem or another, and inherently protects bad products or bad business models from competition through this ecosystem effect.

People who use some Google services tend to use mostly Google services. People who use some Microsoft services tend to use mostly Microsoft services.

Without much stricter regulation to at bare minimum require more intercompatibility between competing ecosystems, I don't see this effect decreasing.
"Just ok" also means different things in NYC compared to San Francisco compared to Austin compared to Cleveland.

While true, that's not relevant to the case at hand - we are talking about incomes that exceed that bar regardless of where you count them.
Creators of Voodoo (3dfx = Gary Tarolli, Scott Sellers) came from the world of fully programmable GPUs. Silicon Graphics workstations had full T&L since ~1988 (http://www.sgistuff.net/hardware/systems/iris3000.html).

The whole point of Voodoo 1 was making it as simple and cheap as possible by removing all the advanced features and calculating geometry/lighting on the CPU.

https://www.youtube.com/watch?v=3MghYhf-GhU
Great read as usual. They are doing a big service to the people out there by hunting bugs like this one and putting the pressure on the vendors to fix their products.
Relevant article:

https://www.technologyreview.com/s/602344/the-extraordinary-...
> Google customers are businesses; end users (who CAN switch easily) are the product.

I am a Google customer. They provide me with a product (Google) which I pay for by allowing Google to display advertisements on the results.

A business is also a Google customer. They pay Google to display ads to a visitors to the website.

But that distinction is moot anyway. Businesses aren't covered by consumer protections because they aren't "consumers".
Are the people in point 2 able to make hedge-fund level money? Or are they just pulling the equivalent of a decent tech salary would get you?
Representing binaries numbers with explicit sign bit and the rest unsigned gets you an even better version of that; this is how floating point handle the sign.

I'm skeptical of value of ternary. The key behind the success of binary computers is that binary has great noise immunity; having a _single_ threshold is way simpler to get working than two or more. (Yet we do go there for NAND Flash, but note how speed and endurance worsen dramatically as thresholds are added).

The "most economical radix" is often cited but it's a red herring - it ignores practical concern of greater importance.
We are planning on gradually adding more extensions. If you have your favorite one, please submit it at the feedback link above.
Yes. I have both the now unsupported original model and the new one. Seemed to work as advertised. I'm honestly not sure how useful collecting that info is but it does work for me.
Enact a foreign speculator tax like Vancouver did.
Pre-order: Beta test – Veamly
Linear algebra is the ultimate common variable in technical computing and applied mathematics at large.
I support the default on consistence the way you posed it. Main reason is safe-by-default construction has proven more effective for average programmer over decades. The other approach caused many disasters.
Except that nobody wants Internet Explorer on iOS or Chrome OS ... or any other OS. So it's moot.
I think we can compete with Google ;)
We developing search platform https://bubblehunt.com - where every user can create own search system without code and become independent information provider.
I haven't had the time yet to learn how to host an apt repository. Maybe one day :)
What's even wrong with the name anyway? It's certainly a lot better than the ridiculous ones like "PostgreSQL" and "MongoDB" and "Redis" (what do these words even mean?).
I've been following CockroachDB for quite a while. Great job on 1.0.

I've had a question for quite some time though (and I think there is an RFC for it on GitHub): do we still need to have a "seed node" that is run without the --join parameter, or can we run all the nodes with the same command line, with the cluster waiting for quorum to reconcile on its own?
The codebase I'm working on currently has that and more.
Show HN: Fscreen – vendor agnostic access to the Fullscreen API
A quick glance at history of HTTP can explain this without incompetence. HTTP is fundamental to the world wide web and existed from the beginning in 1989. Fielding's dissertation introduced the idea of REST in 2000. And REST became part of mainstream client libraries in what, 2010? So there's a 20 year period during which code was written against HTTP libraries which were not idiomatic from a REST perspective. Returning status codes in the response body is a common workaround for compatibility with code written in this 20 year window.
Declining Profitability for New Miners Threatens Bitcoin Decentralization
That's easy. For an extra challenge, try python-mapnik (libgmp is just one of the dependencies).
When I reviewed it, my take was that it might be a low cost way for someone who felt tired a lot to collect some basic data before deciding to go in for a sleep study or other medical tests.
Consumer protections are for the consumer, not businesses. Plenty of companies have managed to get brand awareness without Google. If you build your business to be entirely dependent on a single point-of-entry, then your business can have the "rug" pulled out by whatever the owner of that point is.
How does it compare to the "Fastest Hashtable" by Malte Skarupke? ( https://probablydance.com/2017/02/26/i-wrote-the-fastest-has... )
There is a sad fact though is that there are many organizations do not have technical people at the decision making level.

So these Suits you speak of, won't be able to get past the product name, enough to hear any technical merits of why this technology should ever be considered. Due to disfunctional leadership not even having a role of Chief Technical officer, or Chief Informational officer at the senior leadership level. A lot outsource because they don't want to hire/pay for this in house. It also shifts responsibility away, giving the CEO,COO,CFO, etc... the ability to point fingers at an outside entity.

That is a double whammy! internal can't sell/justify it to management, and outside IT providers/contractors can't sell it either.

So while they may be surviving with the current name they have, that does not mean they wouldn't be crushing the market share with a different name. If they are getting negative comments about the product name, then that's a warning that they should do market research to find out how many people would avoid the product because of the name.

But what the hell do I know, I'm making yet another HN comment post.
"Do the right thing" for whom? Making money is definitely doing the right thing... for Google's bottom line.
Is it time to get a "grown-up" firewall for my home?

I'm currently using a standard Apple Time Machine as a firewall/router, but with all this crap (crap router software/hack attempts/NSA shenanigans) going on, thinking about putting something more serious in front of it (connected to my broadband modem). Yeah.. I realize I'm sounding paranoid.. ;)

I'm thinking of Protectli's "Firewall Micro Appliance" https://www.amazon.com/dp/B01H2QJTM4

I believe it's FreeBSD and comes with pfSense. Thoughts?
FYI, the blog post and LICENSE file say GPL3, but the bottom of README.md says AGPLv3.
This is pretty much exactly what we speculated would happen. Someone uses a bot to submit tons of anti-net neutrality comments, Pai says, "My proposal received tons of support!", and enacts a move that goes flagrantly against the will of the American people.
I thought NVIDIA GPUs support OpenCL? Or do they not do that anymore?
Yep, JSONB is on our roadmap as well, although it won't come before array column type support. Thanks for the feedback - I'd personally love to see migrations from PostgreSQL to CockroachDB become seamless for more complex use cases as we continue development.
I've seen some huge mainframe die back in the day. What is reticle limit exactly? Thanks for educating a SW guy :)
Plus, a lot of those products already existed. Mapquest was free digital maps. Everyone and their mother had free webmail and web chat.

Android didn't make smart phones cheap, maybe slightly cheaper, but not cheap.

Still waiting on self driving cars.
Heh. Already submitted my post yesterday, and it didn't get much traction, but thanks for the vote of interest :)

Also put up Part 2 earlier today: http://blog.isquaredsoftware.com/2017/05/idiomatic-redux-tao...
It loads much faster, which matters a great deal to me.
The end goal of a company is not to raise venture funding. So you cannot use "they raised capital" as proof that their name isn't a problem. Their name absolutely will hurt their adoption. Maybe the product is good enough that they'll still be successful, but if so, you would expect them to be even more successful if they didn't have such an off-putting name.
Watching this now... am I the only one who thinks it's a breath of fresh air compared to the mess of the JS world?
Well it all depends how 'hard' your real-time is. If you go with Atego/aonix, you can get down to almost-C-Ada-like latencies but be ready to change your java coding style. Sliced-time GC works OK until you put too much pressure on it (concatenating logging strings that you're not going to record or display... allocating tons of small objets for local uses... Programming in 'Classic' java...) and it can't clean up fast enough... In the end you code in a small and sad watered down subset of java... I mean : java is everything (almost, except for primitive types) on the heap ! Avoid java collections (use javolution or hppc-rt instead), avoid auto-boxing, no local allocation, no String concatenation, no Selector API ('select' in java nio...) because it allocates like mad... God help you if you need to stream some amount of data via TCP. And be prepared to spend some time to fine tune the GC. You also take a hit on performance and compilation time compared to hotspot (you need aot compilation for real-time, the java runtime seems not as optimised... Not as many man-decades of work on it).

All in all I'd rank it 'easier' than C in developer comfort and proficiency but frankly, if you don't do C, I'd just go directly to Ada...
I need some additional hand-holding here if you don't mind, I don't see the difference.

If I were to rephrase those two excerpts:

> Parkinson observed that a committee whose job is to approve plans for a
> [globally distributed relational database] may spend the majority of its time on relatively
> unimportant but easy-to-grasp issues, such as what [the name is],
> while neglecting the design of the [globally distributed relational database] itself,
> which is far more important but also far more difficult to criticize constructively.

> A [globally distributed relational database] is so vastly expensive and complicated that an average person cannot
> understand it, so one assumes that those who work on it understand it. On the
> other hand, everyone can [read a name], so planning
> one can result in endless discussions because *everyone involved wants to add a
> touch and show personal contribution*.

edit: formatting
Hey	sharemywin,

Thanks for reading the article and for the thoughtful questions.

> So, when is consent revocable? Should it be presumed by default?
These are technicalities that would need to be spelled out in law. But as a short answer consider our current system for how purchases are made or how jobs are taken. For purchases, once you make the purchase, you may be stuck, but some companies allow returns. For jobs, generally a contracts is written up where someone commits to a certain period of time, or an at-will contract.

> How do you prevent someone yelling fire in a crowded theater using only consent? or spam for that matter.
Yelling fire in a crowd is generally considered to be violence in the same way that punching someone is, because you're causing a panic that can cause physical harm to people. In a consent based society, people own their bodies and their property and any violence against either would be illegal.

> How does consent work with humor or theatrics? Just shoot me... did I just consent to being killed?
A judge would have to determine when consent was given. In this case, it wouldn't be any different than our current laws. No judge would say that someone would be bound by a contract if in a joke they said "Well if you're so much smarter than me, then why don't you just take my whole house!"

> If I know the outcome will harm you do I have any obligation to you? What if you are unaware it will harm you? is it different physically versus financial?
This seems to basically ask "What if someone takes advantage of someone else?" In a consent based society, it would be illegal to defraud someone. The basic idea is that if you were fraudulent in your contract or proposition, the consent wasn't genuine. Again, there would have to be some sort of court system to arbitrate this dispute.

I loved the questions. Hopefully my responses were clarifying. Let me know if there's anything else that piques your curiosity.
Gödel's theorem is about "this sentence has no proof (in formal system S)", which is only resembles the direct self-contradiction in the Liar Paradox.

Unprovable isn't false. If any axiom could talk, it could say that about itself. "I'm true, but unprovable; I'm an axiom, darn it!"
I elaborated in much (probably too much) greater detail on the relevance of the bikeshedding metaphor here: https://news.ycombinator.com/item?id=14310444

I would appreciate your thoughts.

With respect to your specific point: if we could resolve how much it matters, then yes, that would obviate the debate. But the bikeshedding metaphor doesn't add much there because it's precisely in dispute about how much it matters.
You, and several other people in this conversation, are trying to tell the person you originally replied to how to feel.

They said nothing but "this is how I felt, this is why I stopped using it". If I had a bad experience with some software, I too would uninstall it, even if I'm told "but you see, you didn't experience it correctly".
"This sentence is true" is also ungrounded.

It's consistent; but the problem is that it's that way whether we assume it to be true or false, oops.

For some reason, "this sentence is true" isn't famous, like its cousing, the Liar Paradox, even though it has something significant to add.
The main difference is the consistency model:

https://blog.couchbase.com/10-things-developers-should-know-...

Whereas CockroachDB aims to be strongly consistent. This makes life for the application developer much easier.
It backwards: first common application of the technology gave it the name.

Like in one of the Stanisław Lem's stories about Ijon Tichy people call intelligent anthropomorphic robots washing machines.
Show HN: Curated news feed for tech investors
"Touché: Enhancing Touch Interaction on Humans, Liquids, and Everyday Objects" [1] and "Botanicus Interacticus: Interactive Plant Technology" [2] used a single electrode and machine-learning classification in order to distinguish between different types of touches and touch locations.

Using multiple measurements (as Electrick does) provides much more robust tracking than these.

[1] http://www.chrisharrison.net/index.php/Research/Touche

[2] https://www.disneyresearch.com/project/botanicus-interacticu...
Zerg players will love the name. And there might be a small intersection, somewhere, between business people and Starcraft amateurs.
> Home to Pro

We're talking about Windows 10 S.
Nor was it even just idiomatic HTTP. Using the proper HTTP status or verbs for instance is not REST, just caring about the HTTP spec.
Urgh, I meant "exploratory". :|
Walmart is starting that now in affluent areas
This looks like a signup page. The 'announcement of an announcement' category is off topic here; there's no harm in waiting for the stack to pop.
GeForce Now[0] - a VM you connect to from your PC, install games and stream.

GeForce Now for SHIELD[1] - Different model, more like "netflix for games"

[0]: http://www.geforce.com/geforce-now
[1]: https://www.nvidia.com/en-us/shield/games/geforce-now/
> pip is for libraries

Since when?
Compiling something on Linux is a piece of cake, even with dependencies, compared to Windows.

In Linux, the dependencies are just apt/dnf/yum away. In Windows, you have to build them, including their dependencies. There is no ./configure, no cmake config, it either has VS solution file (if you are lucky, it will even work with your version), or not. If you have the dependency library somewhere, you have to edit that project file tell the VS manually where it is. If you weren't lucky with an existing sln file, it's time to make your own.

Reading README to learn about dependencies and running configure with some flags is fine, compared to that.
Interesting play vis-à-vis commoditized hardware offering from AWS/EC2.

If they have a differentiated and/or significantly more powerful offering, this could chip away at the status quo...