skysight-inc/HackerNews huggingface dataset:
I fully encourage you folks to prune your trusted CAs. I personally whitelist only some CAs. I keep a separate root for visiting Chinese websites like Baidu Wenku.
The terribly restrictive zoning hasn't helped, if we got rid of the height caps and parking minimums that kneecap growth, we would see many more apartments and condos being built. Why should a 1 bedroom apartment be over a grand in Ballard or Fremont?
I definitely agree. And for some reason your comment reminded me of something a sales guy who used to work for a fairly large online company told me. He said the way they see it, is that it's similar to a company sending out kiosks to a bunch of different stores to offer samples. They aren't really trying to make a ton of sales at those kiosks, they are mainly after the demographic info about the customers who seemed most interested, and the stores they got the most hits at.

While I see what he was getting at, I think it is a somewhat weak analogy because if those kiosk people were like online ads, then on top of just keeping track of visible statistics like age, race, gender, etc. They would be also snooping around your purse or wallet, tracking where you came from, car you drive, etc. and then bundling all that data from all the kiosks to sell to some other company for marketing purposes.

I never really felt like arguing back with him because he's a sales person and I'm terrible at that, but it really didn't surprise me too much that they would think its just as innocuous as the Pepperidge Farm guy offering cheese samples at a grocery store.
Many companies use disposable covers[1] when doing demos at conferences. I'm not sure if Best Buy uses them for their demos as well (which are available at many stores), but generally companies do address the hygiene problem.

[1] https://vrcover.com/product/htc-vive-disposable-hygiene-cove...
Uh, how does that relate to the semantics of the language? (Formally, not dictionarily.)

EDIT: I was being a bit facetious, but we were discussing programming languages, so maybe not that much of a stretch...?
You're forgetting about mobile phones. Seriously, bytes matter because mobile networks suck, especially in emerging markets.

Minification is worth it. Make the source code available on github.
>Drive failures are so rare nowadays that I will reinstall more often because of hardware changes.

