skysight-inc/HackerNews huggingface dataset:
My comment got too long and are two different responses. Splitting seems to make sense.

--

IG is around 725M monthly active users now. I think their DAU is roughly 450M. A year ago, they were at around 500M MAU.

Snapchat is at 170M DAU. It was at 145M DAU in August 2016. It is now at roughly 330 MAU and 290 MAU in August 2016 (I know they were at ~300 MAU in November 2016).

IG is outpacing Snapchat by percentage of growth on top of sheer numbers while being far far larger, of course benefitting from being around longer. Snapchat has always been the underdog to Instagram.

There's no comparison of Google+ to FB in 2012 and Instagram to Snapchat in 2017 or any of the last few years. With IG always having been larger than Snap and recent user growth of IG massively outperforming Snap too -- "users will go back to to their previous habits" doesn't fit here or in Google+'a case.

There are likely few people who switched from Snapchat to just IG in recent months while treating it like Snapchat (mostly DMing and doing stories) outside of bigger online names using IG stories. There's nothing to reverse of going back to old habits. Meanwhile with Google+, it never even became a habit. Most people never really used it. It was a one or two off thing for the vast majority of users, mostly perpetrated by the pushing of existing users to try Google+.

If your point was about people going back to Snapchat stories over IG stories, I'm not so sure. Just like you, friends still mostly post to Snap stories. IG for me is like 10% of friends or acquaintances posting regular stories. But a ton of people popular accounts posting. I don't see this changing. So IG stories will also always be bigger than Snapchat if current trends stick.
I don't mean this pejoratively, but how old are you? I'm just curious as I had no problems with the color / font weight. For my sites I usually use something like #232323 instead of pure black.
Try Emwave 2. It may work. If it does, it can provide a big boost to your mental/emotional setup.
As "Someone" said, they moved onto another project:

https://www.usenix.org/system/files/conference/osdi14/osdi14...
It's very situational. I built a rich SPA with lots of animations a few years ago and sometimes I would have no issues and other times animations would chug on one or two browsers. I haven't done animation work in the past couple of years but I used GSAP for that product and it was great. It's very tough to navigate the animation world because fades work great in context A on FireFox but work like crap in the same context on Safari. You might see the opposite on context B with a different animation.

Hopefully in a few more years we will see better and more consistent performance across all browsers, but we aren't quite there yet with CSS
"play a real instrument"

Does that mean yelling at my Alexa to play a Spotify track? It's the only interpretation that makes sense.
Interesting! At least there is one case that the company is doing the right thing. Thanks for sharing smoyer!
> but blaming Hack-PR for one of the older internet tricks is a bit unfair

I know it's not solely their fault. Just like people don't really blame Obama when they say 'Thanks Obama', I wasn't putting all the blame on Hack-PR when I said 'Thanks Hack-PR'.
I've not used /r/politics but I imagine it'd be pretty shitty even without bots, politics is too polarizing, unless you have a echo chamber, which removes the point of it being a general politics subreddit.
While I understand people finding this distasteful, it's exactly the kind of rule-breaking that they should be doing. Cheating? Airbnb broke Craigslist's rules to good effect, among others.

It's naughty without being outright evil. When did that become a bad thing on HN?
https://barnacl.es: News for bootstrappers, not VC hackers
Former Facebook exec wants to make us telepathic by 2025
Step 1: distribute umbrellas

Step 2: ?

Step 3: Profit!
Can you elaborate in your comment? What do you mean local coffee shop? And why is an echo chamber insinuated in that statement?
Systems and methods to search resumes based on keywords [pdf]
Thinking about it, I wonder how much QDR SRAM bandwidth compare with GDDR5. This would be useful for Monero for example. Nobody is going to care about spending a few hundred for FPGAs with large amount of memory if a 5x-10x boost over GPUs is possible, but...
That future is being created, you're probably just less aware of it than you think.

