skysight-inc/HackerNews huggingface dataset:
Surely it's not in their interest to avoid captive portal detection, anyway? After all, it helps them advertise their product!
Some people create an image editing software that rival Photoshop which is worth a millions of dollars in their own time without expecting anything in return and they work on this for about twenty years and you are frustrated about a sensible change that can be reverted by little configuration or a little plugin?
> The arbitration clause, which includes a waiver of the right to sue in court, was at the bottom of Page 7, he said.

Can we just go ahead and start restricting the use of these clauses? They have a place in a reasonable contract between businesses, but using them to prevent customers suing or participating in class actions is completely ridiculous and should be illegal.
I'm more interested with comparison to plants harvested for biodiesel.
Sure, this is the case I was referring to: https://globalvoices.org/2011/01/04/united-states-serbian-co...
I was intrigued by the name—"ratas" means "wheel" in Lithuanian, but the author appeears to be from Switzerland and neither first nor last names are even remotely Lithuanian. Even more intriguing then…
There is even a "laser razor" kickstarter that utilizes the effect. When a beard hair goes near the fiber, the light escapes from the fiber, and burns the hair, cutting it.
> why doesn't it seem very impressive at first (and second, and third) sight?

That's a super interesting question. Pretty much the entire challenge of LC is coming to understand why it's interesting. From our perspective, so far past the consequences of this discovery, it will all seem too obvious to state. The interestingness of LC comes out of it being so austere and so powerful.

Frankly, this page's intro to it is sort of terrible. Clojure is too powerful and clunky to point directly at LC and show why it's interesting.

LC is a language with three constructors

var[x] reference a name
lam[x](...) create a scope where x is *known*
app(f, v) when f is lam[x], give
meaning to x within its body

Forget ideas of functions or anything else you know from CS. Just think about what these three constructors mean. To give them real meaning we have to define one more thing: the reduction step. It's what you think it is

app(lam[x](body), value) ==> body{x -> value}

where the right side means that we replace all instances of "x" within "body" with "value".

So imagine that to be the definition of a programming language---the whole thing. It seems a bit silly. It doesn't obviously have any of

- numbers
- if-the-else
- for loops
- recursion
- mutation
- data types

It doesn't even seem to have any way of talking about how it instructs a machine on what to do. It's truly austere.

So the magic, of course, is that it actually does have all of the above. Those 3 constructors and one rule are powerful enough already to generate all of that.

