skysight-inc/HackerNews huggingface dataset:
>That's correct in theory, but in practice I'd be very surprised to see a useful program that couldn't be verified by ZFC.

I think you do too much easy theory if you think that, if you'll excuse my saying so. A lot of the firmware code I write at work is just not going to be formally verifiable in any practical way without scrapping it and rewriting in a language built around formal verification from day one.

Besides which, a Python interpreter is a very common sort of program to write, actually, and I don't expect that you can "just" do the equivalent of `Require Import ZFC` to verify its behavior properly.
I think Adieu (https://www.adieu.io/) is attempting something like this.
LG wants to build graphene microwaves
https://blog.cloudflare.com/universal-ssl-encryption-all-the...
I was not aware of this option. However, it seems to be operating out of China. How does that affect security and availability in the long run?
Well, if the buyer of the certificate authorizes everybody to use the private key, technically it's not a "use [...] in an unauthorized way".
Millionaire Match app review
The State of Front-End Tooling
If add's didn't do such shitty things I'd happily run with them on with sites I like so they'd get the revenue but I'm not exposing my computer to their shit to nominally support sites I like.

If you block me for using an ad-blocker I just won't use your site/share it/talk about it or anything else.
I think it's the same reasoning with paywalls. I stopped going on pando when they paywalled. I don't see why I would pay to read Paul Carr feuding against the Intercept, the entertainment value is mild, and frankly I would better use my leisure money at the pub or for renting movies.
"The normal notion of a patent is that the patent covers the creation of something, but not its use."

Quoting from http://www.nolo.com/legal-encyclopedia/improvement-patents-n... :

> New Uses for Existing Inventions

> You can also get an improvement patent for an innovation that provides a new use for an existing invention. For example, in 2000, the Federal Circuit allowed a patent for the idea of using Bag Balm -- an ointment normally used to soothe irritated cow udders -- to treat human baldness. The court found it patentable, because it's a new use of a known composition.

Quoting from http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3146086/ :

> In addition to patent protection for the original compound and method of use, patents directed to new uses and treatment indications can be obtained. Developing new methods of use for identified compounds can be a successful strategy for maximizing research dollars and for increasing the commercial life.

Those sound like it's possible to patent use, in addition to the 'creation of something.'

There are several types of patents listed at http://www.uspto.gov/web/offices/ac/ido/oeip/taf/patdesc.htm . One is a patent on new varieties of plants (see https://en.wikipedia.org/wiki/Plant_Patent_Act_of_1930 ). I don't think that counts as "instructions or the specifications for the creation of some object."

You wrote: "Otherwise, you would need to sign a contract for buying a hammer (assuming it was patented) outlining the allowed uses."

I believe this is almost exactly what's at issue in the NYT article, replacing hammer with ink cartridge.
One way to push ads into a more palatable direction would be to have a browser that goes much farther beyond current ad blocking. I'm thinking closing all 3rd party domain connections after 2 seconds of loading time and/or turning iframes into click2flash-style empty boxes. I don't care so much about ads showing up, but rather the endless cascade of ad-reselling that happens during page loads and makes my phone have poor performance while the page self-flagellates with ad calls. Get your ads in quick or render them on the server or whatever. I feel like something like this (with white lists where necessary) would help people get to a happy middle ground.
It's not that strange. We can write all kinds of program analyses that are decidable, but which are necessarily conservative, and we end up deciding what sort of conservativeness (which side we want to err on) in different situations. What this does mean is that you can't really write a Grand Unified Formal Verification framework and get some wonder-of-wonders benefit just by switching to functional programming.

I've also spent enough time around Haskell coders to notice that the instant you give them a fresh new language feature, they will push it right out to the limits where the compiler's conservative analyses no longer work and the programmer has to manually assert that the code is correct.

Nothing will really save the programmer from having to think clearly about their own code, and most language features designed to ostensibly help do so just enable compiler-abuse at a higher level of abstraction.
The iPhone was a successful diversification.
How to get a good credit score: A free guide for India
I genuinely hope he will succeed. Adblocking is becoming too mainstream and too easy. Nerds are loosing competitive advantage.

And current ad-blockers are not effectively blocking Adwords, Facebook and other major players. We need something to level the field, to bring smaller players and more innovation.
while I in general also disagree with the whole CA thing one has to admit that running a CA is not for free.
That setting up the auditing, buying a HSM, running the interfaces and so on.
And last but not least running the CRL/OCSP infrastructure. From my point of view the main part you pay a good CA for is that they run the OCSP service. Though with OCSP stapling that burden is a bit relaxed.
DevOps for the Dotish – Part 1 – Introduction
I see.
So the PCB part does this "adapter" work to make the screen "talk" with the R-Pi, right? Screens for mobile devices, don't they have any standards someone can use to build a similar PCB?
Also agree. It's especially broken on mobile, which seems to be the Wild West of grabbing accidental clicks and seedy tracking.

I don't mind ads. Trackers need to be outlawed. I'll tell an ad service what kinds of ads I'd like to see if they'd like. I don't want to be tracked though.
They lowered that to 10 lately. I was also surprised but I guess they pissed of others in the biz. Usually I see it limited to 40 by the comercial options.

On the server side you've to make sure you run a decent nginx/apache with OCSP stapling support. Their responders are slow.
RAM is their latest album. Alive came out before it.
It's not uninvited, you're requesting the website.
> I wonder how long you need to be on a website before they've sent you more HTML data than you would have had to deal with pulling down the Javascript and just pushing JSON data into it. For the mobile web at least, you win.

I was talking to a young person that sometimes buys her mobile data plan in 20MB prepaid chunks, complaining how fast Facebook eats through that data.

Now I don't have Facebook (or a data plan, my ISP has "hotspots" all over town), I was curious and asked her how much Facebook does 20MB buy you, anyway?

She said sometimes when she does a full reload of the page it costs 3-4MB. I told her, did you know that's enough data to fit the entire LotR trilogy, or the bible? (either of them are about 3-5MB, zipped plaintext).

I agree that the things you say could potentially save a lot of bandwidth, but the reality is, in practice they really really do not, not by far :-)
I'm so annoyed with watching ads being my capitalist duty. I do not want to be told to buy things I do not need. What I want is to look at a web site, not to be told to buy shoes.