2 HD failures in the last 4 years. Not rare for me :-(
> Here’s another one.

The second link that follows that one (http://webkay.robinlinus.com/) really terrified me. I had no idea my private network hosts (192.168.X.X) or my private IP address could be scanned by a random webpage. Or the fact that the webpage could find out my laptop was charging with x% percent charge in real time, or the make and model of my machine and GPU. The geo location accuracy of my ip was also scarily accurate. All this when running in incognito with ad blockers. That is very close to being PII.
I'm not sure what you mean. Is that a criticism or a compliment?
Both hypotheses sound reasonable to me, I'd like to see some data on this type of thing.
Anywhere we can read about all the features and functionality?
I'm a firm believer that Americans don't understand how to zone cities. In Asia (e.g. Japan)

Your observation is astute: https://www.vox.com/2016/8/8/12390048/san-francisco-housing-...
This 7 Ways will make him fall helplessly in love with you
I agree that they made too much of the metadata- the simplest explanation is that the document was sent to The Rachel Maddow Show (and possibly other sources) by an alt-right person in an attempt to discredit media outlets that are perceived to be "anti-Trump".

Still, I don't totally understand how the metadata would have come to be the same, surely they weren't just opening the PDF in photoshop and modifying it- if they had, all of the stenographic dots would still be present.

Though most of the alt-right is focusing on CNN right now there was a fairly sophisticated fake MSNBC "special report" video going around a few days ago so it's not like they're ignoring other outlets.
I look forward to the day a majority of people realize that our biology is, to a large extent, something to be overcome. Our "natural" biological impulses are often incredibly destructive, for both ourselves (e.g. sugar cravings) and for those around us (e.g. the impulses in this article).
> Most bugs aren't type related, and you're adding additional mental overhead with these extremely elaborate type systems.

Are you? usually I find it to be the reverse - you're leveraging the type system to track some properties for you, so that you don't have to track them mentally. I.e. less mental overhead (though possibly more boilerplate-overhead)
Yeah, Russian is the one I was thinking of.

Although it's actually more complicated, because there's more than one Russian translation, and this problem was tackled in different ways. Lermontov just did a straightforward translation, changing the implied meaning. Tutchev and Fet both changed the pine to another tree such that the word is male: cedar or oak (in the latter case, this also required changing the described environment in which it grows).
I don't disagree with you, but it's profound to think our goal is to evolve to no longer be human.

Perhaps machine intelligence will be the better version of ourselves; we're just the bootstrap code.
"We are a way for the universe to know itself." - Carl Sagan
Those huge rooms really don't add anything to recommendations (like everyone buys milk), if almost everyone is in the room you can also just leave it off (the same is true for rooms with very few users).

That's why in recommendations, I usually filter them out b degree (which is a constant value read).

MATCH (r:Room) WHERE size( (r)<-[:MEMBER]-() ) < 5000)
...

You're also not using directions in your queries, which will also help.

I looked at your other queries, they can also be improved easily, if you want to I can help you do that. Just need some sample data or a read-only access to the db.
Just ping me at michael@neo4j.com.
For me, the elaborateness of the type system and it's checker REMOVE the overhead. YMMV, obviously.
There is this common misunderstanding that technical people have when it comes to design. I think it's because a list of features makes it seem easy to "compare" two things fairly. It works especially well in the enterprise - if you're in that space you just add an MVP for every feature your competitors have, so when your clients are comparing products yours always seems like a better deal.

The thing about design is, it's about tradeoffs. Good design is stripping things down to their most essential - working out what matters most. It's having courage to say no before something is ready. I would argue that copy/paste was added to iphone prematurely - it only became good when force (3d) touch was introduced.

This stuff has been argued to death because people dislike apple's decisions. Like them or not, the iPhone changed the industry and set the bar for the competition. If a windows phone was so compelling, everyone would have had one! If MMS was so important then why don't we all have nokias? The proof is in the market! that stuff doesn't matter as much as having an easy to use interface, which was partly multi touch, but also a heck of a lot of engineering.
Probably this part from the article:

> Similarly, type theory wasn’t enough to describe new foundations for mathematics from which all mathematical truths could in principle be proven using symbolic logic. It wasn’t enough because this goal in its full extent is unattainable.
I don't think that's true. If you scroll down to the "Property History" section on any Redfin sold listing, you should see the full details for that home, including list price, any price adjustments, and sold price. In some markets, this information is only visible to logged-in users due to MLS restrictions, so you may have to log into your account to view the data.
Ask HN: How to transition out of startup I founded?
I started a company (sole founder) a few years ago. We were mildly successful, and have a handful of employees and are breaking even.

We never raised money, and I think the company could continue to grow organically on its own, growing revenues maybe 10% a year. As CEO, I'm taking an under-market salary for several years, which has taken its toll on me and my family.

The company is in a position where the team in place can probably grow it organically, and have a nice, comfortable workplace.

I do not think there's much opportunity to raise funds, and even if we did, I think traditional investors would be disappointed by the returns. Worse, it would lock me in for a few more years. I also don't know if anything I do personally is going to change the trajectory of the company. I've certainly tried.

I'm a fairly senior developer, and live in an area where tech jobs are easy to come by. I would like to keep my company going (giving most of my salary back towards growing the business + improving staff salaries) but I'd like to go back to a more normal role with market pay + benefits.

Trying to figure out how to navigate this without disrupting my company or scaring off future employers. Would love any advice or feedback.
>So is murdering adulterers.

Yes, and if someone spoke of "discovering" the concept of murdering adulterers, it would be appropriate to point out that this is not new.
>They'll just sell crude to China or whoever.

So China will stick with gasoline even though it will be more expensive, has to be imported, and the country has terrible air pollution problems?
Well the actual transform is due to LaPlace. Steinmetz didn't really work out any new math but he certainly pushed it's practical application forward.

For better or worse most engineering students learn it as a Laplace transform with very little mention of Steinmetz.
Seattle could increase its housing stock by 4x by building at the density of Brooklyn. It doesn't even need to do that much to become affordable. That isn't hard, it's just a matter of allowing it to happen.
Facebook to build housing in Silicon Valley for first time
Build out has happened in Vancouver, and it really needs to focus on building up instead. Pushing working people into neighbouring communities in the metro area isn't the worst, but it's drifting farther and farther out. Whereas closer cities already had their own communities, I feel like too many people are flocking to towns that have no reason to exist other than their (relative) proximity to Vancouver.
> Issuing certificates cost money and has to be paid one way or another.

It's not clear that the prices being charged by commercial CAs are anywhere close or even related to the underlying costs.

I think LE is beginning to demonstrate that the costs of operating a CA are not actually that high, at the same time that the lax behavior by certain commercial CAs has demonstrated that the "validation" they provide is of very little value.
Billions of dollars to put into branding.
I can walk across the street from my apartment in Bellevue and get food, furniture, and groceries but this is the exception even in Bellevue: outside of downtown areas many apartment complexes require getting in a car or bus to get anything.
The article ends with: "It doesn’t mean it has an evolutionary basis."

If not evolution, then what? Doesn't all behavior have an evolutionary basis?
> In Vancouver, B.C. [..] mainly Chinese buyers drove the average home price to $1.038 million in January 2016.

> by January 2017, the average home price in Vancouver had plunged to $878,242 [...] in the wake of the B.C. government’s 15-percent foreign-buyer tax on home purchases

It seems to me you have a clear way to keep the market affordable for residents.
Might be different in different areas. In places I've lived, the title company handles all of this - the seller doesn't hire a lawyer - a large title company likely has a corporate lawyer in case something comes up, but otherwise they have people whose job is it to do the search and put together the closing documents.
The point is development in Belltown has been highly restricted for decades, preventing dense, multi-purpose buildings from being built in that neighborhood.

Even the newer buildings being built right on Denny and Queen Anne Ave N in Belltown are entirely the creation of zoning, as they are height capped and forced to subsidize parking (which rents for $0.XX per sqft a month) over usable space that rents for dollars a square foot. Most of the people living and working in that area are using transit, with 70% not driving: https://www.seattle.gov/transportation/docs/2014TrafficRepor...
this looks awesome - beautiful work so far
Speculation Regarding the Pricing of and Strategy Behind This Year’s New iPhones
I can no longer imagine using a CI system without job scripts committed. Could someone let me know why jenkins is still more popular?
And there is Visual Studio Code which is totally unrelated code editor available on multiples platforms which add more to the confusion.
What's wrong with people taking 10 days off per year?
Why is management so short-sighted as to make promotion decisions based on ~4days/yr of presence (<2% of productivity)?

Why does it even matter why they take the time off?

Make a stupid policy, get a rational response from employees.
I've never watched this particular stream, but I've watched a few others. I expect many (most?) people are like me: they watch the stream on their TV while doing something else, or they stick it in a corner of their desktop, or on a spare monitor, ditto. Either way, if you go much past 1080p - at least for the region that's being streamed - it stands a fair chance of being hard to read.

(If you use a single monitor for coding in the privacy of your own home... well... what can I say? It takes all sorts.)
I have a whole bunch of registered domains I haven't done anything with. For example : http://www.procrastinationjournal.com/
This is actually my theory of life -- humanity will eventually create a "perfect" version of ourselves, which with then exterminate us because we are inferior, and then the AI-human race will create a perfect society and branch off to explore the universe.
First step: not relying on a single company.
Makes sense. Evolution favours the strong and works to ensure survival, not happiness.
I built http://thejobist.com (lame tagline: A job-search search site) as I was learning web development and looking for a web development job. I built it with grand vision to expand user submissions, working voting, featured sites, relevant ads and the list goes on. However, once I found a job, I let it dwindle. It still gets a decent amount of traffic considering how little effort I have put into promoting it in the several few years. I still think that it would be possible to make it more useful and revenue positive but I seem to have a bit of ADHD when it comes to side projects.
What questions? We already know that the major cable news refuse to verify sources anymore because it hurts their revenue to throw away juicy fakes.

The news media, especially cable news, has completely lost the trust of the public, and it's because they no longer even pretend to care about the facts.

Edit: Referring specifically to this: "She suggested, without stating, that this may have been what caused CNN and other outlets recently to publish reports about Trump and/or Russia that ended up being retracted."
What is "he" right about, exactly? You say "yes they can be useful", but that's not the impression I get from OP. I am also confused because the very quote OP is responding to states that "...type systems are not enough to prevent all the problems in logic and programming...". Do you consider that acting like type systems are a cure-all?
That's even worse than Amazon!
Gonna get around to it any time now.
> I think the bigger trend is that training oneself to excel at those types of problems meant (in addition to other things) one thing about you back then (that you were really into programming). Now that same behavior likely means that you want to get a nice job at one of the big tech companies, as a result of them publically selecting for that.

Thanks for the explanation! The idea being discussed didn't quite click for me until I read this
So employers need to be careful not to hire sickly people?
Semantic quibbling. GP paid their agent (presumably) 3%, which included staging. Redfin charges 1%, which doesn't include staging.

(exact numbers might vary based on locale, these are Seattle numbers)
I tried to make an IMDb for politics a few years ago. I got to some interesting places - I was consuming the records of the California state government; elections and house/senate records, to see who was in office when and what they did (to a limited extent).

I got a mentor, and we pushed me to try to put out any kind of product for the... 2012? election, so I figured out a neat way to make word clouds of the legislation written by a person; I figured it'd be a decent bad way to find out what topics they're active about. I put it up as an IndieGoGo, and had some fun with friends and family exploring the database, seeing what interesting statistics we could pull out. Made maybe a grand from 3-10 donors.

Ultimately, as far as I could get as a one-man team, I couldn't actually take it anywhere solo. Theoretically, one can, with all the tools that are out and about - but I'd run into the motivation / momentum issue. Carrying an entire thing on just your own shoulders doesn't work out very well.

I spent a year-ish building it off-and-on, starting as a side project during the last couple months of regular employment; but I also skipped the country to hitch-hike for three months, and otherwise didn't dedicate myself to it like a real job while I was unemployed and "trying" to make it work.

However, I basically taught myself web-dev / RoR in order to do it, and now I'm a nearly-senior RoR dev, so that all worked out pretty well in the end!

--

About a year ago, I started making a little mindfulness widget. You'd sign up on the website, give it your phone number, and it'd text you mindfulness questions throughout the day.

Currently, I'm working on what's basically dependency management for cosmetic ingredients (cosmetics are made of stuff that's made of stuff and you need a breakdown at that 2nd level), specifically for a friend who's a chemical process engineer and needs more than spreadsheets can deliver. This one I'm doing properly as a side-project, rather than trying to do it "full-time".

--

The big take away from these for me is: Have a team before you try to make it more than a side-project. Doesn't have to be other programmers - it can be you and a "primary customer" - but you need other people to share the emotional burden of keeping momentum.
it is not bounded vertically. What Seattle needs to do is limit SFH (single family home) zoning, which right now covers ~80% of the city.
No. There is a technical term for this - can someone help me out? I can't remember it....
The birthday paradox of two heterosexual employees finding love is higher than two LGBT employees finding love, given the relative numbers.
I'm not going to try to convince you, but getting classpath isolation would be a huge deal for my use case. (We could theoretically do OSGi or similar, but that's quite a heavy-handed approach to what should be a simple -- even "default" -- thing).
Interesting. I've not heard that term before. Can you suggest a personal data management tool that works well with one of the suggested backup solutions in this thread?
>First off, see a doctor and get a diagnosis. Avoid the drugs. Ritalin or its time released bastard cousin Concerta are bad news...in my opinion (I'm not a doctor), they're both worse than cocaine.

If I should avoid drugs why going to a doctor? The symptoms match that good that I don't have much doubt anymore that I have ADHD(and not only the obvious symptoms match, but also stuff like eg terrible time management, I have barely any intuition about time and often am late with no ill will)

> Second, if you are on the ADHD spectrum, you will need to change your attitude towards ADHD. Yeah, it makes certain environments less productive, and it can create a whole world of problems in personal relationships. However, ADHD can also be extremely helpful.

Could you please expand on that. What environments do you avoid and which do you seek? (calm ones?)

>Fourth, carry around a notebook and diary out your life. Keep track of what you eat, drink, do and your moods. Make special note of times when your ADHD is worse than others and try to figure out the triggers.

Will try that out

Thank you for your input.
Show HN: CrowdArt
Just act like you're sitting next to a new coworker, teaching
them what you're doing.
Most people spend a great deal of time fighting their impulses in order to behave in a proper socialized manner: go to work, be nice, clean up, call your mom, don't procrastinate, etc.
being bounded on multiple sides by water/geographical restrictions is not really unique to seattle, however. Vancouver BC is bounded by the fraser river, burrard inlet and the ocean on 3 sides. The problem in Vancouver is not so much geography and lack of space, but the combination of massive foreign investment distorting the market and the fact that 90%+ of the city's residential land area is still zoned for single family houses. The 15% foreign resident home buyers' tax in BC has recently resulted in a lot of the mainland Chinese capital coming to buy homes in the Seattle area instead.
> We already know that the major cable news refuse to verify sources anymore because it hurts their revenue to throw away juicy fakes.

You're responding to a story about a major cable news outlet outing a juicy story as untrue.
I think this could be possible in the glass boxes if they had many small spaces of retail on the ground floor or two and sold them to business owners (like condos). I wish they would do that in Oakland. I like increased density and we need the housing, but it is a bit sad to see 20 individual lots get eaten up by huge condo projects. Even sadder to see the new construction go up in smoke though.
I kind of want this to be a periodic HN topic, like "Who's Hiring" - "What's Stalling", maybe?

Get us talking about projects that we're working on that need a boost of any kind.
this looks really good!
I started running last fall, but it's boring as hell so in the spring I picked up skateboarding (at 40). It's the steepest and most rewarding learning curve I've been on for a long time. The downside is that all I can think about at work is what I'm going to do when my rickety old body has repaired itself well enough to skateboard again. I'm pretty sure that's a good indicator I'm stimulating parts of my brain that haven't been challenged in a good long time.
In this case, if the forger was trying to discredit news sources and create general confusion and drama it was apparently successful.
$878k is still not affordable, and Seattle is still not Vancouver.
> but it's profound to think our goal is to evolve to no longer be human.

What makes us human? We know from experience that children are often cruel towards other animals, even other children,and get drunk on power too easily. So this kind of aggression is something innate, right?

But we have learned from experience that it's not good for us as a society, so we train them( at least in most cultures) to be kind and compassionate.

Now what is more human then- brutality or compassion? Of course compassion. It doesn't matter that this trait is not innate. What matters is that we have consciously chosen to cultivate and promote this trait. Call it "conscious" evolution, if you will. But it doesn't make us any less of a human. It makes us more human- the human that has collectively evolved using transfer of experience through language.
clam down clam down... no need to roast him over his claims...
The answer has to be to change jobs if you are in a situation where it would be inappropriate to attempt to form a relationship.
> 2) Finished something from start to finish.

Solid!
they "can" build up, zoning laws are not an immutable fact of nature.