That's what's remarkable.
If the tool is as accurate as the author implies, I think it would be great to release it for literary analysis. For example, it might help to determine which fragments of Shakespeare plays are written by Shakespeare and which, if any, were remembered incorrectly by the actors who reconstructed them after his death.
Cool. Learn something new every day. (I was confused because all the examples except for lock() are single-arg, and IntelliJ usually autocompletes with parentheses because there's often a non-functional overload.)
I agree. This is a sort of meta-interview.

Facebook is looking for (Devs Who Can Implement CS Algorithms) ∩ (Devs who can game the system)

The second criteria is arguably more important when working for FB, than the first.
> The law is interpreted by humans, based on case law, and attempts to understand the intentions of the law as written.

So what you are saying is that "loopholes" in the law actually don't exist, because those loopholes run counter to the intentions of the law? Interesting!
I've had outstanding luck with this paint (1).

Print your model in ABS. Smooth it by putting it in a paint can on a little stand with some acetone soaked rags below for about 1/2 hour. Paint with some of this paint. You will be amazed.

(1) https://www.amazon.com/Krylon-1010A-Premium-Metalic-Original...
My coworkers and I use a related technique all the time, e.g.:

"I think X, Y, and Z are true."
"If those are true, then A should also be true. But A seems clearly false."
"Hmmm...I agree A is surprising, but not clearly false. What would distinguish a world in which A was true or not?"
"Well, if A was true, we'd expect B, otherwise C."
"Ok, I agree C seems much more likely than B, so that suggests one of X, Y, or Z is wrong."
Sorry, I didn’t get you.
I found Paul Tarau's work the easiest to follow on making a functional Prolog without WAM, for example: https://code.google.com/archive/p/kernel-prolog/

He also has theory papers explaining the architecture. For example: http://logic.cse.unt.edu/tarau/research/NewJinniPapers/fluen...
The human role in a bot-dominated future
The dark side of entrepreneurship
Ten to fifteen percent is vastly better. It's doable but it's not that easy. You need a middling-good job in flyover country. That's the part that's not that easy - it's harder to justify a gig in flyover country by sheer ability. Companies on the downward slide towards Schumpeterian irrelevance just don't care and so don't bother them with the facts...

IMO, this was what my ( Silent Generation ) parents used as a heuristic. But people saw rising home prices and began the "stretch", and then "stretching" became the standard.

Because of this, I've become somewhat of the Geotaxer fan - if the rent is too damn high, then tax land rents, not income per se. Geotaxes have the aspect that they cannot be passed on to the renter by the rentier.
This chip from Lattice is supported by icestorm. It is the only open source FPGA tool chain.

http://www.clifford.at/icestorm/
The EMV chip credit card transition in the US has been a disaster
Is Uber reducing drunk driving? New study says no
You're going to have to explain that jump quite a bit more.

Oftentimes loopholes are from being overly specific on certain terms, rather than specifying intent more broadly.
excluded middle somehow.

That said law is still a system with capacity and limited "power" that is not very different from a computer.
I mean, that's true in the US too if you look at schools like Stuyvesant or Trinity.
I'm not sure it did.

Major staples of British television nowadays appear to be eviction drama and lionizing debt collectors. My wife calls the genre "poverty porn" -- and I don't think people are watching these shows to learn more about the dire straits of their fellow citizens.
This is ambitious. I don't really believe it will be rally useful one day, but who know, maybe it is the primitive form of a program which will replace programmers in the future.
If it works, prove it by unmasking Satoshi Nakamoto.
Sprawl is a reaction to land rents ( ala Ricardo ). It's really only bad in that it facilitates and encourages commuting. It could be at least partially addressed through the tax system - carbon taxes and land rents taxes combined would probably be enough.
> given a fully or mostly-specified definition of some function foo, Barliman will attempt to prove that a partially-specified test is consistent with, or inconsistent with, the definition of foo.

I feel like this is what GHC (the Haskell compiler) does for me. Where the "test", in this case, is the type definition. And there is no room for error here.

So it's possible that this idea makes more sense for languages without a strong type system. In any case, trying to complete a partial function definition without looking at the native types of the language means you miss a lot of information, especially in the case of Haskell, where the types tell you so much, if not everything, you need to know about a function.
You might consider Clifford Wolf's Project Ice Storm - an open source tool chain for several Lattice devices - consisting of YoSys Synthesiser and Arachne Place and Route.
But if you're using services through tor, aren't you already anonymous? It's my understanding that a hidden service is meant to hide the service, not the users. Hiding its users is only a byproduct of being part of tor.

I never saw a practical point to big projects and organisations like Debian having hidden onion-services. Other than promoting Tor it seems to me that hidden services are meant for other applications.
Satoshi can probably be revealed using these techniques. It's a double-edge sword.
That's what Mr. Teller wanted you to believe
I was specifically thinking of the US capital gains structure (see https://en.wikipedia.org/wiki/Capital_gains_tax_in_the_Unite... ); this varies wildly by country. US capital gains taxes are always lower than the corresponding income tax bracket, hence my comment; it looks like UK capital gains are potentially higher than the corresponding income tax bracket for the same amount.
I'm not sure these traits exist outside of mathematics as much as posited. I would think this happens mostly because mathematics is such an abstract realm that it is possible for mathematicians to cultivate that sort of detached mindset effectively. Once you start getting into topics and subjects that are more personal and unable to be completely abstracted, these traits may be a burden or not exist in practice.

Not many people will take the same approach to their own values, and philosophy shows the difficulties in using the mathematical/logical approach to value systems and human thinking.
It was the wrong approach because gobs of Javascript gives a horrible UX on low-end, first-iPhone-equivalent hardware, but it was approach they wanted because they're so invested in the notion that FirefoxOS would natively implement Web Platform APIs; conversely those platform APIs would become standard Web-(browser) APIs in the future [1].

Sadly, their ideological mission conflicted with the realities of their target market (and in this case, price-point).

[1] https://developer.mozilla.org/en-US/docs/Archive/Firefox_OS/...
How important is high school for college grades? Less than you might think
First, Rails is not intended for toy-app. You can build it but RoR is production ready apps. So the stack you get reflect that.
Also, you can drop like half of those gems if you do not need them.
And finaly, if you are going to do any non-trivial app in PHP you will either reinvent similar libs yourself, or you will use Symfony, Laravel, etc. and get a comparable bunch of dependencies with Composer.
Following the law doesn't make it not bad. Tax havens are legal and so are corporate tax loopholes. That's why they're holes, not crimes.

It was bad because 1) it was bad for small businesses that had to collect and had a hard time competing on price alone to begin with -- making it impossible to compete. And 2) because sales tax is a huge tax contribution which otherwise the government would have counted on.

