skysight-inc/HackerNews huggingface dataset:
I think the article dances around what people really mean when they say "you can't prove a negative". The writer touches on it but somehow skirts the real issue. When we say "you can't prove a negative" you're really saying that in order to prove a statement of the form "not exists x P(x)", it's equivalent to proving "for all x not P(x)" and so you're really making a statement about EVERYTHING that has or does or could ever exist somehow. These proofs are either analytic and trivial (i.e. there doesn't exist a rectangular circle) or not proofs.

He suggests you get around this by providing an argument about unicorns and then goes on to talk about how premises don't always need to be justified, but the problem is proving the nonexistence of a thing -- and he provides a formal deductive example of a proof of nonexistence of a thing by instead substituting as a premise nonexistence of another thing (evidence). Sure, if you can prove no evidence for unicorns exists and that for unicorns to exist they MUST have left evidence you can prove they don't exist. But the first one is a reduction to the original problem -- in order to show something doesn't exist (be it unicorns or evidence for unicorns) you need complete and total knowledge about existence, which no human up to this point has had enough hubris to claim, and the second requires a level of certainty that doesn't really exist.

If we're discussing the existence of a thing that doesn't leave evidence (god) especially it's very fair to say you can't prove a negative and I think his attack on this tactic is a non-starter.

There has never been even the tiniest bit of evidence against the existence of god. There is certainly evidence against a god with specific qualities; a benevolent god, a god that wants this to happen, etc. But if you don't require god to have any specific qualities there isn't a shred.
Totally knee-jerk—I've merely scanned the github page—but shouldn't this be called "Baleen" instead? :-)
Managing developer burnout
Hmm, I wonder what companies could do to attract sufficient talent into Vancouver? If only there was some way to "compensate" people for moving somewhere to take a job!
Fire ants: the one species that I'd like to see wiped out!
I resent the implication that "conservatives" are necessarily people who would find the "beta male" trope congenial. I have plenty of conservative friends. None of them buy into this proto-PUA nonsense.
2 people riding these and colliding head on (12.4mph I guess).
Really interesting repo and kind of a relief that mishaps happen to everyone, more or less. We can try to mitigate as best as possible, but these are just the high profile cases. Imagine the millions of internal post mortems carried out daily by all manner of successful companies.

My outage anxiety is reducing, even if contingencies are in place.
Surely the fact that there are two typos in your code, one of them in the name of a variable (`this_long_variable` vs `this_long variable`), indicates that things can go wrong when you abstract out a literal to a variable?
A portmanteau is a suitcase, but a portmanteau word is something entirely different from a suitcase word.

Language is complicated.
LinkedIn's New Social Selling Dashboard
I can say nothing about the Finnish politics or the historical context of what appears to be a thoughtful and well-written piece.

I can only comment about what is almost a throw-away comment

> When they go to neighboring Sweden, they say they are “going to Europe.”

When Swedes go to Germany, France, Italy, etc. they also say they are "going to Europe". In addition to my personal experience of hearing Swedes say, here are some evidence:

http://honours-se.com/11963-MC_Resa_Till_Alperna.html - "Ska iväg 4-5 veckor på mc-sväng nere i europa ..." = "Going way for 4-5 weeks on a motorcycle swing down in Europe"

http://www.stromstad-tanumbuss.se/ - "Om ni vill åka med företaget till konferensen, hockeylaget till matchen eller om ni vill åka med kompisgänget till Europa, så löser vi det." = "If you all want to travel with the company to the conference, the hokey team to the match or if you want to travel with your pals to Europe, we can solve it."

If the phrase "going to Europe" reveals special insight about the Finns relationship with Russia, then what does the same phrase reveal about the Swedish relationship with Russia?
Intel Xeon processors coming to a laptop near you
The modern meaning of the world science is "natural science". Even the article you cite explains that the claim by Gauss that mathematics is a science implies the old meaning of the word.

