skysight-inc/HackerNews huggingface dataset:
I definitely get where you're coming from, but the introduction of Z[sqrt(-5)] was just there to illustrate that proof is hard. Even if you never invoke an exotic example it's hard to have proof that FTA holds.

The simplest way to get at that perhaps is to just increase the scope. It's obvious to you that 10 and 15 have unique factorizations. You can compute them and convince yourself that nothing else would work.

It's harder to do the same for 9^87654321-1 but you could in principle. Furthermore, you believe it would work (you could, e.g., program a computer to do it and wait a few hours? days? something like that) but only basically because you see no reason for your experience with small numbers to eventually stop.

But now let me tell you about the Ackermann function and ask you about A(1000, 1000). Let's be clear, this is just a really large number, but now we're at a point where a computer couldn't write down the factorization in the lifetime of the universe. Are you still sure it's obvious?

It might at this point become more clear that "I see no reason for my intuition about small numbers to stop" is weaker than "I know this always works".
Well, they would be as technically valid as any other updated cert, and they would not violate any laws since a judge somewhere would have rubber stamped it, so I just don't think that word fraudulent could apply in any actionable sense.

Morally wrong, sure, but you know, politicians and law enforcement...
pika pika
Agreed. It may not be technically good, but it's as good as the door locks that hundreds of millions of people rely on to protect their homes every day. Most home doors/deadbolts are easily pickable with a few weeks' practice.

It keeps honest people honest.
Zetawar: ClojureScript tactical strategy game
Not sure at all -- a lot of critique I've seen directed at "neoliberals" (and the term is exclusively used by critics), seems to target policies that are decidedly non-libertarian.

It is always used to critisize things from the left, which creates an impression that the term describes economically right-of-center ideologies, but that's IMO just because of the difference in vocabulary between different groups -- e.g. you may see the same thing described as neoliberal by the left, liberal by the right, and "statist" by the libertarians.

Thinking about it, "statist" is a similarly empty term used exclusively by opponents -- I've never seen anyone calling herself a "statist" either.
Would love to see a full shot to know how prominent the X is. It certainly seeems quote distant from the related controls.
Ask HN: What company/companies would you acquire and why?
Imagine you were heading a large, successful American tech company based in san Francisco, and you wanted to make an acquisition.

What company/companies would you acquire and why?
I agree with your last paragraph and, if I understand you correctly, your post.

For your last paragraph, my view is that for ballpark 2/3rds of the content of value on the Internet, searches people would like to do, and results they would like to find there is no good search engine or search means. Part, much of, the challenge is your substantive, that is, how to find (suitably) substantive content. I haven't said my work is for substantive content; the word I have used is content with the meaning the user has in mind, but your substantive is a special case of my meaning. So are entertaining, artistic taste, level of detail, etc.

Sounds like you stand to be an eager user of my startup! Maybe another 3 billion people will also!

Just how to build such a tool is a challenge. I worked out how, but the crucial core internals are some original applied math I derived based on some advanced prerequisites. Some of the prerequisites are astounding -- wouldn't believe that any such things could be true, but they are, and they are astoundingly powerful.

But the user interface is dirt simple -- even a boy of 10 in Thailand who knows no English should be able to learn to use the English language version of the site in five minutes from someone who knows and in 15 minutes on their own. The user experience stands to be fun, something of an addictive adventure.

The code, intended for production, is running and in alpha test.

Ah, YC turned it down!
Ops  also Zuckerberg covers the webcam with tapes
It's still shady af
I've kinda stopped believing that high intelligence always leads to high quality discussions. Every HN thread about math or physics has many misguided comments, coming from people who are probably very smart in their own fields. I've seen that on LessWrong too, really smart math/CS people talking about biology can get demolished by a second year biology student. Noticing my own cluelessness about a topic is a very subtle skill, it took me years to learn and I'm probably not there yet. Sometimes I even feel that math/CS education has damaged me in some ways, made me too arrogant, though obviously it gave me a huge advantage in other ways.
http://imgur.com/2Vtpqz1

