skysight-inc/HackerNews huggingface dataset:
>Peace - bwahahahaha

how many global conflicts, or even local conflicts between any two major powers, have there been in the past 60 years? While "Pax Americana" obviously isn't perfect, it's hard to deny that it doesn't exist.

>Transistor - The Canadian Julius Edgar Lilienfeld first patented the FET.

He was actually Hungarian, (and emigrated to the US shortly afterward) but that's besides the point. He never actually created his design, only patented it. It took another 20 years for a design to actually be implemented by Shockley and others at Bell labs.

>Computer - The first programmable electronic computer was built by Tommy Flowers in the UK for WWII code breaking.

Fair... Although it was IBM, Intel, RCA, DEC and eventually Apple which made computing what it is today.

>Internet - Certainly a hell of a lot of the initial work was done in the States, but the protocols were knocked out between groups in Stanford and University College London and the bit of it that most people use was designed by Tim Berners-Lee while at CERN.

Fair
Because given that practice continues, and is accepted, we could find ourselves in a position where making a website now requires a regional fee to the ISP guild.
We have no interest in stabilizing Rust 0.5, 0.6, or any earlier version. They are versions of the language that are useless for our needs—they weren't even memory safe (and fixing that required breaking some code).

The most realistic way to address your criticism would just to have been to keep the language a secret until it's mostly stable. This is what most other companies do (for example, this is what Google did with Go). But then you couldn't use it at all.
It's pretty damn close. I eventually gave up on emacs + evil and just went back to vim + fireplace for clojure, mostly because I didn't like having to set up my own bindings for all the plugins, even if basic editing worked well. Also, I can't find anything remotely as good as nerdtree, if someone knows of something, please let me know.
Ask HN: Does retargeting hit the wrong consumers?
I'm doing some research on a company that spends a large amount of money on banner advertising. Some of their data suggest a relationship between sales and ads displayed in the days or weeks AFTER those sales were made. That made me wonder - is it likely that banner display networks, especially ones that use retargeting, are serving impressions to users after they've already made a purchasing decision, especially in the case of high-dollar purchases? I don't have enough data to effectively answer that question, but based on the relationships I'm seeing as well as some anecdotal experience, I think there's a strong possibility that this is the case. Have any of you seen data that supports or opposes a similar conclusion?
Why do you even do step 1? Start at 2.
I agree. We shouldn't call these things games. They are predatory social assaults on the unsuspecting.
If you create a 5-star app that has in-app purchases that impact gameplay, congradulations, you have just earned 1-star.

I'll drop $20 dollars on a decent game in the app store, as long as the playing field is level. But when you begin to link performance to bank accounts, you ruin the game. It's way more intrusive than advertisements, because advertisements don't give anyone an unfair advantage.
To me it's a matter of not wanting to invest into something that you will later have to give up because it keeps asking you for money. Downloading and playing a game is a sort of emotional investment. I prefer an upfront fee for the whole thing rather than being nickeled and dimed with no end in sight.
One possible reason for the British response in the Religious vs National Identity question is that British identity can be a very fractious thing.

The UK is made up of constituent kingdoms, but not all of these are on the island of Great Britain. Thus you can be technically British (i.e. of the UK) without being British (i.e. of the island of Great Britain). This most notably manifests itself amongst the Northern Irish, some of whom see themselves as Irish (ethnicity, or wanting to be of a united Irish state) or British (of the United Kingdom, but of island of Ireland).

To confuse things further, there's a debate going on over whether or not Scotland should stay part of the United Kingdom or become a separate country. Scottish nationalism is a very strange creature. Thus some people may identify with being Scottish first, or solely as Scottish. This occurs to a lesser extent in Wales and in England (being Welsh and English, not Scottish, that would just be silly).

Additionally there are many people who are first or second generation British with foreign parents or grandparents, particularly from former colonial territories. I have friends who identify with being both British and Indian, despite being born and raised on the island of Great Britain.

It all makes for a big, typically British mess. Finally, my wife was born in Turkey, moved to England and became a British citizen, but she can never become English because there's no English citizenship status.
Oh sweet, we finally get the matternet.
The comments on that LtU thread are pretty funny.
Opting out of tracking
He is retiring. I guess several months turned into one month. Or, you don't want a lame duck VP on your leadership page. Probably a bit of both.

http://www.apple.com/pr/library/2012/06/28Bob-Mansfield-Appl...
Why you should hire Testers who can code
Google is publishing data on the quality of operators: https://www.google.com/publicdata/explore?ds=e9krd11m38onf_&...

Besides, one nitpick: the Google News story was in Belgium, not in France.
> In any language implemented on the JVM (including Scala) you block an OS level thread.

Wrong. Whether JVM implementations use green threads or system threads is an implementation detail. There are implementations for both cases.