Still, if this bothers you, replace "science" by "natural science" in my claim and the relevant aspect of the argument remains unchanged.
Hi Yannche, why don't we connect via email and see if a follow up call makes sense to discuss. Can you shoot me an email so that we can coordinate: info [at] vernoxlabs [dot] com
For JS:

- Learn how to use a certain debugger religiously. Know its features from the inside out. For instance, I consider myself good enough to wield the Chrome Dev tools to the point that I can debug anything with it.

- Know different debugging techniques like the different ways to pause and inspect code. Know how to add breakpoints, break on exceptions, inject debugger statements in code and dynamically. How to read the stack traces and watch variables.

- Know your error messages. It's faster if you know how they're caused, rather than having to spend 5 mins on Google to know what caused it.

- If you're spearheading a project, choosing a good architecture could help. For instance, I have favored Flux over MVC because it pins down mutations to a single place - your stores. So if you can log actions and their payload, and the state of the store before and after mutation, then that could really help you debug the app.

- Know JavaScript. The language itself is your greatest tool.
That's true!

Still, in some cases, a contract doesn't offer bad value. My Mum ordered an iPhone 6 this week, on contract. £90 up front, then £25 for 24 months, so £690 in total over the 2 years. To buy the phone outright from Apple would be £539, leaving £151 over the 24 months (£6.29/m) for a sim-only plan, which wouldn't have offered as much data/minutes/texts as the contract did.

However, if you're buying an iPhone straight after launch, there's a much stronger case for outright purchase, as the contracts are initially much less competitive.
A lot of cities in the US have similar systems. You can rent bikes with your credit card, and pay based on how long you have the bike.
Olive and halloumi bread
You can prove that a thing does not exist, you can even do it without induction.

For, example you can prove "there is no integer that is not a factor of another integer".

Or another example, my first example disproves your negative statement "you cannot prove the non-existence of something".

I do agree that you can't disprove the existence of God, but that has nothing to do with induction or the rules of logic. I think that has much more to do with the semantic and cultural difficulty of adequately defining "God" in a way or ways that satisfy everyone and contain sufficient referential specificity to be disprovable.
Nice article. The photos filled me with longing for my home state.

Whenever I read accounts of cross country trips people take to see America, a lot of times their only experience with the great plains is speeding across them on I-80 or I-90. This is too bad. I'd strongly recommend anyone embarking on a trip to find some interesting sounding landmarks or parks in the region, get off the beaten path, and go see them. The landmarks themselves may not be that impressive, but you'll get to experience an openness and seclusion that I've come to realize, as I've lived in bigger cities, very few people ever experience. The quaint little small towns dotting the prairie are interesting too.
Ico failed.

https://en.wikipedia.org/wiki/Ico
ScratchABit – Interactive Disassembler with IDAPython-Compatible Plugin API
We could shorten 'suitcase word' to 'suitword', and then it would be a portmanteau (but not a suitcase word).
What differentiates this from every other feed reader, aside from a million emoji in the README?

I'd like a feed reader that has low memory consumption, marks things I've already seen as read so I don't see them again, and which defers actual display of HTML feeds (such as RSS) to other software like a web browser.
Great question. I believe each unit struct would need to implement PartialEq or something similar. That would define the canonical nesting order. Alphabetical would make sense.

We would to resolve the nesting during multiplication and division. For example:

let a: Scalar<Times<A, B>> = Scalar::new(10.0);
let b: Scalar<Times<A, Times<B, C>>> = Scalar::new(5.0);
let c: Scalar<Times<A, Times<A, Times<B, Times<C>>>> = a * b;

Another challenge is that the type of c is ugly. But this could be mitigated by generous use of type synonyms.
Cool! I wish you luck on your career. What are you hoping to do in indie games? What field, what kind of games, what platforms, etc.?
I don't see how the difficulty of quantifying tech skills has anything to do with whether supply is matching demand at the offered price. Used cars have many unknown attributes and qualities, yet there is still a relationship between supply, demand, and price in the used car market.

