skysight-inc/HackerNews huggingface dataset:
A flip side of the (crypto)coin so to speak.

I invested in Storj, and I also put some resources behind farming. First, there are lots of issues, but that's to be expected with an early product. At least there is a product. Second, this is a very different project than Dropbox, a centralized cloud storage originally built on AWS. Comparing the two is exactly fair, and the long term value proposition of Story is very different from Dropbox. Third, They are building the platform, and as it improves, the clients will get better, simpler, and a community will form; give it more time. Fourth, Dropbox was founded in 2007; it took substantial time to get the front end polished and working well. This product is more about the AWS side of the Dropbox equation than the Dropbox side.

Finally, some results on my Storj farming. Not super easy to use, not super efficient, but working, and I expect it will get better. I have farmed about 15TB of data (storage) since the ICO. Its growing too; so there are real paying users using it.
I find that being a vegetarian for moral reasons is quite delusional.

We, humans, are inflicting much more suffering to flora and fauna by the simple fact of participating in the industrial modern lifestyle. Buying food at the supermarket, using the internet, travelling, AC, and pretty much any activity we can think of.

The underlying problem is that to sustain 7+ billion people we need industrialisation which requires massive amounts of resources (energy, land, minerals, etc). The modern lifestyle doesn't help either.
Off topic, but this is why I like HN. All my bullshit opinions is pointed out and not just politely ignored.
I'm newly enchanted with Mailpile.

https://www.mailpile.is/

Technically it's an email client but since it works in your browser anyway, you can run it on a server as a personal webmail. It can work with a local MTA or regular accounts at other providers for which it provides automatic configuration with ISPDB. It supports all the basic functions and GPG.
Hi, thanks!

I planned to add more options to customize the landing page, including adding the GA tag ;)

Thanks for the tip!
Researchers Develop Regenerative Medicine Breakthrough
"You have to lean into the wind to stand up straight"
Thank you so much for posting this. I recount this rule of thumb frequently, and its nice to have a citation to refer to when sharing with others.
The dams didn't have anything to do with the production of heavy water, they just provided power for factories in the Ruhr area.
Python Wrapper API to load cryptocurrencies prices from main exchanges
Stanford vs. RICE live stream
Good write up! It's great to see people testing out these projects.
> It's like Rust, but without the "young language" excuse.

Howso? Stable Rust has been nothing but 100% solid for the past 1+ year I've worked with it.
Look nice. Why not allow users to list their domains and setup prices in dashboard instead of TXT record?

Efty is already doing it.
There already is a US example. Virginia instituted a "one-drop" law in the 20's and scoured through old census records to label many mixed race people as black, subjecting then to Jim Crow laws.
Threading is the one thing that's missing for me, in OCaml; they may have added it, but it wasn't there last I checked.
Omg. What i learned would not allow the comparison and analysis you used.

I wish it was 1979 again and i could have recorded my physics prof...
Only if the serial numbers were random and not, well, serial.
Looking at the forked repo all they did was rename node to ayo and add a VALUES.md with very little substance. Looks like a power grab by a bunch of control freaks to me.

At least io.js had some technical merit and seemed to genuinely want to improve node (which arguably it did).
Correct.

However, at least in Finland this (SEPA direct debit) is not really used. It is not free for end user (~1€/payment) and banks have it disabled by default for security reasons.

For domestic recurring payments we normally use "e-invoice" which requires the user to authorize payments per-invoicer on the bank web service, or if one prefers, just a traditional invoice paid manually with a traditional bank transfer. Both are normally free for the end user.
> If you're a person who exercises your 2nd amendment rights they'll say you had a "cache of weapons". Remember WACO? That's what they do to people who threaten those in power.

But... the Branch Davidians did have a cache of weapons.
From the actual scientific article - http://www.tandfonline.com/doi/full/10.1080/19490976.2017.13... :

