skysight-inc/HackerNews huggingface dataset:
If shadowbanning traps most of the casual abusers, leaving only the elite cheaters, we cannot quite say that it doesn't work, right?

Shadowbanning can be refined to deal with the situation you have identified. For instance, the abusive account's postings can be shown to an account in good standing, if their IP addresses are the same, or in the same class C, or in recent login history, those accounts did appear to some from the same machine or small network.

The system can also detect a pattern of behavior whereby some account in good standing is expressing unsual interest in accounts in poor standing, like specifically searching for their postings or looking at profiles or whatever. Or maybe some more subtle clues.
Hi, Evan from the Snapcraft team here. We're really excited to launch https://build.snapcraft.io today. It'll automatically build and publish your software every time you push a commit to GitHub.

You can then promote any build as a release, installable on the tens of millions of Linux systems that already support snaps.

You just have to provide a config and you're off:

- https://github.com/popey/emoji/blob/master/snapcraft.yaml

- https://github.com/abacao/packer-snap/blob/master/snapcraft....

- https://github.com/RocketChat/Rocket.Chat/blob/develop/.snap...

Keen to hear what you think of it or any feedback you have. Also happy to answer questions.
When you're a Rails developer but your client wants WordPress
I'd say more like "this tiny [latest] block is a strong proof of history".
Understand your audience.

Speak their language.

Say what you really want to say.
Nothing. But nice to have both options now, with GPU or with more cores, customer's choice.
The paper[1] I linked to in my other post shows that you cannot perform such a simulation because it is undecidable. (Specifically, BB(N >= 1919) is provably undecidable in ZFC).

[1] http://www.scottaaronson.com/blog/?p=2725
Judah vs. the Machines: Blindfolded against a Berkeley robot overlord
Bitcoin has grown "not that much" from 2013 you say
That's fair. My observation is admittedly entirely anecdotal.
Thanks! That sounds very interesting, especially the clustering. Good to hear that MySQL has evolved, as well!