I'm in the market for a car. I'm willing to spend $35K. I'd love to buy a Tesla model S! I figure $35K is fair because you never know what's wrong with a used car. Yet, I've been looking for years and can't find a Tesla for such a price. Therefore, there must be a car shortage.
> I found a few startups who are either using games to fund and solve real user needs or using Unity to create educational/informative visualizations for museums and businesses. This led me to change my mind and return to creating games and hopefully start working with one of these startups

That sounds amazing, I think there is a lot of opportunity in repurposing Game UI for non-game environments. A lot of gameplay UI is optimized for common actions & being intuitive to use
Both krill and baleen whales are filter feeders (i.e. eat what they find filtering water).
Baleen sounds like a good name for PyQt GUI to krill.
Ask HN: Best Language for testing embedded Linux hardware
I work for a company that designs and manufactures embedded single board computers, primarily ARM based. Currently we use bash scripts and NFS filesystems for testing and programming. It's worked well to date, but I can't help but think Go, Python or some other object oriented language would be a better approach(code reuse / common architecture that can be shared). My concerns are we tend to implement the same boiler plate logic over and over - call a test which passes or fails. Log low level details to a server for analysis(NFS plain text file), and display a high level pass / fail message. Most scripts are tightly coupled, so one script is used for multiple boards. This results in surprises when someone makes a change for one product and breaks another related product that shares the same bash script. The boards themselves vary widely in that the kernels could be anywhere from 2.4 to 3.1x, oabi, eabi... busybox, ubuntu, debian for filesystems... This makes me think an interpreted language such as Python would be the way to go. My concern is this is run in a manufacturing environment so interpreted languages(e.g. Python) that are slow would cost money on every board processed. Any thoughts / suggestions on a language and / or architecture? Googling around hasn't turned up much...
RFI doesn't affect amateur radio? Don't take my word for it, the ARRL have a few thoughts on Part 15:

http://www.arrl.org/part-15-radio-frequency-devices
Will the Rust compiler ever understand numbers in types? I.e. will the numbers ever be more than just part of the string that is the type name? If not, then I don't know how possible powers will be. Maybe the solution would be to define some types for commonly-used powers, e.g. PowN4, PowN3, PowN2, PowN1, Pow2, Pow3, Pow4. Users who needed higher powers could define those types themselves, I guess.
When you build networks you always work with averages. How many subscribers per mile on average, how many Mbps of IP transit per subscriber on average. Averages are useful and used to determine feasibility, cost and profitability. Population density is a useful average to estimate things with, including network buildout costs.

If you want a better estimator we can use linear density. The US has 321 million people and 4 million miles of roads. Finland has 5.5 million people and 282 thousand miles of roads.

US: 80 people per mile
Finland: 20 people per mile

By this estimate average cost for a network that covers all roads, and thus all permanent residences and businesses, would be significantly cheaper in the US than in Finland.
Edward Lee Howard, a one-time CIA trainee

So the CIAs incompetence got him killed.
>> And how we all thought of it as the new way of human transportation?
>No, I don't remember that bit.

I remember my American born English teacher back then really thinking that. I also read later years later somebody who explained that phenomenon as a reaction to 9/11, as a way for Americans to think about good news and a better future.
About the part with god, there's a specific expression for that: God of the gaps. As our (scientific) understanding increases, a proposed god people want to believe in has to lose one characteristic after another because they would not hold up against reason and evidence.
Show HN: cowboy
I disagree.

The mistake many developers make is that they'll just make a fun game, upload it on the App Store/Play Store with a naive hope that it will get viral, and they'll get money.

The reality is that mobile gaming is extremely competitive right now and you mainly have to work on getting your game known, understand how to monetize it, analyze the behavior of your users to optimize every important metric.