> Our results indicated brain mI, a marker for glial cells and pre-myelinating events in the developing brain, was positively predicted by both Bacteroides and Clostridium XIVb. Additionally, brain Cr+PCr, an indicator of energy metabolism was positively predicted by Bacteroides. Lastly, these analyses indicated brain NAA, a marker of neuronal health was negatively predicted by Ruminococcus but positively predicted by Butyricimonas. Concentrations of these brain metabolites change over the course of development and our research suggests gut colonization of microbiota may play a pivotal role in this phenomenon.
Tools depend on Rust nightly. My points are more about the respective ecosystems than the core languages. For instance, getting up and running with RLS is a real hassle (in my experience, but I'm sure it's improving).
ABERT PIKE GOT IT ALL LAID OUT WW3 IS THIS 3 MILE ROCK OUR END NEXT WEEK -
Is there a clear passage from any of the authors you referenced where they essentially say this:

"If the means of production can themselves be copied for a cost of zero, this theory would not necessarily apply."

Or even:

"If a good can have a marginal cost of zero, it is special and the consequence of taking over the means of its production may diverge from what the theory suggests."

Let me give an example of what I mean by "clear" with a passage from Thomas Jefferson:

"If nature has made any one thing less susceptible than all others of exclusive property, it is the action of the thinking power called an idea, which an individual may exclusively possess as long as he keeps it to himself; but the moment it is divulged, it forces itself into the possession of every one, and the receiver cannot dispossess himself of it. Its peculiar character, too, is that no one possesses the less, because every other possesses the whole of it. He who receives an idea from me, receives instruction himself without lessening mine; as he who lights his taper at mine, receives light without darkening me."

He's not talking about means of production but incentives for production. But the insight is clearly stated and apt for digital tech.

So are there any examples like this from those references that are still apt when applied to zero marginal cost digital artifacts (files), factories (compilers), or publishing (bittorrent)?
Project tooling and standard library are the two things keeping me from using it. If they built Cargo for OCaml and improved the standard library, I think people would flock to it. Although I never seem to quite get used to the syntax...
Google's AI Learns Betrayal and “Aggressive” Actions Pay Off
> How about this: Are people allowed to act in a way that will save themselves, even if it sames everyone else on the planet, and has some side effects? I think the answer is an emphatic yes!

Who decides which ways will save and are therefore allowed?
TP-Link Deco M5 VS Google WiFi: Two Nearly Identical WiFi Mesh Systems
Nobody blames phones for most people being average. Phones are not the problem at all.

