skysight-inc/HackerNews huggingface dataset:
Well, in math some things are true but not provable unless our formal system is inconsistent. This is one of Gödel's incompleteness theorems.

It's therefore not far fetched that some algorithms might in fact always work correctly, but at the same time a proof for their correctness doesn't exist. You can never be sure (literally!) that you're not just confusing it with an algorithm that's wrong but happens to work on all problem instances you've thrown at it so far.

IIUC, when the article says unprovable, what it actually means is unproven. To correctly describe an algorithm as unprovable, you would have to have a proof of its unprovability, which would be quite something.
They keyboard sucks because of design, not Linux - see:

http://cdn.gottabemobile.com/wp-content/uploads/2014/05/Thin...

I love my 1st gen; it's really depressing that they did this.
This Crazy Simple Idea May Just Be the Secret to the Universe
Really? I can see how it's nicer in some places, but you'll take currying and or patterns out of my cold, dead hands (and there are some cases where you do need objects).
The first thing I thought after seeing this trending on HN this morning was "damn, maybe I'll finally have an opportunity to submit a formula to Homebrew!".
Neither write has any effect on a genuine FTDI chip because both writes are to even addresses. That's also why they write to word 62 even though the checksum is in word 63 - they can't modify the checksum directly because that'd affect genuine devices, so instead they modify word 62 so that the data has the same checksum as before their changes. The entire thing has no purpose other than bricking clones.
Just to be clear to whoever downvoted me, I was being sincere. I was afraid to click this link until I googled "Kippo," and I assume others are as well or this would have more points by now.
Out of curiosity, any plans to develop your American accent (I assume you're in the USA)?

I'm not saying you don't count as fluent unless you have a perfect accent. But I am surprised how few foreigners, having mastered English grammar and vocabulary, don't take that final step (leaving none the wiser about their foreign origin).
Ubuntu got popular during the 3 year period between Debian Woody and Sarge. I think many Debian users jumped ship because they got bored of waiting for a new release so a new distro that was basically Debian but up to date was welcome.

The joke around that time was that Debian was either obsolete or unstable.
I'm not sure I'm following what you're saying a 100%, but based on this [1] i don't think the fingerprint hash is ever in memory. The TouchID camera sends the fingerprint hash directly to the secure enclave, where it is compared to the one saved there, and then the secure enclave sends a yes or no to memory, at least that's my interpretation

1. http://support.apple.com/kb/HT5949?viewlocale=en_US&locale=e...
Albumcards – tailored music delivered on a personalised card
How safe is your website? Get an a in SSL class
Some people seem to be bored as shit
I went down the same path when Ubuntu's appearance suddenly made Debian look slow and outdated. Now I have been back on Debian for a few years and it just feels better - Debian has come a long way... I believe that Ubuntu's mere existence gave it a good jolt !
Ubuntu LTS is the only GNU/Linux distribution that keeps me on Linux on one of my laptops (an Asus netbook).

All the other distributions fail short of 100% laptop support out of the box.

As I am no longer on my 20's with lots of time to spare, either it works out of the box, or it doesn't. I don't care about starting weekend projects that become week long projects just to get something working.

Or just trying out distributions to see how they look like. My first distribution, Slackware 2.0, was a long time ago.

Ubuntu is great and I do like Unity as desktop environment on my netbook.
I know for a fact that in France they test every single donation, since the "Contaminated blood products" scandal affair in 70'. They even use a 1000++€ AIDS test which can detect HIV within a 3-week time span, instead of 3 months.

Thanks the blood donation tests, I found I had a punctual lack of iron earlier this year.
Thank you, will do that next time :)
ZenPayroll is hiring a DevOps Engineer
And vice versa (see Heroin, MDMA, LSD...)
Yeah, a better release schedule helps. I recall Debian servers from 'back in the day' where you'd start accumulating all this stuff from unstable because you started needing something that wasn't 4 years old, and then it would have dependencies, and so on. It could get a bit messy.
The laborers of content moderation on Facebook
A Hazmat-Trained Hospital Worker: Here's What No One Is Telling You About Ebola
I learned Mandarin as a young adult, living in Taiwan and taking classes for about 10 hours per week. It took about 6 months to get to the level of vocabulary that Mark is using, and another 6 months to get to the point where I could handle a job interview.