If you think, website owner, that I am losing you money by refusing to be told to buy home insurance, then just give me a way to give you that money directly and stop nagging me about it.
Maybe availability but as long as you generate the private key part and paste your CSR on the website they can at worst revoke your certificate. So from a security perspective they're not worse then the others.
Show HN: InvestinStartups.com, the best Q&A platform for startup investors
Delphi 10 Seattle Highlights
The fact that climate has gone through major changes before is the reason people are worried. If it had been stable for a billion years, we could be confident that powerful negative feedbacks keep it that way.

Instead, we see minor initial changes kicking off positive feedbacks that take things much further. Hansen's book goes into this in detail.
Lock-Free Work Stealing, Part 2: A specialized allocator
Mozilla should probably add 'charging for revocation' to their list of problematic practices (required to be included in Firefox). Not that revocating compromised certificates isn't already required, but just that some behavior by poor CAs needs to be explicitly pointed out: https://wiki.mozilla.org/CA:Problematic_Practices
I find critic reviews to be of minimal value. My personal likes and dislikes are not correlated to critics ratings.

Music reviews can be very political or based on popularity of the artist(s). In gaming a very low score can almost always mean a very flawed game. In music a low score can just mean that artist didn't progress enough or wasn't what is in fashion right now.
I make exceptions for ad supported sites that don't use trackers, like Duck Duck Go. I think we all should :)
Amazon Restaurants
It bugged me that the 2-brick possibilities pic in [1] wasn't ordered so I made this http://i.imgur.com/ShWZnwl.png

