skysight-inc/HackerNews huggingface dataset:
I know Coq as a tool to help generate proofs. Does it generate code? Either way, it's not a verified implementation of TLS.

For that, we'd need:
(1) A set of properties to verify for an implementation
(2) An implementation to verify

Looking at http://coq.inria.fr/related-tools, there may be some related tools that could do the job. Still, there's a research project there.
The Cassowary Constraint Solver used in GSS is considered the most viable & perf-sensitive linear arithmetic constraint solver for real-time use-cases, hence Apple's adoption of Cassowary across iOS & OS X.

The GSS website is a good example, with about 400 atomic constraints on the homepage. Major bottleneck is reading / writing DOM, resolving element queries; not Cassowary's constraint resolution.

GSS uses the canonical JS port of Cassowary maintained by Alex Russell:

https://github.com/slightlyoff/cassowary.js

Adam Solove had a good JSConf talk on Constraint Programming in the Browser that touches on Cassowary.js & perf benefits:

http://www.youtube.com/watch?v=72sWgwaAoyk
I've been learning rails and recently began a personal project to build an app to automate the reinvestment of cex.io profits (i.e. bitcoins into bitcoin mining contracts - Gigahashes/sec). It's very minimalistic at the moment, but it works! http://lazycexio.herokuapp.com/
I was really expecting something 10x more complex (e.g. A special WiFi-reflecting paint that prevents missiles from stealing the A-10s bandwidth or some such).

