skysight-inc/HackerNews huggingface dataset:
I don't think that proof-of-work is needed - these are different models of operation; reading an article (which is ok) vs browsing for more articles (which is not).
They're probably only allowed to install windows at factory. Doesn't mean they've blocked it.
You know, when humans find it hard to make sense of software requirements expressed by other humans in order to produce usable software, I am not sure if AI can. Also, all this AI thing as it stands now is mostly about data processing. So until NLP becomes a reality, in that Turing test is smashed to pieces, I am sure programmers won't become irrelevant.

However, I see programming becoming more of a DIY thing. In fact, one might argue that it started out as DIY, with scientists and engineers hacking software for their own use. Still, the task of building non trivial software, based on off the shelf tools or custom made, will need professional programmers (aka software engineers), much like how despite people increasingly DIYing many things there still are carpenters, electricians, automechanics, tailors etc. So I would say there will be more.

About excellent programmers, I don't think everyone can agree on what parameters constitute excellence, and it is quite arbitrary, so that part of the debate will rage on even in the future.
I see the confusion now, by free to modify I meant you can go and replace your operating system, bootloader or hardware. Do you need more RAM, just get some and put it into your MOBO, third screen? Just get it and plug-in. Recently I replcated screen in my laptop to a matt one, keyboard one with harder keys and it all works. When I want to change screen in my phone, I can't only one certain model will work as expected, some models might fix, but they won't support the same resolution, can't upgrade camera or RAM there, so basically, it's not my hardware, I have to use what manufacturer pre-selected for me.
> if you asked Google to drive one of their cars to Chicago, they couldn't do it

Nobody here is making that claim.

If Google operated a taxi service within Austin, we would say the car operates at level 3. SAE levels say nothing about where the car is operating:

"At SAE Level 3, an automated system can both actually conduct some parts of the driving task and monitor the driving environment in some instances, but the human driver must be ready to take back control when the automated system requests"
Ask the flag they planted on the moon.
It's really surprising the faux moral outrage. Children will continue to be exploited because of technicalities.
> According to the U.S. Bureau of Labor Statistics, the percentage of the total U.S. adult population that has a full-time job has been hovering around 48% since 2010 -- this is the lowest full-time employment level since 1983.

I've never heard the statistics for full-time employment. I knew that it would be low, but below 50 percent? That's incredible.
One implies the other.
People keep saying mobile is the future, however, I just can't imagine desktops leaving us anytime soon. If I'm on the go, then sure I want it on my mobile device, but 99% of the time when I'm at work I want quick and easy access either through an app or the browser on my desktop. If a service I use doesn't have a desktop app, then it likely won't receive any of my attention until I'm out of the office.
One of my co-workers bought a Linux laptop from Dell, and while the Linux capabilities worked, he spent several weeks working with their support to get the laptop re-imaged. The first time they returned it it had no system image. Apparently their service depot doesn't have system images for their version of Linux. The support rep had to actually intercept the laptop on the second trip from the depot to reinstall Linux.
Triple constraints: schedule, cost, scope.

The typical software team (not great at project management) would do best to attempt "least cost" development which is mostly attained by "squeezing risk" with effective planning to avoid wasted work.

Compressing the schedule past that adds risk and cost, often sharply.

Think of these things:

Is there some way you can simplify the deliverable to shave time off?

Can you outsource some of the work?

These work at the margin. If you doubled the team size you would waste time getting people up to speed. Feed 10% of work to a wizard, find 10% you can skip, so are having an impact.

Crazy work arrangements work if you have a tiny team (say 5 people) and strong morale (100% consensus that this isn't just OK but it's a gas gas gas). If anybody on the team is going to be resentful about it, however, it won't work.

How about going into a reply reduced interruption environment during the week?
12 Amazing Apps I Use for Insane Productivity and Success
My advice is to learn to enjoy plain soda water – it's my absolute favourite beverage for fine dining as it's fundamentally refreshing and cleanses the palate. It means you enjoy the food more without getting weighed down by liquid sugar or alcohol.

