skysight-inc/HackerNews huggingface dataset:
Given the Peano axioms, yes. But most attempts at a formal axiomatization of mathematics don't start from Peano. (If you start from arithmetic, you may have difficulty proving set theory.) Frege started from Cantor's naive set theory, which blew up in his face. Russell and Whitehead[1][2] finally started from formal logic and some weird typed version of set theory that no one has ever explained to me and thus that I fear with superstitious dread. And that takes somewhere over 300 pages to get to "1+1=2", and the proof isn't actually completed until page 86 of volume 2 (according to Wikipedia).

Further, that the fact is trivially provable from Peano's axioms still doesn't mean the proof is meaningless.

[1] https://en.wikipedia.org/wiki/Principia_Mathematica

[2] http://www.storyofmathematics.com/20th_russell.html
Stories like the one below illustrate SEC concerns.

http://www.nytimes.com/2016/01/09/business/dealbook/sec-and-...
That's my point! Arguing that justice requires more than statistical probability does not require asserting that the presumed probabilities are wrong. I.e. asset forfeiture can be unjust even if the vast majority of seized assets are actually illegitimate.
Population growth on the order of what we had since about 1750 - 0.5 % per year or above - is unsustainable in relatively short time. That really is not worth discussing, it is a matter of fact.

But as I understand the comment the point is more that by burning more fossile fuels we would trade a benefit now for more issues in the future. Sure, it would be nice to have more energy at our disposal right now, but we know that burning fossile fuels causes problems in the future. Doing it anyway and hoping that future generations will find a way to deal with the consequences of our actions seems to me shortsighted and reckless at the very least.
This code is more than a bit scary. This code is of very poor quality, is very poorly documented and has numerous (I'm pretty confident that they're exploitable, too) bugs.

It really isn't a project that I'd recommend to anyone, unless I wanted a shell on their machine. I'm quite distraught that it is getting this many (seemingly blind) upvotes.
Part of it might be that tankers have been parked near the canal because of low oil prices. Some of them even skipped the canals (Panama and Suez) altogether to lengthen their route hoping for oil to go up.
Yup. Rent-seeking is as old a business plan as government...
Alternatively, why has the investigation taken so long? It can't take well over a year to go through someone's emails.
That's a good change from "social first" from a few years back. Google was never a social company to start with. Remember Orkut?

AI is google's leverage. It should explore on that path.
Correct me if I'm wrong. So you argument is "Quis custodiet ipsos custodes"(Who will guard the guards themselves)?
This sounds very interesting, but even as a Wall Street Journal subscriber I find it paywalled as part of "a premium suite of products for elite practitioners". I can't even find pricing anywhere. I guess if you have to ask, it's too much? Ouch. Apparently I'm just not that elite...
"Time was another issue. The contract called for the work to be completed in 1,883 days so that the opening would coincide with the 100th anniversary of the canal’s 1914 inauguration."

Boy do I love arbitrary deadlines!
The senate is one vote away from granting warrantless access to browsing history
Wow. You literally just proved my point.

And where can I buy so much as a christmas tree ornament made from bioplastic?
Okay, I get it, the SEC is not without criticism but surely the concept of the SEC makes a lot of sense and I assume the general concensus is that we need it and should not get rid of it?
This does not handle Microsoft office URL pre-fetching...and is written in C...
There was enough evidence from day one to go through the legal notions, this doesn't really have any effect on what was going on.

The problem is that this has been dragged for so long that it would kill the democratic party at this point, HRC is the nominee this whole thing should've been cleared way before the primaries.