Mandarin syntax is surprisingly easy, with no articles or weird things like irregular verbs or messy conjugations. The tones throw people off, and the written characters are extremely difficult to learn (for Westerners; Japanese, who have exposure to Chinese characters, do quite well at reading and writing). Fortunately, there is a Romanization/phonetic system called pinyin that makes it quite easy to get started with pronunciation and tones.

Yes, Mark is speaking with a very heavy accent and needs to work on his tones. But the fact that Mark was able to get to this level without living in China (he says he’s only visited 4 times, although it sounds like he’s able to practice with family members, including his wife’s paternal grandmother) is very impressive. I think it would be fair for many Chinese citizens to ask, if the busy CEO of a major American company who seldom visits China can learn Mandarin, why do many foreign businesspeople who have lived in China for years fail to learn the language?
Cool stuff, one complaint is that my @ sign is most definitely not Shift-2, which was very confusing when i was trying to get past the onboarding process.

I've got a UK keyboard, so it's shift-' but you should probably just say "type @"
You have to remember what kind of society Germany was. It was very disciplined and Japan-y. It's not that Germans were specially inclined to be Nazis, but they were specially inclined to follow crazy orders. It was the inheritance from Prussia. Japan was, of course, even worse. When you visit the two countries you can still notice it. Germany is mostly rid of it except an excruciating attention to detail, bureaucracy and status. Japan is more recognizably hierarchical and disciplined. Be wary of people who are patriotic and proud of following orders.
I'm sure he -does- think low entropy passwords are bad. However, once compromised, those can be changed. That's the point. (Plus, passwords aren't routinely collected and shared by governmental agencies. Just throwing that out there).

As you say, with Apple's TouchID, you are actively choosing a less secure method to access your device, for convenience. But...that's also pretty close to what the author said. "Biometrics can be use used as a lightweight, convenient mechanism to establish identity, but they cannot authenticate a person or a thing alone."

His point is that for things like system access to a Linux box, or to unencrypt data (eCryptfs, the software he helps maintain), biometrics is far too insecure.
national welfare

Now, now! You are one step away from being labeled a Socialist and then, a Commie! In the US of A, we don't ever say national, unless the next word is defense, and welfare is a dirty word you know, just a step from thievery. Dangnummit!
I kinda knew that, but thnx :)
Indian Air Force asks personnel not to use Xiaomi Phones
Say Happy 10th Birthday to Ubuntu
My year long Android game project. Could I get any design tips?
Personal Safety App
You say that like there's some doubt about it. It's satire.
Will definitely consider changing this. Currently it's very early stage so all feedback is really useful. Currently working on gathering more jobs, implementing better search and making good recommendations depending on a programmers particular skills and interests. Thanks again for the feedback. Really appreciate it. : )
Milk Grown in a Lab Is Humane and Sustainable. But Can It Catch On?
https://en.m.wikipedia.org/wiki/Dominant_minority rules India
I tried T440s exactly for 3 days and sent it back! Lenovo just screwed their trackpoint/trackpad experience (and part of keyboard as well). The virtual buttons do not work on Linux out of the box. Had to buy a refurbished T430s, with which I'm quite happy - only the battery time is really bad, I get just 2 hours on Linux.
War is not a game, no. But a lot of very successful games are doing just that ? I never play games (only table top ;-) but I am amazed how much money goes around in gaming.

And surely this is a joke: satellite communication is still way to expensive or otherwise to slow to make this happen. Its only more or less affordable at the email / phone call level.

And I assume no-one will give his life waiting for some distracted dude at the other side of the world to give order to shoot or not. Or to walk out in the open field just because that person wants you to ?
Indeed, even order harmonics in your power supply ripple create measurably more musicality and a higher resolution soundstage... (I hate myself for even _thinking_ that...)
" Many of these details do not appear
in any speciﬁcations and were obtained by a careful analysis
of the corresponding source code. This is especially true for
Bitcoin for which there exists no ofﬁcial documentation except
for the original white paper [14] and Bitcoin Wiki[3]."