The problem is the companies that shape their services provided through the phone to be optimized towards abusing well-documented behavioral characteristics of 'average people'.
What is the most underrated web development language and why?
large cargo vessels can easily be powered by nuclear reactors, just like aircraft carriers and submarines already are.
The most popular theories say that yes, they do travel at the speed of light. Only a coincident detection of a gravitational wave and an electromagnetic counterpart would confirm this (such as from a binary neutron star coalescence; the binary black holes seen so far by LIGO didn't emit any visible EM as far as we know).
"During a spring offensive by the North Vietnamese in 1972, Nixon told Kissinger:

''We're going to do it. I'm going to destroy the goddamn country, believe me, I mean destroy it if necessary. And let me say, even the nuclear weapons if necessary. It isn't necessary. But, you know, what I mean is, what shows you the extent to which I'm willing to go. By a nuclear weapon, I mean that we will bomb the living bejeezus out of North Vietnam and then if anybody interferes we will threaten the nuclear weapons.''

A week later, he continued to a somewhat horrified Kissinger:

Nixon: I'd rather use the nuclear bomb. Have you got that ready?

Kissinger: That, I think, would just be too much.

Nixon: A nuclear bomb, does that bother you?... I just want you to think big, Henry, for Christ's sake! The only place where you and I disagree is with regard to the bombing. You’re so goddamned concerned about civilians, and I don’t give a damn. I don’t care.

Kissinger: I’m concerned about the civilians because I don’t want the world to be mobilized against you as a butcher.[1]

...

"In a 1985 interview, Mr. Nixon acknowledged that he had considered ''the nuclear option.'' He told Time magazine then: ''I rejected the bombing of the dikes, which would have drowned one million people, for the same reason that I rejected the nuclear option. Because the targets presented were not military targets.''"[2]

[1] - http://blog.nuclearsecrecy.com/2013/10/25/nixon-and-the-bomb...

[2] - http://www.nytimes.com/2002/03/01/world/nixon-proposed-using...
This seems like a fairly obvious and good explanation.

Also one of the other relatives could have since joined Facebook to make this a little simpler.
I like your website but what you are describing is not a deep learning algorithm. I'm not a big fan of people who do something well and then start going overboard with buzz words.

You are most likely have a system that consumes content, compares that content against known hashed variants. If there is no match, you diff against known variants and check if the output matches any of the 'minimal' implementations.

If you can't match anything, you simply stage that content for a manual review.
I see all kind of theories about the misterious nature of facebook recommendations. I believe that they use all kind of complex things but most of those unexpected recommendations could be explained by assuming that facebook recommend you people that have being cheking you out. If you saw someone on the street and that person check your facebook, they are recommended to you and it looks like magic because you did nothing. I do not know if this is the case but it is simple and seems to explain a lot of those strange recommendations.
Looks like a great alternative to Hackpad which was recently shut down. Thanks for the link.
Check out LIGO episode of PBS SpaceTime youtube channel. Some very informative explanitions about gravity waves are given there.
The agenda of the book/paper writer is to sell you the book/paper. The agenda of the services rendered on the phone is to keep you glued to the service as long as possible so the relatively constant % of your time that they sell to advertisers is increased for the purpose of increased profits.
5-minute exercises for improving your personal brand
So, just to be clear, you want to impose your will on the planet, as a whole. You don't care about any form of democracy. You don't care what anyone else thinks. You think you're right, and anyone who opposes you is wrong. And since you're right, you're justified in doing whatever you think is necessary.

Am I understanding you correctly?
A laptop is just a tool. If what you have students doing on the laptop isn't any good, that's not necessarily because the laptops weren't worth it
We probably need a changelog
Accusing the current administration of openly supporting neo-nazi groups is political flamebait.

You are certainly entitled to your opinion on how "serious" the situation is but I, (and probably others) would appreciate it if you kept the hyperbole and rhetoric minimized. Your original point stands fine without it, and in fact that accusation weakens your entire post and makes it appear little more than a simple troll.
Phabricator.
They did this on June 30, 1973. While it stayed in totality 10x longer than would have been possible on the ground, it did not stay for the entire path of totality. Look at the umbral velocity - only the bottom of the parabola is obtainable by even a Concorde.

http://xjubier.free.fr/en/site_pages/solar_eclipses/TSE_1973...
That's just too bad. Because such pushes into the other extrema practically always overshoot, and because the author can not anymore push the line that dogmatic programmers are not good programmers.
There's a huge difference between anti-diversity, and anti-forced-diversity for the sake of diversity.

I don't see why this is so complicated, other than perhaps it seems SJW types can't fathom the idea that hiring managers are actually capable of talking to a person, getting to know them, and then capable of deciding whether or not they're qualified for the job without checking off a list of what should be considered irrelevant qualifiers.... Skin color, penis girth, propensity for future development of diabeetus, etc.

Also, it's quite clear that you didn't read the memo at all. Maybe the Buzzfeed condensed op-ed on it. Did he have some inflammatory opinions that maybe aren't correct? Hell yeah, but they're his opinions, he said a lot of other stuff that was entirely poignant, relevant, and accurate.

This yes/no true/false BS has got to stop. You don't get to hone in on somebody's one solitary opinion that might open up conversation to a "non-safe space", cry misogynist/racist/rapist, and then auto-dismiss the rest of their arguments like you've discovered some sort of irl Konami Konversation Kode.

That's terribad debating and awful human communication.

James Demore's firing really only proves that he was mostly right.
Scientific Realism
Gogs for lightweight git repo hosting, works great, zero maintenance.
See https://github.com/mojombo/semver/compare/v1.0.0...v2.0.0 for the changelog.

Edit: Changes, that is, not a changelog.
This is how I've done it all my working life. To be honest, I've assumed this is common to all software development jobs, but now I realize it may be I've just had very flexible employers.
The way I first learned to think functionally was reading and working through http://realmofracket.com/
It intros you to Racket, which is sort of a Scheme dialect (which is a Lisp dialect) and teaches functional programming.

Haskell, OCaml, etc take those functional idioms and apply strong typing, algebraic data types, pattern matching and something like the Option/Maybe type - but they build on the same functional concepts in Realm of Racket.

Caveats to the above:

1) Racket has an optional 'typed' variant which gives you type checking.