[1] http://www.math.ku.dk/~eilers/lego.html
There's a difference between the vague "yeah, some albums are subjectively disappointing" vs "these albums are disappointing for these objective criteria".

Yes, the sky is blue. What shade? what's the gradient? what factors affect it? what causes a staggeringly "sky blue" color as opposed to blue-tinted overcast? how does looking thru a projected shadow affect what's seen? I had an art teacher point out that the lesson on painting landscapes included explaining to kids that the sky comes all the way down to the horizon, something that startled most of them.

Yes, you know. How well?
Thank you all for your words of wisdom. Appreciated !!
I think your viewpoint is fair. The aspects with hft that strike me as unfair are generally the result of bad exchange practices, such as lack of transparency in customer segmentation on their platforms. If it was all out in the open with price tags on display, I think the problems would fade away. Instead, the exchanges are running their businesses with about as much integrity as a bucket shop.
sslabuse@comodo.com it is

4.9.2 Who can Request Revocation
A Subscriber or another appropriately authorized party
can request revocation of a Certificate. An authorized party includes an RA, regardless of whether on behalf of the
Subscriber may request revocation through their account.
Other parties may report suspected Private Key
Compromise, Certificate misuse, or other types of fraud, compromise, misuse, inappropriate conduct, or any other matter related to Certificates, in the first instance, by email to sslabuse@comodo.com.
I think that's wrong for at least some contexts, because - for example - Python is so slow that it can literally become the bottleneck on any non-toy server. So unless you're running a one-person blog or don't carDjango should probably not be your first choice for a scalable production server.

People argue about languages because they all have different trade-offs for performance/efficiency, initial development time, developer cost, developer availability, and maintenance.

The differences are real, and they have real effects on the profitability and the prospects of success/failure of any project.

Management quality and culture do too, obviously. But you can assume that for a given level of management competence, different languages will still create different business outcomes.
To start reading your emails, an intruder would have to work backward from that product and identify the two primes that were multiplied to produce it — a task that’s understood to be impossible given the limits of current computing power.

There is a difference between "impossible" and "will probably take a really long time".
Cydia+download+and+cydia+install
I don't care what the average CEO makes or how flawed her statement is. What I care about is how many people are employed by those top 350 companies? And what defines a "chief executive"? Someone who owns a corner store with 2 employees? Say 100,000 people are employed, and 6,500 companies employ 3 people, and the remaining 350 companies employ the rest of the population (99% of all businesses in the US are small businesses). That means Clinton's statement still applies to 80% of the population, even if it's not about the "average" CEO.

What matters is that the majority of Americans make colossal magnitudes less than the majority of their CEOs.
The inventor of 0 is from India but Gypsies too.
It's never really managed to gain much traction, but I've long been fond of Flattr's model: you allocate a monthly budget, and that's then split across all the sites you've flattr'd that month. (If you really liked something, you click more than once, to give them that many more slices of the pie)

That way, you know how much you're spending every month, avoiding the tip jar situation where you might wind up donating more than you'd reckoned, and you're able to contribute, even if modestly, to that many more sites than with, say, Patreon.
There could be a machine that scans a person's boarding pass and assigns them a number. Then everyone is served by their number. And you can't get a different number if you try to scan your boarding pass again.
XRay the LLVM\Clang source code
I find the Gmail interface slows down dramatically when i'm in the train without an internet connection. Mu, on the other hand, keeps on trucking.

/s :)
I've received 5 – 9% of traffic from people who can't spell Miley Cyrus
Apple is upping its AI game but can it become smart as Google without tracking?
Sure, the row and col stuff makes sense ... which makes it all the more bizarre that the terrible inline-as-classname stuff is included. I fear it might be more a 'troll' than a joke; either that or this person has really got the wrong end of the stick.
its nothing to do with the regex. its the algorithm and its suitability 'any function containing test in its name' being a test is a stinky practice.