Serverlessconf just announced their NYC conference, expected to be the largest yet. If Austin is any indicator, it will be huge. [1] Tim Wagner at AWS likes to spout the stat that billions of financial trades are already being processed per day on AWS Lambda. The "serverless" market is gigantic and growing rapidly.

And then there's companies like StdLib [2], where we've built an abstraction layer on top of serverless architecture that turns remote procedure calls (and APIs) into first-class citizens of your development environment with a single package and allows you to ship applications without ever worrying about infrastructure. We just closed a $2M seed [3] and are announcing some transformative partnerships shortly. We're tackling some of the exact issues you have problems with, and we're not the only ones.

The future is already here. It's just not evenly distributed. ;)

Disclaimer: I am the founder of StdLib. :)

[1] https://nyc.serverlessconf.io/

[2] https://github.com/stdlib/lib/

[3] https://techcrunch.com/2017/06/27/stdlib-just-raised-2-milli...
This Number Will Text You a Work of Art Based on What You Want to See
Author here.

Building Certigrad involves replaying all tactic scripts in the entire project to reconstruct all of the formal proofs, and then checking each of the formal proof objects in Lean's small trusted kernel. Proving (and checking) the main correctness theorem for stochastic backpropagation is very fast. The vast majority of the time and memory is spent verifying that a specific machine learning model (AEVB) satisfies all the preconditions for backprop. This involves proving several technical conditions, e.g. that various large terms are (uniformly) integrable. We have not experimented much with simplification strategies, and there is probably a lot of room for improvement in bringing these numbers down. It would also be good to provide an option to build the system without reconstructing the proofs; checking the proofs is analogous to running the entire test suite, and most users do not do this for every tool they build.
Makes me want to cry.
.io has been on my mind for months now.

There is a guy who has a auction service for .io. He claimed his site is legit, and he's just a great Programmer, and Salesman.

I forget the site, and he might be a straight shooter.

I think I figured out his success. I think he scooped up thousands before he started the auction site, and people are basically just buying his domains.

There's nothing wrong with that--I guess?

My point is .io seems shady. I think they are overpriced. Yes--$99 bucks a year is $90 too much.

I know the .io is popular among tech people. The rest of the world could care less.
Sorry what's new about this? Aren't all the pieces existing AWS services? They've just put it in a nice graphic with the architecture drawn out.