It's either not there anymore or it's not there for everyone.
It's definitely enlightening to see the autocomplete differences with another search engine such as duckduckgo.com
From [1], "Mycoplasma genitalium: it has only about 480 genes in its genome of 580 070 nucleotide pairs." So in average, each gene is 1200 nucleotide pairs.

A nucleotide is one of [A,T,C,G]. So that means it encodes 2 bits of information.

473 * 1200 * 2 = 1 135 200 bits, or 141.9 kilobyte.

Of course, this is coming from a software developer using numbers from Google, so I might be wildly wrong.

[1] "Molecular biology of the cell" by Bruce Alberts
>You don't necessarily need to reverse engineer the whole thing. If you're just looking to bypass a particular check

Yes you can just find the right memory address, start grepping for those lines of ASM and have an RE tool find the related assembly functions. And you design a payload to by-pass these checks.

Now how do you use this?

Well if it's running you'd need a K-Space arbitrary execution vuln to inject your hostile code.

If you want to build your own kernel binary, now you need to forge a cryptographic signature.

Neither of these are non-trivial problems. They're actually EXTREMELY difficult problems.

>Surely no one here has ever done anything of the sort.

I'm not saying this isn't _ever_ done. It's within the realm of Nation-State adversaries. But if your threat-model includes the USA/Russian Federation/People Republic of China there's already a laundry list of reason you shouldn't be using iOS or really any smart phone period.
> cropped out of this screenshot

I don't think so...