using something well defined is what i would expect from any programmer at any level.

this is what we call a 'hack'... and its a particularly revolting one.
I agree that it's a waste of talent and money, but how is it evil?
Tell HN: Take my idea: dream home designer
If I was building a new home for myself I'd love some incredible dream home deigned software to help me design a home I love, incorporating a library of ideas, and a community to share a collaborate with.

Some smart YC company should build this.
E-mail reminders: delivery delay as far as 2020
I have never understood this issue. Companies that are supposedly losing millions, and in some cases billions of dollars to ad blockers can't figure out how to randomize ad sizes, links, div names, etc with each page load to the point where it would be impossible for an ad-blocker to deal with it? No footprint, no blocking. It really is that simple.

The issue is more difficult with ad networks, since they always point to specific domains and run specific bits of javascript. But it seems to me that ad networks could simply offer a PHP et al script that publishers could locally host and include in their content that would basically proxy the connection between the user and the ad network. Clickthrough URL's would appear to be on the originating site, like any other content on the site, and the script would forward them to the appropriate site.

I have given this all of ten minutes of thought, and I'm on my way to a solution. I don't buy that companies with real money on the line can't solve this issue.
I'd love to see something along the lines of Spotify's model for the web. Let me pay a set amount per month, then distribute it among all the websites that I visit, weighted by number of visits (or some other more suitable metric).

Adverts for those not signed into the scheme, a blissful ad-free existence for those who do.
Available in German only.
There is a difference, though. The above code is still executable in that it renders the proper styling via JS at run-time, rather than at "compile" time (i.e. when it is preprocessed).
Although bear in mind that bootstrap still does class="alert alert-danger" so they disagree slightly on that point.
"weird Japanese spaceship from the future"

I must like that look then - i rather like the looks of i3 as well!

NB And I'm not even a huge fan of BMWs after owning an X5 for a while....
What's with security articles being in notoriously insecure PDF format? Can people not export HTML?
There's someone around who matters more than you: Googlebot. Google wants sites to serve users and Googlebot much the same page, and will penalise sites who don't.
My problem with ads is mainly that they could be used as vector for attacking my machine. Two secondary problems that are not unimportant are that ads sometimes redirect me to other sites while in the same tab if accidentally clicked and can be quite obtrusive. If those two are fixed, I don't minds ads at all when privacy concerns are minimal (anonymous tracking).
A lot of people are comparing this to just buying an Android tablet and saying it doesn't make sense. You're probably right :)! The Pi has so many more use cases outside of just typical Android use however that this product does make sense for.

My example is that you can rig the Pi to work with your own Receiver as a wifi flac player with this device: https://www.hifiberry.com/. You have to control it over wi-fi, but having a console that I can go up to and interact with will be awesome. Also will be great for people like my Father-in-law, I wanted to build him a device that has all 60s/70s/80s rock for christmas, but I didn't want to have to set-up a wifi router and get a device for him just to control it.
Seems to still be a lot being done in the name of security theater in the US, and just wasting dollars on the TSA, for what appears to be very little effect.

Who's really profiting there? Is it just for the employment of people that otherwise wouldn't have a job? Or are the majority of citizens there really made to feel more secure by having them? I'd have to say some defense contractor is getting a bit fatter off this.

Seems like a ridiculous waste of money.
Homework and Discovery were massive in the uk/Europe but maybe not America. When you add in some of the collaborations on that album I would always have expected it to be massive. Not sure what the American perspective is on this though?
How to lie with statistics?
No, just a fringe blog....
>highly respected