Not saying I don't like the architecture (actually think it's quite useful for many scenarios). Not sold on using DynamoDB (I'd rather use a traditional SQL store).
Note also their closing line:

we’re going to begin publishing articles like this to outline what we are doing that’s working so others can do the same

Wonderful.
There's far too much software that won't accept that, sadly.
Amazon wants to control markets by leading in with "convenience" factor but they will sheist you.

Buy stuff from Amazon... but for Pete's sake don't make them a core project dependency for your software projects. You only have yourself to blame when they start ratcheting up their prices.
I'm a man and I don't drink. Whether purely social or work-social event, it's always awkward, but I just don't care.
If your test-suite pass rate is significantly greater than 70% (and statistically independent), you can gain throughput by grouping PRs into batches.

For example, if the pass rate is 80%, then by batching 3 PRs together there's a 51.2% chance to pass with all three, which would save 2 test runs. and a 48.8% to fail, which would cost 1 extra run. That's a pretty substantial increase in throughput.
There's two assertions:

1. They're not proving anything relevant to current software development.

That's a joke to anyone following formal verification. Key protocols, microkernels, hypervisors, safe concurrency, CompCert compiler, part of NaCl, Microsoft's static verification for device drivers... the list gets bigger every year. Quite a few are already practical.

2. I know my operating system will never be proven correct.

That's probably true if he uses one not designed for verification. The high-assurance field gave up on UNIX after prototypes like UCLA Secure UNIX and even Mach work showed it was inherently too complex and leak-prone to secure in a high-assurance way. They moved to security kernels, separation kernels, language runtimes, trustworthy hardware, and so on. Each time, tried to make the trusted part as correct and secure as possible. If they couldn't, a recovery option was added.

So, we have numerous secure and high-uptime systems deployed whose methods were published even if source wasn't. He or others can always build on these if they want to replicate the results. His OS will at least be secure against most attacks, quite reliable in practice, and most errors recoverable with the rest not leading to data loss if good backup/restore plan. Good enough for me. :)
An accounts system is coming in the next version. The public seashells URLs / HTML/CSS output ideas sounds neat, I'll add them to the potential features list!

I'm not sure if the code is going to be open-sourced, but I'm adding TLS and also client-side encryption in the next version.
For $5 million?

Doesn't seem to be too expensive for someone with $15 Bn net worth. Nice of Paypal to let go of it though, I guess.
Someone should port all that C++ code (there's not that much of it, really) to Java, that would make it a lot easier to compile, wouldn't it?
Yea I don't have a problem with it per se, I just wish it implemented any sort of improvement to reduce the hard-drive usage. Say, integrating with the OS to read the same memory as the program will (rather than reading it 2+ times: this kills the drive). Or perhaps storing a list - with hashes - of already scanned files, so it doesn't scan the entire 30+ GB windows dev kit every time I open a large project in visual studio (especially egregious because it forgets it already scanned it when I open a different IDE or say... compiler). The thing is out of control.
Considering there are places on earth with much lower taxes than you've been paying, I really doubt you'll move because of this.
Yeah, I totally understand you. I'm currently only using this for non-sensitive stuff (e.g. neural network training logs).

I'm going to implement client-side encryption in the next version!
Letters and Liquors
My advice would be to talk to a friend. It is very hard to give advice over the Internet without knowing your personality and circumstances.

One thing which is impossible is to have a 25-year old version of a 8-year old hacker. A 8-year old has infinite time and no worries. At 25 conscious or unconscious worries about where your life is going may be holding you back. Integrating hacking into a realistic life plan that can fulfill your other needs might help free up your mind.
WWE 2k15 Game for PC Free Download
thefacebook.com is/was the web mail portal: https://mail.thefacebook.com/
AWS is the system architecture of the web, full-stop. Well, a system architecture, alongside Microsoft Azure and Google Cloud.

Avoid them at your own peril and detriment to your ability to execute as a business.

With the exception of a few masochists, we don't write software in machine code anymore. Same will be said for cloud infrastructure (actually, it's already there). Breathe and accept the future, focus on building what's next and
/ or adding value to your business.
"Male founders have to run this emasculating gauntlet too, except that they can’t blame gender discrimination for how dirty they feel at the end of the day."

This is something I think about a lot. I am white & I am male, so my race and gender are naturally things that I don't think of very often (and I understand that constitutes a level of privilege). An exercise that I like to do sometimes is just imagine the situation I'm experiencing as if I was female, or as if I was black. If I'm in a meeting and everyone ignores what I'm saying, as a white male, there is no voice in the back of my head saying "it's because I'm female." If I don't get a job, or the interviewer was condescending, there is no voice in my head saying "it's because I'm black." So I entertain these ideas every once in a while, and it's actually amazing how many misfortunes I can quickly associate to being black or being female, that had I actually been black or female I would have ABSOLUTELY attributed to those features.

What makes this interesting is that my point isn't to say that a female or person of color won't actually have a different experience, and face real instances of racism and sexism...because they absolutely will. The thing that I DO find interesting is that they basically have no "control" experience by which to measure their victimhood. Once you've taken on the role of a victim, any number of injustices that are just part of human nature can be attributed to whatever you perceive as the source. The end result is a major overestimation of remaining institutional injustices, in my opinion, and the constant reinforcement of this victimhood status is largely responsible for continuing to plant this voice in the head of individuals that is constantly asking "am I being treated this way because I'm ________."

The inverse is obviously true in that a white male is very likely to underestimate the injustices encountered by a black person or a female, but I find this to be much less interesting. The reason being that no person is very aware of the injustices we DON'T face, we are acutely aware of the injustices that we DO face. If a black man experiences a 15% increase in injustices vs a white man, the white man is likely underestimate the impact of those of the black man. The black man, however, can rightfully attribute those extra 15% to the fact that he his black, but there is no clear differentiator between those that were truly racial in nature vs those that would have been encountered regardless of race.
Your linked article has the one thing that TFA is missing, one image with all the logos on it. Thank you
Earn free money with bestchange- Get Up to $0.45 per Click Visitor
Sure, it might not be trig, but in your description there is still calculation (the ball is growing larger at x rate, so adjust my legs accordingly), just not of the self-aware conscious variety. There are really two definitions of 'calculation' that are used interchangabley - one is a) the act of deconstructing into symbols and picking apart, and the other is b) the execution of algorithm.

