skysight-inc/HackerNews huggingface dataset:
There are several other failures from the 50 years in the future piece for the World's Fair:

> Jets of compressed air will also lift land vehicles off the highways, which, among other things, will minimize paving problems. Smooth earth or level lawns will do as well as pavements. Bridges will also be of less importance, since cars will be capable of crossing water on their jets, though local ordinances will discourage the practice.

> you will be able to reach someone at the moon colonies

> Most surprising and, in some ways, heartening, 2014 will see a good beginning made in the colonization of the continental shelves. Underwater housing will have its attractions to those who like water sports, and will undoubtedly encourage the more efficient exploitation of ocean resources, both food and mineral. General Motors shows, in its 1964 exhibit, the model of an underwater hotel of what might be called mouth-watering luxury. The 2014 World's Fair will have exhibits showing cities in the deep sea with bathyscaphe liners carrying men and supplies across and into the abyss.
Not that kind of disclaimer but a serious one that corruption was very likely
Apple Watch Outsells Entire Swiss Watch Industry
Herbert Simon on complexity
One page takes you there. If in have to scroll you lost me.
Or hotjar.
You don't seem to have any qualms about sharing negative Windows experiences. Is the claim here that I should never share my opinion of software I have used?
Hanson 1999: Efficient Reading of Papers in Science and Technology [pdf]
I completely agree with you, but I am a little sympathetic to the "bad PR" angle. It's really, really not that hard to imagine a scenario where a well-meaning farmer (or their contractor) loads something onto the embedded processor that does cause a malfunction, and before you know it there's a splashy news story featuring pictures of a big green tractor not living up to its brand.

I work for a robotics company making indoor self-driving vehicles, and we worry about exactly this issue— from an ROI perspective, our product is a slam dunk, so it's safety and reliability are the first and second most significant questions which have to be answered during the sales process. When we invest substantially in associating our brand with those values, we really can't afford the possibility that an unauthorized user modification compromises them in a way that's outside of our control. Hence closed source, FDE, and all the rest of it.
You know, it's gotta be said that Google just shitting all over copyright just because they're big isn't ideal, either. They should be honest about their motivations, though.
Commercial banks create money with private loans continuously but that money is also extinguished when those loans are paid back - which also happens continuously.

When there is a lower demand for private debt - usually because people already feel overindebted - money creation is throttled.

Politicians often balance the competing desires of their rich donors (who, however liberal, still want the money supply throttled to preserve their wealth) with that of the electorate (who want a healthy economy that can only be driven by spending) by stimulating the creation of ever more private debt.

This isn't a sustainable compromise and the consequent systemic and societal risks of a huge overhang of unpayable private debts are pretty terrifying.

Economic humiliation correlates strongly with a societal attraction to charismatic "strong man" leaders and, ultimately, fascism. I believe we're watching the beginning of this story and it's about to get a whole lot worse.
5 reasons why your sales team just cannot ignore Artificial Intelligence anymore
It's easy. Don't tell them "Your real face is too ugly, sorry."

If that's what they interpret, sucks for them.
The point is that if there is some reason bullies mistreat other children other than hatred of children, maybe there is some reason people mistreat women other than hatred of women.
Why would you want to be someone for customer support anyways
This is a way of tricking the stupid and poor into lowering the population by taking away regular money and giving you a lump sum that you will blow leaving you with no way to survive. Most wont train or use it to make more money. Its a simple tactic for the government to elliminate the people the no longer need.
Do you? I don't. I'm using google.co.uk on PC, with both Chrome and Firefox, and can always freely get the image this way.

