skysight-inc/HackerNews huggingface dataset:
Regarding insults, you started by suggesting that philosophers of math were ignorant of the distinction between truth as either proof theoretic derivation from axioms, or truth in a model and truth simpliciter, I don't think you have room to worry about who is being insulting. Philosophers typically would be introduced to these concepts in advanced undergraduate logic or early on in grad school.

As for the rest of it, I'll leave with one final thought: as a meta-philosophical point, we should rarely attribute meaninglessness to statements unless we are forced to. And it's easy enough to show how to interpret existentials as meaningful even in the absence of a referent. You would have to have very compelling reasons for analyzing mathematical statements the way you want to, and I haven't heard any, only your conviction that it's right.
I spent quite a bit of time working through the Kalman filter content in Sebastian Thrun's book "Probabilistic Robotics"[1] a while back. I ended up making some notes [2] of the process that might be of interest to others if you're trying to get a grasp of everything that's going on with that process. One other person on the Internet that I know of thought they were useful, so I'll post the link here. This was part of a project I was working on to build a K-8 robotics curriculum (no, not teaching the kids Kalman filters, but I wanted to know how it all worked before starting to make a curriculum). The book is really good if you're wanting to make robots that can navigate uncertain environments.

Edit: I wish I'd had access to this article when I was going through that process. This is really well done.

1. http://amzn.com/0262201623

2. https://github.com/aethertap/probabilistic-robotics
given the 5 year cycle of sodium be bad or good for you

Japanese food can be quite salty, and they top world life expectancy at 84. https://en.wikipedia.org/wiki/List_of_countries_by_life_expe...
The complaint isn't about blocking before you've been seeded, it's blocking afterwards because you've generated some random numbers and feel like you've somehow "used up" your entropy pool in doing so.
Tungia – Comercialización de afiliado
JavaScript All the Email Stuff
"other forms of harm" like what in particular?

I can't think of many forms that happen to be performed by a mechanism designed and manufactured, by man, for one purpose: to kill? Protected by a nation who appears to love God. Who apparently said Thou Shalt Not Kill?

Utter hypocrites. The lot of them.
> Around this time, the core development team was reformed in India rather than Redmond and some of the key Softway developers moved on to other projects like Monad (PowerShell) or left Microsoft.

This is indeed very sad. It seems like every project shipped overseas suffers the same fate. When will we ever learn that you can't "leverage the salary disparity" - you don't outsource your engineers when your core competency is engineering.
Yeah, but the database contains occupation, address and potentially can be correlated with phone numbers. In a country where phone extortion and kidnappings are things that happen with surprising regularity.

Keep in mind also that your voting ID card in Mexico is your primary identification, similar to driver licenses in the U.S. The data from this breach can allow someone to create a pretty good fake of any voting card, which may be used to impersonate people for: banking operations, government processes (that don´t require the CURP, our equivalent of a SSN) and yes, also during elections. Voter fraud might not be much of a problem in the U.S. in reality, but in Mexico it definitely is.
The compiler is not producing C code that calls memcpy. It is leveraging a specific implementation of a memcpy symbol in a particular system library. The contract between Clang and that system library can include guarantees not provided by any ISO standard.
Another casualty of the schizophrenic US immigration system

Some want everyone to come / others don't want anyone to come - all mashed up together in layers built up over the years by alternating factions.
Tell HN: Bug on apply page
When I click on apply, I see applyrand in the header. Just FYI.
Saving Private Flipkart
How would one actually go about getting a username and password, I see these languages often, and know this is the true successor since Whitney is working on it, but i think all of these are neat. Or should I just learn Kona/kerf/xxl?
Only if you have enough karma!
I know that not everyone is going to will be able to get along with who they're placed with initially. But I think that's fine for a couple reasons:

1) I didn't like some of my best friends at first, but the more I spent time with them, the more we influenced each other and the more we were able to get along. I'm sure that's the case with a lot of people, and that situation will happen with Krewe.

2) A group of friends is a situation where the whole is greater than the sum of its parts. Even if you don't like any particular person very much, you can still really enjoy being with the group. You get to help build a culture and a communal identity.

3) Krewe doesn't end when you're matched with your group. You eventually get to expand your and make dozens of friends in your neighborhood. So even if you don't like they people you're with at all, and if you stick with it, you'll get to meet people you will like.

4) People get to have multiple friends. One of the great thing about Krewe is that hanging out with your group takes almost no effort. As long as you don't totally detest them, you should find it enjoyable to go out and do stuff with them.

I don't think anyone can design some sort of algorithm that will match you to someone who will inevitably be your best friend. You have to actually meet someone and get to know them before you can determine if you want to hang out with them.
Suppose you read something while looking at a picture of Morgan Freeman ?

This is a popular illusion because many people report finding it inescapably like hearing it in his voice.