My point is that 'feeling' or 'muscle memory' is the execution of (super hacky, ad hoc and efficient) algorithm, the big difference between computer calculation and brain calculation being that the brain is far more plastic than the computer. Presumably in an insects mind the 'muscle memory' is hardcoded (deliberately reductionist here), whereas we have a conscious mind that can train and 'program' our unconscious mind.

In your quote, 'we just do it' is ignoring the great complexity of the human mind that can perform complex interconnected tasks with seemingly no effort at all, if it has been trained properly. Replace training with programming, and the parallels are there - graphics programming for instance is a huge collection of hacks and rules of thumb to get something that looks like perspective and light. Like our brain, it's results orientated so it truly doesn't matter if it's not 'correct'.

Now of course the brain and computers are different, but it's incorrect to say the brain doesn't calculate - it just is a lot more unwieldy to program than a computer.
These days? Grab a 20 year old Pentium II and you can test a 300-cycle 32-bit function in an hour.
I recall when I was at PayPal, which owned x.com at the time, there were a few people who had x.com email addresses internally. It was considered a prestigious novelty.

I also recall pitching to various folks to use the domain as a URL shortener, but people rolled their eyes. Always felt like a missed opportunity to me, although I admit it was a kind of gimmicky idea.
Well what kind of project are you trying to work on?

Sometimes we unknowingly build a mental block and self-resistance against working on projects that are too broad, too complicated, or even things that are just not interesting enough for our internal psyche.

For technical work, you have to focus of on your focus. I won't drive anywhere at anytime. For me, a single drive wrecks my concentration for the whole day. Also, stay out of phone use, the internet, and shopping. Stay out of mind numbing meetings and discussion groups. Diet wise, I could recommend simple things like apples, nuts, cookies, coffee and tea. As much as you would like. I could get the complicated stuff out of the way in 3-4 weeks locked in a closet with lots of privacy and bad personal hygiene practices.

The frills, database, and front-end stuff can be far more enjoyable and leisurely. You can even do those things at a coffee shop. I would considered that kind of programming as a psychological reward for doing the hard stuff.

Also, I'd investigate regulating your sugar levels through diet. That can certainly cause brain fog. People who turn to soft drinks for that quick fix, mental lift ultimately wind up in with bad focus and poor health.
The Times describes some founders who put up with unwanted sexual advances because they were desperate to raise money for their
startups. There’s an old-fashioned word for what these ladies are doing that I shan’t repeat here.