You do have to wait for the image to have fully loaded, mind, but otherwise it's quite literally embedding the image anyway - right-click, View Image, and you've got it.
thanks for this! I had trouble going through some programming courses, and going in parallel with the teacher. But I never made the connection - to just watch it first and try to reproduce it on my own after. Simple and brilliant advice!
The Case for Making Cities Out of Wood
The article says that the point isn't about CUPS in particular, but generally poor UX in Linux GUIs, and how Windows and Mac in this regard wipe the floor with Linux software in this respect, and I think it's completely right. There just isn't really a culture of providing a consistent UI experience or making the UI a first-class citizen in Linux-land.
This sort of thing is why I haven't completely lost hope in the web, yet. The power is still in the hands of the user. Don't like a site's style? Fix it yourself. Feature you like been removed? Write your own extension to put it back.

Sure it's work, but ultimately no entity on the web can absolutely control how you choose to consume their content, only try and make it difficult for you.
> It should be easier to write analysis heuristics for a language that

Quite possibly, and that's exactly what I said. Languages may assist formal reasoning (although how is not always clear[1] and your example may or may not be valid -- the transformation in the well-behaved cases may be quite easy; compilers and static analyzers do such analysis all the time), but that's not due to a weakening of the computational model.

> What I'm saying is, that automatically solving CNF formulas is easier than automatically solving a C program that expresses the same thing.

Right, but as the transformation is mechanical, there is no reason to prefer one language over the other. They're equivalent -- in this particular scenario -- from both a theoretical and a practical point of view. Static analyzers commonly perform transformations -- from the programming language to SMT-LIB and/or using abstract interpretation.

> but you will be hard-pressed to write even the parser for a general C program in that space

Writing a compiler for Pascal is much harder than writing an assembler. That's not an argument for writing assembly by hand over writing Pascal.

[1]: One example is a pure-functional language like Haskell vs. an imperative one like Java. Well-behaved Haskell allows for equational reasoning while Java "only" allows for assertional reasoning, but the common use of higher-order functions makes some automatic reasoning methods much harder than the familiar and powerful assertional reasoning approaches.
6 Event Technologies You Should Look for in 2018 and Beyond
Am I the only one that finds it ridiculous that the way to query for data in SQL is by passing a string?
The Machine Stops (1909)
GP had own site, said ‘information wants to be free’, I was talking about case where that gets popular.

I was not talking about media generated as placeholders for ads (sports, ‘news’, and reality television come to mind, as does click-bait).
Any horrible task can be split up and thus be made more fullfillable by the human employed in the process.

Lets assume for example, google found some Xenomorphs on the moon- which needed a human host to be transfered to a research lab in moutain view.

Instead of having one person do it, the task will be split up.

There is one doctor making sure the human hosts are fine.

There is a transport pilot flying the human hosts to the moon.

...

There is a grief counselor contacting the hosts familys.

There is another transport pilot flying them home.

Finally there is one person who designs the process, not knowing exactly what will be extracted.

And of course a person who tells a nice PR-lie.

Its the same distribution of organization that made Auschwitz run so well.

Now repeat after me- do not be evil.
Reminds me of ["The Machine Stops"][1] by E.M. Forster from 1909 that, from what I remember, was even more uncanny in how it predicted social media and whatnot.

[1]: http://archive.ncsa.illinois.edu/prajlich/forster.html
Thanks for the article, really good to see, and reaffirm what most of us guessed already.

Might I suggest another round of trials but changing up the message when someone joins? It reads quite like a bot/automated system/interactive FAQ, as others point out.

I know that personally if I join one of those with a bot you can usually get a real human on the other end if you curtly answer questions and voice dissatisfaction with the bot answers (e.g. "this doesn't help") at which point it offers to give a human.

What I'm saying is I wonder how this gender effect would interact with a 'bot-like' variable—if people would react this way if the message was more along the lines of "hi, I'm Rachel and I'm a real human working for…'
>Since I am male, I was not threatened but amused, but I can see how a woman would feel vulnerable in the same situation.

