skysight-inc/HackerNews huggingface dataset:
I don't understand why we should use JSON to configure a server, when a much more powerful language exists: Javascript.

For example, instead of hardcoding some setting in JSON, a Javascript configuration file could perform queries before configuring, or it could install callback functions as part of the configuration.
On the other hand, if everyone uses the same non-transparent list of magic hashes to ban hosting images then censorship potentially becomes a concern.
>On a side note, I dislike the term "women's rights". Is it so hard to represent "people's rights"?

I want to pull this quote out and address it directly, because it's a valid concern with a real answer. The reason we don't represent "people's rights" is because all people do not need their rights defended. To use an analogy, think of our system for measuring the level of endangered for animals, from "Critically Endangered" to "Least Concern." Is it sensible to say, 'Well, aren't all species important to the ecosystem? Why do we seek to protect Garrulax courtoisi but not Megascops watsonii?' This is because the former is nearly extinct, while the latter is ubiquitous. The cause of "social justice" -- the oft-derided 'warriors' of anti-sexism, anti-homophobia, etc -- is to correct years of disadvantage. It's not accurate to call, say, attempts to further women in technology as 'sexist'. In fact, that's co-opting the term to obfuscate the original issue.

Overall, your heart is in the right place -- it does seem like our attempts to further minorities comes off as patronizing (like affirmative action). But, in the end, the good that is done outweighs the bad so long as we adequately train the individuals we put forward through these initiatives such that no one believes they only 'got it because of their gender' (which to me is no different than 'got here through someone she knows' -- this is how most business seems to be done in the world!)
This discussion goes way beyond an "absolute layman explanation to homotopy type theory" ...

Anyway, I disagree that the "whole idea of type theory is that things can have more than one proof". UIP is about identity types and their proofs. Identity types are very special types. It is far from obvious that they should be inhabited by more than one proof. Indeed, it was a surprising breakthrough when Streicher/Hoffmann discovered that UIP does not hold in general and new axioms like Streicher's K or Univalence needed to be formulated to deal with this question.
Why does one need to sign in to azure to help fight CP?
Why are the the hashes not available via a public API so that any webmaster could just use it right now?
Please explain.
If you have working prototypes and a community to collaborate them, getting funds for actual testing it in silicon is not that hard esp. not if you collaborate with an University. With good performing silicon one can then expand and the folks who designed it are garanteed to have a job updating and enhancing it for the next 10 years or more :) Esp. if other companies sponser their work.

Are the Mills creators afraid say Intel will use their ideas and create their own chips excluding them from business?

ARM itself is beaten by RISC-V's initial Rocket prototypes in power and area and the upcomming BOOMs are a good match for ARM Cortex A15+ (only 64 bit). And they only recently started just with OoO chips. And do you see ARM suddenly creating RISC-V chips? or borrowing their ideas?
What is ISO-3306?
Personally, I just don't like paying for something else monthly, or hourly. Even if it's a slightly better deal; I just don't want the hassle of another monthly bill-- looking for errors, new fees, the date the good deal goes away, the trust I hand over when giving out my credit/debit card. I know it doesn't make logical sense. As to a gaming computer, I would rather spend a couple of grand upfront, and know I can patch it together for the next few years. Same with an automobile, I don't mind driving an older car.(my current car is a POS to some individuals, but it's never seen a mechanic, it's safe, and it gets me where I need to go. I do need to thank the engineers at Toyoya though. They made some pretty indestructible automobiles.)

Sometimes, I think about that quote in that movie Office Space, when Peter Gibbons said, "You know, I've never really liked paying bills."
The answer from the post: http://strangelyconsistent.org/blog/images/all-the-4x4-mazes...
I'm looking forward using it. Especially function return types and the reported performance improvements are going to be interesting. I think the people behind did a great job with PHP 7.
From 2008. Are there any newer states in addition those listed?
I had/have a similar low frequency tinnitus that began in 2009 during a period of stress. It was so loud that it made it coloured every day sound including speech and music, and made sleeping a nightmare.

I eventually worked out a correlation to muscle tension in the muscles in my shoulder on the same side as the effected ear.

I worked a programme for muscle improvement through strengthening, stretching, and relaxation techniques, which alleviated noise almost completely, although occasionally I still get it a little, at a very low level.
One vendor selling an automatic child porn filter using data from INTERPOL is https://www.netclean.com/
It is also using Microsoft photoDNA technology.
The State of Storytelling Technology in 2015
No need to apologize, this is not only an interesting topic and problem, but also a very good discussion.

Thanks for bringing that up, might it be ok if I use your question to build around it and see what it is like for non US-websites?
While I appreciate simplicity as much as the next guy, using this "complicated nodejs pipeline" gives you access to a wide array of language features that can make your entire codebase simpler.