And regarding escaping, it was an integral part of their business plan, and they fully intended to fight for it.

> the State of California agreed to a delay of one year before requiring online retailers to begin collecting sales tax on sales to California addresses (Read the whole part on California [1])

Worse yet, Amazon wasn't even profiting in the process. Making Jeff either Satan or a genius (you'll find plenty of stories proclaiming both).

Amazon created jobs and shareholder value. I'll give them that.

----
[1] https://en.wikipedia.org/wiki/Amazon_tax
Yeah, it should be released.

I mean sure, there are various 'immoral' uses for it (like doxxing), but there are also many good ones. Such as:

1. Working out who wrote a bunch of anonymous reviews on Amazon or other such sites, which could be used to stop fake reviews. You actually mention this usage in your article.

2. Being able to identify troublemakers in a community (such as a forum or a social networking site). I'm sure a lot of administrators would love to know if that suspicious looking new guy is the alias of a banned troll from a few weeks back (posting through a proxy server).

3. Literary analysis, like working out who wrote many anonymous works of fiction. Or as someone said below, determining which parts of Shakespeare plays were actually written by Shakespeare.

4. Crime solving. If it works anywhere near as well as you say, it could theoretically help unmask the Zodiac Killer, or perhaps even Jack the Ripper (if any of those letters were real).

All the uses above would be a net positive for humanity, and would be great possible uses for a deep learning tool like this.