Why ?
The real tragedy here is that US has laws which allow employers to fire someone on the spot. What a travesty - 20 years at work and they can get rid of you in a day? Just wow.
Kids who grew up in an environment where anonymous interaction is the norm (such as kids who have anonymous social chats at school, or do in-game chats etc) have grown so accustomed to it that I don't think they even see it as sexist, racist, bullying etc. Most would probably never say any of this to someones' face, not out of fear of consequences but simply because they know better. Yet in anonymous contact they don't think twice about it.
It also doesn't help that these interactions are ephemeral. Tomorrow you play against someone else, or chat with a different person. What you said yesterday doesn't matter, you may not even be the same persona. So as far as human relatoins go, they know that the chat interaction isn't a human relation, it's a short anonymous interaction.

So I think the important thing for us parents to convey is that being an asshat isn't ok just because you are anonymous. It might help to explain that everthing typed anywhere online is usually recorded forever, and that true anonymity doesn't exist either. That, and of course that real people deserved being treated like real people, even when anonymous.
> Nobody wants to pay any money for online services

I wish this meme would die already. Youtube red cannot be purchased in half the world. Google the search engine does not even have pay-for-no-ads offering that I know of.

You can't say they actually tried to get money from users yet.
This one thing is obviously not the smoking gun. But in context of the thousands of other similar things it becomes impossible not to see a pattern.
Nationalized single-payer health care. Now.
That's a neat idea. Thank you. I was thinking of putting search functionality in the results page too so that it will save a click and display names of the brands but this is better. Makes it more fun to explore for the users.

I implemented this with the Indian Trademarks database with the purpose of helping brands detect obvious infringements of design to begin with. It worked reasonably well but the database comprised mostly wordmarks(text images) and badly compressed/scanned images so the results were kinda underwhelming, except for the popular brands. So I figured I should acquire a better graphics dataset to validate my algorithm and went ahead with it. The results turned out to be much better than the earlier dataset and I thought why not use this to make a fun tool and ended up doing this. I'm hoping this turns out to be a useful research tool for logo designers.
We have real stats. Hundreds, if not thousands of studies. But those get this identical reaction.
Google is reasserting their web-search monopoly and reaffirming their interest in gated communities. Are they trying to follow in the footsteps of Facebook? I mean, Google is an actual useful tool (e.g. maps, search, mail... unlike Facebook which is nothing short of a Ponzi scheme where you pay in secrets and mental health) so I can't really hate it, but this is just plain annoying.

Will they store full-size copies on their servers, or do they reduce the dimensionality before storing in the cache?
A strongly typed VueJS powered by C# instead of JS/TS would be my dream SPA development environment. Hopefully this might feel similar.
I used to work at ClusterHQ, left in April 2016. Some background-

Last day at my job the co-founders were ousted by the board and CEO (the CEO who eventually wrote that post about Clusterfucked), and all the employees in the UK were laid off. Much of the US engineering team left over next few months, and new members hired, so by the time you interviewed it was almost a completely new team.

One of the those co-founders, Luke Marsden, and some other people from original ClusterHQ have started https://dotmesh.com/, which perhaps expresses the original vision better.

I can't say whether the product idea is a good one, though I've definitely talked to people who would find it useful.

As far as Quilt goes:

* The ClusterHQ vision was based on filesystem snapshots (probably Dotmesh too). Thus use case might be "take cheap snapshot of database whenever a 500 error occurs, for later debugging".

* The Quilt vision is data science-oriented, it understands the underlying data, and e.g. exposes it to data science tools like Jupyter.

So they're going after very different markets.
Dynamite Cruiser Vesuvius
yeah. make it illegal to own a gun...pretty simple solution and already proved to work in other countries....it's a no brainer
Google is now a firm part of establishment, i.e. protecting the old ways of making money instead of inventing new ones. They initially looked like a company that could find better ways but it seems like prevailing winds were stronger in the end. The "to help connect users and useful websites" while removing that possibility is just usual expected spin associated with classical businesses. YouTube is also turning into an expensive lower-quality cable TV. How innovative!
Hy and anaphoric macros (2016)
WATER METERS
A lot of academic programming language research is an outgrowth of mathematics, so it uses the language of mathematics.

E.G "boolean" dates back to George Boole, The Mathematical Analysis of Logic (1847)