I feel this is an excellent trade-off for any non-trivial project.
I think the intent of my original words is sufficiently clear. Aside from not liking my analogy, is there an underlying point you're trying to make?
It's not pedantic -- interpolation in linear space makes a major difference! It doesn't look like this shader is meant to show distance directly, though: it's taking a fourth root and some other things:

// do some soft coloring based on distance
d = clamp( 8.0*d/zoo, 0.0, 1.0 );
d = pow( d, 0.25 );
vec3 col = vec3( d );
Just saw this awesome documentary from NASA about the New Horizons Mission https://www.youtube.com/watch?v=EJxwWpaGoJs - it is definitely a good watch.
You are right that for a particular formula p, the implication (~p ∨ p) ⇒ (¬¬p ⇔ p) is an intuitionistic tautology and that the reverse implication is not (in general).

However the situation is different when you quantify over all formulas. If you have (¬¬p ⇔ p) for _any_ formula p, you also have (~q ∨ q) for any formula q (written with a different letter to not get lost in variable capturing issues).

This is because, for any formula q, we have the intuitionistic tautology ~~(~q v q). (Proving this is a fun exercise. If you get stuck, see page 26 of https://github.com/iblech/talk-constructive-mathematics/raw/... or elsewhere on the Internet.) So, if you assume the principle of double negation for all formulas, then in particular you assume that, for any formula q, the implication ~~(~q v q) ⇒ (~q v q) holds. Since the antecedent is unconditionally valid, the consequent is as well. Thus you have the law of excluded middle for q.

I highly recommend Andrej Bauer's blog for such matters. The post http://math.andrej.com/2008/08/13/intuitionistic-mathematics... is a good starting point.
Looks like they missed a basic aspect of operational security - compartmentalization. Sensitive databases must be compartmentalized so a breach in one is not a breach in all. No login credential, for example, should grant access to all of the database.
Im wondering, if this could be prevented by providing acountability across generations.
If we where to store the names of torturing individuals - and generate a civilian resistance- by refusing to employ, buy and sell to those who engage in torture and everyone decending from them, pressure could be applied.

"Im not going to the prom with you, cause your father/grandfather was a torturer" - sounds like something that could hit home. And goverment seems to have escaped all (self)controll otherwise.
The idea isn't that you make a pokemon team of people of all skin colors, sexualities and genders to have all damage types covered. It's more that cultural background and experiences made shape thinking, problem-solving approaches, etc, and if your team is 100% straight white affluent men, chances are pretty good they will all have roughly overlapping backgrounds and leave the vast majority of the human experience uncovered.
Perhaps I'm missing something. How would you know if someone is an excellent censor (I.e. They only censor "bad" speech, and not "good" speech) if then intent is to shield you from the "bad" speech. Wouldn't you then not know what they censored?

Specifically, it seems to me that if you're shielded from seeing that they censored, then they could also be censoring "good" speech too. So the only way it seems you could ensure they weren't do this poorly or deliberately would be to allow everyone access to what they've censored. Which inversely seems to defeat the purpose of having a good censor. Now essentially nothing in censored.

Again, perhaps I'm missing something but if I'm not then I don't understand how you resolve this conundrum.

Edit: Unless you're referring to ex post facto censorship, where everyone sees the "bad" speech, and the speaker is banned for violating "community standards" To pre-emptively ban future speech. But this too still allows "bad" speech, and I suppose you also have the problem of deleting the bad speech. If it's gone, then what substantiates the ban/censorship? Because again, what if the action was either done in error, or maliciously to ban "good" but unpopular speech/speakers how would you know?
What tuning parameters are you using and where are you making those changes?
>Doxxing is doxxing.

I meant that the reddit admins didn't 'deal with' Violentacrez. Chen doxxed him, destroying his career, despite the full knowledge that Violentacrez had innocent dependants who would also be hurt badly. If Violentacrez deserved to be 'punished', then whatever punishment was meted out should have fallen exclusively on him.

>It doesn't become 'exposure'.

Bad choice of words. I intended the term in a literal sense, not a judgemental one. It was revolting how Chen made Violentacrez crawl in the false hope he could salvage some part of his livelihood.

>...when people you like do it.

I dislike the people who doxxed Violentacrez very much. I disagree with the use of doxxing as a tactic.
Building a startup (actually others are doing the building, I'm doing everything else :) I would bring one or two books (Traction, Lean Startup, Smartcuts, etc.) and my iPad.

I would use some time reading and some time writing either ideas/notes or blog posts.
Smoking: Quitting is so hard
And there I expected this to be political commentary...
Basically the excess profit obtained from a university degree is now being captured by external agents rather than the individual student. We should expect this to happen in any market which has reached maturity after a period of rapid expansion which higher education experienced from 1950 to 2000.
I don't get it - either it's right to look at the color of someone's skin and make an assumption about their background, or it isn't.

You could hire both a rich white guy and a poor black guy, in order to get diversity, and then find out they both love classical music, basketball, knitting, went to the same college and vote for the same political party.

If you're telling me you can look at the color of someone's skin and tell me what their cultural beliefs and background is then you're the crazy racist judgemental one!
The OAuth based OpenID Connect is for identity management.

http://openid.net/connect/

Personally, I still prefer Persona's privacy-oriented approach to id management, but since Mozilla stopped pushing it, development has slowed quite a bit and widespread adoption will probably never happen.

https://www.mozilla.org/en-US/persona/
And I would imagine a bunch of child porn photos don't technically show anything illegal (nothing illegal about a child being naked on their own, what's illegal is the taking of the photos for sexual gratification - don't ask me exactly where the line is there, though)
For the curious, the programming language is called "Lily". There is a website at http://jesserayadkins.github.io.
How-old.net
Game Videos
Correct. My clients are drug development companies. Very few of them distribute any sort of software, in part because often they would need to get legal to sign off on it. Even fewer provide support for the software.
McDonald's minion toy
Actually, he adapted BCPL by changing a bit the syntax and taking a few things out to fit into the PDP, but even the manuals were almost a copy from the BCPL ones.

https://vimeo.com/132192250
Amazon did and found it was basically impossible to provide good service at a competitive price. But now you can learn the same the hard way.
Oh, you were talking about the hobbyists?

That's easy. Tell them to RTFM, and if something doesn't work, have them submit a patch. That's not a heavy burden.
Just reading your comment I was thinking about the closed world assumption in logic (prolog), perhaps there are some middle concept between the Proof by Contradiction and the closed world assumption. In the real world we learn concepts (think about relativity or a non planar world) and then the old question is no longer a two value alternative.

Perhaps something like: In this field a new conception could appear that would invalidate what we consider today to be only two alternatives. Is not about many worlds reality or quantum computation, (3 minutes thinking time out).
Any more detail? I have had quite variable tinnitus for three years now on one side and am beginning to suspect it's related to muscle tension in that shoulder.
Your counterexample could work, but it is not obvious that it does so. This is because you also have to give definitions of ∧, v, and ==>, and then check that your definitions satisfy the axioms of intuitionistic logic.

As stated, your example only shows that one can define a function f on a set which contains more than two elements such that f . f = id. But this by itself is a trivial statement.
But think of all the money
Also NASA still use ThinkPads
The more honest, transparent and unattached to feelings and stuff I am the more tranquility I am able to feel.

To help me I do Taoist Tai Chi, meditate, see a therapist and read books and blogs that is about being happier and balanced.

What has surprised me the most is how "silent" my mind and my life is now, happiness and getting things done is somehow inverse to how "busy" you feel and how much static noise is in your head!

I would say that every time I make a leap in my happines and efficiency it is because I am transparent and honest about something personal, I believe it is because by understanding and embracing myself I stop using energy being ashamed about who I am and release all that energy to create.
So don't punish the individuals but punish their grandchildren because they share 1/4 of thier grandparents DNA. Sounds fair.

Now how about we make a family tree of all the anti gay marridge activists so we can punish thier great-grandchildren in 80 years time. That will teach them not to be born share DNA with thier great-grandparents.
Good catch.

That is ironic on so many levels.

I mean there is even a section on "UX: Bandwidth"...

Maybe the author should brush up on image compression best practices and consider adding a subsection on images and other media.

EDIT: Realized my previous wording was probably a bit too harsh considering the author is still relatively new to web development.
I agree with the premise that there will be fewer jobs but not that basic income is the solution. Not working can be very unhealthy for most people and I imagine people doing nothing instead of being "artists and scientists".
Mirillis Splash Pro EX Crack Plus Serial Key Full Free Download
Omar Sharif dies at the age of 83
Careful: https://en.wikipedia.org/wiki/Principle_of_bivalence#Relatio...
Sure, Australia is super huge and <10ms is a different thing. I live in germany and there are ISPs where you can get <10ms in the whole country. Sadly when i moved to Berlin the ISP situation got worse than in my previous much smaller city and i am "stuck" with 30-40ms latency. I somehow care a lot about latency, but i can live with it ;)
I have seen some people with Fiber connections basically get <5ms everywhere in the country, so the tech is there, we just have to get the mainstream interested. At the current rate ISPs will squeeze the last drops of bandwidth out of copper and cable connections until finally moving to fiber, but it's understandable as the mainstream demand isn't there and getting Fiber into all homes is a massive undertaking.
There is a feeling among many people that too many "js devs" only know jquery or _ or angular and not the whole breadth of the language. Articles like these are there to show that you don't need to include the whole _ if all you need is a simple "pluck" for instance.

Of course there are good reasons for using those libraries, it's all about tradeoffs.
Hexagons are common in nature: https://www.quora.com/Geometry/Why-do-we-see-hexagons-in-nat...
The article is from 1998.
On the other hand, it means Takeover (of a public company) in Portuguese. (OPA = Public Offer of Acquisition)
>There's no requirement to distribute modifications upstream or to "the community."
No, that would obviously be a onerous requirement. The GPL strikes a reasonable balance between the individual user and the community of users.

I'm just saying the customers should be allowed to get the derived software on the same generous terms as the company received the original on. The customers are obviously not required to redistribute anything, but it encourages good behaviour.
"undefined" (and "NaN") are not a reserved keywords. They're just a properties of global object, with values of, respectively, primitive "undefined" and primitive "NaN" (which are not accessible directly).

In ES5 these properties are defined as [[Writable]]: false, which explains your behaviour.

You can however still create such variable in non-global scope - simply wrap that code in a function and it will work.
I don't understand why we should use JS to configure a server, when a much more pleasant language exists: Python.

Ultimately, it's not about the language, it's about the simplicity. If you need more that what this does, you can go out and do that, but this looks like a wonderfully simple system where I can just write some information about myself and it uses that to build a site.
https://exonerator.torproject.org/ There is.
Oh my, that's horrifying. I have #9, but that is apparently very lucky. My thoughts go out to those who suffer from any of the first few.
He probably meant ISO 8601
The Wave-Particle Duality
I thought that little drawing/diagram looked familiar. Now it makes more sense.
Exactly. It is Core OS, not CoreOS and it doesn't mean what they think it means. But's that's as much you're going to hear from someone that's actually from inside Apple.
Not just Kick ass torrents, but almost all major torrent sites including Torrentz, ExtraTorrent and RARBG [1]

[1] https://torrentfreak.com/chrome-blocks-major-torrent-sites-o...
The first two pages of the translated paper are visible via Springer's Look Inside:

http://static-content.springer.com/lookinside/art%3A10.1134%...

http://static-content.springer.com/lookinside/art%3A10.1134%...

I couldn't find the full paper. Perhaps someone else will have more luck.
I said nothing about gender and ethnicity. Diversity is a concept that goes beyond that. You can be a white straight male and still be a weirdo, or a black Hispanic lesbian and still be a conformist.
Images of BDSM is illegal in some countries, like the UK, IIRC.
Founders and mental health (2014)
Tried any classic French books?
I was surprised at the lack of mention of SVG. The biggest change to my working habits (apart for working in a SPA) is that every non-photographic image I use is now SVG.
Agree. I was speaking more in general rather than specifically about reddit.
Yes, of course. I was coming dangerously close to conflating the fact of a sequence being uncountable with the proof that the sequence is uncountable being constructive. In other words, having no constructive method for generating the reals is not at all the same thing, of course, as having a proof that the reals are uncountable. In fact having a constructive proof that the reals are uncountable indicates to us that there is no constructive method for generating them! Oof. You have to so careful with this stuff :)
It wasn't undefined. There was a hyperlink to a page all about it.

