skysight-inc/HackerNews huggingface dataset:
The proof's axioms deal with what kinds of things have the property of being 'positive' (A1-A5). But lacking a separate definition of what positive means, we really have no choice but to view these 5 axioms as an implicit description of 'positivity' and wonder what mathematical models realize these axioms.

One thing to note from the axioms is that for every property either that property or the negation of that property (but not both) has the label of 'positive'. This is already pretty strong, because it's making claims the about the 'positivity' of properties that are completely unrelated to the rest of the argument. It's almost just a labeling game: given p and -p, you must label exactly one as 'positive'. Is the property of being red positive? Saying no is equivalent (according to these axioms) to saying that the property of not being red is positive.

You can pick one model for the axioms where being red is 'positive', and then the God that's shown to exist will be red. You can pick another where being not red is 'positive', and then the proof implies that God will not be red. It's not a logical contradiction because they're different models, but it certainly makes one wonder what the proof is talking about when it mentions 'positivity'. I have a suspicion that the axioms themselves generate an inconsistency and hence they could generate proofs for any statement.

Anyways, this paper is about formal theorem provers, not theology, so hats off to the researchers implementing higher-order logic.
Retro Game Music using Web Audio and Band.js
Simply adding up all the dollars that might find their way into and out of your bank account is rather a naive way to value a life.

You may not ever earn or own that much money, but perhaps one of your descendants might be the next Gates/Buffet/Rausing/Musk (pick your favourite rich person).

If you are yet to breed, or having bred, yet to finish your job of raising that child, then you might want to include the potential financial loss that your descendants incur by not living up to their full potential, or taking an extra generation to climb above your current social level.

You mention a financial loss to "the economy", rather than explicitly to the household of the deceased. You may not earn $6.5M for yourself, but you might implement some feature that saves 1000 people who earn $65K each a year of effort.

Your employer may need to replace you, we often see posts about how important it is to hire the right people, because of how much the hiring process itself costs.

If a well-liked individual dies, then the productivity of some of those close to them drops for a period. Your next of kin may have to take time out of work to arrange the disposal of your remains, attend an inquest, deal with probate, authorise the withdrawal of life support from your brain-dead body (and deal with the psychological trauma that that might cause). Your friends and relatives may take a day off work to attend a funeral.

If blame is to be apportioned for someone's death, expensive legal professionals will be involved in working out how much blame should fall on whom. Insurers will argue about how quickly their liability should be discharged, and how much they should actually pay.
Looks quite nice. What is it built with? I also couldn't find any mention of a license on the site.
panic attack
How Green Is A Tesla?
Strangely, they didn't use the role of DNA in manufacturing molecules. They had DNA-manipulation techiniques handy; they used them to lay out doped DNA, then essentially burn it to leave graphene sheets.
Not all PS2 titles were "updated" to support newer PS hardware. Although, once the PSN Cloud (Gaikai) launches it should have the entire PS catalog at your disposal.

FYI, Vita is capable of playing PS3 titles through Gaikai.
> Depends on who you're targeting (developers

By all means have a developers mode which does hand out the information more readily (though I tend to be wary of that in case it gets left on in production, and because it is an extra code path that needs to be properly tested), or report the detail directly if it is an internal tool. But the post I was referring to infored (to my mind) handing the detail out to end users (and by "end users" I mean the untrustworthy mob that is the general public).

> It's also not necessary to present all the information to your users, you can also make better error logs that users can send to the developers.

Hence my last para, where I suggest giving the user reference to the detail without giving them the actual details (the code to give to you for looking up the stored exception report). Giving all the info to the user as an encrypted package would work too (in that case "please quote this code in any issue reports" becomes "please copy+paste this block of text into any problem report").
So that's true, but remember that they're simply employing the process that IEEE 1363 described years earlier. The circumstances are different: IEEE was trying to explain how to generate parameters, and NIST was specifying which parameters to use, but the methodology is the same.

It is thus not particularly "telling" that there's an opaque SHA-1 seed. That is to say, it's not a "tell" that they didn't use a simple string (like the digits of pi or something), because that's not the IEEE method.

I preemptively agree that we'd have been better off had the seed been transparently generated, too.
U.S. tapped into networks of Google, Petrobras, others
Industrial Revolution likely brought the Little Ice Age to an end
NSA Documents Show US Spied on Brazilian Oil Giant Petrobas
Also all those articles about more speed from copper don't go beyond 100m (ethernet distances) or involve pair-bonding copper lines, which means having multiple physical telephone lines to each premises. Which is expensive, inefficient and in many areas not even possible. At which point, the very moment you are sending people out to start trenching cables into the ground, you are wasting money if you are not putting fiber optics in.