(The performance part, too, but so far I've been fortunate enough not to run into problems where the database was really the bottleneck, and I hope it stays that way. ;-) )

EDIT: Now that I think of it, at work we do have a MySQL instance running for a few applications that require it. I am kind of embarrassed to admit that I pay it almost no attention beyond regular backups, but I'm happy to report that is has not given me any trouble at all (which is why rarely think of it - that is kind of the Nirvana for a sysadmin like me!)
Why I started Essential

... to make money, would be my assumption (didn't read the article)
I'd be curious to know how one could do "due diligence" on the size and activity of a private email list. Does that mean contacting people who have advertised in that newsletter before and hoping they share with you their results?
I was intrigued myself so I checked Wikipedia:

"The validity of Smeed's "Law" is a matter of debate:

Smeed's Law is a classic example of a statistical fallacy caused by mathematical coupling wherein correlation is found between variables that share common factors. A series of random numbers for inputs would generate the same hyperbolic curve that Smeed's graphs show. The potential for this error was first described by Pearson in 1897 [4]and has been restated elsewhere.[5]"
Nuances of Applying Deep Learning to Real World Problems
What's the ELI5 for this in terms of who customers are and what kinds of problems it is solving? Sounds terribly interesting but I have absolutely no knowledge of this space :-/
Hey! Thanks for sharing your site. Did you happen to write about what process you followed when going through the revamp? What tools and design choices did you make, etc, etc?
> The claim is that you can not adequately model the Human mind with a Turing machine. Pointing out that Human's are not logical only strengthens this claim and does not refute it.

False. "2+2=5" is not a true statement, but I can construct a computer program that purports to compute the sum of 2 and 2 yet produces 5 as an answer. You can object "you got the addition wrong!" but that's irrelevant. If there is a person who believes (falsely) that 2 plus 2 equals 5, then the computer program could be an accurate model of their thought processes. There's nothing about "computers consistently produce the same answer" that implies "computers always produce the correct answer". "Computers always produce the correct answer" is a much more powerful claim, so the onus is on those who make the claim to prove it.
Just start charging. You'll want to know earlier rather than later which one it is. Life is short. If it turns out this is not the thing you should be working on, knowing which one it is will free your mind up to do something else you should be doing.
The Real Cost of Internet Downtime for Enterprises (infographic)
But you already did
Ruby and Node.js. How likely is it that I'll be able to find newsletters that cater to my niche through your service?

We have http://rubyweekly.com/ and http://nodeweekly.com/ if that helps specifically ;-) There is also http://greenruby.org/ and https://nodejs.libhunt.com/newsletter.

To be fair, just Googling "[topic] newsletter" tends to give the best results in my experience.
Halide, a premium iPhone camera app, by ex-Apple designer and Twitter engineer
Of everything in that article, this I think is the most unusual:

"Devices shouldn’t become outdated every year. They should evolve with you."

If Essential actually adheres to this maxim, they may change how we approach device technology.

Essential has my attention, though not yet my dollars.
I also have a list of what was released in MySQL 5.7:
http://www.thecompletelistoffeatures.com/

I'll work on a new version for 8.0 at some point. In the mean time:

http://mysqlserverteam.com/the-mysql-8-0-0-milestone-release...
http://mysqlserverteam.com/the-mysql-8-0-1-milestone-release...
Would you please not argue like this here? We all understand how annoying ignorant internet dismissals can be, but if you respond merely by excreting bile into the system, you're making it even worse than they are.

Among your other comments there are some that are quite substantive (yay) and others like this one (boo). Kindly stick with the substance even if other people aren't. That enhances credibility and helps tend the garden for everyone.
John Carmack Tech Talk with UMKC-SCE [video]
This attitude is one of the biggest reasons why it's so hard to monetize open source software. There are a lot of open source devs that missed it wasn't meant to be "free as in gratis".
I have a little open-source Mac utility where the source code is available on GitHub:

https://github.com/pkamb/PowerKey

I then sell a compiled version signed with my Apple Developer ID via Gumroad:

https://gumroad.com/l/powerkey

This model works pretty well for small apps that you otherwise want to keep in a public repo. The hassle of compiling + signing the app is worth $5 to many people.

For anyone dabbling with the idea, I can't recommend Gumroad enough for simplicity. But it would be nice to see payment/storefront functionality built into GitHub's Releases feature. A GitHub sanctioned payment system might even clue some creators in to the fact that you can charge for some component of your open source work.
> * Run a Patreon (Vue). Pro: you have autonomy and recurring revenue (yay!). Con: now you're a personality. This is limited to celebs who are good at marketing _themselves_ as much as their software

I don't see this one as necessarily true. And it doesn't even seem to hold up in the one example you gave of Vue. Looking over the patreon page, Evan seems to be totally marketing the technology and not marketing "himself" at all.
I used to be in this space.

My company was LaunchBit https://www.launchbit.com/, which was acquired by BuySellAds. We helped people buy/sell advertising space in newsletters. After a while, newsletters were getting hard to find so we also created a newsletter directory. http://www.newsletterdirectory.co/

It's been several years now and I haven't kept up with how they are both being maintained. Anyway, you may find it helpful.
Free tools for auditing the security of an AWS account
Perhaps, but it does certainly help in determining what kind of performance one is seeking, because you often need to trade startup time for run time when it comes to DOM manipulation. You either have a large framework that takes longer to load, but keeps you away from direct DOM manipulation (for the most part), or you don't and suffer the performance effects of constantly reading/writing DOM property values that trigger layouts/repaints.
Pretty good case for avoiding most startups and any company that demands overtime. There are jobs out there that aren't barbaric and don't require sacrificing sleep. I can't think of something I'd be willing to sacrifice less than sleep at this point. No wonder these startups want young, inexperienced people to come work for them. It's just so much easier to take advantage of the young, to the point where they become complicit in their own demise and start glorifying these inhumane tactics.
Telling someone they lead a sheltered life isn't the same as actually answering the question.

What actual systems have you worked on that were connected to a database, but couldn't send UDP?
> born from his human insecurities

> woo that he pulled out of his ass

It's not ok to argue like this on HN, so please don't. It lowers the quality of discussion in its own right and sets off a downward spiral from others.

Edit: Actually, we've banned your account. Your comment history shows that you've broken HN's civility rule so egregiously, and so repeatedly, that we should have banned it long time ago. If you don't want to be banned on HN, you're welcome to email hn@ycombinator.com and promise to follow the rules scrupulously in the future.

We detached this subthread from https://news.ycombinator.com/item?id=14446064 and marked it off-topic.
This is how I feel too. This is getting out of control.
"Right of first refusal" doesn't inherently cause a problem, as long as, if the company/investors refuse, the equity can be sold elsewhere.
If the game had been playable at launch, it would have retained a lot more of its initial userbase. The constant crashes and long outages turned a lot of people off.
various niche topics

What sort of niche topics? I'm intrigued how specific you mean because I'm in this space :-)
I still have every one of my Hot Wheels cars from my childhood collecting years (approximately 1968 - 1972). Except for the dozen or so I repainted in youthful folly, the other ~70 are in fine shape. After my mother passed away, I found another 4 or 5 still in the blister packs that she had hidden away as handy rewards for me or my brother. My plan was to hand these (and some other childhood toys) down to my adult children, but they aren't settled enough yet to care for them.
Could you share a little more about how you're achieving this?
Engineering Management Talks (from Lyft, Segment, Facebook, Trello)- Part 1/6
Debugging WebSockets Using JavaScript Proxy Object
> Credit/debit cards are a proof of ID in Australia (40 points)

Can you elaborate on that? I'm curious what the points are.
umbrellas in Japan are for free at many shopping malls and restaurants, just lying around in holders until someone needs one. pick it up at one place, put it down in another when the rain stopped. such a nice system.
No, I didn't. I read the preview as it was presented to me by HN, which was probably cached.

I didn't actually visit the site.
I use square cash very often. I like it more than venmo, mostly because it started out using email, which is so universal and doesn't rely on a mobile app or anything else.
I think most people like the concept of catching Pokemon as it is now. But I've of the biggest complaints is that you can't battle other trainers.
Wish I had a use for this- looks really well-put-together.

That said, you'll probably want to fix the spelling for "vendors" on the main page (it's misspelled 'venders').
If what you are hoping for is a situation where manufacturers will sell printers at a loss and then also sell ink at cost, I don't think that's a long-run equilibrium.