I love how simple yet effective it is. A very "just-use-a-pencil-in-outer-space"-type solution.
Contentful (https://www.contentful.com)

Berlin, Germany we're looking for the following roles

- SDK Android developer

- ruby/golang devop

- Lucene/Elasticsearch engineer

https://www.contentful.com/jobs/
Yeah, possibly. What is indisputable is that the mooted replacement (the F-35) is as useless as tits on a boar for close ground support.
Yes, here in the UK we have adverts before the movie, and messages that say "You may not record with any device", or something to that effect.
Completely irresponsible to put a picture of his house in the article. I mean, she didn't even blur out his house number. It took me a single google search to find his full address with that number (matching street view).

It's been taken out of the article now, but the damage has been done.
It's doublethink or hypocrisy to complain about people getting fat off the government dole while getting fat off the government dole.
my favorite on the art of camoflage

http://99percentinvisible.org/episode/episode-65-razzle-dazz...
Could be worse, if he has a meltdown and hurts himself.
Direct Link to Post http://skylarrudolph.blogspot.com/2014/03/the-ibeacon-protoc...
> There are several Satoshi Nakamotos living in North America and beyond - both dead and alive

I too would like to be living in North America when I'm dead.
I'm going to take you at your word that you're actually curious.

I think you're seeing hypocrisy here when there is really a lot less in reality.

People who are in favor of a certain outcome have no obligation to act as if that outcome has already come to pass. This is why I don't give liberals a hard time because they are in favor of higher taxes but don't voluntarily pay higher taxes themselves.

First of all, most conservatives/libertarians are in favor of a smaller government, but smaller doesn't mean nonexistent. There are often large swaths of the government that they are in fact in favor of, and defense is one of them. I would be more surprised if these type of people that you're observing worked in places like the EPA, the Department of Education, and other things that the worldview opposes.

But even if… One can't just concede the playing field to the other side. If there is to be an EPA or Department of Education, been all things being equal it's better to have some conservative/libertarian people working there to keep things from getting out of control.
> What happens if the connection is lost during the conversion? Do you really want to force the client to send it again and redo the conversion? Is the document time sensitive enough that it's better to repeat the process?

No, I don't think it would be an issue to repeat the process in this case.

> f not, then I'd say that it does make sense to create a new resource: the document. You create it by POSTing the original, and the server returns a 201 Created, with a Location header pointing to its new URL. The client can then GET it to download the converted version. The document resource should have a TTL so that it can be pruned from cache.

I guess, but it forces the server to store the document somewhere (presumably in RAM). It's much easier and cheaper in RAM to answer the POST with the formatted document, and you also spare complexity client-side (only a single HTTP call and only a single location for error handling). But yes, it would be a possibility.
No kidding! I was at a shooting range long time ago, and I still remember that "brup BRUP!" of those cannons going off (double because you hear the sonic boom of the bullets before you hear the bullets themselves).

One of my favorite military planes for sure. Sad that it's getting decommissioned but it has served us well.
"why can't we position & size elements relative to each other"

It already exists. It's called margins.

But it might be hard to handle when half of the elements in the page have the following style applied:

position: absolute;
margin: 0px;
top: 0px;
left: 0px;

If your title needs to have a "width: 1121px" and your container a "padding-right: 377px;" in order for your layout to work, you're doing it wrong.

I seriously don't understand the point of calculating and generating such arbitrary positioning values.

A web page's layout is meant to stay fluid, because it should adapt to the content it's styling. Margin, padding, font-size, line-height... These are all meant to provide rules to position elements relative to both its surroundings and its content.

These Grid Style Sheets might be powerful but they're not for the web. Definitely not.
The word "simple" means many things to many people, it's probably the most ambiguous line in the Zen of Python.
Congrats Brian, Tristan and Jim!
I like the design and I like the concept (I have so many bookmarks hidden somewhere in Firefox).

Fwiw the font in the 'about' section is a bit blurry on my Firefox 27.0.1 / Windows 7 Pro x64.
Esprit Dating
http://www.youtube.com/watch?v=xOgWMYq_DC0

www.espritdating.com
VFense - Open Source Cross Platform Patch Management ( BETA )
My main concern is immediacy. There's 0 setup time, and you can instantly share your work. Especially for (relatively) novice programmers, being able to immediately link to something someone more pro can see is invaluable.
I don't think Satoshi Nakamoto is as well-known as Michael Jackson. Nobody knows who Satoshi Nakamoto is where I live. If they did, I'd be surprised.
Communication is my biggest issue with DO - I generally like their service but it's majorly frustrating when they just refuse to answer any questions about things like IPv6 (The best I could get out of them on that was 'Look at the UserVoice page about it' - which I already had hundreds of times over the years. Not really a great answer since the latest post by then from a staff member was something like eight months ago saying there's be a public beta in October which never needs up happening)
"The Echo Nest API will remain free and open to support its robust developer ecosystem."

http://the.echonest.com/pressreleases/spotify-acquires-echo-...
"engaging in a foreign language increases psychological distance and promotes deliberation"

Wasn't Latin a great invention? It was foreign to everybody (I mean after the fall of Rome) - looks like ideal for a language of diplomacy and science.
That's mostly because A-10's were specifically designed for engaging ground targets, while F-16's were originally designed for air superiority and later evolved into a multi role platform.
From the paper: "Throw away tests that haven’t failed in a year."

Hell, no.

Our unit tests provide reassurance that when somebody revisits a component N years from now, and makes a change, they are significantly less likely to break the existing behaviour, even subtly.

Throwing away unit tests is like saying "This ship has been sailing for years and has never sunk - let's throw away the lifeboats!"

Now, yes - somebody could erroneously change the test condition to make it pass, although hopefully that kind of change would be spotted by even a cursory code review. You can say the same thing about developers who carelessly suppress compiler warnings without understanding what they're telling them. However, the support is there in case I, or another developer, make a mistake.

FWIW, catching future mistakes is definitely not the only thing for which we use Unit Tests. The problem domain is hard, and for every test fixture we've written we've found at least one bug. Catching and debugging these bugs from the unit test runner is a lot easier than spotting and debugging these kinds of issues at runtime.
I haven't really thought of a skills exchange. It's an interesting concept though...