https://en.wikipedia.org/wiki/Boolean_algebra#History

and "lambda" to Alonzo Church in the 1930s

https://en.wikipedia.org/wiki/Lambda_calculus
Yeah, it's strange to me that a book should try to force a person to come up with their own activities. Perhaps they should suggest it strongly, but so should a good how-to-learn class, saving all that ink on all those pages from saying the same thing.
THE E2 WIRELESS BLUETOOTH SPEAKER
Alternatively you could compile proprietary desktop applications to webasm and use nodejs as a standalone VM.
Ancient Artists Carved Camels in Saudi Desert’s Stone
Facebook is a fantastic example that lack of anonymity does not solve anything. It takes 5 seconds to find groups where people openly say that all women are bad, immigrants should be shot, black people are responsible for all the crime etc etc......even though all of their friends and family can see those posts. It solves nothing.
Photographers should meticulously watermark their photos and offer non-watermarked via paid portals or with whatever ugly DRM there is. Unless they want to do it for free, which many want.
Yes - that part of the server code is great in Go. I use go-chi.
I thought GADTs would be useless to me when I first heard the explanation of GADTs as imposing additional constraints on ADTs. Whilst technically true, it feels like it's missing the point.

The real power of GADTs comes from the fact that you can use the type at compile time. This means that in OCaml I can do something like:

type 'a t =
| Int : int t
| Float : float t

let print : type a. a t -> (a -> string) =
function
| Int -> string_of_int
| Float -> string_of_float

I can the do (print Float) and receive string_of_float. I can do (print Int) and receive string_of_int. Both have drastically different types, but due to the constraints that the GADT imposes it is fully type safe and the type is known at compile time.

Although this is a slightly contrived and useless example, there are scenarios where this can prove immensely useful that are not that far away and really aren't so useful when done with ADTs. Think serializing -- you would have to convert to the ADT first which isn't so useful. If you're interested in something useful, take a look at [0] (shameless plug), a very early alpha version of a similar idea allowing conversion from and to JSON.

EDIT: this is not inlined as I recall. False memory. The reason it isn't is probably because you can use existential types in which case the type would not be known at compile time.

[0] https://github.com/dpwm/typespec
Why We Need a Sleep Revolution
You're describing asm.js which had significant issues as a compilation target. The generated javascript code was massive and it took several seconds just to parse it.
This is nice to see, a hopefully more maintained alternative to bugseverywhere.
Building an $85,000/mo SaaS Side Project
Rails, mongo, elasticsearch.
The playboy who got away with $242m – using ‘black magic’
I've been trying to help one of my friends learn basic coding skills, and the method we used was similar. First, there would be a problem we wanted to solve, I would walk through with him to the solution, and write the code as we speak. By the time we were done, I'd let him study the code for a bit, delete everything, and wanted him to rewrite it.

James Koppel (author of the blog) helped me saw the whole thing from another perspective, and I also loved that he has a high Signal-to-Noise ratio.
This is basically how I'd been telling people to learn from programming tutorial videos for years:

Do the exercise with the video. Do it again, only referencing the video when necessary. If you used the video a lot, do it a third time.

If it doesn't stick after a third time, it probably isn't going to without more tutorials, so go ahead and continue on. I'm betting most people get enough out of the second time, though, especially after doing this a few times and getting the hang of it.

And it's more or less what I've always done, though maybe not exactly following those steps.
كيف تختار هاتف الآيفون iPhone المناسب لك
Five More Years
I'm strongly convinced that the 'average HN reader' is well aware of this (sexism) problem.

I don't rationalizing it, but I believe, the points you mention are important. And in addition, yes there are idiots on the internet. And not all problems have a easy wrong solution...

The blog post is (for me) shallow and the 'tests' would need to be expanded to be really interesting: what happens if you put on pictures from women from different cultures, ditto men from different cultures? Where are these insulting comments coming from? Does it also happen if you use 'less-into-your-face chat widgets'? etc...
Cisco to repatriate $67B
Perl Branding Proposal – free all the butterflies
Churchill was always pragmatic when it came to the Soviets:

"If Hitler invaded Hell, I would make at least a favourable reference to the devil in the House of Commons."

Churchill even had war plans created in 1945 with the aim of freeing Poland and other Eastern European countries from Soviet control - of course there was no real chance of these ever being used:

https://en.wikipedia.org/wiki/Operation_Unthinkable
One can interpret it as a response to all the posts that make it to front page regarding the overbearance of leftist "tolerance" in universities and societies and how this is stifling the "free marketplace of ideas."
Google should have just delisted Getty images from all of their search.
It can be argued that the reason that didnt happen was because of all the anti-nuclear protests that made it a toxic energy.
find and install Google Tracking-B-Gone, it strips all that garbage
The National Audit Office must publish the model for this system, forthwith.

Only then can debate begin.

And political parties must be compelled to publish their proposals both normalised to the NAO model specification and atomically for the inputs and outputs of specific effects of the rules, especially of housing rules.

In this way I could throw about ideas like my"basement benefit" contribution to a ring fenced home deposit scheme for all mature children living with parents whilst in work. This could be extended for those with parents over the age of fifty five, to build a capital cushion cover for care for parents, meeting with needs such as home modification and such things as mobility. Specifically I like the idea of subsidy for a station wagon or similar practical vehicle, for the adult carer if parents who are willing to give up their driving license.
Facebook Turned Its Two-Factor Security 'Feature' into the Worst Kind of Spam
The fact that Getty images won the lawsuit is strange. If Google images is better and is more used than Getty, then Getty should have been killed by the free market long ago. It seems such a ruling is keeping them afloat for reasons beyond that of the efficacy of their service.
I didn't think to call it that at the time, but I think that I came across a division type in react-redux the other day: https://github.com/DefinitelyTyped/DefinitelyTyped/blob/8f8f...

Playing with that a little, if adding a property to an interface is a product, eg:

interface Foo {
foo: string;
bar: number;
}

where Foo is a product of string and number, then removing a property from an interface is division:

type Diff<T extends string, U extends string> = ({ [P in T]: P } & { [P in U]: never } & { [x: string]: never })[T];
type Omit<T, K extends keyof T> = Pick<T, Diff<keyof T, K>>;

interface Foo {
foo: string;
bar: number;
}

interface Bar {
bar: number;
}

type Out = Omit<Foo, keyof Bar>;

the output type Out is equivalent to:

interface Out {
foo: string;
}

or phrasing it another way:

Out = Foo / Bar = (string * number) / number = string

I can't think what a 1/number type would be used for other than to remove number from a a T*number, in other words I can't think what a rational type would be used for unless it simplified down to a "normal" type. But I wouldn't like to bet that there's no other use :-)
Agreed - I am an example. I had vim format my rust code on save, but there was one single bit of formatting which drove me nuts, so I turned the plugin off.
I made a possible solution here: https://news.ycombinator.com/item?id=16391196

It adds back "View Image" button to Google Image Search results.
In the US, the average guy is five inches taller and about 30 pounds heavier than the average lady. Also, given a particular body weight, men tend to be stronger than women. Furthermore, 80% of people arrested for violent crime are men.

Seems pretty clear to me.
The US is an outlier both in terms of gun ownership and in terms of these regular massacres. It’s pretty obvious that as long as there is no willingness to curtail the former, the latter will continue to be a risk. And quite obviously the concept of performing these atrocities is spreading a bit like a ‘fashion’ amongst those susceptible.

It’ll make the libertarians bristle but more guns obviously does not make the environment safer.
A Day in the Life of Americans (2015)
Not necessarily. Diva cups are a thing.
http://divacup.com/#
finding appropriate books for 8-14 year old girls is really freaking hard.

Start with The Hunger Games and if she likes it that’s next year sorted too, buy her a bow.
Hetman Office Recovery Crack Registration Code Full Free Download
good initiative..
2016 USA Home White Soccer Jersey Short