Don't let the worries about its usage by 'bad' people overshadow the good you can do by releasing it.
Yeah but conversely, or, rather additionally it could be used to unmask anonymous authors who for political reasons wish to remain anonymous, like whistleblowers, dissidents, etc.
PHP can be compared to Ruby. Rails can be compared to Symfony or Laravel. It makes little sense to compare a language to a framework though.
his piece about discussing ideas and switching opinions made me remember a comment i made once to someone that said "evolution is just a theory, people need to hear both that and creationism". i said "only evolution is a theory, because it's based on facts and bits of logic, the other's not".
In response to Joshu - I don't think this is a Kickstarter Campaign - I get it's two guys in the UK doing this off their own backs - and in record time - design on laptop to working board prototype in less than 2 weeks - with the pcbs made in Shenzhen China, in under a week. There on Twitter under #myStorm - if you want to check them out
Trump’s wish for hacking powers sets up disaster scenario Snowden feared
In addition to lack of performance numbers, they misstate the amount of sunlight hitting earth by a factor of 10- it's supposed to be 1000 W/m2, not 100.
There's already precedent, but "activist judges"
Well, if it works, it probably only works for a little while. This is because people who don't want to be identified can run it too, and they can change their prose until they can't be identified.
"People have been murdered over cartoons. End of moral analysis."
They are arbitrary, and reflect the biases of those in power. This is because effective satire demand widespread dissemination, and those in charge of the means of dissemination are the very rich. Also, increasingly those who are in charge of our creative culture are rich and monocultural, and satire is used as a tool to suppress.
New Japanese Menu Item (http://www.vox.com/2016/3/28/11318512/japan-kill-minke-whale...)
The former DoJ chief literally said he wouldn't prosecute them "because that could hurt the economy" .... ?!?

He only said that perhaps it wouldn't have hurt the economy, after he quit that job and got hired at a big financial institution, and when it didn't matter anymore.
While I'm against binding arbitration agreements for person to business agreements, this seems like the exact kind of frivolous lawsuit arbitration is designed to protect companies against. It's 2016 and people are still upset at surge pricing?
I find the QThread class does a good job of abstracting the thread work, especially if you're going to hop between Linux/pthreads to Win32-64/whateverthehelltheyuse.

And the signals/slots do a great job of marshalling data across the threads, which is where I've found a lot of C++ projects get into the weeds.
In what way would it be better? Two guys doing something cool - what do you want? It's all opens source - you go make one in 10 days!
>"2. Being able to identify troublemakers in a community (such as a forum or a social networking site). I'm sure a lot of administrators would love to know if that suspicious looking new guy is the alias of a banned troll from a few weeks back (posting through a proxy server)."

Orwellian.
I don't really know, because I don't understand the more advanced work like QED. But http://www.feynmanlectures.caltech.edu/I_toc.html is one of my favorite books ever.
Byrd has been working on miniKanren for over a decade. He showed before how you can easily program miniKanren to produce quines through search.

The question I would have is that producing specifications for trivial tasks may be just as hard if not harder than programming the same tasks. Often the program is the specification.
paper: http://science.sciencemag.org/content/353/6298/467 (paywall), but it's available on sci-hub.cc
Hidden services protect both parties better because there is no longer reliance on exit nodes.
It would be interesting to create a tool with the opposite functionality which would take writing in one's own idiosyncratic style as input, and output writing in a more generic style. Better still if it improved composition and presentation.
The parts that jump out to me in the context of being a professional programmer:

1) Definitions == overloading. We regularly run into overloaded terms that mean very different things to different people. Microservices. Technical debt.