If you are looking for printers where you can get ink at cost in exchange for paying a bit more up front, that's available now: https://epson.com/ecotank-super-tank-printers

Kodak also did this ~10 years ago [1] but I cannot figure out if they still use this business model.

[1] https://outline.com/7ZNnYV
One interesting mechanism is to exit out to employee ownership.

E.g. ref: https://www.nceo.org

As a founder, you can exit gradually, selling your shares to the company, so that a. your exit is financed by the company's profit and b. the shares you sell back go into employee ownership.

So you get an exit without selling your employees out. Quite the opposite in fact.
"Besides frequently losing itself in superfluous and wildly tangential flights of lexical diarrhea, the book suffers under the sheer burden of its incredible length."

http://www.edrants.com/the-infinite-jest-review-that-dave-eg...
You are genuinely a creator. Most of us (by fate or lack of talent) are just dabblers, optimizers or copycats.
Release 2017-05-30 Node.js v8.0.0 (Current) Release – Node.js/node
As I recall, one of the endless antitrust-related suits that IBM was once involved with was a similar sort of price discrimination case involving printer supplies. "Overcharging" for supplies that you alone can supply is a very straightforward way to do usage-based pricing on products that can't easily be sold that way.
Depends on your goals. If you want excitement, contributing at a meaningful level, and over-coming huge challenges then startups are great. If you want to maximize your income, and are willing to have minimal impact, then large stable corporations are for you.