You realize that many JVM implementations started with green threads in the early days and abandoned them not much later? There is a reason for that.

> The way languages without green thread support allow non-blocking, event based code is through callbacks, which can get pretty horrendous in large, complex programs.

Wrong. I repeat, the underlying threading model does not necessarily enforce some style of API.

> I'm not sure why that is relevant (Actors seem a pretty core part of Scala)

Actors are a library, just like Scala's async/await, the Future/Promises library, the continuation library, Java's Fork/Join library.

Actually, Scala just replaced its “official” Actor library in the last release. Go will be stuck forever with its ad-hoc stuff which has been hard-coded into the language.

> it is unsurprising that a mere library on top of the JVM is still constrained by the kind of concurrency supported by that platform, i.e. the lack of green threads

LOOOOOOOOOOOL. Since when are green threads the “new best thing ever!!!11!!”? Did I miss a memo here?

You know what? Wake me up when Go has fixed their broken scheduler. Until then, I just keep watching how the JVM embarrasses Go on pretty much every concurrency and scalability workload.
In the heart of Afghanistan, Entrepreneurs Innovate for Peace
One can certainly file preemptive law suits to seek declaratory judgement that any granted patents are invalid and/or unenforceable. This had been done by some companies who felt there was risk to their business from certain patent owners.

A troll typically holds 100s of patents and always on look out for opportunity to cash them out. If they are preemtively slammed with 100s of lawsuits for each patent they hold, their legal resources would be overwhelmed without possibility of huge rewards. It would be hard to imagine that they would be able to keep shop open for long time when everybody is attacking them for no apparent reason.
Were we talking about India? I don't remember that being the case.
I routinely give out "Call the low plan 'Hobby'" advice. Here's why:

a) Price-sensitive customers with side businesses often either affirmatively identify of hobbyists (I would have said that about myself for the first 5 years of my business -- at which point $20 a month would have made it somewhere around the 10th most expensive thing I was buying, by the way) or are willing to buy it without thinking too much about the name.

b) At larger customers, there are social reasons to avoid putting Hobby on a purchasing card / requisition form / etc where one does not have any technical/quota/etc objections against the lowest-tier plan. I've told the following anecdote two dozen times but it's still good: I was once instructed by a boss to get CrazyEgg set up. We were in the $9 a month Hobbyist tier. I put in a requisition for it and he redlined the Hobbyist and price, went to the pricing page, and picked the Enterprise tier (at $500 at the time, IIRC). When I pointed out that I was intimately familiar with the numbers and sure we could make do with Hobbyist, he said (translated loosely from the Japanese) "Eff if I'm going to pass a request for Hobbyist services to [my boss]."

c) See the anecdote above? I can tell you the anecdote. I can't show you the data. But trust me, the anecdote has scaled for companies before.
I quit after the first paragraph.

If you assume "proof by contradiction" to be a valid form, then you also assume that mathematics is consistent. Nothing to see here... Move along...

Edit: In case some people missed it... In our logical framework, an inconsistent theory can prove both Φ and ¬Φ. Notice that you are using our logical framework; you are assuming it to be consistent. Yes. Assuming the framework to be consistent, you can prove that the framework is consistent. Shocking.
Yeah that's annoying as hell.

You know you have fucked up player when congestion control http requests spam more than video stream itself.
What's the unique value prop here? How is this different than using Event tracking in Google Analytics?
Yes, members of the Al Qaeda affiliates know that we know who they are. But do potential sympathizers know who the Al Qaeda affiliates are?
I would have read a lot farther if she had explained that at the beginning. Thanks for the summary.
On what evidentiary basis have you decided one source is more reliable than the other?

When one of those sources is caught in multiple lies, the prudent will tend to discount that source as untrustworthy.
> both Φ and ¬Φ are theorems that can be used in the proof to produce an immediate contradiction. Therefore mathematics is consistent.

Isn't the inference that mathematics is inconsistent?

A proposition is a statement which is either true or false (and not both, and not neither).

An axiom is a proposition which we assume to be true, "for free".

A logical deduction is a way to combine or modify true statements to get other true statements.

A proof of a statement is a finite sequence of propositions. The sequence starts with an axiom, and ends with the target statement. Its other elements are propositions---these can be axioms or not. Each proposition which (i) is in the sequence and (ii) is not an axiom, must be the result of applying a logical deduction to one or more propositions which appear before it in the sequence.

A theorem is a proposition for which there exists a proof.

If we can prove two theorems which contradict one another (like Φ and ¬Φ in the quote above), then we say that our system for finding proofs is inconsistent. Since the OP starts out assuming that mathematics is inconsistent and ends up producing two contradictory theorems, he does not seem to get anywhere far. And his inference---that mathematics is consistent---seems to be incorrect.