You might note that the Australian recently ran an article crowing about how they deployed hybrid solutions to a big apartment block, when in reality it was simply the MDU solution of FTTH - you trunk in fiber lines to the central switchboard, then run ethernet using 4-wires of the existing phone cabling. It delivers 100mbit, but you haven't escaped the problem of needing a fiber network to connect it too.
That's funny, only because my cousin did this back in the 1980's.

Unfortunately, he used reed relays to determine when the runner was at the end. After a few days the magnet fell off thanks to it being stuck with the wrong glue and the motor ran past the end and jammed with power applied. Inevitably the armature caught fire after a couple of minutes [1] and set fire to the curtains.

Cue visit one evening by the fire bridgade and his entire bedroom being burned out and angry parents and insurers...

[1] motors = dangerous ... http://www.youtube.com/watch?v=0o0SdmAwA7o

Edit: other misadventures we produced together (really need to put these on a web site as we have photos): lawn mower to stand up personal hovercraft (two broken fingers), radio controlled hovercraft bodged from above (sunk in middle of lake), rocket propelled grenade launcher (got bollocking from the police), RC plane missile launcher (set fire to grass), portable BBC micro (electric shock + fire), coil gun (remove metal swarf from finger at hospital) + more I can't remember off the top of my head.

Probably be in prison if we did it now. Hardware hacker culture has been going for a while now...
I think it is reasonable to observe that the current PGP WoT is designed to try to unambiguously and unimpeachably map public keys to entities (if not necessarily literal human beings). It is ambiguous to me in the original text whether the author was claiming that all WoTs must have that characteristic or if he was just describing the current one.

Personally I think this has been a problem with many security systems so far. You can't be 100% confident about anything, so building a system in which that is a fundamental element is doomed to fail. See also the SSL/TLS cert system, in which it is assumed that you 100% trust all the cert vendors in your key store, absurd even before we consider the default key store inflation over the years. If WoT is going to work, it's going to have to have some concept of levels of trust. I'm willing to sign my wife's key with the highest authority I can give. I'm willing to sign the dev I meet at some meetup and who definitely seems to have the same personality and knowledge as the guy I know online with a medium degree of trust. I'm willing to sign other people with low degrees of trust.

Sure, dealing with the consequences of partial trust are difficult. But since you can't have full trust, it is in less difficult than our current systems based on it, inasmuch as a thing that is possible is less difficult than a thing that is not possible.
Hey hotshot. How about less blogging and more work on your darn company? I tried using it to find office space repeatedly.. No good.
There's nothing "conspiracy" about the NSA being able to access anyone's data on Yahoo's servers without needing a warrant. It's actually expected at this point.