2) Rust is (IMHO) a little weaker with regards to pure functional programming than OCaml, but very nicely integrates pattern matching, type checking and algebraic data types in.
How does Moon automatically detect static virtual nodes? What makes Moon faster than the alternatives? Finally, how does Moon avoid GC pressure with large trees?
I'm not sure why I would care as a real estate agent or commercial developer. I have to function in the here and now with clients (and zoning) in the here and now. That there might be changes brought on by autonomous driving or any of a slew of factors in a few decades is not really on my radar.
That's precisely why I self-host. You can fix it yourself. Most people self-hosting GitLab will have a better uptime than GitHub.
Agreed. Seeing the moon's shadow racing across the Earth was pretty damned slick.
Why Deep Learning surprises me
True (apart from where you say 'windows' when meaning 'msvc toolset' as pointed out). It's actually the first time I see this come up as first and only argument against msvc actually. Would be interesting to find actual stats on this, but it's possible this doesn't come up often because it's sort of a minor issue; minor in the sense that it is not a real issue for the majority of users (though that doesn't mean that if you are affected by the issue that it can't be a dealbreaker). Maybe there are more people out there used to mostly working with debug builds? Or maybe because the overhead of having to build eveything in debug mode again only becomes significant with codebases much bigger than the average?
Summery: This research paper investigates how introductory computer science students can learn better, and how teachers can coach better, especially in large classes.

The paper describes "a technique for clustering incorrect submissions by the code transformations that correct them."

The clustering of transformations helps teachers create better feedback that helps more students.
You still can't commit fraud on kickstarter. If the coins issued here would be considered equity, that also changes the rules.
yes but wait until there's a 6kb moon alternative
I shared domdb with NamePros community(the biggest community of domainers): https://www.namepros.com/threads/domdb-park-your-domain-in-l...

You may get good feedback from the people who are in domaining business.
This appears to be from 2013: https://github.com/mojombo/semver/commits/v2.0.0
Also if someone enters a path other than the index nothing catches the 404. At the least you should have a redirect. :)

http://backdoor.fr/123
Alright, what I like about this article is it shows the process of specing out the application in a way people new to verification will understand. It's also a useful kind of app instead of a toy language or something. A few critiques follow:

" It’s an unspoken truth that most large image databases people have are actually porn collections"

Flicker, Tumblr, Imgur, and Facebook Images aren't mostly porn even though one or two are popular for it. So, I doubt that highly. The title will just turn off a significant amount of readers, even thick-skin types whose company monitors web surfing. The new one is better.

"We’re going to make an image browser."

"Hopefully this example shows that there’s nothing really stopping anyone from using Coq in their Haskell programs today."

I hate saying this since the article is well-done but this isn't a demonstration of a verified, image browser in Coq. A verified app is usually considered successful when its extracted code at least runs well enough to be a reference implementation to check others against. The comment in this thread says 6 images kills it on a 16GB RAM machine (?!). It doesn't meet the functional requirement of storing an image collection. It's just an attempt at a verified, image browser that's taken steps toward one that works.