2) Being wrong - there is a perceived cost to being wrong, and in many organizations it is unfortunately a reality. When new or young, there is so much emphasis on proving oneself that there is easily a disincentive to opening oneself up to risk of being wrong. After being around a while, it is easier - sometimes I like advancing a position I know to be wrong because I know it will more efficiently generate explicit reasons why, as people protest (although even there I usually make clear I am doing devil's advocate).

3) Abstraction scaling - it's unfortunately so common for programmers and technical people to get pedantic, which frustrates people and wastes time. Sometimes it's driven by insecurity. For instance, needing to be the smartest person in the room, or proving competence in an area that is not directly relevant. And sometimes that insecurity is rational, for instance if part of an organization that encourages insecurity through its systems. But oftentimes it is because of a lack of experience with abstraction, or an inability to recognize what "rung" a discussion is on, or losing one's place on the abstraction tree. Complicating this is that sometimes it is important to drill down when no one else wants to. Recognizing this and keeping track of relevance is one of the hardest things to do when dealing with deep subjects and arguments.
http://science.sciencemag.org.sci-hub.cc/content/353/6298/46...
You're waiving your right to have your case be heard by a judge and jury. You can still opt for arbitration without waiving those rights, but you can be guaranteed that there is a reason you're being asked to waive them by a large company (it's so they can ignore the law and the resulting costs & settlements lean in their favor slightly or significantly better than they would from actual litigation).
Well not necessarily.

1 and 2 could both be a bet negative for humanity just as easily as they could be a positive.
I wonder how Servo compares to Gecko on this so far too.
This entire post and the debate surrounding it, is frankly stupid. What does 95% accuracy even means?? Consider face recognition, even when there is good gold standard for matching faces (human judgement, since human are good at recognizing faces), determining accuracy of Face recognition algorithms is still challenging (E.g. Megaface challenge). When it comes to a piece of text written by an author its even more difficult. There are several practical problems too, such as how do you distinguish Quotes and copy-pasted paragraphs from rest of the text.

This sounds like a beginner who created a dataset, with a flawed metric. And is now going around claiming 95% accuracy, using "Deep" learning. And equally clueless commenters are hyping it up.

Why stop at claiming 95%, hell even I can create a "dataset" and a "deep learning" algorithm and get 99.9%.

I am not discounting that there are legitimate stylometric analysis methods, which have been peer reviewed. But please lets not hype "Deep learning for doxxing". This just sullies the real progress being made in deep learning.
What law did they break?
This is valuable code and should be released, but the product's naming and one-line about already betray it's intended purpose (as the author envisions), providing an additional vector of criticism.

In cases like this, I feel erring on the side of being less explicit tends to help. Leave just enough out to let everyone read between the lines, and put the pieces together.

Don't say it's a "Machine learning algorithm to connect anonymous accounts to real names", say it's a 'speech pattern analyzer', or say it 'allows comparison of speech patterns for likelihood of same author'.
What are some reasons to switch from flow to ts?

I see a lot if ts hype, but flow has been getting the job done for me. When non-nullable types come to ts via 2.0, I could see myself switching if there are viable reasons.
Real World Haskell – Cassandra Part 1 – Connecting to Cassandra
This version still has to tick, yes? The whole point of optimizing ticks-until-next-event is to support nohz tickless modes. "Optimizing for high occupancy" also means low granularity - since the more granular timeouts you need, the more likely buckets are to be empty.
Hilbert's supposed dyscalcula is a myth..unless you have a source we haven't seen?

It's similar to the Grothendeick story -- a mathematician making a simple mistake -- that get exaggerated to "mathematicians can't do arithmetic."
https://en.wikipedia.org/wiki/57_(number)

Another common myth was that Einstein was bad at math, because he (and others) had trouble in school because the material was too easy and he quarreled with teachers, and "failed" tests for early college admissions administered in a foreign language.
https://www.washingtonpost.com/news/answer-sheet/wp/2016/02/...

When a mathematician confesses being bad at calculation, they don't mean "couldn't pass high school", they mean compared to their elite peers.
The point is more that the message of the satire is lost in the means of the satire. The satirists shows Mohammed weeping over deaths committed in his name without realizing that depicting him such is a blasphemous thing in the eyes of the very Muslims he wants to convince.

If the point is just mockery and blasphemy, it should not be considered satire as it is useless. Mockery and blasphemy are tools to be used sparingly for satire's real purpose, which is to illuminate problems of the human condition and point out flaws or ways humans should change.

What's worse now is originally satire was designed as an attack on prevailing and oppressive systems of the majority, but in this case is attacking a minority, and often one with little power in the actual society they exist in. The rich are very effective at taking the weapons aimed at them and making them ways to attack others.
Well, yes. GIMP and GNOME for the most part diverged fairly early on, save the toolkit, so the infection is less than that of the GNOME project, but it's still there.

some forget that GNOME started very far from where it is now. Look only to Sawfish for proof.
It would certainly run the risk of false positives.
Yeah they basically optimize for it. No matter how well-designed the rest of the site is, the TOS will be in some nearly unusable format in an ugly font and capital letters. It's like they all hired lawyers who told them, "well, that's technically informing them, right?"
Of course, it's true for the city overall that there is no planning. Notice my caveat about ignoring. It's different for a lot of other places though. Plenty of gated communities where you don't see the kind of filth you would see outside etc.