https://www.reddit.com/r/beta/comments/4o47qc/feedback_is_th...
Side note: PlatformIO (http://platformio.org/) is awesome and is how I program these chips.
> How do people pick up on connotations like these ones?

By stereotyping the people that drive them. Most cars target a certain demographic and sometimes those demographics are easy to pick out.

I bet you know some of these, I bet you have an image in your head of the typical driver of some of these cars:

Jeep Wrangler

Toyota Prius

Chevrolet Corvette

BMW 3-Series

Ford F-150

And whether or not you'd consider owning one of these vehicles would have a lot to do with whether or not you identify with the group you associate with it.
Shameless plug to a 100% OSS IoT / home automation system I contribute to that agrees. Everything IoT should be fully open source and not rely on cloud connections:

https://home-assistant.io/blog/2016/04/05/your-hub-should-be...
Starting a new project – this is your chance
How well did this work for quora?
Yes. He is a major contributor to the Linux kernel, and unless I remember incorrectly, he was almost single handedly responsible for getting UEFI support in Linux.
Because some devices and browsers have difficulty determining if they're talking to something on the local network or not. And they don't try to guess. So if your router requires you to connect via HTTPS, which is a good idea, have fun clicking past a nasty warning and then have nasty icons everywhere telling you that you're not secure.

And before you tell me to set up my own local authority and add it to the chain on every device ... common, really? Nobody wants to do that.
...my fiancée told this to her family last weekend, seriously.

I cannot wait to send her the OOTL post.
I think it's reasonable to assume he wouldn't leave the embassy, given his entire stated reason to be there is to avoid extradition to the US.

Which place he gets sent comes down to the decision of someone, likely the Home Secretary, but my memory of this is fuzzy and it could be down to the judiciary.
>How would this be able to land in the event of complete electrical failure?

this is why you'd have 2 independent set of rotors/motors and batteries (or other source of power). Each set alone at maximum power should allow for controlled descent. It may happen that in this "emergency" mode it can work only for limited time and become non-serviceable afterward, like the battery discharges beyond repair, etc...

Helicopters obviously don't have such an option so the engine cutting off puts you on a brink of catastrophe and requires highly trained pilot to avoid it. Electrically driven multi-rotors are completely different in that regard. With just a DMV driver license your grandma would be able to land one with half rotors off.
Only in as much as it lets you access content streams on the Internet. It doesn't let you control your TV via the cloud or anything. In terms of functionality I think it's pretty comparable to any other content stream you can hook up to your TV, going back to Ataris and VCRs.
How would it be identified as anything other than a routine cert rotation? You would have to have proof that you were being served different certs for the same endpoint from different devices or locations, AND find someone who cares and is not under some influence. That sounds difficult for you, but easy for a central entity to detect. Ads follow me around between devices and locations, so I am quite sure a certificate could.
NuGet API key expiration
How would they repair themselves and reproduce without access to nutrients?
When it's my personal viewpoint on hacker news, which is pretty much always?
No.

Despite your claims in other threads about employees, i am not the company i work for. I also don't agree with them on a lot of issues, FWIW. When and if i speak for that company, i'll tag it as me speaking for that company so you know.

Otherwise, you should always assume it's just my viewpoint, just like you assume anyone else's view is their viewpoint. Anything else would make for a really crappy place to have discussions.

(I find it funny that every sibling comment basically says i shouldn't have done that, and says "you should discuss the thing, not the biases", which is a fair point. Meanwhile, you are saying we should discuss the biases).
I have the same view, but there are all these companies investing billions into it, so there's something I don't see?
It's like this is being rammed down everyone's throats. IoT is heralded as "the next big thing" and nobody want to miss out on it. Which means everybody is investing and developing it, which means it will probably become a reality. A self-fulfilling prophecy of sorts, which is kind of sad because IMO it's not a particularly compelling vision. There are thousands of things we could improve rather than placing chips with sensors everywhere.
It's certainly possible to get a trusted certificate for a LAN-only device. DNS-based validation is your best option here. The only requirement is that you use an ICANN ("public") domain. This is not a requirement made up by Let's Encrypt, but rather by the CA/B Forum and applies to all CAs (for good reasons[1]!)

The Plex approach would be possible with Let's Encrypt, though you would have to find a way to avoid running into rate limits (via PSL or by making users use their own domains, which is admittedly only an argument if you're catering to a technical audience).

[1]: https://cabforum.org/wp-content/uploads/Guidance-Deprecated-...
Q&A with Andrew Mason
Not when "subscription = no ads" is an option. Which it will be, because a lot of consumers prefer not having ads over saving a dollar or two a month.
The second sentence contains falsehoods:

"Peter Thiel, who is a Facebook board member and Donald Trump delegate, secretly sued Gawker in a proxy lawsuit and, even though the case is unresolved, it was enough to bleed and bankrupt the company."

Peter Thiel did not "secretly sue" anybody; he is not the plaintiff. There is no such thing as a "proxy lawsuit." Paying the legal bills for a plaintiff whose lawsuit advances your agenda is not unusual; the ACLU, EFF and NRDC do this regularly.

Saying the lawsuit was "enough to bleed and bankrupt the company" even though "the case is unresolved" makes it sound like Gawker was bankrupted merely by the expense of litigation. But the verdict is in and gawker lost. The case is only "unresolved" in the sense that appeals have not been exhausted.
Probably pretty well, I still find ways to avoid it. I have yet to register. I am more likely to register on websites that don't pester me than on websites that do.
As a huge reddit user, this is a quick way to erode my trust and good will. I'm disappointed that they would even A/B test this at all.
There's no reason that link can't redirect you to a local dealer.
I think he should have renamed the project when he forked it. This sounds disingenuous to me.
Yah, I think they feed off ions, not voltage.

There are similarities, but they are not the same.
Language of the Month: Smalltalk
As a huge reddit user, you are probably logged in and won't see this message.
If you're going to complain about biases in an article or comment, you have to highlight your own. Disclosure isn't a statement you are speaking for your company, it's a statement you have a direct vested interest in the topic at hand. Such as being a significant stockholder, or receiving a paycheck from one of the companies being discussed.

Another example is if you review a product, you should disclose if you are being paid for the review, if you received the product to review for free, or even just if you got a discount on it in exchange for a review. It doesn't make it any less your opinion, it's just denoting the potential bias in your statements based on your relationship.
Is it? A large chunk of all scientific and numeric computing software is written in FORTRAN.
Because every device and program uses more or less the same list of trusted root certs. Yes, you can install your own root cert and run your own CA for stuff like this, but it's a huge pain in the ass to actually install the cert on all your devices. Sure, you can put that cert in your Chrome trust store. But what about Firefox, Safari, IE/Edge? What about your iPhone with Safari and Chrome? What about curl/telnet? What about your daughter's tablet, your son's gaming rig, your wife's e-reader? It's all just so much work. Businesses that have in-house IT departments can get away with it because they provision hundreds/thousands of identical installs of the same software. You don't have that in your house or small office.
I completely agree and fought pretty hard towards that, but the court eventually agreed with the state/city.

Excerpt from the court docs of my suit:
Additionally, the Illinois Attorney General's Office Public Access Counselor ("PAC") has established that City-issued cell phone numbers are exempt from disclosure pursuant to 5 ILLS 140/7(1)(c), because the disclosure of these numbers would constitute a clearly unwarranted invasion of personal privacy. As the PAC reasoned, certain City employees are issued cell phones so they may be on call during non-work hours or while away from their offices. Disclosure of these numbers could subject staff to excessive phone calls from the public at all times of day. Further, if staff were forced to turn off their cell phones to reduce such intrusion, they may not be readily available to attend to the business of the public body, defeating the purpose of issuing them cell phones. (See 2010 PAC 8685, issued September 30, 2010, attached hereto as Ex. B.)

Thus, the only phone numbers which are not exempt under FOIA are those that are publically listed and are not home telephone numbers, personal telephone numbers, or work-issued cell phone numbers. In other words, FOIA only compels the production of listed numbers belonging to businesses, governmental agencies and other entities, and only those numbers which are not work-issued cell phones.

That said, this isn't stopping me from continuing aggressive requests that will eventually get me similar information. I know of a way of getting the information they say I couldn't have, while maintaining it as 'public'. need to think through some small details first, though. Don't want to mention it online, though. ;)
Show HN: 24bit RGB "AnsiArt" Terminal Image Viewer
Just pretend the U stands for unpiloted.
They use electricity as their energy source, but they still need a source of matter from which to synthesize their biomass. Just like plants derive energy from light, but they still need to take up water and CO2 to synthesize glucose with that energy.

Separating the concept of an energy source from a source of biomass is difficult for us humans because everything we eat supplies both in roughly equal measure, but there are many examples of organisms that use different sources for their energy and their biomass.
I am not sure -- not that I´ve noticed, but then again I certainly haven´t been trying too hard to do anything that would run afoul of what could possibly be considered ok. News sites all over the world work fine.

I am using the web out of an int´l firms office, though, and I know they have to obtain a special permission to use the internet, so that might be the big issue.

What I have seen is sort of a reverse censorship, though: I was navigating some docker documentation, for instance, and at one point I landed on one of their pages which said that, because of the embargo, they could not serve me the content I was trying to access.
An emotionally economical strategy would be to start thinking of reddit as a business.

So for instance, if a given strategy is statistically effective, they are quite likely to discard your individual trust and good will.
Despite the fact that that's the title, it's a quote from the interview that sees no other context or discussion in the interview itself (the interviewer doesn't follow up about it at all!), so a better title in this case might be "Interview with Andrew Mason".
A particular type of "bypassing a check" is the goal of jailbreaking—and it's just redone for every update. People with the right motivation can do crazy things.
It looks like you would still be able to read the remaining content if you click "continue" instead of "log in"? I'm not entirely sure why reddit would insist on users creating accounts, anyway, since (last I checked, at least) you can create an account without providing any real information: just a username and password. Not even email is required.
AO-7 is still kind of going, again. It was launched in 1974! http://ww2.amsat.org/?page_id=1031
I don't have a whole lot to say about investor incentives because I've been a bootstrapper for ~13 years now, but this (useful!) piece is missing one bit of incentive that my experience suggests is pretty important.

For corporate investment, either direct or through investor arms, an important incentive some companies might have is to constrain your M&A options down the road. Between information rights, potential board control, investment terms themselves, or simple signaling, taking investment dollars from a giant company might make it difficult to do deals with that company's competitors. I feel like that's something that happened to a pretty big startup I worked for before.
This looks like it still uses https. Currently I am giving openkeychain on android a try. It's trust establishment process is very interesting.

Sadly I understand https much better than alternatives, due to web hosting experience. I am trying to catch up.
Crims set up fake companies to hoard and sell IPv4 addresses
Fresh X86 Xeon Phi Lineup for HPC and AI
This critique confuses me:

"In December 2014, facing a new law in Spain that would have charged Google for scraping content from Spanish news sources (which, after all, have to pay to prepare their news), Google suddenly withdrew its news service from Spain, which led to an immediate drop in traffic to Spanish new stories."

So Spanish law changed to try and force Google to pay for indexing their news content therefore Google responded by no longer indexing their news content - and then they complained they weren't being indexed?
On a sidenote, you cant help but walk around here and also feel that, should commercial relations someday be fully normalized, there is going to be an economic boom here unlike any the world has ever seen
Continue goes to the registration form.
Fraudsters Are Buying IPv4 Addresses
That is wrong analogy. Compiling the code doesn't mean it will run.
House Speaker shuts down cameras during sit-in, so CSPAN uses Periscope feed
In principle this is good.

In principle, the dac and amp should be paired with the transducers. The longer the digital path, the better.

If you have high-end analog headphones, you might already have a headphone amp. Now a headphone amp will have digital inputs.

BUT this opens the door to various limitations imposed by content publishers. That so many people are so opposed to usb c audio, is a damning indictment of the content publishing industry's untrustworthiness.
Fowltalk – A New Smalltalk – Roads Less Taken
BTW, irrespective of whether Ehang or Volocopter is first: range/endurance for the purely electric ones is going to be a sore point until batteries improve significantly, but yes, I could also imagine the rich zipping around (and to/from the airport) in these in metropolises such as Beijing, Shanghai, Jakarta, Sao Paolo, etc.

Can't wait for better batteries (or nice and light hybrid technology)!
Mozilla Awards $385k to Open Source Projects
Deep Learning Framework Caffe-MPI for KNL Released
> They trust me because of personal history

That does not mean that you know something about Security.

> ... why should we trust you?

That's exactly the point. This is INTERNET, we don't trust anyone, it's a dangerous place to do such action... but we have to, otherwise it's better to go a live up in the mountain.

So, I prefer to trust Symantec/Google/DigiCert/etc... instead of some small business that does not even know the meaning of updating software or change default passwords.

The chain of trust it's a burden, I know, why we should trust anyone? But there has to be some level of trust between two parties, and, if we can have a third one (Like an escrow) that can ensure that trust I think it's great. Even using asymmetric encryption you need to trust the other party's public key...

A quick example of an unencrypted, cert-less network, an unsecure one with tons of vulnerabilities is the SS7 and the GPS systems... Since they cannot add Certificates to their BTS (base transceiver station) or their satellites, because of roaming technology, it's quite easy to set up an antenna an spoof them[1] and have full control over you phone and GPS[2]

[1] https://julianoliver.com/output/log_2014-02-13_17-17

[2] http://permalink.lanl.gov/object/tr?what=info:lanl-repo/lare...
>contextually relevant

I take issue with this. An ad for Deoderant spliced into the middle of my friend's feed is not contextually relevant. The list of "suggested feeds" aka ads they shoved into the top of the client are not contextually relevant.

It's difficult for their ads to be on target for anything other than their promoted feeds. Video is not search.
First I was like, "How does it detech screenshots in other apps?"

Then i was like, ahh, it must look at the images added to the Photoroll :) It should be added somewhere on their website like FAQ.

I need to try it out!