skysight-inc/HackerNews huggingface dataset:
"replacement stem cell populations"
You expect us to be able to revert the ageing process through stem cells? Any stem cells or specifically those of the host?
How far off do you estimate (order of magnitude - 10/100/500 years?)
If you don't:

A) Massively outperform compared to your peers.

B) Massively underperform compared to your peers.

You are almost certainly a mediocre programmer.

If you are in the B category, it is usually pretty obvious to _everyone_ and you've probably seen your performance reviews at _multiple_ employers be below average.

If you massively outperform your peers, you probably find your boss at _multiple_ employers going out of his way to retain you. (i.e. Massive salary bumps, bonuses, promotions, etc.)

If neither of these are true, you are almost certainly mediocre.

For instance, I made a really stupid decision for personal reasons to leave a job where I massively outperformed my peers (my boss was really bad at hiring people) and received a 30k raise a couple years before I left. But, realistically, that was the _only_ job I had that kind of outsized performance and it was more to do with my boss's skill at hiring people than my skill as a developer.

At my jobs before and after that one, I've fell safely in the mediocre range. Never been fired, never had a PIP, and generally got "Meets expectations-ish" performance reviews.

At my current job, I underperform my peers but that is largely because I'm their first hire in ~3 years. I have alot of catching up to do as a result, and I've been there ~90 days.
Yes, that is exactly my point. It's a dangerous feature of the language, or, said another way, has a lot of potential for undefined behaviour. If one is trying to reword the standard to control undefined behaviour, this is one feature that needs to be considered.
Removing the non-self part is a made up rule. That's my point. I am very familiar with the rule and can apply it myself quite easily. However, the rule is total bullshit.
How to Solve the Challenge of Reusability
> It's still not saying anything.

Sure it is. An init system should, first and foremost, be stable and well understood. By virtue of its size and youth, systemd is not (at least not by devs and end users).
Wait until you hear the genome size of an onion (~16 billion base pairs, compared to human ~3 billion base pairs)
You put butter in coffee?
Atmos support at the very least is coming to Apple TV with the tvOS update coming out this fall.
I wish there was a netblock reserved for packets that never leave a physical (or virtual) host, that could be used for the default internal network for things like Docker. In my case, Docker defaulted to 172.17.0.0/16, which happened to conflict with one of the IP ranges for my wing of the building at work.

I've resorted to using RFC 5737 (test-net-1 through 3) IP ranges for this purpose, even though that isn't what they are designed for.
The headaches as I understand it are mathematical really - without a limit to cap costs, outliers have the potential to completely mess up the pricing. Anything where one claim could destroy the predictability of results is hard. So only a few wildly inaccurately priced GRs can take down a whole book - hence capping. If you aren't likely to have outliers, you don't need limits, and some HNW insurers are removing limits entirely since they just price accordingly.
Not to say they're not sharp.... but I belive at most of those schools there is a system of automatic scholarships based on income. So while you don't get a sports scholarship, athletes are still not paying either way. Not to knock their academics or anything, but the no sports scholarship is just no 'sports' scholarship.

On another aside, at a lot of schools athlete attendance is recorded by other students and reported to the coaches, at times even a non mandatory attendance class is mandatory as far as the coaches see it so at those schools they show up ;) They might not be as sharp, but they know they have to show up.
Intensity. Whatever gifts you have, without intensity, they are being squandered.
I saw a hiring manager in a debrief complain that a candidate was at his current job for too long, as if that indicated he could be that good.
I'm not saying people don't know who gets in mostly due to legacy. I'm saying the university can't formally confirm.
> Some admits are duds, and some are hits.

Elite schools in the US know and admit this, too. They are constantly trying to figure out how to minimize the duds.

> I would assume they claim this because they are being sued by Asians about bias

This claim is made so often, yet it is so fantastically short-sighted. It boggles my minds that people think that great grades and great standardized test scores are the best predictors for being a strong contributor in an elite academic setting (yes, it's great for predicting more good grades, but that's a shallow definition of success in an elite school setting -- the resources available can be and are used so much more productively).

Things like charisma (incl. leadership), curiosity, drive, and creativity make a huge difference, and those things are fantastically difficult to quantify in a reliable way that can scale. Things like financial capital and social capital are real things that keep a school healthy and strong over time.

If a person from a given group feels like they were discriminated against, I would ask them to try to answer better the question of what do they think that they are giving to the school. Directly or indirectly, almost all admits to an elite school have a very solid answer to that question.
Wrong, don't be anything. Pedestrian or Deep. Labels do NOT matter. San Francisco has got this wrong. And most of the world is following San Francisco, that is wrong.

Be and do what must be done, not get advice from Collison or Musk et al. This is something I have learned along the way. Sure, respect achievements.

