skysight-inc/HackerNews huggingface dataset:
Clive Brown is the CEO of Oxford Nanopore. He is making a case for small devices sampling DNA data where it occurs, such as in food and waste processing, and even in a toothbrush (he may be kidding on that).

Currently, his company is producing a USB stick sized DNA sequencer in a broader Beta testing program. In the talk he also considers going direct-to-consumer for quantified self rather than getting regulatory approval for medical applications.
There is a subtle difference between company wide push to get rid of employees and severing employment on an individual basis. Giving presumable older people more in the first situation looks like a systematic effort to get rid of them.
The great thing about Linux is that if some software supports one distro, then there's always a sane way to get it working on other distros.
> I can imagine a future world in which package management tools understood containers

Solaris has had this with zones since, IIRC, before Oracle bought Sun.
Reed–Solomon error correction is one of these things that still feels like black magic to me.
This is very true. I work in the public sector and while we often need to store petabytes of data we have a hard time finding and keeping engineering talent to do stuff like this. Instead we buy expensive enterprise stuff. I find it frustrating.
Thanks @takeda.

Are you aware that we did not roll our own crypto? Instead we used the NaCl crypto libs[1]. Weave adds about 300 LOC to integrate NaCl.

You can read about it here - http://docs.weave.works/weave/latest_release/how-it-works.ht... You can also read a bit about weave crypto in the comments from mradestock and msackman elsewhere on this page.

I would be extremely grateful if you could provide actionable advice (or help) on which other crypto libraries could fit our requirements for weave. Please note that in addition to functional requirements, any library must be open source, hard to misuse, easy to package, and demonstrably safe.

alexis

[1] http://nacl.cr.yp.to/
Cloud control: geoengineering and nuclear war
It amuses me to think that millenials would interpret that line as meaning that it was clear and sunny.
I understand what this does (basically, decentralized verification of the ownership), but I'm not sure what is the real-world compelling reason for using it.

I mean this solves an issue of verifying the legitimacy of the ownership, correct? For the initial (creator -> 1st customer) transfers, the only party interested in this is the original creator, but I don't see how this is better than keeping a simple list of transfers in whatever form the creator wants. I guess the customer may also find it useful for audit purposes or something, but again, this doesn't seem that much more useful than a conventional papertrail.

Secondly, it looks like this can be used to enable the resale of the rights. But then it means that you have a situation with a party that is willing to pay for the work, but this money is guaranteed NOT to go to the creator. So it's not in creator's best interest to have their work "ascribed".

Unless I am missing something, what's the reason for a creator to participate in this?
Juicy quotes:

> The solution to global warming is to stop putting out greenhouse gas. And we know how to do that. We have the technology. It’s sun and wind

> If you could put a cloud in the stratosphere [...] it could cool the planet [... But] I don’t know of anybody who has come up with an idea of how to do it safely.

> The one thing called geoengineering that probably is a good idea is to take carbon dioxide out of the atmosphere. Unfortunately, it has the same name—geoengineering—as these other proposals

> I don’t really fear geoengineering because I don’t think it’s ever going to happen.

> The greatest fear [is] global nuclear war.

> the climate change caused by nuclear weapons could be much more devastating

> more people could die in China than in the United States and Russia combined, even if no bombs were dropped there

> the CIA called me up four years ago and asked, “Could we detect somebody else trying to control our climate?” Well yeah

> they were also asking is, “Can we control somebody else’s climate?”

> if you want to change the way people think you need a movie with Julia Roberts, not a professor giving a lecture.

> We worry about tipping points in the climate system but there are also tipping points in human behavior. If you look back at the United States 10 years ago, could you have imagined gay marriage or legalized pot or a black president?
If we're throwing peer reviewed journals, I'd like to add this the mix because its siting in front of my desk:

http://www.ncbi.nlm.nih.gov/pmc/articles/PMC2364932/pdf/MBD-...

(Check out the more recent citations for further reading)