What am I missing here?
The option to offer Free trials in the app store would remove the need for in-app purchases for a lot of non-abusive apps and games. That would definitely be the case for all the apps we publish [1].

Users simply don't want to pay money to try out paid apps, unless they have tons of 5 star reviews or are recommended by friends or media. And why should they?

In the absence of free trials we are stuck with offering "free" apps with in-app upgrades.

[1] https://itunes.apple.com/us/app/life-is-beautiful-get-daily/...
Настроить Триколор ТВ | вызвать мастера триколор | установить триколор
How can you not be calling them "whackages"? You're sitting on a gold mine!
SVGeneration – Generate high-quality SVG background images
This is my first web app, and there is still a lot of work to be done on it. I would love to get some feedback...
The beginning of the proof starts with "Suppose to obtain a contradiction, that mathematics is inconsistent".

From that assumption, they derived a contradiction, therefore the assumption can't be true, and math must be consistent.
May I ask what do you use it for?
right, I should file a patent based on each comment _line_ or _character_.
> Even if you've buffered the video ahead, when you try to skip to a buffered segment the video starts loading again.

It makes no logical sense for the player to reload something that was already loaded since that would handily double their traffic (if only in this situation).

Which makes me think they don't actually buffer anymore. The bar just shows a standard, imaginary amount of buffering by default and nobody really cares.
Product Lessons from NBA Draft
Wow. Thanks. After hours of doing battle with spreadsheets, reading this made my night. I'm going to pass this along to the team!
A certain percentage of retargetting does hit customers who have already bought the software, either because they don't exclude previous customers or because the initial lead, the decisionmaker, and the person with the credit card might be three different people.

This is largely considered to be an acceptable inefficiency in light of retargetting's (generally pretty impressive) results.

A related minor inefficiency: I'm doomed to a lifetime of being trailed across the Internet by the ghosts of consulting clients past, because logic (which I, erm, may have implemented) suggests that my behavior means I'm teetering right on the cusp of buying their stuff. I mean, look how many times I went to their website, signed up for the trial, and did virtually everything I could possibly do short of plunking down $X,000 for the product!
As others have noted the definition of kanban comes too late in your article. Also, I think a citation to wikipedia is in order if you're going to copy it and simply expand the initialisms.

Regardless, it's not a particularly helpful definition for anybody that's never heard of kanban, and certainly doesn't help anybody familiar with kanban to know what specifically you're evaluating; you need to get everybody on the same page from the outset.

Given lack of concrete examples and your previous posting history I would consider this more of an advertisement for your product, to which I've now applied for an invitation, but you seem to be genuinely responding to comments here and nobody else has complained. I suppose either way, well played.

I have other comments but I'll hold them until I find out exactly what you mean by kanban, because I've been admittedly self-identifying the process I'm using as kanban and maybe it's not.

I will say this much though, the practices of kanban (visualization, limited work-in-progress, managed flow, feedback loops, etc.) are all valuable in my opinion and I wonder which of these you see leading to, or how you see them leading to, the problems you've cited. Also, I wouldn't mind some more concrete metrics to back up such an inflammatory title.
Just because you own something doesn't mean its a liquid asset..
Historians Seek a Delay in Posting Dissertations Online
C is easy as pie. It's the most fundamental language.

Forth is a super-cool game. My kid already rocks on
an HP-41 calculator (RPN). When I introduced him to
Forth he literally said: "Wow! I can program in RPN!".

Java, was a short stepping stone as I wanted to give
him a quick taste of OO but not drown him in the
details. He actually wrote a dozen little games with
graphical interfaces and all. Great fun.

Now with Python we are going through the Project Euler
site problem by problem implementing solutions mostly
in Python but then looking at C and Forth where it
makes sense.

That would have been a sound choice ... in 1990. Since then, there has been a lot of progress in language design.

C is fundamental, but calling it “easy as pie”? 90% of C consists of undefined behaviour, just waiting to screw you over.

Forth ... why not some Lisp instead? I don't like Lisps in general, but they are at least not as completely obscure as Forth.

The designers of Java had some good ideas, but the execution of the language itself is terrible. Java is what gives OO a bad name, why not pick a language which is good at OO?

Python, well sounds sort of OK, at least no PHP or JavaScript.

====

I guess my choice would have been something like that:

- Assembler
- ML/OCaml/ATS/Rust
- Scala
- Haskell
Yeah absolutely. It's got to be important to find a way to control quality with in-app purchases, I just think the two proposed solutions target in-app purchases in general, not poor experiences.
There's also RethinkDB which seems to be focused on the D in acid while being a non-relational database. When you really need performance, in general relationships/joins need to go out the window as much as possible, and often one or more of the letters in ACID are compromised.