Please for God's sake do not try to become like someone or be something or change the world. It is not worth it. Others can label you. It doesn't count.
1. It would be the norm with an IPv6 gateway. It's not like it takes anything special to replace NAT with a firewall: allow outbound, allow established/related inbound, and replace port forwarding in the UX with allow rules for (host, port).

2. No argument, does seem odd that it wouldn't be the app though. Figure a door bell wouldn't be all that intensive.

3. Yeah, recurring revenue is pretty much the gold standard.

A device that stands between your device and the public internet, provides security and access control, and is standards based... so a perimeter firewall? But with an API to allow internal devices to punch their own holes. Ehh don't get me wrong I like the spirit, but that would immediately get used by malware.
That's a sad statement about the cost of living near SF.
we ( http://www.mywildeye.com/ ) are doing a lot of IoT stuff on the west coast of California, New Zealand, and Australia in the agricultural space. You can do a lot lot better with water usage simply by understanding what your water is doing.
Jon Postel
But all those words are meaningless. "stable" and "well understood" could also be said of systemd. There is no metric to it. By that logic we could go back to using software from before 20 years, because they are "stable".

I have noticed that systemd is "stable" and "well understood" because I have no problems with it. But would that convince someone else?
> Someone else will probably point out a better way. It is also only a couple of lines of Python.

grep -i "hello" filename # ;)

> I always can't help but notice the lack of expressivity. I mean it takes 1/2 page of code to read a text file and print all lines that say "hello"

I think you hit the nail on the head there. I've used just about every build system known to man and we're currently using cake at work, which is uses c# as a scripting language. Everything is 10 times more verbose than the equivalent shell/makefile would be. Things like concatenating sql files are 30 lines instead of code instead of one liners.
Show HN: Let's Go Fish – Digital Card Game for iPhone
Show HN: React and Codrops slide pieces
Agreed! One thing that impressed me recently is how easy it is to cancel Symantec's (rather useless) LifeLock service. Just write a sentence on their online support page and my service was cancelled in less than 24 hours. They even sent me an email suggesting things I can do to prevent identity theft without using their service.

I know Symantec is unpopular here on HN, because of the certificate authority fiasco and a (quite reasonable) distrust of antivirus software, but really kudos to them for handling the cancellation so well.
Looking at the Vue docs at https://vuejs.org/v2/guide/render-function.html#JSX , it specifically says using JSX with Vue requires a Babel plugin. How is that any different than React?
> Facebook, Yahoo, Amazon, eBay, Mozilla, Reddit, PayPal, Twitter, and scores of smaller tech companies went into battle mode to oppose SOPA and PIPA.

This author is getting some basic points wrong in this section that force me to reserve judgment on the entire article. (Unfortunate, since I think it's a great idea for journalists to do the hard work of checking up on orgs like EFF in a broad critique like this.)

Aaron Swartz was the one who went into battle mode to oppose these bills, starting with COICA in September 2010.

Aaron's own speech on the subject:

"Now if you've been reading the press you probably didn't hear this part of the story. As Hollywood has been telling it, the 'Great Good Copyright Bill' they were pushing was stopped by the evil internet companies who make millions of dollars off of copyright infringement. But it just really wasn't true. I mean, I was in there-- in the meetings with the internet companies. (Actually probably all here today.) And if all their profits depended on copyright infringement they would have put a lot more money into changing copyright law. The fact is, the bigger internet companies-- they would do just fine if this bill passed. I mean, they wouldn't be thrilled about it, but I doubt they would even have a noticeable dip in their stock price.

"So they were against it, but they were against it like the rest of us on grounds primarily of principle. And principle doesn't have a lot of money in the budget to spend on lobbyists.

"So they were practical about it. Look, they said, this bill is going to pass. In fact, it's probably going to pass unanimously. As much as we try, this is not a train we're going to be able to stop. So we're not going to support it-- couldn't support it. But in opposition let's just try to make it better.

"So that was the strategy. Lobby to make the bill better. They had lists of changes that would make the bill less obnoxious, or less expensive for them, or whatever. But the fact remained at the end of the day it was going to be the bill that was going to censor the internet. And there was nothing we could do to stop it.

"So I did was you always do when you're a little guy facing a terrible future with long odds and little hope for success..."

If you want to know the 10 things Aaron did next to prevent internet censorship[1], listen to the rest of the speech[2].

1: Clickbait ftw. But if your going to get tricked into watching something it might as well be worthwhile every now and then. :)

2: https://www.youtube.com/watch?v=Fgh2dFngFsg
..including interactive demo start! Nice.

PS. McCloud? I sense nominative determinism at play.
> you will immediately see that it is not the case that {{a,1},{b,2}} = {{a},{a,b}}.

This is true for the examples you gave i.e. Agda and Coq but this is not a theoretical restriction. As long as you can formalize equality with something like axiom of univalence, you can prove similar things (e.g. forall x, f(x) = g(x) => f=g which gives interesting applications like mergeSort = quickSort). Proving univalence constructively is pretty hard, but it's at least partially solved, e.g. cubic type theory can constructively prove univalence. Agda has a branch that has cubic type theory implemented, if you want to check it out. There is also an "official" implementation of cubic type theory by the team who wrote the original paper but it's a pretty lean programming language without even unification.
‘Climate Gentrification’ Will Deepen Urban Inequality
I really think that kinda ruins the idea that it would tarnish their image if folks already know. Nobody would think differently if they said it.
You actually want to "brew install pyenv"
And then "pyenv install 3.7" or whatever version you're after.

Multiple versions of programming languages don't require docker, containers, or Nix, that is utter insanity.
Codius – Open Hosting Protocol
I appreciate the share, but looking at this example(https://blog.strapi.io/cooking-a-deliveroo-clone-with-nuxt-v...) it appears that they are employing a pattern that I do not want.

I want to be able to have essentially have everything server rendered with reactive views. Not sure if there is anything that supports that, but I feel like that's how a SPA "should" work to an extent.

Also, what gets really weird is if you are trying to use environmental variables. The solution is to inject your environmental variables into the client (https://nuxtjs.org/api/configuration-env/) which is what I want to avoid.

I can do what I want to an extent with Ruby and Sinatra, I just want to avoid setting up webpack and babel for getting the reactive components.
I have found that systemd solves many problems. I couldn't care less about boot times, especially on servers. The service startup with dependencies is very nice and easy compared to sysv. You write like 10 lines and it just works. You get status output of the service without having to grep through the log file. Sometimes you don't need a logfile, which makes this even better, as you don't need to use screen/tmux workarounds. You see if a service is running or has exited.

Same for timers. Debugging not running cronjobs is a pain in comparison.

Writing sysv init scripts is so fucking shit, people started to dump everything in /etc/rc.local, especially for earlier RPi versions of Debian.
How do you generally go about finding registered agents? It's never been super obvious to me that Sportsmans Guide is represented by "Clarke, Whitehall and Rosenstein, LLP" or some equally stuffy sounding law firm, much less where the firm might be reachable by registered mail...
What similarities are you talking about? I'm not seeing it.
the alternative i was thinking of was non-processed food.

but, ok, good point point about the packaging. almost every fruit and vegetable from a supermarket's produce section ends up in a plastic bag.
Magic mushrooms: how fungus could help rebuild derelict Cleveland
Well thankfully the Google CEO is not some super salesman like Elon Musk who is trying to emulate Steve Jobs and failing hard with Tesla.

I would bet the farm on Waymo, they realized it takes a long time to build a level 4 autonomous vehicle, so no doubt they were being poached by Uber which all failed.

Likely the problem is one of numbers. The sheer amount of data, and the traffic data Google has access to, all of this adds to a superior safety experience.

Meanwhile a level 2 masquerading as level 3 autopilot should be up for some serious scrutiny, especially if it's true that there appears to be some issue with the autopilot on the Tesla.
Apple provides the Chinese government with the same powers they provide the US government (and don't delude yourself into thinking US laws don't also censor, even if we have different standards). At the same time, as a local device with iCloud disabled, they provide the most usably private device that is widely available, in a place where there are a large number of technically sophisticated dissidents that can benefit from it.

We may wish Apple would use their vast economic resources to attempt more nudging towards liberal western values, but from the public information I'm aware of, they seem far less hypocritical than most companies (or governments, especially the US).
This used to to be the trick to use with the 10 CDs for a penny offers to get out of buying the remaining required full price CDs. After you got the promo-priced CDs, you could send in a change of address form with an address where shipping costs made it unprofitable for them to send the remaining purchases. They'd send a letter back where they regretfully informed you that you membership was being canceled because they didn't support your new address. All you had to do was figure out some address in rural Africa or Asia. Everyone in my freshman dorm used that trick to fill out their music collections.
> There's this mindset that you just throw deep learning at camera images and automatic driving comes out. Musk claimed that.

Shouldn't there be serious repercussions? But seems like he can fuck up majorly and people will still line up to blow him...he does have a BILF thing going for him.
>It’s astonishing to me that people would argue that docker is some how a simpler solution.

Some say docker is the new "curl|bash" ;)
That level of abstraction sounds nice, but isn't really practical. A dropdown menu and a modal have wildly different use cases and relationships with the rest of the app. The only way the former would directly translate to the latter is if the latter contains nothing but a set of radio buttons, in which case you should hire a new designer.

In fact, the reason we have the particular toolbox of standard GUI elements that we have these days is precisely because they serve different use-cases. Each serves a particular one, and the reason it's survived is because it isn't made redundant by any of the others.
Once you rip out any non-free CoS code, it would make sense to offer binaries to people, perhaps through donations or a small fee, if you need to cover hosting/cdn costs. While this is cool, it's still cumbersome and quite wasteful for everyone to reinvent the wheel.
The Open Core business model
Netflix looks to India as content export hub
According to [1], lettuce grown by California farmers cost
993,567,000/84,000 = $11,900 per acre.

According to this article, electricity and power costs $216,000 for a 30,000-square-foot vertical farm, or $313,000/acre.

It seems hard to make that competitive.

[1] https://www.nass.usda.gov/Quick_Stats/Ag_Overview/stateOverv...
is there any progress on progressive web apps regarding with vue.js or is this still an after burner project?
"""
In 1952, a scientist named Charles Breedis injected coal tar and other known carcinogens into the arms of more than 500 newts — amphibians related to salamanders that can also regenerate. Only two animals grew tumors. Much more often, the newts responded by sprouting an extra arm. If scientists can crack how a carcinogen triggers that kind of regenerative growth, it would be “some kind of holy grail” for this area of research, Whited said.
"""

the article has an editorial tone around the distinction of lab vs. natural populations. it starts with an acknowledgement of the consequences of the lab on the animals (losing limbs).

hard to argue with the holy grail, tho.
As an indigo^2 user: holy shit they were trinitron heavy, too. But the internals of that case were [stunningly beautiful](http://www.futuretech.blinkenlights.nl/i2/i2open.jpg).
I wouldn't advise telling people to do chargebacks often. They're meant to be used when venues of negotiation with the company are exhausted and you still believe they're in the wrong. If your bank suspects you're being too liberal with them, they will cut you off, as they'll suspect you're the fraudster.
Red/Green/Blue Mars implies that it's within the lifespan of the current generation between 30 and 50.
Of course it sounds true if you only list the data points that fit the position.
Why do that when you just install a water reclamation system and turn everything into a closed-loop system, only adding water when required?

Why IoT yourself into a security situation where a hacker can nail your system and kill your crop in short time? Hydroponics has the disadvantage of bad effects showing up much faster and hitting much harder than buffered mediums like natural soil, so if you're confident and have your system 'set' so you only need to check once a week, you can have your entire crop dead halfway before you're supposed to check again. If the system is only checking water, the hacker can modify that so it tells you the wrong thing to do, and you kill your crop. That's just a bad scenario all-around.
"I didn't realize PayPal could dip into my checking account any time they wanted to."

EBay did this to me once, I think this is an American thing, doesn't happen here in Canada like that.
Intel's 'CEO Problem' Is Its Board
Capsule Networks Beyond Image Recognition
Nadya, I don't understand the vitriol in your reply. If you think I'm being unreasonable not hiring someone who doesn't understand those basic aspects of the Javascript language, I would be interested in hearing your reasoning. Please share it if you don't mind.
I've been playing the Baldur's Gate rpg recently which has multiple difficulty levels. One of them is "Story Mode" where, as I understand it, you can't die. Baldur's Gate is famous for its story and this lets people enjoy it without having to worry about picking the right team, using the best strategy, items, etc. I thought it was a cool feature to include. (I think it's only in the Enhanced Edition).
This is a really bad argument imho. I'm an agda programmer, but only for hobby projects. You can do pretty much everything you listed: "model checking, program analysis, abstract interpretation and type systems" in agda, right now, this very day and some of these stuff is built-in (like dependent type system) or in the standard library. There even is a small industry built around proof automation. But it doesn't follow agda will solve software engineering. When it comes to engineering, it's also about constructing, not just about correctness. Everything you listed solves the latter while ignoring the former. I think the fundamental problem with software engineering is that it is a little too much like mathematics, to the point, the only way to be correct is to be as precise as agda, but, people who practice software engineering, again, just like mathematicians don't care to use this precise language. Just like a mathematician will never write his paper in agda instead of human language, unification will never by itself solve software engineering. Programs are written for humans, not for automated proof checkers, just like papers on mathematics are written for humans.
You can't make this shit up: the median home price in Ithica is $242k [0]. In Menlo Park, it's $2.42m [1]. A nice, even 10x.

[0] https://www.zillow.com/ithaca-ny/home-values/

[1] https://www.zillow.com/menlo-park-ca/home-values/
No, just `gcc a.c`.
Not only do they not allow you to cancel online, they autorenew your annual subscription to the tune of HUNDREDS of dollars. This happened to me and I'm certain I didn't explicitly opt-in to autorenewal, as I would never consciously opt-in to autorenewal of such a costly service. The told me the following: "by choosing to pay by credit card, you opted into autorenewal." !!??

I moved out out of the country, they autorenewed, I called them, and they refused to cancel the rest of my year's subscription! They insisted upon continuing to send papers to my old address for an entire year.

Completely scammy, I will never do business with them again.