Well that seems a bit odd.
It's strange. I have a hard time remembering why I liked Ubuntu right away. Maybe a blend of good enough looking, works out of the box mindset, which made a community grow rapidly and kicking a nice network effect where you would quickly find solution on their board/wikis.

I was impressed later when they managed to bring new Window Management ideas without too much time or pain.
Here's a recent article I came across that makes some good arguments:

http://michaelochurch.wordpress.com/2014/10/13/it-might-be-t...
It's running on a custom OpenGL ES 2.0 engine, but I'm in the process of porting it to LibGDX for cross platform support. There are a few bugs for older devices that I was never able to track down, which is extra motivation to rewrite.
Are there any obvious design mistakes? I see this through biased eyes after working on it for so long. I'm always looking to improve my work!
So, before I knew what linux was (and was teased on various forums) I ordered some free CD's from Ubuntu. (I didn't have the internet at home). (eventually I got them; ubuntu 5.04 I think [Horny Hedgehog from memory])

When I received them I was pleased, everything worked.. well, not everything, but it sorta worked! I had a desktop environment and a command line and I felt a small sense of accomplishment because I'd navigated the strange menu's safely before anakonda or full-framebuffer installers

Because of the peer pressure I learned about how to do my bits, and I carried on.

Later in the year I found fedora, and Blue is a nicer colour than brown (I was young and fickle) but it was less user friendly, so I committed to learn that and get off the "Noob Friendly" Ubuntu OS.

Many years later I got a small laptop for my mother, at this stage in my life I was "awoken" and I knew the power a machine could hold if it ran linux, so I put ubuntu on it- She's not the most technically apt lady in the world but was able to do most things with ease, and I put that down to having a "Good UX outside microsoft" (since most people who learn the microsoft way are generally committed to a mindset and anything outside of that is pushed away).

A few issues with Flash, some performance hiccups on some websites that seemed to try and avoid supporting linux in strange ways (that I take for granted I know how to bypass) and eventually the machine gave up the ghost.

I bought a new machine and put ubuntu on it (13.10 I think) and she was somewhat less than pleased, the UX had changed, she didn't know what was available anymore, nothing was organised in a way she understood.. and so I installed mint, she's now happy.

So I'll say this for Ubuntu, they put linux in the hands of people who we should really be targetting, it allowed me access to linux acting as a base plate and later acting as a full blown system for someone who was not interested at all in computers. And they pushed a trend for that, so we should all be thankful.
> I am sure ThinkPad T440s would be a nice machine, too.