It is not involutary like the OP but it is hard to shake once seen.

* http://cheezburger.com/5762738176
It sounds as though this could have some hugely beneficial implications for rails in the near future. I'm really excited to see it in action.
After reading the whole story, I feel that cranberries are a crop most people don't care much for but is easy for a section of the country to grow. There should be less growers to match demand.
It is difficult and most people will have only one or two mentors in their life IF they're lucky.

But I think you'll find that those who mentor others don't see their efforts as directly "transactional". They mentor others because they're expressly passing on the knowledge they've gained to the next generation. It is an altruistic act.
This is a good list. Reading and learning about the embedded world can help anyone grasp recovery and error handling techniques. Also, in C a solid understanding of errno and how to properly utilize it is important.

Also, at least personally, I stick to 3 key basic rules in C/C++ (I have a lot more, but these are important):

1. Functions should do 1 thing and only 1 thing. The minute a function tries to do 2 or 3 things, or it goes over 50-60 lines (with a few exceptions around conditionals) it is trying to do to much.

2. Check all parameters for validity before doing anything else in the function.

3. Check all return values.

Really solid and reliable code is usually way less complex then what you see in a lot of code bases. That doesn't mean it isn't a super complex problem getting solved, just that the reliability is gained by having simplicity at the lowest levels. As someone mentioned Doom is a good example of a solid code base that does some pretty complex things, but cleanly and simply overall.
Fasting: Molecular Mechanisms and Clinical Applications
A better question might be who will win the hyperbole war. Or the war on apostrophe usage.
While I really like K/Q/J/APL (some of this is Stockholm Syndrome: I spent the first 3 years of my career writing K/Q at a trading firm, eventually becoming the human debugger for my team's K/Q "investment". It got so annoying that I worked on a little parser library to help me debug: https://github.com/kiyoto/ungod), they are doomed from a adoption/future viability point of view.

1. Steep learning curve without benefits: APLs like K/Q/J optimize for concision to the point of unreadability. Sure, it might be fun to decipher clever K/Q one-liners, but if you have to do it everyday for work in production, it's just exhausting. This lack of readability has limited adoption and the growth of its user community. For any technology is to have a viable community, it needs to be usable by a critical mass. K/Q in specific but APLs in general never had that, especially with more user-friendly alternatives like R/Matlab for scientific computing.

2. No open source community. There's Kona (https://github.com/kevinlawler/kona) by Kevin Lawler, but again, its community has been small because the underlying language is not design to be usable by enough people.

3. Domain specificity of array languages: These days, array languages are just too limited in its scope. Scientific computing, the bread and butter of any array programming language, has been made possible in other languages (ex: Python), making array languages not powerful nor compelling enough to use because most of its strengths can be found in other languages and its weaknesses are too crippling.

I heard that Arthur Whitney found his successors (a pair of Russian programmers from St. Petersburg, iirc), so K/Q will likely to be around beyond his retirement. That said, I think its user base will continue to shrink for above reasons.
> Most public transport revenue also comes from the capital

This is incorrect. 40% of 'Transport for London' (TfL) spending comes from fares, and approx. 27% from government [0]. That represents a real cash subsidy of £3.1B per year for londoners.

The disparity in infrastructure spending per resident is even more stark [1]. London receives more than half of all such spending in England despite containing less than a sixth of its population.

[0] https://tfl.gov.uk/corporate/about-tfl/how-we-work/how-we-ar...
[1] http://www.theguardian.com/news/datablog/2014/aug/07/london-...
Refusing to XOR it in is sensible. That RNG hardware might know too much about your existing entropy pool (either malicious bias or design flaws). Rejecting to mix it in cryptographically is however dumb.
That comment was actually a considered comment: when we look at what warnings we should produce, we consider cases where everyone has written code a particular way and the fact that it isn't defined is actually a language bug.

We (the Clang community members, and I suspect the GCC community members as well) have also worked to change language standards to provide guarantees relied on consistently and where the lack of guarantee has no reasonable basis. Also that comment is very old, and predates us learning about all of why this is probably something actually worth warning on. That discussion ended up in a different forum, and we do actually warn on stuff like self assignment.

Understand that it is often precisely the people working on a compiler that do deal with the cases of when we discover widespread UB in real code and whether or not the code is incorrect and must be changed or the standard is incorrect and must be fixed.

But all of that is about a warning, and not about the actual question of how the compiler and the system library interact.

Note that both Clang and GCC have at least some variants of this bug, and so I don't actually expect glibc to break this in the foreseeable future. But we're still actively working to defend against this on platforms for which we don't have a guarantee.
Aaron Swartz: The Book That Changed My Life
This is as good click-bait there is nothing informative in this article that suggests how this actually works or what the security flaws were.
You'd really need to see the paper to evaluate this, because pretty much every static analysis technique can generate lists of "undetected security flaws", especially if the corpus of application code is unconstrained. You'd want to know:

* Did they find a kind of security flaw that is particularly difficult to detect? Like, reliable generic authorization bypass detection result would be novel.

* Did they find 23 flaws in popular and important Rails apps? Those applications have probably been tested extensively already, and new results are interesting. Random e-commerce applications buried in Github, less so.

* How severe were the flaws? Security flaws range from remote code execution on the very damaging side to version information disclosure on the marginal side.
This specifies NASA's job:

http://history.nasa.gov/spaceact.html

(That's actually the original 1958 version. It's been amended occasionally since, but that will give you the gist.)

There are specific things I would alter about NASA's current course (including killing two projects worth a total of about $3 B per year) and I would amend the National Aeronautics and Space Act to alter its long-term trajectory regarding human activity in space, but much of NASA's job has been clear for decades.
The combination of the title and phrases like "simulations using a mid-latitude climate couldn’t get the job done because the rocks didn’t weather fast enough" did make me think initially that they were proposing using this as geoengineering to pull CO2 out of the atmosphere.

(But yes, that's not what they're saying. And my guess is it wouldn't be anywhere near worth it.)
I don't believe they are entirely independent, but there's nothing you can look outside your window that will change any mathematical theorem.
details matter

https://docs.freebsd.org/cgi/getmsg.cgi?fetch=156953+0+archi...
IMO nothing compares with longsword fighting. By comparison, SCA looks like a bunch of big guys wailing on each other in the middle of a scrum. Longsword fighting has a much more competitive environment with well defined technique and strategy: https://www.youtube.com/watch?v=IhbcntqyiSo
> Can't they at least uphold the fiction that people vote on the merit of issues?

It's not a direct democracy.. other than state referendums, people generally do not have an opportunity to _actually_ vote on issues.
From skimming the papers briefly* it looks it's finding errors in policy-scoping and other violations outside of expected permission branches.

The thesis isn't linked on the site but I found it here
[0] http://www.cs.berkeley.edu/~jnear/
[1] https://dspace.mit.edu/handle/1721.1/99841
Because "States' rights" has historically been used as a dog-whistle for racism, segregation, and voter suppression. Moreover, the article is referring to city/local government which is different from the state. I don't see how conflating local innovation with state oppression is a liberal agenda.

https://en.wikipedia.org/wiki/States%27_rights#States.27_rig...
Sure that's the case when you're firing guns and backfiring cars across an open field from whatever you're measuring sound with but sounds tend to get screwed up when distance, obstructions and white noise are added.
San Francisco Torn as Some See “Street Behavior” Worsen
I made something like this for an Android class project a couple months ago. Is this similar to what you had in mind? I never ended up polishing it up for release:

https://www.youtube.com/watch?v=pB_lGaKHODY
I don't think anyone claims that reducing guns would eliminate violence. That is a strawman.

There does seem to be reasonable evidence from other countries that reduced accessed to guns (and certain types of guns in particular) does have an impact.

Guns just make it ridiculously easy to kill a lot of people in a hurry. It takes a lot more strength and determination to plunge a knife into someone (perhaps several times) when compared to pulling a trigger.
'3 years of my career writing K/Q at a trading firm, eventually becoming the human debugger for my team's K/Q "investment"' - that sounds so familiar to me lol, except it's my second year of using kdb in a trading firm, but still cannot run away from becoming a human debugger, and all I can use as a reference is code.kx.com.
You are tarring all compiler authors with a very broad brush here.

Myself and other compiler authors I work with are much more specific in their requests. We do actually define some behavior that the standard doesn't require, and we do document this and tell our users its fine to rely on it.

Unfortunately, we also have a lot of really clear experience with this stuff that lead us to two conclusions:

1) When we identify UB in code and go look at that code, for very large bodies of code what we find are overwhelmingly bugs. Bad, complete bugs. Defining the behavior wouldn't fix the bug, it was just one of the many symptoms.

2) We have real hardware differences for a lot of simple things that make them hard or impossible to give defined behavior for. As an example, shifting left by more bits than the size of the value gives different results on several different platforms.