(
NOTE: for someone else who's looking for a startup idea -- there you have it: A marketplace for startup founders to exchange skills.

Skills / tasks are sold on a credit basis
Design a logo == 1 credit
Design a landing page from wireframe == 3 credits
Develop a membership backend == 5 credits

Earn credits by completing tasks for other founders using your own skills, then posts/purchase tasks for things you can't do yourself using those credits.

Monetize == let people just straight up buy credits if they don't want the hassle of helping other :)

Obviously that's not the idea I'm talking about in this thread -- just a freebee for someone who needs a new idea to noodle around with.

)

Anyway, in terms of your website People Lamp -- I don't think your skills would be a match for the scope of what I'm talking about, but one piece of initial advice: make sure your website loads with http://<url> and not just http://www.<url> ...
1. You need way more context for this question to make sense.

2. You'll get better results searching on Stack Overflow.
There was an article once with the title "sitting is as bad as smoking".

I don't know why the bad health reference is smoking really.
I'm confused, I am seeing all these comments about how it was wrong to out him and then a lot of stuff about governments and stuff.

But isn't it just crazy that they actually found him? I thought that was a big deal? Last I checked, lots of people doubted he was even a real person.
I actually wish it would also return False when the variable is undefined
>Investigative journalism has its place whenever there is information to be revealed. This story is the skeleton of that. All the investigations were done very smartly, but they didn't reveal anything relevant.

Disagree. The mere fact that Satoshi Nakamoto is, in fact, Satoshi Nakamoto is relevant in itself. We had no idea who this guy was, and I've seen countless articles on HN speculating about it. At least having an idea of who we're talking about ends all the speculation and attribution to people that are not Satoshi, which has been happening for years.
Shameless plug: I have started https://reesd.com/. Not the S3 protocol, simply scp.
It's a venture funded business. There are only three outcomes: sell, go public or crash. What were you expecting?

They also said their API will stay up:

http://blog.echonest.com/post/78749300941/the-echo-nest-join...
pencil in outer space is an urban legend: http://www.snopes.com/business/genius/spacepen.asp
A-10 was a Boyd sponsored aircraft, a fun topic: http://www.win-vector.com/blog/2010/04/deming-wald-and-boyd-...
JTSummers: I don't think it's doublethink to complain about a situation you personally benefit from. (Actually, it gives you more credibility, because you have a personal stake in the problem: You yourself would be hurt by the change you propose.)

But it is doublethink if you hold other people in contempt for getting benefits from tax revenue, or if you think they are immoral for doing so.

For example, I think Ayn Rand's position was not just that "looting" is bad for the country, but that it is immoral and that doing it makes you a bad person. A Randite who made special efforts to get any kind of money from the government would either have to think of themselves as a looter, or make a special exception for themselves.
Useful for SLICK, but I think SLICK 2.0 already has a work-around for that.
Paparazziweek.
An open source, decentralized social network based on XMPP: Salut à Toi 0.4.0
Why would anyone evaluate dates in a boolean context? They are (should be) always True.
I think that's a little unfair... Your server needs to be hardened against drive-by SSH password guessing and similar nonsense regardless of how or where it's connected to the internet.
I agree that this usage of mocks is detrimental.

I think the only verification that should be done with mocks (the verify method) is that important collaborators have been called. Things that run off and mutate some global state, or perform an action.

Stubs are useful for controlling the execution state of the method under test. You could stub DateTime such that it was midnight in one test, and noon in another, if the behavior of the function relied on that. It does introduce a dependency that has to be changed along with the code, but is often helpful.

I do agree with the author that there's an art to testing appropriately. You could mechanically write testing code for every line of code under test (if statement with single condition? Two tests to verify each path is taken!), which leads to your app being coded twice: once in code and once (or more) in the tests.
Excellent deflection from the person's point. In a way, you didn't just deflect it but reflected it back onto the person who made the statement.