If Hillary was "smart" she should've pushed for a full investigation before that she could've survived it then, at this point if any indictment would be pushed forward it's game over for for HRC and for Democratic Party.
Yes, the boundary between life and non-life is not sharp, but to claim it follows that life is hard to define would be the continuum fallacy (https://en.wikipedia.org/wiki/Continuum_fallacy)

Manufacturing a living cell from purely chemical ingredients is a concrete enough goal.

And almost certainly it lies far, far off in the future.
I'm on my second TN status, and it really isn't very hard to get. If you have a relevant degree and a job offer, it's practically guaranteed.

Sure, it's not ideal living in a foreign country, but while I don't have dependents or large liabilities to pay off, I'll enjoy getting a salary which is literally double what Canadian companies have offered.

As for the cost of living. LA is cheaper than Vancouver. So are many US cities. The article seems to treat SF as the whole of the USA when comparing costs.
I see the datasheet mentions WiFi Direct and WPS which I remember at some point wasn't possible with the ESP8266. Does this mean that it can be controlled directly by an Android phone with WiFi P2P?
Uber Data and Leaked Docs Provide a Look at How Much Uber Drivers Make
I didn't begin to get it until the industry started trying to use browsers for applications in the late '90s/early 2000's. I took one look at the "stateful" architecture they were trying to use, and I said to myself, "This is a hack." I learned shortly thereafter about criticism of it saying the same thing, "This is an attempt to impose statefulness on an inherently stateless architecture." I kept wondering why the industry wasn't using X11, which already had the ability to carry out full GUI interactions remotely. Why reject a real-time interactive architecture that's designed for network use for one that insisted on page refreshes to update the display? The whole thing felt like a step backward. The point where it clobbered me over the head was when I tried to use a web application framework to make a complex web form application work. I got it to work, and the customer was very pleased, but I was ashamed of the code I wrote, because I felt like I had to write it like I was a contortionist. I was fortunate in that I'd had prior experience with other platforms where the architecture was more sane, so that I didn't think this was a "good design." After that experience, I left the industry. I've been trying to segue into a different, more sane way of working with computers since. I don't think any of my past experience really qualifies, with the exception of some small aspects and experiences. The key is not to get discouraged once you've witnessed works that put your own to shame, but to realize that the difference in quality matters, that it was done by people rather like yourself who had the opportunity to put focus and attention on it, and that one should aspire to meet or exceed it, because anything else is a waste of time.
Get rid of the corruption. The rest can stay.
This Sculpture Was Designed and 3D Printed by an AI Artist
What is your definition for "explanatory", in this context?

I agree with your second sentence - the key question is indeed whether the model is explanatory rather than merely predictive. I offered a definition for explanatory as being when "the structure of your model reflects something about the structure of reality, and you can explore your model as though you were exploring reality", which isn't a terrible attempt, from my experience.

At the risk of repeating myself ad nauseam, the relationship to model fitting is found in the presence or absence of additional assumptions required for finding your fit. The difference is between having a very low-dimensional model that fits the data and requires few if any extra assumptions to fit (fitting the model being equivalent to "validating your theory", in this context), or a very high-dimensional model that fits the data (making no claim to "theory"), but by definition requires extra assumptions to get the fit.

In another sub-thread you said:

> If you model a system using the smallest possible mathematical model you don't, from that act alone, understand how the system works.

This is correct inasmuch as the understanding doesn't leap forth immediately, but if the model is a good representation of the data (an important if), then modelling a system in a parsimonious way possible does provide you with understanding, pretty much for free, by looking for systems with a similar structure and learning about their properties. As an example, if you have some random variable, and you realise that it might be modelled with a Poisson distribution, then (assuming you are correct) you immediately gain a lot of understanding, because there is an enormous amount of literature exploring the implications of such a model.

This is what substantiates the link between model fitting and the explanatory vs. predictive question. If you can successfully fit a small model to a problem, without adding assumptions, then that model gives you understanding, by virtue of being a good representation of the data, and having structure. That is simply not the case with the high-dimensional models used in machine learning.

I would be interested to see a counter example - a small model that fits a particular set of data well, but does not provide any explanatory power.
Interesting. The news reports seem to consistently tell the story I repeated above, but I've read only a few. Is this something you have direct experience with as an attorney?

Your version is a little more heartening, but I also know the rules of the criminal legal system and its practice often are much different. For example, most people have little understanding of their rights and few resources to assert them.
I know, this is some internal glibc allocation code failing because that request overflowed a buffer on the heap. The bug is, as tptacek mentioned, in the header receiving function [1].

The compilation warnings was an additional remark, I should've phrased that post better.

[1] - https://github.com/riolet/longs/blob/master/wafer.c#L334-337
USCYBERCOM has released GENADMIN 16-0073 [pdf]
Pretend that you knew you could get away with not paying tax or keeping records. You might get an email from the IRS but in this imaginary world, they only prosecute the biggest cheats.

I'm sure you're a fine person who would keep paying but do you think everybody would because it's the right thing?

That's all that's happening here.
I used to hate all previous attempts at being agile. But my current workplace gets it more right than wrong.

People over process right?
Finding all the e-mail has been a bit of a problem with many delays. The timeline on this goes on and on with a lot of drama.
This author is crazy.
This kitten love the water
Haaaa I remember reading the spec, before I knew prolog .. didn't realize what I was reading. Neat.
There's this, which is a script that manipulates Apache .htaccess to do short linking: http://lucasgonze.github.io/shurl/

No idea about equivalents for nginx, or something that could run on Github Pages (these would probably be the same, given that nginx doesn't have an equivalent to .htaccess out of the box).
"Simulation." - You keep using that word. I do not think it means what you think it means.
Entry time slots into the canal are booked months in advance. Arrive late, and you lose your entry time. Tolls are also paid in advance.... all cash up front.
The self-signed cert is not entirely pointless in this case. On your LAN, you can be fairly sure (or even ensure) that the first connection is secure. This allows you to accept the specific self-signed cert as valid and trusted. From then on, that's what you keep on trusting.

There's no CA to tell you that it's a valid cert for this specific location. But you're the owner and you're the authority in this case.
I guess someone at Google figured that imitating Apple is worth sacrificing what remained of their power user appeal.

"Sacrificing what remained of their power user appeal" is imitating Apple!
I don't think any Democrat would love this, having Sanders be nominated because HRC went to prison would probably make him considerably less electable than he ever was.
While Trump is spiraling to the point where the Republicans are looking for a way out and indictment at this stage can pretty much guarantee a Republican victory regardless of if it's Trump or not.

Any Democratic nominee that would replace HRC if this scandal moves forward would not only have to fight their baggage but HRC's baggage also because being classified as the "nominee not currently in prison" is not really a good starting point going into the national elections.
> “The tagline is, Do you want to be a machine learning ninja?”

I don't really like the word, but I don't really give a flop either.

I'm not sure how its better or worse than guru, rockstar, or any other lame word recruiters like to use to make us feel like the special snowflakes we are.

Which word would you like to see in place of 'ninja'?
Is this sort of thing typically prosecuted when it's unintentional? I would guess not.
> Isn't that the idea of open source software? The best maintainer is the one in charge.

There is no reason why the first sentence should imply the second.
I was thinking the same thing and then some. I ask a version of this as an interview question, and this doesn't pass my muster. That being said, I do think that implementing a URL shortener is a really good exercise, and I commend the author for that.
That article says that New York state is paying for and building the factory.
The beekeeping subreddit is pretty good, if you're not on there already. Quite a few smart and experienced folks there, so most of the time you'll get good answers to questions (of course you'll get 6 different good answers each time).

I'm in the same boat as you... been beekeeping a year and am trying to split my way to 8-ish hives this year and look for an out yard for more next year.
Does anyone else think pslam is ruining the horror genre?
The fact that it seems to be about some kind of spreadsheet doesn't fundamentally affect the misunderstanding either.
I think she honestly believes she can survive and nothing will come of it. She is probably right.

On the other hand, I think the Democratic Party has a more than reasonable out with Senator Sanders. I get the feeling the party leaders would want to select his VP for him as part of any deal. He is, after all, not their favorite.
If a company loses money doing something illegal they should be punished less?
That still counts as a vulnerability, even if it's not exploitable without also being able to write the correct state into the database. Databases almost always contain user-generated data. I don't trust the data contained therein any more than I trust the user. Validate it every time.
That is unaffordable to most consumers in the world. You will end up limiting urself to a market of few rich communities in rich countries.
The geoDefense games (regular and swarm) were huge favorites of mine at the time. I wish they were still making games but haven't seen anything new from those developers since that game came out.
> No more, or less, than the definitions of crimes themselves are arbitrary.

"Arbitrary" to me means "not making rational distinctions based on criteria we care about." Murder versus arson isn't arbitrary. NY's 5 degrees of larceny probably are. Sentencing someone differently for stealing $250k versus $350k is.
Union Square Ventures (USV) 2016
Knowing how to play the hand you are delt is important. If you are young play to those strengths if older play to those. I find you can succeed at any age, but I do find with age certain experiences etc can come into play that you just didnt have earlier.

I find I am better at almost every area of business than I was 10 years ago for a number of reasons.

Learn and put what you learned to use, doesnt matter if you are young or old.
DOD looks to develop a preemptive approach to network defense
I dunno, if you look at the list of IAPs offered, and see that most are for "gems" or "coins" or something like that, you can be pretty sure that they've got something up their sleeve.
Some, but my exposure to the sentencing guidelines is mostly from seeing a lot of sentencing appeals as a judge's law clerk.
The noise pitch of a blade cutting through air and its annoyance level seems to be proportional to the blade's size: Anecdotally, 40mm and 60mm server fans are annoying as fuck compared to 120/140mm size fans.
Mickey Mouse Hero from Disney Cartoons &
What do security folks think of the DNSSEC/DANE award? This isn't substantiated, but my understanding was that those technologies were considering kind of a joke by the security community.
You both did.

> When you wake up the next day, how do you know you're the same person as yesterday?

> You know you're the same person as yesterday
I'd rather see all of those juvenile testosterone labels discarded in general.

Sheesh... "Do you want to make the world a better place?", with a photo of Gavin Belson holding an animal, would make me more inspired.
Yes, but that requires a fixed machine (or a cash lock box on every vehicle?).

Shouldn't I be able to just leave the car anywhere in a city?
Yup; nothing against you, it just seemed like a good place to drop a reply that was vaguely on-topic.
Article has been clarified and the HN headline is no longer the article headline (which is now "Emails: State Dept. scrambled on trouble on Clinton's server"), and no longer correctly portrays the content; from the (corrected) content:

The AP initially reported Wednesday that the emails described security features being turned off on Clinton's own private server, but State Department spokesman John Kirby clarified hours later that the emails described "a series of troubleshooting measures to the department's system — not Secretary Clinton's system — to attempt to remedy the problem."
Lamborghini Is Forging Ahead with Forged Carbon Fiber
I'm going to turn that around on you: Why are you entitled to be there at the expense of others who are already there?
There is VAT. If the output really increases then VAT's output increases too. However, of nobody works who's going to pay that VAT? We'll see how it will play out.

This proposal reminds me of world of Time of EVE, an anime with truly electronic persons. It's all on YouTube.
If there are any aspiring crackers looking to bring down their first site, this one should be easier than the average
Waste disposal is almost entirely political. That Germany is shutting down the objectively cleanest reliable source of energy is tragic.

All of the nuclear waste Germany generates would fit in a single football stadium. Technically you'd pick something below the water table and geographically stable, like say, a salt mine.

Burning coal produces more nuclear waste, it just dumps it all into the atmosphere.
Yup, it's not coding that's "super dumb."
> It seems like there is enough evidence now for the FBI to recommend indictment.

Of whom, for what specific offense?
Apple and Android should instead take a Valve/Steam like approach and create a good community around the store that includes curators, flash sales etc.
so you are arguing that fracking must continue so that the people's right to buy cheap plastic garbage shall not be infringed? theres already enough oil now for the plastic crap to keep coming for a while, just not as cheaply as before. once the true cost of fossil fuel based plastics reach the consumer, there will be more incentive to pursue better options.
The culture of remote employment and why outsourcing is failing?
I feel it's worth pointing out this isn't just some blog by any old indie development studio. This is a blog by Jeff Minter. The man practically invented home computer gaming. I was buying his games with my allowance 35 years ago, because they were great. And I still buy them today, because they are still great. If Jeff Minter can't make the App Store work then no-one can. (Although he probably could have done if he had been willing to make crappy games with in app purchase rather than make good games. )
It's arguably not unconstitutional. You need to prove someone "guilty beyond a reasonable doubt" to take away their property as punishment for a crime. But the general rule for contesting whether their ownership of the property is legitimate to begin with is "more likely than not."

If I sue you saying that you kicked me out of my house and are now living in it, I only have to prove that with 51% certainty.
I still don't get why she didn't have to turn ALL of it over for another party to peruse and determine was was or wasn't government business. It seems outrageous that she basically got to decide for herself.
Because URL shorteners are ticking timebombs, ArchiveTeam has a project to get as many of the links as possible into the Wayback Machine:

http://www.archiveteam.org/index.php?title=URLTeam

(edit: and you can imagine how useful that's going to be once browsers start checking the Wayback whenever they see a 404... we're getting close to starting a trial of that with Firefox, with other browsers to follow.)
Other replies have mentioned it's the Vita, but I have to mention the game is called TxK. It's the third version of Tempest 2000 I've played over the years and it's an amazing piece of work. I can hardly believe I've been playing this guy's games for almost 30 years now.
Yep. I hope a few people reading this know who the hell Jeff Minter is and why he's worth listening to.

(PS Jeff - if you're listening to. A new take on Llamatron would make me a very happy man)
I think that's really unfair to AG Lynch, who has a reputation for being tough and nonpartisan - she has personally prosecuted corrupt officials from both parties.
“The core team of Syncany is on hiatus for an indefinite amount of time.”
Now go back and read the post you replied to in the first place. The entire point was low carb diets work regardless of ketosis.
Perl 6 for Beginners
On first blush, my sense is that a translation could go something like "we're prioritizing the analytics API over the results API." Not analytics in the webserver sense, but the OLAP/DW one. So, e.g. ad targeting fidelity over results presentation algorithms. Backend biz vs frontend.
The full list:

> Tor: 152k

> Tails (secure-by-default live operating system): 77k

> Caddy (HTTP/2 web server that uses HTTPS automatically and by default via Let’s Encrypt): 50k

> Mio (asynchronous I/O library written in Rust): 30k

> DNSSEC/DANE Chain Stapling (standardizing and implementing a new TLS extension): 25k

> Godot Engine: (high-performance multi-platform game engine which can deploy to HTML5): 20k

> PeARS (lightweight, distributed web search engine): 15,5k

> NVDA (open source screen reader): 15k

I agree with the highlight given the open source screen reader. Accessibility is very important and unfortunately very neglected, mostly because (IMO) the tools to properly test can be very expensive or incompatible.
That sounds a bit too much. The data from db is supposed to be already validated.
Do you validate the input received from the validation function as well?(⸮)
SIZE is defined as 2048 bytes (line 59). Firefox can do GET requests with 8KiB URLs.
I dont think there is a "better" in a grand sense, but probably for individuals.

You may work where you work and see a niche or idea that you can grow into your own thing and your experience can translate well.

I do notice you talk about perhaps creating your own startup in the future. One thing I found with that is some people get used to steady job etc and then when they try to start something up they arent prepared for the lifestyle change and unknown feeling, it can be a stark contrast to "security". I think it is wise to prepare for such a thing.
The word "ninja" in recruiting was almost dead before today.
SoftBank's founder reverses retirement plans, says heir apparent 'victim'