I'm not diminishing the danger of super bacteria, and I believe being in hospitals is perhaps just as bad as being in some war zone in terms of mortality if you're immuno-compromised or recovering from a disease/surgery, but I find it odd (not really, I've seen the self-defeating internal machinations of academia/pharma with my own eyes) that the advent of using silver as an anti-microbial is so neglected in the narrative; Bosch uses it in Germany in their refrigerators, and companies like DeRoyal sell gauze dressings specifically stated for that purpose.
"Barely works" is still often more convenient than using apt-get directly.
Interesting. Now all I have to do is learn a bit of Common Lisp. I'm surprised my half-jokey question turned out to have a legitimate response :)
http://events.linuxfoundation.org/sites/events/files/slides/...

The slides from Vault 2015 talk about Sheepdog on low power hardware and SMR drives at Alibaba.
Jenny – A tool for generating regression tests (2005)
Node lead TJ Fontaine is stepping down and leaving Joyent, too
> The init portion of systemd reminds me of those days.

There is quite a big difference in that systemd was never designed to boot fast - it was designed first and foremost to boot correctly, and the much increased performance was mostly a happy accident of the design they came up with.
Sweet-expressions is a cool idea. Was it Python that started the whitespace-is-significant trend? I'm wondering why someone doesn't create a Scheme or a Lisp with this as valid syntax out of the box. I think you'd still need to support regular S-expressions though, right?
A therefore B does not mean not A therefore not B
Also an article[1] on IPOG (In Parameter Order General) if your interested in test case generation stratagies. There is also an article[2] by NIST if your interested in combinatorial testing.

[1] http://csrc.nist.gov/acts/ecbs-cr-final.pdf

[2] http://csrc.nist.gov/groups/SNS/acts/documents/SP800-142-101...
Interesting, I like the idea. I'd find it tedious, though, to manually upload a file in a browser each time I have something digital I'd like to register. Do you happen to have an API? Or are you planning to build one?
For me it's somewhere in between 'competence' and 'mastery', but really slightly different from both. I suppose that's why the term exists separate from 'competence' and 'mastery'.

I'd say 'grok' generally means that you truly understand something in a fundamental way, rather than just being 'competent' or 'masterful' at that thing. It's a crucial step on the path to mastery, but mastery might still require a lot of practice.

I find 'Your problem with Vim is that you don't grok vi [1]' to be a classic example of proper usage. It explains fundamental principles of vim's 'grammar'. Once you've read and understood it, you 'grok' vim. But even though this knowledge is crucial in being a 'master', it does not make you one. That would require a lot of practice (in this particular case, for me, a few weeks).

I've had similar experiences with functional programming. There was a point, after much reading, where I felt that I truly 'grokked' the approach, but I'm still far away from being a master at functional programming. Old imperative habits die hard.

[1]:http://stackoverflow.com/questions/1218390/what-is-your-most...
Awesome Stop Motion Lego Vidoes
and today we use more processing power in our phones than likely all the early Apple computers put together.

What is most telling was Steve's focus on the user and the idea that the hardware underneath doesn't matter but the experience the user has should be consistent
I was curious how "discrimination" is defined, at least in the dictionary. It is: the unjust or prejudicial treatment of different categories of people or things.

If someone is mentally ill such that it's obvious to folks around them, and they communicate poorly compared to another candidate who is in other ways equal, then is it discrimination not to hire them? (not saying this description applies to anyone here; I'm just asking a hypothetical to get a sense of what's meant by discrimination)

If you interview a person and say to yourself, "This guy is kind of strange. I'm not sure he'll pick up on social cues, so he might make people in the office uncomfortable. Sometimes he doesn't communicate well. He can't explain what he's thinking, and his words are a jumble. I'm not sure he could publicly speak, like give a presentation, and I sure wouldn't want him to represent my company to customers." Is it discrimination to pass and choose another candidate who is comparable in other ways, and not hindered in those communication and interpersonal ways?
L.E.J. Brouwer emphasized that he regarded that some mental procedures are either language-less or pre-liguistic. Intuition is an imprecisely defined notion but I think the main thing to understand is that immediacy is a key component. If we grasp something by intuition there are no steps involved. Also, I don't think that apprehending something by intuition means proving it, proofs always involve rules and mental (or machinic) operations, in this sense knowing something by intuition is not proving that thing in the formal (or informal) sense of the word.

Given all that I think the Oxford dictionary's definition is actually quite spot on. Are you quibbling with it? Happy to hear what you think.

I can post links to Brouwer's writing on these matters.
Basically true except for many implementations of MERGE not being concurrency safe, which means you would have to loop anyway on unique violation making it no better than the CTE based techniques that already exist in 9.4.
Kotlin

- best interoperability with Java of all JVM languages (except Groovy)
- language support for DSLs (in the form of extension function literals)
- statically typed
- type inference
- non-nullable types
- smart casts
- properties
- elvis operator
- much easier to learn than e.g. Scala but also less expressive
"2 or 3 drinks" is NOT moderation.
Hello,

You need to break the problem into small steps. One step at the time. Then you unify the code. This is not a straight-forward process. For complex problems you might try to grab a problem from many different angles... That's why each user on Reddit gave a different solution. Not all solutions follow the same logic... But that's the good thing with programming, there are usually more than N solutions for each problem. Of course some are faster than others, some are better than others...

To give a practical example to the problem you're trying to solve:

1. Given a text, we need to separate the words. So we do need to 'split' a phrase into words.

2. It would be nice to have the words into an 'array'. Arrays are a very handy data structures for this kind of problem.

3. Now we need to iterate through the words and given a word, find the consonants. In order to do that, we need to split each word in to letters.

4. Then we need to iterate through each letter of the word, test if it's a consonant. How will you do that? I would create a list of consonants.. (Another Array! Too many Arrays you might think right?) and try to 'match' each letter with that 'array'.

4.1 Now if the 'letter' doesn't match with any item listed in 'consonants' array, do nothing. If it does match, substitute the consonant following the rules given from the problem.

6. Now we need to 'join' our letters together, with our substitutions.

7. Then we need to join the 'words' together adding spaces in between to re-form the phrase.

8. Then we need to print the final output.

That's a first version of this program which you can optimize later on... Until you end up with something that you like.

Later you might add exceptions and checks. Then you might find another way to make your program iterate through each letter/word faster using an algorithm (well python will do that for you probably, I wouldn't know as I am a ruby programmer but... I can guess it has already optimized functions for all these actions).

Good luck!
I just wanted to see more similar pages and couldn't find any! (Admittedly I hadn't considered there wouldn't be any!) I also like the thin font.

Thank you for the advice about the cube, I will definitely have a look!
This perspective is ignorant at best, if not arrogant and maybe even plain stupid.

Africa is the poorest continent on the planet. And one reason why so many countries there are in such bad shape is very well directly connected to the "White Man".

Are you aware of the damage European colonialism caused in the 19th century and how much of damage to socities, environment and economics in African countries was caused by US corporations enforcing political systems and establishments that would allow them to steal resources from those countries?

The Western countries do have a lot of direct and indirect responsibility for people suffering over there.
What's the cheapest networked storage array that is trusted by on-premise buyers?
This is the same Voevodsky that came up with the univalence axiom[1] that is foundational in HoTT[2] (homotopy type theory)?

What's not to love about:

The univalence axiom states:

(A = B) ≃ (A ≃ B)

"In other words, identity is equivalent to equivalence. In particular, one may say that 'equivalent types are identical'."

[1] https://en.wikipedia.org/wiki/Homotopy_type_theory#Univalenc...

[2] http://homotopytypetheory.org/book/
Facebook Friends Mapper – How to Crawl Hidden Friends
"kids who are chosen to go to them are often selected by the third grade."

Not really. I had a friend during elementary school and he was advised to go to the Hauptschule (lowest middle school). Right now he is pursuing a PhD program at one of the "elite" german engineering schools.

"Wer will, der kann" (more or less "You can if you want to")
Show HN: Vidra – Tell a story. Pitch an idea. Make a presentation
> Otherwise known as the standard normal distribution. It crops up a lot when talking about traits in a population, such as intelligence. The reason for this is well understood (see central limit theorem) and won’t concern us here.

No, the reason IQ follows a bell curve is that IQ is defined as following a bell curve. Results are adjusted to make a bell curve.
Show HN: A Maven Wagon for GitHub Releases
KDE Frameworks 5.10.0 Released
Separate the data you are sure you need often and only store that in the database. Store everything else in the textual logs.
The Curtain Falls on Windows Media Center
Actually I see PHP's duct-tape interface as an advantage. It allows you to express the data structures and manipulate them in less verbose manner, which results in less code, which is easier to debug and maintain.
> But then it means that you have a situation with a party that is willing to pay for the work, but this money is guaranteed NOT to go to the creator.

So you mean exactly like normal things e.g. If a buy and then sell a car, the car manufacturer doesn't get any of that resale either.
No I was referring to the UI work with Mir shown in the YouTube video linked by the parent.
Say Gottfried and Isaac are disputing over the creation of a mathematical method to solve problems.

Now if Isaac writes a cryptic paper that non one understands (but Gottfried) and doesn't publish these finds on a 'well known Journal' it's very hard for him to take credit for his work. If however, if publish his paper in the blockchain, then there is a proof that he actually FOUND at THAT point in time what he claims to.

The good thing is that, it's there for all to see and cannot be tampered. That's all Isaac will need in court to win his case over Gottfried.
Not meant to be insulting or disparaging but I'm curious: Does Knuth have some form of highly functional autism or related? His body language is very weird to me. Staring at the floor a lot, seems to be lost in thought, etc.?
Ask HN: How does Saved stories feature work?
I see "saved stories" link on my profile and when I click it, the stuff it shows seems really random.

Can anyone explain how this works?
Because he's not some CEO bounding on to the stage and projecting him self with his chest puffed out?
If formally precise reasoning would be all there is to it, computers could do all math for us. However, even in that formal-if-anyhing-is area, they fail. Computers can't solve instances of the Halting problem or the Tiling problem, whose solution is immediately intuitively clear to a human. Those solution can also be immediately verified by fellow humans, via the informal communication method of 'speech'. The reasoning involved can't be verified by computers.

A nice overview was given by Peter of Conscious Entities recently: http://www.consciousentities.com/?p=1918.
Ask HN: Do you like the idea of social network and learning?★
We are working on a platform to do something similar, It's about learning to cook.
The idea is that a user can follow and learn from an expert, this one can offer a free service or paid one. So you can participate to discussions and share your experience. Naturally is not needed to say that this social must provide all food basic informations.
Would you like to participate to something similar if proposed?
Here is a video that explain the idea.
https://www.youtube.com/watch?v=LMKxpjgLaes
Even iTunes(!) posts "now playing" notifications by default nowadays. It's not trying to be useful, it's just a "look technology" demo. If you don't want to mess around with launchd, you have to disable these pointless interruptions for each new Mac app that you install.

It's possible to silence all your devices, but even then it still affects the people around you. It's like insecure defaults - yes, you can RTFM and fix all the things in the house, but I wish I didn't have to.
I love that thank you
How are consumers storing local content reliably - home NAS with RAID? If millions of consumers are buying NAS devices, which vendors are reaping that revenue?
Computer scientist proves 80s music was 'boring'
Netflix switched form HD to SSD though for serving video, as you can serve more streams at once. Consumer ,aptops will probably all switch to SSD soon, so almost all video streaming will actually be from SSD.
Yes, doing the mixing in kernel space is nice: it's obvious, simple, reliable, monolithic. Unfortunately the Linux developers don't want to go that way, because they think mixing is a problem for user-space.
What is the advantage oder using KeePass(X) which works on all platforms?
Hackernews, we've made a whiteboard which lets you broadcast everything you write with a normal marker to a mobile device.
https://www.youtube.com/watch?v=uxmVtfF6pIo
If you find yourself starting a sentence with an excuse, it's a good sign you are on the wrong side of polite behaviour. He's 77 years old.
Bane,
We've been working on solving the exact problem you pointed out. We've made a whiteboard which lets you broadcast everything you write with a normal marker to a mobile device. It's not perfect yet but we'll get there soon.
Demo video:
https://www.youtube.com/watch?v=uxmVtfF6pIo
That radical reform in the 1990s - was it down to Fujimori? I thought he was corrupt. Would be interested to hear your opinion.
Nearly all web APIs get paging wrong
Sorry, I don't get it - systemd-cat(1) only writes into the journal, it does not read from it, so it is more a replacement for logger(1) than for cat(1) - if you do cat foo >> /var/log/messages, how do you get timestamps on the log entries, and won't your syslog implementation just overwrite that? Does anybody actually do that?
Also, gros your hair to a length where you can stick it in a bun or a ponytail.
Yeah, just because Joel said so doesn't mean it's true.

I've been responsible for a bunch of rewrites that were resounding successes and typically reduced the bug load (subtle or not) by orders of magnitude.
Show HN: Promeo – Video reviews of your tracks from music industry professionals
Complete Guide to Newly Released WordPress Security Release – Version 4.2.2
unfortunately there is a wealth of substantiated and credible history that shows just about all state-level espionage outfits engage in, if not focus on, industrial espionage.

the US certainly didn't put a man on the moon with a clean room implementation...
Get Love in Life with Black Magic Spells Free for Beginners
I didn't start with an excuse, I qualified my question in such a way that I had hoped these type of responses wouldn't follow.
Google Drive Extends OCR Support to Over 200 Languages
So in what respect are generic solutions such as glusterfs lacking? Only the cold storage? And would that be easy to fix?
Machine Functionalism Smackdown
> In non-technical everyday usage, the word "restaurant" implies table service

The english language varies considerably by geographical region, the speaker's socioeconomic class, etc. Your statement is not universally true; I've met people to whom it's true and people to whom it's not.
If you ask that way, I'd guess the answer is: For any network storage array there are at least a few on-premise buyer that trust this particular product.

I guess that there are an awful lot of companies that, out of desire to save a few bucks, will go with home-NAS-types.
Bitte, wir sprechen nicht Deutsche!
> But GPLv3 is just a way to make suckers develop for Canonical for free - at the end of the day - you have no rights over your own contributions and they have 100% ownership.

This is the text of the GPLv3: http://www.gnu.org/copyleft/gpl.html It doesn't contain anything of the sort.
We rolled our own Flux library before they published any code, dodging singletons and gaining mock-free testability. I just re-wrote it, but will check Flummox out.
The man built a career out of thinking and you bring up the oddity of him getting "lost in thought"?

He might have some sort of cognitive abnormality, but at this point who cares what it is? He's Donald freaking Knuth.
> I personally find Plan9 utils much more logical

Could you elaborate on that?
so was the ladder to power and ownership at zappos just knocked down?

is this just a bigger gap between the real power holders and "the rest"?
Nu-gitflow – A Python based gitflow extension with python 3 support
1. Learning a programming language

2. Learning some less-known flags and use cases for the tools we use everyday

3. Reasoning about OS features and how they work

4. Having fun

Please, if you want to be this rude go back to your troll cave.
I'd love some help. I'm juggling 3 side projects right now, and it's hard making time for all of them. :)
Why why why did MySQL have to win the damn race. It's the PHP of databases: it more or less works, but you're relying on a cardboard skyscraper built on a foundation of poop. And this will come back to bite you.

Why MySQL Is Not My Favourite Database: https://reddragdiva.dreamwidth.org/593924.html
Very neat. I started rewriting GNU's coreutils in Rust and find it to be a nice way to learn the language.

Also, it is interesting how many obscure and less-known features some of the tools provide. In this case I clearly see the 80/20 rule, you can implement 80% of the main functionality in 20% of the time, but if you want to make exact clones you're going to need invest a lot more time.
Coupon payments for bonds, dividend patients for stocks. Disintermediation of banking entities currently tracking holdings.

This has a lot of potential.
> I'm not sure what incentives private companies have to use data collection on the masses.

Have you met FaceBook?