Sadly, this is way less interesting and fun for us, the devs. Unfortunately this is how it works. Look at every big mobile gaming company.

So it's not that it's really hard, it's just not something we like to do.
A few of us at my work bought some similar type devices, but with two wheel, like a mini-segway. They are definately more of a toy -- they're a lot of fun to ride around on but not that appropriate for day to day transport. They're actually very stable and intuitive and very easy to get on and off. The learning curve is < 60 seconds. The big issue is that with the small hard wheels small bumps cause it to lurch and can throw you off face first. Had someone with a minor wrist sprain and a fractured elbow basically hitting small bumps and falling off. Would surely not want my grandma using one.
Re: your issues with package.json, npm has long had the capability to produce 'shrinkwrap' files analogous to composer.lock/Gemfile.lock etc with the 'npm shrinkwrap' command. That doesn't excuse the use of '>=' version specifications (I frankly don't see any use case for it), but all these package managers are explicitly designed to allow flexibility in specifying dependency versions - in theory, if your dependencies follow semver, you should always be safe with a patch-level version bump. (Of course, in actual practice........)
>My current thinking is that the proposition of "X does not exist" has no answer/proof because the statement is meaningless.

I would agree with that, given that I would take existence to be a tautological primitive if left to my own devices. But normally, I interpret it as "X does not exist independently of mental constructs and their derivative effects," which is a workable claim that can be false. And that's how most people mean it when making those kinds of claims.

So there are two meanings to existence: existence 'proper', and existence as a name for the extra-mental nature of a thing.
I think the problem of proving the (non) existence of something is as simple as understanding that (most of the time) it can not be deductive. I'd say that when it comes to existence, it is always inductive. What kind of proof can anyone give me that she/he exists? Or the rest of the world? There is no such thing. Even in mathematics, if one doubts basic entities as numbers and their properties, the whole establishment of mathematics starts to crack, at least for that particualr one human being.

All of our reasoning about the world is inference based, hence probabilistic. That's in the nature of science, religion and everything else in between. There is strong evidence for the existence of God, but it's inherently inductive. Not to mention various conceputal complication which follow from in different kind of reasoning about God (in whatever view).
There are generally two approaches to proving non-existence.

1) An inductive proof that everything that does exist is not that thing.

2) A proof by contradiction where you start by assuming the thing does exist and then derive a contradiction.

#1 only works if you accept induction is valid for the set of items you are working on.

#2 actually only proves that one of your assumptions is not valid, not which one. Presumably all your other assumptions are without reproach
I don't see why you'd infer that I will be emotionally distraught to the point of notability when facing bad things just because I said they are bad. Or why you think that changes anything about what I'd conclude is bad or not.

I'm not in the business of pretending things aren't bad just because I prefer not to deal with them.
Should have mentioned these are high end embedded systems. 512MB or more of RAM and 400MHz or faster CPUs.
Seeveeze going spanish german and portuguese
True, my father told me that the day science came up with the tunneling effect, he stoped believing in a loving God. How can one believe in God when we have computers so powerful that we can post pictures of cats on the internet?
> Layering multiple least-privilege roles is impossible: you can't assign multiple IAM roles to an instance.

You can assign multiple IAM roles to an instance profile, which is what is associated with an instance.

See e.g. [0]; you can add IAM roles to instance profiles without destroying the instance.

[0] https://docs.aws.amazon.com/cli/latest/reference/iam/add-rol...
Scalability Meetup  Whitepages – Erlang VM
I've tried to solve that challenge a few times now. Here's what I've learned so far, from most efficient to least:

* Ask an expert; this is a simple question for them. A university library's reference desk has worked well for me. For example, looking for books on Egypt, I contacted a university library referece desk and was connected to the library's Arabic Studies reference librarian, who had a Ph.D. in the field from an elite university. What was a challenging question for me was probably offhand knowledge for him. (Of course, respect their time (be prepared and patient) and the fact that you are not entitled to their services, but he seemed excited that a member of the public was interested and serious.)