So, women who reject these advances but don't want to object too loudly out of fear of burning bridges or being seen as a troublemaker, are being accused of prostitution. What a fascinating way to smear the victims.
It's not just on rent/mortgage and utilities. It's also the local buying power. Rent/mortgage and utilities can be a significant difference all over the world.
X.com was owned by PayPal/eBay for a while and originally hosted a site about X.commerce... their failed enterprise application bus (at least I think that's what it was).

They threw one heck of a party and then promptly disappeared.
I think a good solution would be to get up early in the morning, assess what you'd like to influence or draw attention away from, and then craft a message that takes advantage of this tendency.

Build windmills, not windbreaks.
It seems that everyone is aware that likes, follows, upvotes, etc can all be bought, and therefore these numbers are manipulated regularly. But does anyone care to see the problem solved?
What would be the proper way of gaining traction on reddit? Is that even possible anymore? I mean if the game is already rigged what chance do honest businesses stand in this environment?
I dont have an account on reddit (been there for what? 7 years now?) and I always wondered how somebody go viral and get traction now this stuff makes me think everything is basically done and paid for.
> Why one need underwriter at all? Why certain investors are offered lower unfair price?

Those are two completely different things. Underwriters are there to ensure that the company is able to predict the amount of money that an IPO will raise. There are all sorts of legitimate reasons that a company needs to be able to predict the amount of money an IPO will bring in, starting with the fact that it's literally the entire point of an IPO.

Even in the Dutch-auction style that's been proposed in other comments, you don't solve the problem that some investors will be able to invest at the IPO price and others won't. The supply is finite; as long as demand ends up exceeding supply, you're still running the risk of people not being able to purchase shares, except now you've also done away with the invariant that a company can predict the amount of money it's going to raise.

(Note that even Google, which famously used a Dutch auction for its IPO, had an underwriter, and the underwriter had to change the share price at the last-minute because some larger institutional investors indicated that they were going to back out of the IPO and wait to trade later in the day. If that had ended up happening, it would have completely wiped out the money that Google was trying to raise by having the IPO in the first place).
Having recently had the opportunity to compare Tokyo's rail system to DC's, I'd trust the Japanese government to set prices. But here in the US I suspect prices wouldn't be set to "ensure profitability while preventing profitability." Instead, they'd go back and forth between untenable extremes.
As I understand it, it's mostly an attempt to pave the way for an eventual statewide income tax. I'm all for that -- our regressive tax structure is terrible -- but I would've preferred that this measure serve as an offset to lower other taxes rather than just funding whatever new stuff the council feels like spending money on.
Rest In Peace Joe.
Isn't that the value proposition here? If you have your own server you can pipe directly to a file and serve that can't you?
Many times I have read internet complaints about how sexist and horrible some conference is, and thought, "wait a minute, I have had this exact experience several times -- and I am a white male."
>The Times describes some founders who put up with unwanted sexual advances because they were desperate to raise money for their startups. There’s an old-fashioned word for what these ladies are doing that I shan’t repeat here.

What? I'm not sure I know what "old-fashioned word" the author is talking about...

The author then goes on to explain that men have to put up with shitty people to raise money as well.

As a man who has dealt with shitty people in an array of business situations I can say that none of my run-ins have included sexual assault.

The stories coming to light are not about "unwanted sexual advances" as much as they're about actual assault, or at the very least harassment.

The only people who benefit when we are dismissive are the abusers.
Why are posts like this being downvoted? Is t because it contains self promotional links? I think the post is informative and adds value.

dang, I think there should be a feature to add an optional anonymous and private comment to the person when you downvote something, to let them know why (but with no arguments).
How exactly would you imagine this being integrated with Slack? Would you want to share stuff from your terminal into Slack? Or you want to share content from Slack?
Poor guy, Rescue Time is a great product and I use it to keep myself honest. RIP.
Silicon Valley's Overstuffed Startups
Different versions of perl, node, mariadb, apache. I am using Homebrew as well, was using Macports but it pulls too many dependencies. You still need to install Xcode for which you need an appstore account. On Linux you're pretty much done after you install the OS, or maybe you might need to apt install build-essential.
How to Create a Virtual Product in Magento 2 (5 Minutes)
I don't think you read closely enough. On the low-end, banks were thinking $108 for the base price per share. As it was, the IPO ended up at $85/share because of it being a dutch-auction where most investors played it safe and did low bids. As soon as the IPO executed (at $85) it popped anyway to $100. So Google potentially lost out on $23/share (minus 7-8% cut from banks).

https://www.quora.com/How-was-Googles-IPO-unique/answer/Yair...