Another thing for readers to consider is that making things efficient is a big part of Coq work aimed at real-world applications. The developers usually have to refine the abstract specifications into concrete forms that run efficiently on computers. That takes additional work that looks quite tedious as a non-specialist in formal methods. So, there's two correctness criteria after the thing passes testing (this didn't): it works fast enough to be acceptable in some use case; it works fast enough to be competitive with popular implementations in (insert language).

The author might want to build on this example to get it to full correctness with performance at least meeting the first criteria. Then, potentially doing the second to show refinement proof toward efficient, concrete representation. I know Isabelle/HOL is currently really strong in the low-level stuff with some tools synthesizing imperative implementations from functional specs and others verifying assembly. It would be interesting to see what Coq ecosystem can do in automating or reducing effort on similar things.

"Using GHCJS on the resulting Haskell to get formally-verified Javascript"

Since GHCJS isn't verified, you can't get formally-verified JavaScript by compiling a verified Coq program with it. If anything, you break the verification chain since complex compilers screw things up a lot. Add abstraction mis-matches from cross-compilation to increase chance of a mistake further. I think the accurate statement would just be that using GHCJS would make the program run in a browser or on a JS engine. No longer formally-verified, though.
> People have appeared on my suggested contacts when I have no other connection with them.

Have you considered the possibility that those other people have been searching for you on FB for some reason?
Yeah. A while back I had a sometimes commute that was about 1.5-2 hours, mostly by train plus a short drive and a short walk. It was somewhat manageable but I would have hated to have done it every day. Yeah, you can read etc. but it's still a big chunk out of your day.
This message would have been just as effective without the opening accusation.
I'm really against the "unlimited vacations" policy, I much prefer the European style compulsory vacation. Yes, I really think employees should be forced to take time off if need be.
Sometimes the truth is flamebait. Doesn't make it any less true.

http://www.deseretnews.com/article/865686908/Sen-Mike-Lee-re...

http://thehill.com/homenews/senate/346348-hatch-my-brother-d...
git, GNU Social
You can already set the price in the dashboard.
But the idea was to be able to manage your domain from your registrar without having to login on domdb.
Berkeley ISIS Member Arrested for Planning San Francisco Bay Area Terror Attacks
DreamHost ordered to hand over data on anti-Trump website
Though very uncanny, this is rather easy to extrapolate even using the basic facets FB has available. But the most overlooked is photos. They are offline beacons and are to offline tracking what websites are to online tracking.

For example you and a group of 10 other people took photos at the same location which FB sees as a small gathering of intimate friends. It will need to qualify the location is not a public restaurant to be sure its an intimate gathering. The chances of you connecting with that person are then really high. And if you are and the other person are in each others photos, then it's almost a certainty you will end up connecting on FB should FB recommend the connection. The more connected FB's network is, the more it can extrapolate based on commonalities from the first degree graph of your network.

It's also the reason why Google is betting so heavy on photos and offering free unlimited storage -- remember, there's no such thing as a free lunch. Google wants to build a social network graph based on location and facial recognition to draw on proximity.

With AI this will get even more uncanny. For example a wedding will have a certain photography profile (number of pics taken, the time of day, the location and venue based on Google Maps or past photographing histroy, the lighting in the photos, etc). Once you throw AI into the mix you realize Google doesn't need to draw out any conclusions. It can throw all these parameters into the AI engine and draw up proximity.

In this case, Google or FB will not be able to tell you how they drew the connection, because even they won't know. All you can assume is the AI engine will take dozens of parameters today and hundreds tomorrow. Google's deep investment in AI infrastructure is a bigger testament to this.
i wonder how often people think about and subsequently search the internet about consumer electronics after leisure hikes? i wonder what the top 5 consumer electronics items are in q3 2017.