You failed to explain what OP meant, and didn't explain that your comment was aimed at people who knew this kind of terminology. Does that make your comment bad writing?

No one is suggesting that people should carry every bit of technology around in their heads. Google is a great source for finding things you don't know. The alternatives - explaining in every single blog post the complete set of terms that you need to understand to read it - would make for massive, unreadable posts and would be 90% useless for most of the audience it is aimed at.
Inside an Artificial Brain
You would, however, have plaintext copies of every piece of other sensitive information in that database.

Who cares is passwords are harder to brute force, once an attacker has walked away with everything in the OPM leak?

Don't get me wrong, I'm hugely in favour of hashed passwords. But with this sort of data it's a long way from making a complete database leak a nonissue.
Agreed.

Some of the things I see people say on the internet makes me wonder what kind of social lives those people can possibly lead while being so hopelessly devoid of any empathy.
Is this due to these sites having a lot of advertising (probably serving malware) or is this a deliberate attack from the media industry by trying to scare people?
Shouldn't google block youtube if they care about massive corporate supported copyright infringement?
I'm not saying that the site can't remove CP. But I was arguing that it's safest to base decisions about removal on input from users and third parties. PhotoDNA etc would also be good resources. The site operator should be responsible for the algorithm, and not for particular outcomes.
You are correct all the way.

The problem is that arguments from both sides are often generalized and it's not necessarily wrong. If you have a wide audience e-commerce enterprise you should probably keep JS use as limited as possible. If you build tools for programmers or highly dynamic projects, JS everywhere is probably fine.
Here's one to top that: https://vimeo.com/132951073