I'd say "highly alarmist" based on what I've read from them over the years. They're pushing people to use their product, so it makes sense for them to publish alarmist stuff which segues into their product offerings.
The problem in this case is that the data does not belong to the US government, but to a private person. If the law in Mexico says that you're not allowed to give someone else's object to the US government, obeying US law might require breaking Mexican law.
What It's Like Running an Arcade in 2015
How we onboard new employees differently at Bizzabo
Humanizing Technology: A History of Human-Computer Interaction
What? Revoking expired certificate is not required, and would be a completely useless thing to do, bloating CRLs for no gain whatsoever.
Greenwald VS NSA debate
Reminds me of this story:

Jail keys changed after TV lapse http://news.bbc.co.uk/1/hi/england/london/5145026.stm
How many websites do you subscribe/donate to ?
Yeah, you can use trademark law to enforce quality control, which makes much more sense than using patents, which the product might or might not even have.
Show HN: Culll for data science
Most companies don't serve their own ads. They sell an iframe reference in a particular kind of page to someone else who runs their own adserver software, so there's a detectable footprint for organisational reasons.

Quite often there's more than one level of resale; I've seen five and a friend who works in the business told me he's seen even more.

(Digression: I have also heard that Ghostery (.com) makes most of its money by telling companies what ads are on their web pages.)
I love this idea, and would be more than happy if Project Wonderful [1] provided such functionality for end-users. Oh the joy of being micro-patron of my favourite comics :)

[1] https://www.projectwonderful.com/ ; they serve ads on several popular webcomics
So long as I'm only targeting and paying for myself, this is a fantastic idea. Just need a how-to for folks who are not inoculated in the ad culture; most of your instructions were inscrutable to me.
In Search of Chinese Science (2009)
But there the author is talking about people he loves.

I perfectly understand that not everyone is loving all of one's family members. But love is probably one quite universal sentiment, is it not?
Checked out Adieu, it does sound very much like what he/she described.
Comparing Python Command-Line Parsing Libraries – Argparse, Docopt, and Click
> If you block me for using an ad-blocker I just won't use your site/share it/talk about it or anything else.

This. I'm completely at ease with this as a solution, but I think it's why most sites don't (and won't) block folks using ad-blockers.
how about a feed reader than displays the ads of the source sites, I hate checking a site and there's nothing new but I still get the ad.
I have to call bull on this. You'd donate to my tiny site that popped up in a Google search, one that you'll likely only visit once? Just by me providing a donation link?
That's a silly argument to make. It's just not easy to setup a donation system as easily, if sites I visit had an option for easy microtransactions many people would do it in a heartbeat.
If a PHP snippet is used and the connection is proxied through the server how does the ad network guarantee the server actually includes that ad with the response?
In almost every case, confusion arises when the "how" is taught with no explanation of the "why". Why does that formula work? Why did you use that formula?

Whole worlds were opened up to me when I learned that the fundamentals of trigonometry, like the simple computation of sin of an angle, are all related at its base to a square but no math teacher ever made that connection for me.
That statement will totally prevent bad guys from using the trusted cert to scam...
https://en.wikipedia.org/wiki/Michael_Chertoff#Body_scanners

"Michael Chertoff has been an advocate of enhanced technologies, such as full body scanners.[25] His lobbying firm Chertoff Group (founded 2009) represents manufacturers of the scanners.[26][27]"

"Michael Chertoff (born November 28, 1953) is an American attorney who was the second United States Secretary of Homeland Security under Presidents George W. Bush and (for one day) Barack Obama, and co-author of the USA PATRIOT Act."

It isn't just a defense contractor, it's the former head of the DHS who implemented these policies and gets kickbacks from body scanner use. He set up the nationwide deployment of the scanners, then profited directly. It's corruption to the extreme.
Computers for cross-platform development
I understand the iframe/network issue, which is why suggested a downloadable script that publishers could host that would grab the ad server-side, reference it as a a locally-hosted image or include the text of a text ad in the native content of the page, and send all links to a local redirect script. It wouldn't be that much more difficult for a publisher to roll such a thing out than it is for them to add the iframes or javascript they use today.