None of this means that we don't need to help programmers cope with this. We do indeed also make mistakes, and in fact it was these compiler authors that built a tool to help programmers find UB in their code:
http://clang.llvm.org/docs/UndefinedBehaviorSanitizer.html
Practically yes. But as cryptosystem security is based on teasing out differences with respect to various oracles, bounding the security of every piece of cryptographic software to the kernel PRNG algorithm gives me the willies. The only saving grace is that the specific algorithm can be changed out with no worries of backwards incompatibility.

I agree the current implementation makes this distinction worthless, but it doesn't have to be. The biggest hurdle is that true entropy is scarce, and thus must be strictly partitioned between users.

A hardware RNG would solve this, but RDRAND not so much. I feel that if consumer hardware is being subverted by TLAs, the RNG would be the most likely avenue of attack. We may even eventually see partitioning of secure systems into deterministic/functional and non-deterministic parts, with the non-deterministic tape being saved for auditing.
"truly random" is an oxymoron, folks
> Pre-registration doesn't help because it simply gives the author's a narrative to fake.

Like timroy, I don't know what your objection to pre-registration is. I'm definitely talking about pre-registering the analysis, not just the data collection.

> As pointed out in the article, result-blind refereeing is officially claimed by most journals,

Did I miss something? That doesn't seem to be what the article is saying:

> One proposed remedy is to modify the peer review process so that reviewers grade manuscripts on the quality of their introductions and methods sections rather than the novelty of the findings. Similarly, journals could assess submissions based solely on the rigor of their methods—as does Plos One.

PLoS One is an anomaly. This is not normal.
It's misconfigured in that you can reach the host at all.
I hate to make anyone feel old, but I'm as old as this study. Does this information still hold true today?

I'd wonder what big data analysis of this data would show us (IE occurrences of certain samples of 1 TB of data polled).
The cynic in me says the DC police response is faster and more trigger happy. We all remember what happened when a bunch of cops went after two guys with a six-shooter outside of Boston a few years ago (spoiler: orders of magnitude more than six shots were fired, nobody died from the bullets).
Ethanol is about 70% of the energy density of Jet A-1: https://en.m.wikipedia.org/wiki/Energy_density
Then the bug report is wrong, and disregard the second and third posts I made. They depend on the bug report not being wrong.

My first post is generic and not about this particular issue; it's still fine.
Well, maybe? If the purpose re-keying is to recover from a transient compromise, then a single bit isn't really sufficient, is it? If the attacker has completely recovered the old seed, they can recover the entire rng stream up to the point where the reseeding happens. The attacker would notice the new output doesn't match, and at that point can't the attacker simply (brute force) try mixing in a 0 or 1 bit to see which one matches the new output of the rng? Even a few bits wouldn't protect against a brute force simulation of the reseeding. It seems like re-seeding a few bits at a time is in fact worse than storing up, say, 128 bits of new entropy then reseeding all 128 bits at the same time. With small incremental reseeding, the attacker can brute force each small reseeding if they can observe the rng outputs.

Or is there something I'm not seeing about how reseeding works?
We do not assume that violence would cease without guns. We just know that there would be less violence. And since we're not gun enthusiasts, it's a bit less violence at no cost to us. And at not too much costs to gun enthusiasts.

At least this is how I feel.
It isn't the most important aspect of this article, and I know that tech journalism by persons outside the field is prone to this sort of thing, but a little bit of me dies inside when I read or hear the phrase "The Rails Interpreter".
This is not outsourcing. I'm an Indian and I know for a fact that Microsoft India employs the very best talent. Yes, there are cost benefits for having engineering done in India, but for companies such as Microsoft there shouldnt be a quality difference. However where you'd see quality difference is if you try to build an app for $50 with a company you found on a job website. Those employ regular run-of-the-mill, copy-paste-from-stackoverflow developers.
Nobody uses the NBR .., they're basically just selling stickers. When you dig into how many LE agencies use them, it's like ... six. Maybe even less.

BikeIndex.org, though - which is mentioned in the article because that's what the batman is referencing - is totally open and has over 220+ national partners and over 70k bikes on file.
If you're using udev, you can configure it to make /dev/random a symlink to /dev/urandom (eg. [1]). Sadly that doesn't give you the "block until seeded" behaviour though, and I don't know of any kernel patch doing that yet.

1. http://superuser.com/questions/309840/how-can-i-point-dev-ra...
I remember that day. My best friend and I got the last two 100rd boxes of 12ga bird shot on the shelf and forgot earplugs. 10/10 was worth it, I hope the EPA never measures a certain part of his property for lead content.
The video is pretty good. Thank you for that.
Strange I find bash + vim to be a great IDE... with coreutils I can automate and with vim I can write in the same context as everything else...

!./%
You can write the server in any language, and you can also write the client in any language. As a point of comparison, consider SQL databases such as MySQL or Oracle or MongoDB. There are clients written in dozens of different languages.
Show HN: Best app for time-lapse video enthusiats and creators
Nobody cares whether it could be worse, the point is that it must be better[1].

The data leaked is enough to gain access to almost a hundred million people's account on any web-service or, as some other comment pointed out, in Mexico's case even to real-life services like banking.

[1] The United States are not the norm. You might live there, but that makes you a minority of the world population. There are some nations that actually value democracy and privacy, not just on paper.
What is bad about a firing mode that decreases accuracy and depletes ammo quicker?
I make all my friends at Erlang meet ups and conferences.