You make an accusation, person reverses accusation to see if it still holds true, you double down on accusation while ignoring the point of the reversal.
Broken DigitalOcean promises:

IPv6 in Q4 2012: https://www.digitalocean.com/community/questions/is-ipv6-ava...

Ability to boot own kernel ("2-3 weeks from Feb 2013"): https://digitalocean.uservoice.com/forums/136585-digital-oce...
Or any other new music startup for that matter. I agree, this is a little disconcerting.
A lot of people are calling this "doxxing" which it isn't - identifying someone based on their ACTUAL NAME and profession isn't doxxing. It may be horrible, irresponsible, dangerous, I don't know - still forming an opinion about that, but that's not doxxing as I know it or see it defined anywhere.
That's odd, I found the 100 doors example is the most efective way of explaining it.

It's easy, pick a door, then the host discards 98 doors in which the car isn't. Do they still think that the probability of the other door left is the same than the one they picked? I want to play gambling games with them!
Agreed. I've found system testing, using things like HtmlUnit, of things the user sees to be a much better use of time that testing individual method / function / subroutine calls.

For some types of applications, you might have to make your own testing tools, though: e.g. - compiler/tokenizer might need a tool to dump & examine the generated binary; batch job file-watcher & scheduler might need a tool to supply input files and manipulate apparent system time; ...
> 5. Private network - Does not exist on Linode. Shame.