I personally prefer startups, but most of my friends have a lot more money than I do.
I made it all the way through.

I wish I hadn't.
I'm not sure that it will "only affect a small number of users".

Maybe this should be an option with false as default value, it could help with the transition.
When I click "Share screen" I get "Screen sharing in Chrome requires installing and enabling our small extension." which attempts to install their plugin[1]. This is the same as every other WebRTC screen sharing I've used.

[1] https://chrome.google.com/webstore/detail/locus-screen-shari...
Good God yes!
I think the main problem (and you are pointing it out) is that most people have no idea how startup compensation works. If they get 0.5% of stock as an early employee and 5 years later the company gets acquired at 100M valuation they think they will end up with 500k. I suspect that this leads to irrational expectations and agreeing to work for much lower salary.

It would be great if someone could share any statistics on what, say 1% at seed money ends up at 100M valuation (or pick another metric). That can give early employees a data point for sanity checks on their comp.
In the EU, that doesn't work. Specifically because none of the conditions of the EULA apply to the sale unless you were presented it before you paid for the product. If it's possible to purchase the product in such a manner where you are not presented the EULA before you bought it, you can ignore a lot of it's conditions.
18. Until you're in your 30s, it can be hard to get a salary that matches your abilities, and peers/management that respects your talent. Sometimes it's hard for them to accept that you're both the youngest dev on the team and the only one who has any goddamned clue how TCP works.

For me this thankfully is in hindsight. I am now lucky to (a) be employed at a company which cultivates a culture of respect for technical ability which spans an age range of 40+ years, and (b) be 31 years old.
Ford didn't get a bailout, nor did they need the cash for clunkers assistance.
Not to mention easily defeated by the AI hiring a human, overnighting them an earpiece, and having them move in meatspace as a proxy.

The whole AI vs Human question seems totally moot to me. What's the difference between an AI with a human employee and a human with an AI employee? Each pair is only as good as their separation of responsibilities.
tnx for sharing! Upstart.me will be more accessible budget-wise than launchbit. Will have a good look at that directory.
There are already rules against it. Please read the Geneva Convention.

During war there are all kinds of accidents, bad judgment, etc. Friendly fire, for example, is a major cause of death.

Now how about the hundreds of people who have died while we were having this conversation?
I think you're vastly overstating it.

The main reason most companies open source stuff is because they had to build something for some reason or another, the thing works, but they don't want to maintain it because it's plumbing and it's not mission-critical.

Sometimes it's easier to throw the thing on GitHub (where others might find it and at least use it) than throw it in your company's internal repository (where nobody will ever find it and it will rot away).
It is definitely high time, the QC is an abomination, it's totally at odds with the idea of MVCC.

In my experience, anyone who enabled the QC was deeply mistaken about its behaviour.
This article is relevant today since Amazon hit $1,000
@Chronos (can't reply for some reason, so I'm just replying to my own post and tagging you)

Its true that LQG is not known a natural schema to implement hyper-computation. However, since we don't well understand the time-dynamics of twistors ( how these operators may interact non-linearly through time), i don't see any a-priori reason why it is not a possible scheme for super-computation (you could make a good counter- response based on occam's razor, which I'd grant).

Look, lots of thereotical CS folks get disturbed by the idea of hyper-computation/super-turing machines, but in truth Turing machines are a toy model in comparison to true physics; as such, it doesn't take a whole lot more to get something more powerful; Siegelmann and colleagues have shown that real weighted, analog recurrent nets have super-turing abilities [1] [2]. While Aaronson and other raise good questions about physical realizability of such systems, a good thing to keep in mind is that these discussions often take place at computational 'limit' cases, eg solving intractable PSPACE problems, which may not be as relevant to more pedestrian problems solvable by biological systems. Central point: dynamically evolving systems iteratively exploring through (from) in-consistent systems towards more and more consistent ones have many of the same compelling qualities we would call 'super-turing'. Also see the lit on evolving turning machines.