What they're trying to achieve by making a public stink about this is good PR. The real fight -if there is actually a real fight between the tech giants and the government- will happen behind closed doors.
I think until gravitational wave observatories start to work, we are indeed stuck with light. And maybe neutrinos and other particles, but they aren't very good for observing things due to our inability to make a "lens" for them, no?
Ouya has taken some serious missteps in its strategy and I'd say it future just turned a whole lot grim due to this announcement.
Yeah, those are definitely the kind of "complaints" that I like to see about my own apps. :)
The actual Ars Technica headline begins (now, at least; perhaps it's changed) "Is Google changing its logo?", and recent updates to the article suggest that, as per Betteridge, the answer is "no, probably not".
Which grammar guidelines suggest not capitalizing a verb in a title?
I use it a lot for local development, but wouldn't install it on a production server for security reasons. However, if you run commands in phpMyAdmin, it actually gives you the SQL code for your desired action, which you can then copy and paste to the command line on your production server.
Sailing Solo - Watch the water, not other's sails
SwarmLocal: Information stays local and users anonymous
Weartrons and Hammerhead - Two of Dragon Innovation's Most Innovative
That's a fair warning.

I would also say that business in general is an opportunity to solve problems. Startups are a subset in which that opportunity starts with no resources.

The big change over the last few years is that starting with no resources has become less of an obstacle.
it is however, almost certainly, tempting fate.
I'm not questioning the feature as a diagnostics tool, but the post I replied to seemed to be suggesting giving the error details out fairly directly to the user which is not good security practise (IMO). That 200 line JDBC error should not be going out to the end-user at all either, especially not if it did include the SQL being executed or worse still the db/authentication details (db name, user name).
Hubble discovered that the universe is expanding. It took another 70 years to discover that the universe's expansion is accelerating and telescope named after Hubble was involved in this discovery. In fact 3 scientists who discovered it received Nobel Prize back in 2011.

http://en.wikipedia.org/wiki/Accelerating_universe

Reading comprehension is a good thing to have before starting throwing bombs out there.
> Startups are based on an opportunity to solve a problem, not "wanting to do a startup." Check your motivations.

So, I have an opinion that runs counter to almost everyone on HN, but I disagree with this. I see nothing wrong with wanting to do a startup for the sake of wanting to do a startup. That's a great motivation in itself for many people.

There's no magic or scientific principle that says startup success must be a direct function of the type of motivation of its founders. Perhaps there are some correlations; Paul Graham could perhaps provide more insight into that...

There are many highly motivated, hard-working people who have failed with startup ideas that elegantly solved novel problems, and then there are only somewhat-motivated people who just wanted to create a website that ended up taking off into something. Of course, once it "took off", if they didn't suddenly become motivated, of course their idea would go nowhere, but it's the kind/type of motivation in the initial stages that I think too much value is being placed on.

It's nobel to think that everyone should want to start a company to solve a legitimate problem, but in reality I see absolutely nothing wrong with other motivators being the impetus for starting a company: boredom, money, curiosity. In the end, it's the result, not the motivation that ever mattered.
Why not assess just how big the fire is? That determines if you need a fire extinguisher, a fire truck, or a new house altogether.
I think it's safe to assume they've requested pretty much everything for each request. And while just sharing the number of requests seems benign, you can see a disproportionate number of requests coming from certain countries in the report FB published (https://www.facebook.com/about/government_requests). Although, I do wish these reports had a 'request per 100,000 users' column.
I notice a lot of premium sites that are poorly executed.

Either they look off if you dare increase the minimum font size a little (everything will overlap in a mad chaos, menus no longer work, etc. - this happens to the majority of websites out there today), or are unusable on mobile devices because they float large logos and menus on top of page content, obstructing it from view.

It's amazing how despite an abundance of web professionals, there is still room for such poor experiences, on premium websites no less.
I never had the pleasure of owning a detached modem, but my Packard Bell PC from 1998 did come with a Winmodem 56K card. I discovered Telnet and the BBS, although those were already on the wane.

Oh, the memories!
OK, that explains things now. But I don't think that's the best default display, especially since it is not explained anywhere. I don't recall any examples where the base inflation year is the past by default.

It's great to allow users to adjust the base year in case they want to, e.g., for purposes of inform how past past dollars relate to today's circumstances (e.g. Neil Cavuto expressing how he worked for $2 an hour when he was younger and loved it and so can we), but 1976 being the base year is not very productive, it's a floating reference that loses relevance as a default.
I would love to see if I can help you with your office search. Contact info is in my HN profile.

As for blogging. It's core to who I am. I did it before 42Floors, and I'll continue to do it for as long as it brings me meaning. I've long since understood not everyone appreciates it. But I do.
Well, I have an Excel version of this: [1]

When I order a part, I have to enter all of this data. Most of the parts I order are repeat orders; I have all of my previous ones on file. I have a program right now that makes a LaTeX document for another form I have to fill out; I put in the NSN, and it populates the form with all of the rest of the information.

Up until now, I'd thought that I wouldn't be able to do the same thing with an Excel spreadsheet, and I haven't been able to build a table like that in LaTeX. So, this extension to Python seems to be the best option.

[1] (PDF) http://www.dtic.mil/whs/directives/infomgt/forms/eforms/dd13...
I agree with you, maybe this could help the author:
http://bost.ocks.org/mike/constancy/
It's what can you do with a 40 mbps upload speed that you can't do with 1mbps?

Which is, you know - a lot. In the age of user created content, telecommuting and cloud services being unable to upload faster then 128 kilobytes per second is a killer.

If you're dealing with any type of multimedia content you can be needing to move 10-20 megabytes per cycle between a few people with ease - that time adds up, and it constrains how you work.
Special circumstances being the common case of working in your own private branch? Kinda weird to make that big of a deal out of it.
Does this include discretionary spending? I feel like that's pretty essential to understanding exactly what's going on... Mil-spending would look a lot more massive, I believe.
"Otherwise, you will have to authenticate with Github each time you push a branch."

It is possible to easily automate HTTP authentication in git by including the credentials on a .netrc file in your home directory. It should look something like:

machine example.com
login username_here
password password_here

Of course it's unfortunate that you have to have your password in plain text, but it works.
Thats really cool; did not know that.
I'm planning to get one sorted soon, just very busy at the moment and don't have much time to dedicate to the project. I've got the domain getschema.com and will put something on there when I get the chance.
I've been following this closely, but I learned some things in this presentation.
Seems like a shame that there is only one option listed for the various services. There are several good libraries for twitter, and at least ptt (http://mike.verdone.ca/twitter/) and tweepy (https://github.com/tweepy/tweepy) are better, imo, then the python-twitter wrapper linked here.
I am very surprised this is actually what's happening to me at the moment.

Keep your chin up, because it's not the end of the world. No one is immune to riding out a failing start-up; I've seen really bright and highly qualified engineers, who have just relocated their families to a new city, fall victim to a failing start-up. You have very marketable skills and will be able to find a new job faster than most people in other industries. Your CEO will beg you not to leave, and will have other employees guilt-trip you, but you need to figure out how long you want to go unpaid before leaving and stick to that threshold.

The funny thing is that you may find yourself in this same situation with another company in the future. It's a common game that start-up CEOs play and the faster you catch on for next time, the more control you have over the continuity of your employment and income. I.e. don't be afraid to cash your last paycheck and quit the very next day, without 2 weeks notice.
International Treaties are... weird. Generally (very very generally), they are agreements between governments to take certain actions, possibly with penalties if such actions aren't taken.

The penalties would tend to be trade or economic sanctions from the other signatories.

The actions to be taken usually involve creating national legislation that implement this framework [See for example the UK's Human Rights Act implementing the European Convention of Human Rights]. Broadly, once national legislation has been created, then national courts can enforce it [Until the HRA was created in the UK, UK Courts couldn't hear EConvHR cases as they can only look at national law due to Parliamentary Sovereignty]. Think of it as being similar to how US Federal Courts have jurisdiction over Federal Crimes, and US State Courts have jurisdiction over State Crimes.

This means that an international treaty can be dead in the water despite being signed, should the national government not be able to get the implementing legislation passed - think of how ACTA was signed by the EU (and member states), but rejected by EU Parliament (and some member states parliaments).

This is why it was newsworthy when the US President tried to claim that having been signed by the US obliged the US to implement it via an executive order, bypassing the democratic congress (and thus, in a way, weakening the concept of national sovereignty).

But yes, copyright laws are broadly similar - mostly because the Berne Convention is widely accepted and implemented on a national level (along with organisations such as WIPO). An example of where the subtle changes come from is because the BC specifies that exceptions can be made for "fair" use, but doesn't explicitly define what "fair" use is. Another example is the "rule of the shorter term" - when a work is published abroad as well as at home, the author only gets the shorter of the two protections, but not all signatories have implemented this. Interestingly the US was relatively late in signing and implementing the BC.

Disclaimer: I am not a copyright lawyer. I am not a lawyer in any way. But I do have a keen interest in the law, and consider myself relatively well informed in such areas.
Thanks! This is good advice. Btw, if I have a written signed contract in place and if the client does not pay and I'm outside US, is it possible to hand over that case to an entity (like collection agency) in US to take care of?

Edit: Also, is there a standar contract template for a vendor/contractor that lays down these conditions in legit manner. For instance, how much interest you can legitimately charge for each day delayed ETC. Just curious.
Pg's own A Plan for Spam is also an excellent introduction to Bayes for boolean comparison.

http://www.paulgraham.com/spam.html
No I think what he meant is why the "Defense--Military Programs" is not the same rectangle (with changing size/pos) between budgets.
> On the PHP side, I found none of the PHP AMQP libraries to be worth using. They all have compilation problems or bugs or seem to be unmaintained.

I take care of this one https://github.com/videlalvaro/php-amqplib and it's very well maintained and used by many companies in production.

Also is, it's a pure PHP library so there's no need to compile it. It's been installed +72000 times already https://packagist.org/packages/videlalvaro/php-amqplib
What is the physical wiring coming into your house made of?

Because there is no way you are getting 120 mbit's through telephone copper. If it's not fiber then you're on HFC which means shared coax. In which case, well, that's not happening here because you'd still have to run coax to millions of premises. The type of wiring is not the expensive part.
I agree with what you say but sometimes when you're bootstrapping an idea, TDD/BDD can get on your way, slowing down things.
I think the author created some prototype, released it and now is checking if it gets the community support.
I was also checking the source code and the front end is done using AngularJS and the project's structure is not that nice. Again, I think this is because of the prototyping stuff.
Linear Operators Done Right
Funny how a lot of public WLAN networks have almost the same loading speed.
At least override the scrolling in the right direction (i.e. horizontally)
If you feel you can not take the risks yourself, there still are things you can do.

1) Skip the vacation this year, give every spare dime you've got to the EFF and the ACLU. Push to have your company make charitable donations to those organizations too. Think of it as outsourcing the fix.

2) Talk about it as much as you can to as many people as you can - be unabashed and vocal in your support of people who do take the risks that come with fighting back.

The worst thing you can do is nothing.
I think it was the need for manual vacuuming. If you were running a small web host at the time picking MySQL over Postgres meant a huge reduction in potential support tickets related to non-vacuumed databases causing customers to run out of space.
(Kickstarter) Hacking Brain using Emotiv
Read up on the history of the railroad sector. It's corrupt, it's nasty, it's disgusting, and it's depressing.
Doesn't exactly shout "rapid technological progress".
Organizations - cold emails, phone calls and meetings.

Individuals - cold emails and facebook marketing. Even something as little as $100 a week could get you many many eye balls.