* Look for scholarly articles reviewing publications in the field. I use Google Scholar but I get the impression JSTOR is better if you have access (I've never used it and know little about it). In each case I've read several articles to triangulate what is widely accepted and what is particular to that author, and to fill gaps in each author's coverage. However, I find the review articles themselves fascinating, almost essential background on what I want to read, and tend to get lost in them. Lacking expertise myself, I still feel uncertain about the conclusions I draw - what don't I know? what context am I missing? - there is no substitute for expertise.

* Look at class syllabi at universities. This has been slow going: I have to find the classes and the syllabi (if available), and then hope it includes more than an unannotated list of books.

* Do not: Use general web resources. It seems like the general web and the scholarly world are two separate silos of knowledge. I find 100x more valuable information in the scholarly articles, and random people on the web are often badly misinformed (this includes Amazon reviewers, a great source of complete nonsense that sounds good until you know better).

Overall, it makes me appreciate the resources available to university students, who have free and easy access to experts in a huge variety of fields, all paid to help them.
You'd probably want a reasonably stable version before i18n to avoid much of the back and forth with edits, additions, context queries etc. The more complete the picture your translators have, the better quality your efforts will yield (thus better conversion/engagement/retention) in theory.
I wish my credit card companies supplied virtual numbers. PayPal used to have this feature but discontinued it.
All 3 of those are fantastic games. Cheers.

Okami was rereleased on a newer console at one point wasn't it? I think it probably did a little better.

But yeah, in general, I think that because AAA games cost so much to make and usually cost more to buy, they have to cater to the masses more in order to be successful, whereas indie game devs are more like startups.... lean and mean. So, they don't require the same level of sales to be a success, and they are also free to make more niche and obscure games.
Shadow of the Colossus did pretty well though, didn't it?
When you say "you," you are failing to properly account for the dynamics of human identity. I am not just a brain in a body. I am a fully engaged social being. The "me" that dies is not the whole me. I identify as part of a human culture.

And yes, if that human culture dies -- if humanity goes extinct -- then that is just about the worst thing I could imagine. You can scale that down any number of ways, but at no point will I agree that death isn't bad. I don't care if it's a single cell, a single organ, a whole person, or a whole room full of people. It's only as good as the value it produces for the whole, and my personal suffering is not a factor to that insofar as it doesn't disable my contribution.

And I didn't say death is the worst thing that can happen to you.
I see this statement bandied about quite frequently. Would you like to substantiate the claim and/or provide examples of actual public harm where such faux competition exists?
So your argument is that because it's hard (impossible?) to achieve a true meritocracy the term and goal itself is "bullshit" and should be dismissed?

Should we apply the same standards to other common things? Equality? Democracy? Justice?

See how that works? Yeah, it doesn't. Your argument is a non-argument.
an opt-in code of conduct per project doesn't seem to be universal nannying
In general there's no way to know: you have to trust the destination's internal choices, once you've reached their chosen perimeter.

In my opinion best practice would be to obscure what the "true IP" of the backend server is, and only accept connections from Cloudflare. (I don't know if Cloudflare offers any options for this stronger than trusting their IP ranges, such as a client certificate on their outbound-SSL.) So if you could "poke [the true origin] on the SSL port", that could itself be evidence of suboptimal security.
Cute. But what is more important is the lies of Auschwitz.

http://zioncrimefactory.com/the-six-million-myth/
Tao of Code
No, my argument is that people who claim to be operating a meritocracy need to be aware of a bunch of biases or they risk being sexist[1] whilst also dismissing any accusations of sexism.

[1] etc
What exactly do you mean by "positive knowledge" or "negative knowledge?"
Bigfoot is seven feet tall so even if he were wearing a burka someone would notice.

Besides, Bigfoot is Jewish.
Great read! Subreddit dedicated to this topic: https://www.reddit.com/r/globalinternet