Finally, while I don't agree with the magnitude your Pauling analogy, I certainly agree with you statement that Penrose is out of his depth here. While I do not , presently, buy his argument that quantum effects are necessary to realize consciousness, I remain open to the idea until we know more about BOTH physics and computation.

[1] http://www.mitpressjournals.org/doi/abs/10.1162/NECO_a_00263
[2] http://www.kurzweilai.net/super-turing-machine-learns-and-ev...
What's the reason? Do you just like the design? I don't really get why this is special or interesting.
I just saw this now. Thanks, that makes sense. Just the same, I still miss the utility of it!
> The query cache has been disabled-by-default since MySQL 5.6 (2013) as it is known to not scale with high-throughput workloads on multi-core machines.
Maybe, but the remanufacturer would argue back that they didn't take ownership of the cartridge, they just added toner which never transferred ownership.
Always something. Fixed, thanks.
Hiring programmers with extensive wet lab experience? Asking for a friend who might be me :P
Hello! I've stumbled on your webpages and such for years now.
Given your prolific nature of creation, have you done a "startup" or an "entrepreneurial" venture that can scale and even generate profit ? Just curious why or why not ? I would assume you could start a great side company based on your portfolio.
That's funny, because I often feel like most of my creations are just copying some other idea.
Nvidia Shares Recipe to Accelerate AI Cloud Adoption
I'm a Laravel developer and I know about random_compat because of the infamous "There is no suitable CSPRNG installed on your system" message. So I guess it's Wordpress, Laravel, and maybe Symfony too?
Elon Musk has done what he has done for decades. For some people working very hard is sustainable and for others (probably most) it is not. I much depends on constitution and also what one values and enjoys in life. I have personally also "worked" very hard since the 1970s, I enjoy doing so, it makes me feel good, and I plan to continue working hard into the future. One of my mathematician colleagues (Barry Mazur) is 80, and is one of the most mathematically productive people I know. For some people there is a cumulative benefit to long hours of hard work... for others it is surely a total disaster. Life is so complicated.
Andy has been able to get together a stellar team in such a short time
It has already been disabled by default for a while. From the article:

> The query cache has been disabled-by-default since MySQL 5.6 (2013)
Server room with seismic isolation floor
The paper is fine but I took the quote that stood out from the article as the premise which made the conclusion seem odd to me.

> Sorry, and again: how do you prove that the specification is correct?

How do you prove that the proof is correct? By writing another proof of the proof?

In practice it's not terribly useful to wring our hands around this issue. I'll leave that to the mathematicians. If you want to know if your specification is correct you either use a model checker to automatically check that some invariants hold over a universe of states or you use a theorem prover in which you trust the kernel.

If you want to know whether you specified the correct properties, invariants, etc then you'll have to have someone review your work. With an interactive theorem prover at least some of this work can be done by the assistant but at the end of the day it's about thinking and testing your assumptions.

> Absolutism is always wrong ;)

Ha! Cute.

I had thought the idea that formal verification will produce software free of all errors is well debunked these days. Maybe I'm wrong. I've always used to to prove only that certain properties hold. To prove the entire system is free of errors would be quite difficult and expensive indeed!
Styles in components are the next pattern to be figured out for components. The considerations should be

1. Styles should only apply to the component that they intend to style
2. Keep styles decoupled from any specific component library
3. There needs to be a communication layer between application interactions and the styles applied
4. Provide scalable patterns
5. Cache styles effectively
6. Chunk styles to optimize site
Paul Singer is bracing for ‘all hell to break loose’ in the stock market
GIGABYTE Announces Expansion of ARM Server Portfolio Based on ThunderX2