It is, except the touchpad (which i don't use anyway)
I was curious if companies ever did fire employees to claw back vesting so I asked on Quora a couple of years ago: http://www.quora.com/Equity-Compensation/Do-immensely-succes... and apparently the answer is, outside of Skype and Zynga, the practice is rare.
> > Upgrade to newer version always fails. I'm left with a broken OS at the end.

> I'm pretty sure that this is an issue of having a more sophisticated package management.

I'm pretty sure that it's Ubuntu. My understanding is that Debian—from which Ubuntu is derived and which is also apt-based—is known for reliable upgrades.

It's part of why I've standardised on Debian.
When using python I use virtualenv. When using Haskell I use cabal sandbox. I rarely have any problems, why is it a clusterf*ck?
Also Asus netbook + Ubuntu

I've found unity is a bit heavy for my poor little netbook, and have found xfce a bit better for performance.

I use Linux mint (which is based on Ubuntu) for my main dev machine. The only limitation I've had with it is video- it can't handle the goPro stuff very well.
For a better way of pseudonymity check darkcoin and it's masternode network.
That's where the armies of young overworked law clerks intervene.
"No idea's original, there's nothing new under the sun \
It's never what you do, but how it's done"

- Nas
The author's name (Michael Jordan) might increase the amount of clicks he gets in social media too.
A follow on from this story and many moons after my "fickle" switch to Fedora/RHEL.

At this point in my life I'd been involved in a half dozen large companies and used linux on enormous scale.

I moved to a company that was using ubuntu LTS (10.04) (old at the time) in production, it was heavily invested and I expected that wouldn't change as Developers were very hesitant to change to debian (which is too old/doesn't make things easy enough) or centos/RHEL which suffers the same issues and has the added benefit of having SELinux (which I'm an advocate of understanding rather than disabling).

I go through my daily security advisories and a local privilege escalation means all our virtual machines and virtual machine hosts are affected, luckily it's patched as 10.04 is still supported so I apt-get update;apt-get upgrade and send out an email saying the server will be down for 30 minutes while it receives patches.

I was wrong, it was down for 6 hours.

unfortunately someone upsteam caused that particular kernel update to rebuild all initramfs' on the machine, and had also named lvm2 to lvm, so now my drives wouldn't mount.

On any kernel version/initramfs version

normally you can drop to shell load the module, mount the drives and continue startup, but unfortunately that stopped a lot of things from loading such as the bonding we had in place on the nics.

obviously I didn't know why it broke at the time and was attempting to get help from #ubuntu on freenode.

the response was "Sometimes it's better not to know why it broke"

that server was smoothly running CentOS before I left that company.

So in my opinion support and enterprise is where it falls down.
That's not too different from mobile based 2FA. Which also uses public key based crypto.
Yes - it almost gives one faith that the legal system gets these things right. :-)
Using Supervisord for Your Deploy Pipelines
You have no idea how deep that rabbit hole goes. Bitcoin Core is referred to as a "reference implementation", which means "you should implement all bugs referenced by Bitcoin Core in transaction verification, or you have your choice of being kicked off the Bitcoin consensus immediately, which is bad, or at any point of an attacker's choosing, which is catastrophic."
I think Opam is very cool because it simplifies OCaml development a lot, just like any language package manager does for its language.

With Opam I can deploy my code on different machines very easily by installing the right version of OCaml and library dependencies in just a few command, and it just works.

The problem with ocamlfind you are mentioning was just a temporary bug I think, I also encountered it, but it will be fixed real soon, see: <https://github.com/ocaml/opam/issues/1671> for instance.
Satire. Yes, in an extremely sad way.

Because I cannot think of something that technology made possible and yet was not implemented. In one way or another, legal or illegally.

So somehow I assume only lack of technology is withholding the implementation of this otherwise uncomprehensible setup ?

I am pessimistic about this sort of things :-(
Mandrake Linux would like a word with you.
Well, at least it's not as bad as "Go".
if you have an invite send me thx: juliengenoud@gmail.com
Simple email testing
No, of course not.

We're in the single best market for developer talent that has ever been, where a guy who is provably good at what he does can negotiate rates at double, triple, even 10X the going rate for a senior developer. In that light, what sane person would voluntarily pin himself to a Union-esque system where he is paid on a scale determined by seniority?

Ask a simple question, get a simple answer: The bottom 50%.

If you're provably bad at what you do, or are unable or unwilling to negotiate your way away from the middle/bottom of the pack then yes, maybe, a union might make sense. But leave the rest of us out of it.

It's just too good here. The last thing we want is some fool to come by and ruin it.
I seem to remember they put a lot of early effort into getting almost all laptop wifi interfaces working out of the box, which was a massive deal at the time.
> Well that seems a bit odd.

Everything known about Bitcoin comes from people directly reading the source code. That's all that was originally released next to the paper. Everything since then has been based on careful review of the source code and writing additional documentation from that understanding.

Edit: the documentation (that your reply is referring to) exists now because people spent the time reading the source code. This documentation didn't exist originally.
I've been upgrading my laptop through 6 releases (it's 3 years old), and never had a single failure.

Do you use the provided upgrade path? It's very surprising to me to hear that - we test upgrades pretty thoroughly.