If it's not to your taste, one way to make unsweetened soda water substantially more palatable is to add lemon juice. A particularly convenient way to do this is to use bottled lemon juice. When I'm in a fancy mood I'll also add mint, ice and a few good shakes of bitters.

In Australia, Schweppes sells bottles of sparkling water (soda water) infused with various flavours, including my personal favourite, raspberry[1]. While it's essentially sugar free it still has a very very slight echo of sweetness.

[1] Despite being available for many months they don't list the product on their website. Here's an image: http://shop.coles.com.au/wcsstore/Coles-CAS/images/2/0/4/204...
How does this compare to something like ShareDB (https://github.com/share/sharedb)? It seems on the face of it that the data part of it is pretty similar (albeit Deepstream is more fully featured with auth etc.), however, there is no mention of how Deepstream handles conflict resolution if two clients are modifying the state.

Internally ShareDB uses Operational Transformation with special operations which are designed for use in JSON documents.

Does anyone know how this works in Deepstream?
H264 isn't proprietary, it's patented. Anyway, like my own post here, what you say is factually right but besides the point. Users expect H264 to work or the web will break. Like -webkit prefixes.
But forget to touch your phone for a couple of minutes and the web session will automatically disconnect because the phone went to standby mode, which apparently interferes with the sync between the mobile application and the web browser session. My experience is that I can only rely on the web for a short conversation until my phone goes to sleep.
Nice colors and resolution!

I'd love to see one of these weather visualization sites overlay the live lightning strikes from http://en.blitzortung.org/live_dynamic_maps.php.
I thought this was about Apache Kafka.
Yeah MongoDB kind of dumbed down whole 'rethinking db' attempt.
Compared to how much attention and developers others much simpler db's got, CouchDB definitely didn't get as much as it should and could.

I am looking forward to see new features for sure.
Wow. Thanks for bringing this to my attention. I recently got a new mac and I decided to give brew a spin as my package manager. I was unimpressed with many aspects of the experience- for example, getting weird snarky messages and incorrect advice when I attempted to install texlive- but this seals it.

Back to Macports it is. I'll be sure to tell others about this.
Great list: Like any number of men get away with and no comment. None of that is reprehensible; that is all business as usual. A good fraction of our Senators are 'carpet baggers', not been brought up before. Loyalty to a spouse is lauded if its a man being loyal. #2 speaking fees is George Bush but nobody brought him up. And 'linked to' is another smokescreen catchphrase, slings mud without having to show any real problem.
From a political perspective, attacking the Wall St label is an effective "enemy of my enemy is my friend" strategy for gaining democratic power with the lower classes -- the people who comprise a democratic majority. Nevermind that the allegations won't stick, not necessarily because of government conspiracy, but because they aren't smart allegations that attack real problems.

Real problems are big and hairy. It's much easier to witch-hunt than it is to solve real problems. The real problem might be that the products Wells Fargo is cross-selling are outdated. It might be that cross-selling is an outdated strategy. These are much harder problems to solve than locking up or fining a CEO who made mistakes in leadership. That's much easier. Because every CEO makes errors in leadership.
That has changed - it's now part of the main project.
Western governments seem to think that economic growth is absolutely necessary. Dunno why. But obviously that isn't sustainable for much longer on our current planet.
> The EU is often criticized (e.g., Brexit) as being something that promulgates useless regulations (e.g., curvature of a banana).

Yes but those almost always turn out to be made up by the Daily Mail.
… to save the Universe for the death and destruction that follows almost everything we do. All other life on Earth would thrive if we were not here.
Agreed, and I'm a long-time ThinkPad advocate with a stack of older models in my closet going back to the R31. I've always thought they had superior keyboards and pointing devices, and every one of my old ThinkPads runs Arch beautifully. (Granted, I didn't bother installing X on the R31.) Given the opportunity to pick out a new laptop for work last week, I passed them by, and that was before I was aware of this news. They've done too many questionable things lately, and lost my trust.

Lenovo has lost my business. The ThinkPad is not for Linux any more.
"Capitalism will come to The Moon, Mars, and Venus"

Or maybe it will be replaced by something else on the Earth, I don't think we can predict the future yet.
No I'm not saying they increase the rankings of fast AMP pages. I'm saying increase the rankings of pages that are fast regardless of the technology they use. You can have a fast page with normal HTML.
> The steel nail and keratin nail were examined under the 8x loupe and notes were made about their appearances.

Gee, a simple metric might've been just to measure the mass of the nail before and after.
Google's New App May Make Facebook Jealous
Perhaps not, I just don't see anything good coming out of it.
Desktop will always be around. I just think we are moving back to the 80s and 90s where only the "Super Tech" person owned them and the rest just didn't need them.

Mobile has replaced a lot of the way people spend time but for my interest and needs desktop is king. I don't watch movies on my desktop (YouTube yes) but I also don't do video editing and data science on a phone.
> Personally, I don't believe it's moral or ethical for law enforcement to commit crimes in order to catch criminals.

I think you want to look at systemic effects and the potential for bulger-style corruption. Distribution of child porn does not do direct harm. It does harm by being a system that supports child abuse and we have collectively decided that child abuse is harmful enough to the fabric of our society that it is worth dismantling the systems that support it.

So here, the ends justify a certain scoped set of means, but also impose a duty of competence in deploying those means and a duty to stay within their scope.

Note that We don't currently have any penalties for crossing the bounds of that scope.
I ask for a sort of "Arnold Palmer" with half lemonade and half soda water (instead of tea). Similar to what you describe and always available.
Green tea + l theanine is a good combo

Also can attest through personal experience that the caffeine + power nap works wonders (I usually use my espresso machine)
You're right. We're too good for our own good.
He's full of shit doesn't exactly convince me, when I look at his amazing coherence, all the wonderful books he's written, hundreds of articles, newsletters, and his general seriousness and disinterest in popularity. One or other thing he's recommended (always backing himself with references and studies) may not have worked for you, but dismissing him like that to me only shows short-sightedness. Would love to hear you elaborate on it. https://vimeo.com/135920003

"In the last couple of years there has been a lot of "noise" in the media about how the SIRT-family of genes can extend lifespan when activated by things like exercise or, preferably, by certain chemical compounds like resveratrol (which putatively acts on SIRT-1). Ray Peat has stated his opinion that activating those genes is not likely to lead to life extension and may even be implicated in some cancers. In one is his articles he talks about how niacinamice/nicotinamide (vitamin B3) acts in a way approximately opposite to resveratrol. Also, there are independent studies that found niacinamide silences SIRT-1 and SIRT-2 in high doses. An interesting study came out recently that seems to corroborate Ray's views. It looks like it's niacinamide that actually extends life while resveratrol so far has been a bust (several clinical trials halted due to resveratrol increasing mortality in patients)."

https://raypeatforum.com/forums/threads/sirtuins-and-life-ex...
If your disk is encrypted, no one's getting in there. The most they could do is wipe your machine clean and use it as their own, and I think that's still possible with this model of laptop.
Might be that it is based on Instant Apps[1] which was announced at this year's Google IO

[1]: https://developer.android.com/topic/instant-apps/index.html?
> Even if your program only takes a 32 bit integer as an input you'd have to provide 4294967296 test cases. Most programs' inputs are a bit larger than that.

How do I go about defining a test using a formal method?

Also, you know as well as I do that you don't need to test every input, only a representative subset if you use unit tests and use a fuzzing testing library.

Using fuzzing, unit testing, pure functions and liberal preconditions through your project in development you'll likely come up with a product that has exactly what you are promising. Add a linter on top of that and for free you've got the safety of healthy paranoia.

Do you have an example of a project that uses "formal methods" so I can see what they are? I'd also like to see something written that has a comprehensive security audit.

Again, from what I'm seeing you're writing code to verify code and calling it "bug proof" just because you've written double the code. That's insanely misguided in my book.
Initially, the IBM PC wasn't really a home computer either...
Currently it seems space as an environment is not suitable for humans due to heavy radiation. Massive shielding needed. Also, from a psychological point of view - would you rather have your grandchildren stuck in cramped sodacans in space or colonizing a new world with a sky and mountains and other goodies. A planet based colony is probably a lot more resilient than a space based one. I have no opinion as such towards one or another.
He says it was removed from the Play Store, which is understandable. But why not add it to the F-droid repo?

Otherwise it looks great.

Edit: I installed the .apk without any issues, and it seems to work well so far.
Also on the weight lifting / sleep connection, in 4 hr Body, Time Ferris states:

TAX THE NERVOUS SYSTEM WITH ISO-LATERAL MOVEMENTS. Exercise is commonly recommended to improve sleep. The problem for me was that results were unpredictable. I might exercise for 20 minutes and fall asleep in 10 minutes, or I might exercise for two hours and fall asleep in two hours. There was no repeatable cause and effect. It seemed like a coin toss. This changed when I began to incorporate iso-lateral (one-arm or one-leg) resistance training. I logged faster to-sleep times after 8 out of 10 training sessions. The more complex the stabilization required, the shorter the to-sleep time.
I just bought the Nexus 5x and it had both Hangouts and Messenger downloaded. I use messenger but google needs to just focus on one strong app. It is annoying to have one app that has great features, but not all. Messenger is great, but Duo looks interesting too.
I've always installed to ~/.homebrew, and never encountered any problems.
There's a choice of merge algorithms as well as the ability to hook in your own.

https://deepstream.io/tutorials/core/handling-data-conflicts...
Painless: A New Scripting Language
Isn't that the whole reason it's a drug "war"?
Thanks ! Thought so, this is a reality check in a way. Regd the visa, yes companies do sponsor for perm, but it still takes many years to get a permanent one depending on the country of origin due to the current immigration system.
Yes! I concur good night's sleep has Amazing results. And that means discipline in regulating your sleeping habits.
> This looks like a timely moment to bring up Cory Doctorow's The coming war on general computation talk:

One should also watch the (IMHO unfairly) less well-known sequel Fighting Back in the War on General Purpose Computers

> https://www.youtube.com/watch?v=pT6itfUUsoQ
As the saying goes "He who fights with monsters might take care lest he thereby become a monster."
It's VERY easy to make up your mind following a comment like "he's full of shit", but for anyone reading, I suggest you look at at these two articles by pranarupa:

https://pranarupa.wordpress.com/2012/12/25/pufa-because-this...
https://pranarupa.wordpress.com/2013/01/31/serotonin-inflamm...

To me, Peat's notions on PUFAs and serotonin are the most important ones to grasp.
It is bad form to block default UI,and it will only annoy and anger your users. The solution to this is to append your own menu to the default context menu. However, this cannot be done AFAIK. Probably a standard that allows that would be something worthy of consideration. So the only way to deal with this is custom UI elements. (As a Windows desktop developer moving to web development, I was quite dismayed that I couldn't simply get menu handle and append. In general, moving to straight jacketed webapps from desktop background where almost everything was possible was quite frustrating and painful.)
> many of them with a left-wing/civil liberties attitude.

Well they seem awfully quiet about all the privacy invading stuff Google does, considering the number you claim they're in.
Looking forward to the upcoming additions!
Here's the bug:
https://github.com/rhinstaller/shim/issues/55

And PR:
https://github.com/rhinstaller/shim/pull/60

Hopefully $DISTRO will patch it soon so you can enroll keys. : )
Looking at the A records tells an even more interesting story:

(for i in *.zone; do expand $i | grep " A " | cut -c 50-; done) | sort | uniq -c | sort -n
1 75.45.179.76
16 75.45.176.15
16 75.45.176.16
25 75.45.176.8
25 75.45.176.9

It looks like all those websites are hosted on only 5 IP addresses. They could be load balancers, but still, that is certainly not many hosts!
I think the point is that while it may be worth $33 million, it would take much, much more than that to get it safely back to Earth.

Also, the price of platinum is currently driven by the knowledge that it's naturally scarce and the likelihood of a large amount of "new" platinum coming on the market is low. If this ever changes (we somehow figure out how to profitably bring back a tonne of platinum), then the price would likely crash, as the amount out there in space is essentially infinite.
I also wonder what the rate would be if you subtracted out people who involuntarily have to stitch together 40 hours from 2 or more jobs.
The quote is attributed to Napoleon, who surely saw his fair share of incompetent generals. It should really be called Napoleons Razor to fall in line with Occam.

Who is this Hanlon guy anyway.
I think there should be some kind of open source licence for branding stuff like this.

So that anyone would be allowed to sell a drink under Open Cola brand as long as it is produced as defined in the specifications, and especially face legal penalties if someone tries to sell something else as Open Cola.

Then we would need an app that tells where is the closest place to get open burger with cheese and fries to compete with the convenience of knowing the quality I am getting when I opt for Big Mac.
Mining Massive data sets kind of things. http://mmds.org

Algorithms that are giving not exact, but pretty good results on giant data sets.
WhatsApp threatened with legal action in Germany over Facebook data sharing deal
The Secret Behind Great Conversion Rate Optimization
If someone is doing DPI their best bet to know where are you connecting to is to look at the host in SNI, but if you're in a corporate environment with an explicit proxy, your computer would be sending a "CONNECT hostname.tld" in plain text anyway :)
This one has most comments: https://news.ycombinator.com/item?id=12524031
So is it just writing a bunch of preconditions for a method? This was practice long before "formal methods" became a "trend".

I still haven't had anyone show me how this works.

If you, or anyone reading, could do the following I think it would really help all of us plebs who aren't much involved with academic computer science: can you write, from start to finish, a formally defined application documenting as you go and why you are doing it. For instance an F to C calculator. Could you make one of those and document your thoughts as you create it.
> But then again, vinegar is a fairly common cleaning agent: Baking soda and salt are fairly effective as well. I've used salt and lemon juice to clean tarnish off of copper: Toothpaste to clean the tarnish off of silver jewelry or shine up gold. None of these are viewed as bad or unhealthy in the doses we tend to consume them in.

Absolutely, but I'd be worried about someone who chugged any of those things in the same quantity peopole tend to drink coke.
Here's Moxie's related press release on doing E2E for Allo:
https://whispersystems.org/blog/allo/

Curious if he'll comment on what happened:

https://twitter.com/moxie

https://news.ycombinator.com/threads?id=moxie

___

If you don't know about Moxie, highly suggest learning more about him:

https://thoughtcrime.org/

https://en.m.wikipedia.org/wiki/Thoughtcrime

https://en.m.wikipedia.org/wiki/Moxie_Marlinspike
Yep, I'm with you. At least I know I've written it off.
Honestly crap like this is devaluing their brand. At this point I have 0 faith that Google will stick to any of their random products (Google Wave, Buzz, Reader, Code, Google+) and therefore I avoid using them.
First European Industry 4.0 Hackathon #HackIndustry40
I sort of like it. Basically a slightly nicer version of craigslist.

To be honest though... With my experience in this particular niche...I don't "get it".

The pages are printer friendly (a lot of realtors gripe about that). Pages load fast. Gallery/map view. It's challenging to integrate with that many MLS' as well...Some good stuff in there. It's obviously you put a lot of work into it.

Great job on doing something against the grain.

If the purpose is to make money...probably not the greatest site. Other than a very tiny sliver of the population who appreciates this sort of approach (ie. hackernews readers), most people are going to bounce right off the site.

The single biggest missing piece is any sort of search functionality. It's REALLY annoying to use the site for anything other than a bit of browsing.

That said - great work...I hope you got paid!

EDIT * The more time I spend trying to hate this website, the more I end up liking it. Mission accomplished :)
XMPP support is still around, but from what I've been able to gather it's their old Google Talk system bridged into Hangouts. I fully expect it to go away without warning at some point in the future, and I would be very surprised if Allo ever supports it.
Popular entrepreneurs in Sweden
Too right! +1
Not substantiated in geologic history. Life collapsed repeatedly.