What do you mean? Actually private network did not exist on DO until recently and it's been on Linode for a long time.
A neat trick using the /proc filesystem in general, not specific to tmux. I did not know about this. Very nice.
quicker to scan-read ("code will be read many more times than it is written or modified", being the relevant axiom)
For a professional journalist to sink to such a level - with zero consideration for others in order to advance their own career - never ceases to amaze me.
Put Bieber on a website prank
That is true but as per the poster above, I've seen 10x the attack traffic on a DO IP address so any zero-days and you're already herded into a predictable net block ready to be poked.
Show HN: Easy SVG charts for your static site, no JavaScript
True indeed. Grids are only meant for architecture and graphic design. If needed, they should only be transferred to websites and apps visually (ie. http://hashgrid.com/). Transferring them programatically is a waste of time. Basic CSS will do just fine.

http://subtraction.com/pics/0703/grids_are_good.pdf‎
Unfortunately, the word "testing" somehow equates to the quality of the software which it does not, not only to managers but those who have been taught to read about it and forced to repeat back it's list of advantages. It's a false sense of security found in a process that has minimal impact on the software performance and quality.

When you write a crappy source code that performs crappy, writing all the unit tests in the world won't save you. You simply increase the technical debt to future changes in the source code or design of the software.

Simply keeping things as simple as possible, focusing on quality and incrementally verifying along each step of the way saves far more time.

It always puzzles me how quality can be increased by writing more code around existing code of questionable quality.
Correct. Non-editorial use is reasonably clear and, at least ostensibly in many cases, also requires model releases of the sort that stock photo sites require of photographers. As you note.

Non-commercial, as in "not related to making money," has never been well-defined and Creative Commons has consistently punted on this topic. Their last attempt to define it has been languishing for a good 5 years now. The problem is that if you eliminate all uses that encroach on money--e.g. an ostensibly personal blog that is related to my professional business in some way--you're left with uses that are essentially trivial. And, by the way, it doesn't really matter if there's no meeting of the minds about what constitutes commercial use and there probably won't be.
Like you, I'm a little amazed at the notion that we should collectively work assiduously to preserve the anonymity of people who have set out to have a substantial effect on the public sphere.

I think average citizens have a substantial right to privacy. But it sounds crazy to me that we shouldn't be able to ask questions about the people behind major news items, people changing the world we live in.

That's especially true in this case given that the guy used his own freaking name. Presumably somebody with a security clearance working on a cryptocurrency knows the implications of that. Yes, as a nerd I too am uncomfortable when I become the center of attention. But the whole world is not obligated to tip-toe around my personal discomforts.
what about the none-bytes-free bandwidth ?
Spritz - Reading Reimagined
Test questions like the SAT are designed to have wrong answers that look like they are right at first glance, so people who think they have a better than average chance by guessing often don't because they were baited by one of the wrong answers without thinking it all the way through.
I figured that dark spot was just the result of pilots doing dangerous maneuvers while getting shot at by tanks and AA. I'd leave a dark spot, too.
I know you are joking a bit, but if you were really thinking about jumping into writing a novel, being able to publish nicely formatted HTML chapters as you write them for free to people is a great way to get people interested from an early stage.

It's a model that has worked in the past for some people, including this recent example I heard about on NPR: http://www.sciencefriday.com/segment/02/14/2014/andy-weir-th...

He slowly published each chapter, then when he finally finished the book, he posted the ebook versions for free on his site. Eventually he added it to Amazon (and had to attach a price to it because they don't let you give away ebooks) to help people load the ebook onto their Kindle with less friction than making them download and transfer the file, he found that he was selling more copies of the book than he was giving away for free on his site.

It's exactly that model of openly sharing what you are working on with the people that are going to use or be entertained by it that we want Softcover to encourage.
I wish I was able to knit...
How about some loop that wants to break or do something when the day changes while incrementing the date?
Never used python and don't know if this is how things are done there, just a thought.
Right. And that's what I, and most other people who unit test, do. The unit test says nothing about how the object is implemented though - that's your job. As far as the unit test is concerned, the function is a black box. The unit test isn't concerned with the details of the implementation.

For testing side effects (like the function's effect on a database) you sometimes work outside the function's parameters and return values. But the point remains - you are looking at what behavior the function exhibits from outside it.
It was a little front-loaded, but the phrase "this might not even require geographic changes." at the end of his reply implies that it's less "move to a better country" and more "stop hanging around with people who damage your mental health and/or shame you for seeking help". This is very good advice, and following it in the past probably saved my life.
Pretty much. From source [1]:

All rights holders are certainly entitled to enforce their
legitimate rights in a legitimate way. But they should not
be permitted to do so in a manner that is abusive and/or to
misuse these rights.

>Seems as if Getty is exploring what could be a fine solution, that I'll probably use.

I would advise against this solution, over hosting your own images for some of these reasons:

- Accessibility issues: embedded images link target _blank to an unrelated page and source shows a lack of an alt-attribute and link description.

- Privacy issues: Embedding adds user tracking for Tumblr, Twitter and Getty Images. Unclear what is done with this data and which companies have access to it.

- Security issues: Embedding adds a third party website to your site, with all ability to execute code. Do you know for sure that Getty Images will disclose a hack, that their security is up to par with their target size?

- SEO issues: Google image results and iframed externally hosted duplicate images without a user-specifiable alt-attribute do not work well together. Furthermore you can't enrich your content with media, which may hamper web search results.

- Continuity issues: You won't know how aggressive, or low-quality the future advertisements will be. If your site happens to trigger for a porn related term, you run the risk of them bouncing your referrer (or breaking out of i-frame) for breaking their terms. Will you be notified if they discontinue an embedded image and what will the replacement content look like? How fast could you replace a few months worth of images if you want to switch?

- Legal issues: Their terms are clear. You can't use it commercially. So if you ever add advertising to your site or somehow monetize it, you run the risk of skirting the terms of service of a company that is known to aggressively litigate. You put your users at risk of downloading the image, hosting it somewhere, and getting fined, and you yourself probably run an increased risk, increased attention from Getty Images, when you embed their images. I know I would like to know what keywords appear on a page where my images are embedded, I know legal would probably like to add a PicScout scan to that crawler. BTW PicScout is known to report non-public placeholder images stored in hidden dev directories (http://www.extortionletterinfo.com/forum/getty-images-letter...)