Disclaimer: I work for Canonical.
However, Erlang lacks the following:
Instead of using exception handling, Erlang relies on silent
process failure which is supposed to be detected by nonresponse
to messages of other processes.

Only somewhat true. Sending message to non-existing process will not fail, but there is erlang:monitor/2 API call which allows to deal with such situations.
No, Y2K really was horrendously overblown. Is it too much to ask to have the panic and the response be proportional to the problem? You seem to be arguing that an overblown panic is ok as long as it achieves something. The panic can cause more damage/costs than the underlying problem.
As a Brit who has lived abroad.... yeah, nobody wants my blood. Well not the Aussies or Americans anyway.

Hopefully vCJD is played out now. Hopefully.
I remember 2009 ...

WARNING: Do not touch the repo until you've had more coffee ;)
This is the type of subjective stuff that happens to create an urban legend about "athletes getting an easy ride," though.

You don't really know what happened, but the eventual conclusion that most would take is:

1. he got a passing grade in spite of irregular class attendance. This is highly unlikely, but always seems to be the first place people go because "athletes get treated differently."

or

2. he got a late drop - which some consider "unfair," even in the light of late drops being available to any student for a whole host of reasons (For example, I dropped an entire semester due to depression, well after the drop date)
I'm not sure when they wrote this paper, but this is no longer true. There's some very nice official developer documentation up at: https://bitcoin.org/en/developer-documentation

Also, the Bitcoin Wiki itself is a fairly comprehensive source of documentation (and covers most of the information in the "official" documentation). It even includes an informal protocol specification[1]. It's been around for a very long time.

That said, the information they're referring to is Bitcoin's Tor support (like recognizing OnionCat addresses). I don't think there is much documentation on this specific topic. However, Bitcoin is an open source project and I'm sure any related documentation contributions would be welcome.

1. https://en.bitcoin.it/wiki/Protocol_specification
I want to replace systems like AES with ones that uses
the hardness of factoring for their security. Systems
like AES rely on intuition and experimental testing for
their security—there is not even a conditional proof that
they are secure.

1) You can prove symmetric crypto is secure
2) In the light of (upcoming fast) factoring algorithms, using crypto that relies on factoring everywhere sounds very stupid.
Do you share the development anywhere online? Are you using Menhir? I could maybe help you if you're having any troubles with the parser, I've been working on many interesting and hard (LA)LR parser issues in the past few months. What will the syntax be like, any existing language, maybe like Julia?
No, it's more "I could use FTDI parts(and I bet someplace like seeed would use the real thing), but if they are going to release drivers that have a kill command baked in(and we've seen that it's on purpose), I'm not gonna use them"
7 Controversial Internet Freedom Fighters
Uber and the Coming Disruption of Finance
Ah, guilty of murder for hire - even though there are no charges, just an indictment? So you subscribe to guilty until proven innocent?

In that case, you, sir, are a child molester, until you prove to me that you are not.
According to the site it was submitted Oct 22, 2014. So yesterday. It's still an interesting read and I'm sure it holds validity but this bothered me.
I don't have a "Retina" laptop but I have a 4k monitor and GNOME3/Unity have really nice HiDPI support now. Anything else is going to be hit and miss. I pretty much only use ThinkPads and haven't had any issues, but there are some things you need to manually to get the most out of it (like installing ThinkFan and laptop_mode).

I think it's less to do with OS and more to do with laptop screens somewhat regressing over a period of 10 years until Apple come out with Retina. New laptops will come out with better screens, open source will be written and the experience will be competitive. I blame manufacturers way more than the Linux ecosystem for this.
50+ Analytics Resources
The part that seems odd to me is that with all these developers, students, researchers, and curious users nobody documented it according to the paper. Which as stated by another user doesn't seem to be the case.
I'd take a step back and figure out how/why you "weren't successful" learning Python and "failed" with Go.

Becoming skilled takes deliberate practice. If you're not willing to put in the effort I wouldn't expect much in the way of positive results.

There has never been a better time to self-educate and participate. Pick a project, pick an ecosystem, and begin.