It should get very interesting in the next couple of years.. of course MOST environments don't need the kind of performance or scale that these systems are really offering.

IIRC StackOverflow ran for a very long time on a single server, under some pretty serious demand. In some cases SQL with a caching system for mostly-read data can be better... other scenarios tend to fit a document (non-relational) data store better.. just depends.
On Arctic albedo affected by Box's wildfire hypothesis, I'm wondering if those earlier deep core samples correlate with historic big blasts like Santorini, Krakatoa's red sky for a year, and...is that Yellowstone super blow up recent enough?
Pax Americana means very little in the countries being bombed by the USA. And in the past 60 years there has been quite a number of them, many of them proxies.
I'm not allowed to sell my own body parts, does this mean they're not mine?
don't use `return` in your functions.
I relate it to casino gambling without the small potential of being able to get a payout in return.
That's kind of a key argument in NoSQL data stores... In many scenarios having a key/value store is better, a single key to lookup a record and all the necessary related data.

Some hybrid stores like MongoDB, RethinkDB and others offer more characteristics similar a traditional SQL RDBMS, while offering horizontal scaling. It's when you have several join operations that performance really takes a hit under significant load. You can't really scale a relational database in the same way.

That said, as much as I like non-relational databases, they aren't the best fit for every use case. Beyond this, most situations don't need that type of performance scaling.
The internet used to be ran by engineers. Now it's ran by suits ...

The former does what needs to be done, and all pitch in to move traffic. Suits on the other hand only see $$$.

As for the suits: either your are overselling your bandwidth and you don't have enough money to make the necessary changes REGARDLESS of where the traffic is going/coming from. Or your just being greedy !

To fight this, I think it's best to get review ISP by their real speed. Then getting this information out to the public. So people can select the best ISP, and natural selection of the fittest(fairest ISP) will occur.
An alternative view of keyboard layouts
That's it! I'm going to finally file that patent on how gas passes through a butthole!
ISP's have always delivered content/bytes. They just stopped treating all bytes equal.
Did you see the first line? "That mathematics is thought to be consistent justifies the use of Proof by Contradiction." So the original author agrees with you.

You're right too, though: most of the value of that post is in the first paragraph, which is a very concise presentation of an interesting (apparent) paradox.
Rails Riddles #1 - What's the correct callback?
Ironic that you mention the cliche joke, then follow it up with a stereotype about Americans exposure to culture.
> Isn't the use of "optimal" here a contradiction

No, because I specified that it was under a given value function (mine). You seem to be assuming that I'm optimizing economic production or something like that, which is where differentiating factors tend to come in. That is of course not what I think is most important.

Simple counter example: let's say there were some means of doubling half the population's output, assuming we only had to keep them miserable by telling them they are worth less for the duration of their childhood. I would not make that trade. Whether there are differentiating factors doesn't factor into the question for me.

> Either way, this whole area is much too complicated to be simplifying it in such terms

That will never fail to be the case in almost any complex subject you want to talk about, but it doesn't mean you can't say useful things. For example, "I value that women be as free to choose their way as I, and not be systematically diverted to choices that are convenient to males via their representation in the media, via social policies, etc. I value this more highly than whatever minor benefits I believe are likely to stem out of the socially regressive way of doing things."
The most admirable part of Amazon's culture that #startups can benefit from.
Potentially.

Once net neutrality is broken, the market is also broken.
Rails Riddles #2 - Improve / Fix as many things.
> From that assumption, they derived a contradiction

This is what I don't see. To have derived a contradiction, they should have shown: "mathematics is consistent". Instead they ended up showing (because Φ and ¬Φ): "mathematics is inconsistent". Which is what they started out with. Where is the contradiction?

Hmm.. while writing this out, I think I am starting to get the source of the confusion. "Mathematics is inconsistent" is a meta statement about mathematics, and "Φ and ¬Φ" is a "plain" statement within the said mathematics. My intuitive feeling is that the latter contradiction does not "affect" the meta statement. I need to think further to make this more rigorous.

OT: Why the downvote(s)? Does my comment take away from the discussion?
That's great that it worked for you, thanks so much for sharing. I'll try again.
Did anyone notice the only person not smiling in this page? Seems to be really sad while taking that pic.
I'm not even convinced that blocking pornography somehow protects children anyway. Pornography on the modern internet largely needs to be sought out and if an adolescent kid is seeking it out I don't see that as a big deal.

I don't know what the culture is like in the UK, but if it's similar to the puritanical shame nonsense prevalent in the US surrounding sex - than filtering the internet seems like an extension of that rather than solving any real problem.

Then of course there's all the associated problems that complicate things when you start restricting speech on a communication medium.

I think this is a really bad idea.