skysight-inc/HackerNews huggingface dataset:
I use Depesz's Explain tool regularly for discussing queries with distributed teams in Slack. It's an indispensable tool.

By the way, if you think this is cool, Hubert (creator of depesz) is a DBA at Instructure, making software for schools (Canvas) and employee training (Bridge). We open-source a ton of stuff (code.instructure.com).

We're hiring leads + senior engineers in Chicago, Salt Lake City, Seattle, and Budapest! If you're interested, feel free to reach out to neil+hn@instructure.com or check out what's available at https://jobs.lever.co/instructure?lever-via=NiHimSaI8r&team=...
The problem is that it's /not/ a power they have, and ought to be shut down by the judicial ASAP. The only reason it's not is because it's not been prosecuted for prior administrations, and has become a pattern of laxity, allowing the legislative to claim to wash their hands of culpability when a law they stand for in public isn't acted on in private.
The crappy thing is that the psycho CEO that filed charges is 100% right. The journalist willfully and knowingly committed a data breach. There are no provisions in the law for "I did it for a good cause" or "I only demonstrated that it was possible."

Of course if he hadn't, he wouldn't have been able to write a story about it and the security holes would not have become public knowledge.

The laws in these areas are insanely antiquated and this is not the first time investigated people in power have tried to use them to silence or smear journalists. Freedom of speech is threatened.
No model is perfect, but some models are better than others. I think it's fair to blame models that don't work very well. It's true that they are presenting neoliberalism as a boogieman. I don't even really understand what that actually translates to in econ: Chicago School perhaps. But there is a lot of disagreement on the efficiency of markets and the need for regulation in the discipline. I think a lot of recent economics research makes a good case for increased regulation in order to correct real market inefficiencies.
Why Invest in Startups
> In what situation would you walk up to a stranger

Walking up to a stranger is one thing, but that really wasn't the case here... in this case, a comment was made to company-appointed P.R. representative who was present at a meeting with a journalist who was there to write about the company, its values, and its culture. I think the founder of the company commenting on the same company's P.R. person not adhering to the company's values is very much him "minding his own business".
Even at nominal GDP it is 59k vs 39k, so 50% difference and not 100%.

And I'm not sure to understand why you prefer one mesure over the other. Pure GDP does not take into account systemic issues, such as the cost of health care or education. And the point of the discussion was the relevant merit of various economical systems.

But I did not post in order to correct some semantic point. But rather to explain the non-commented down votes.

In your original post you made an extraordinary claim, that was off by an order of magnitude. I pointed this out, and instead of checking facts, you downgraded your claim, even though a simple Google lookup would have been enough to know that even that was wrong by 100%.

https://en.m.wikipedia.org/wiki/List_of_countries_by_GDP_(no...

In my mind this is an example of why it is difficult to have meaningful debate in our society. There is no point in debating if one or both parties are not willing to challenge their understanding of the facts.
"More fiction is written in excel than in word".

Better not to have a model than to follow a wrong model.
Sounds like a perfect complement to the Green New Deal - use social credit scores to deprive deplorables of transport, energy, shelter, and food.
This page was just a fun exercise; seems to have missed communicating fully how we use synthesis. My bad.

You are right about about "2." and part of "3.". For "2." yes, the smart contracts are indeed simpler (small code, gas limits, closed systems). So we can skip some major hurdles that more general techniques need -- case in point the FB abstract interpretation framework Sparta here yesterday. For "3." we use Z3 (as should everybody :)!) but the target language for synthesis is Solidity. [ Hope you didn't mean Solidity is a DSL, coz that would be a generous interpretation of that word. ]

The initial spec is another smart contract (call it IN), so code and not a formal constraint. We synthesize another smart contract (call it OUT), such that the combination (IN + OUT) behaves well. See work on synthesizing program inverters for the background ideas (http://saurabh-srivastava.com/pubs/pldi11-pins.pdf)
From the YouTube terms of service [1]:

> For clarity, you retain all of your ownership rights in your Content. However, by submitting Content to YouTube, you hereby grant YouTube a worldwide, non-exclusive, royalty-free, sublicenseable and transferable license to use, reproduce, distribute, prepare derivative works of, display, and perform the Content

> You also hereby grant each user of the Service a non-exclusive license to access your Content through the Service, and to use, reproduce, distribute, display and perform such Content as permitted through the functionality of the Service and under these Terms of Service.

Which is to say, creators don't give up any rights by uploading their videos to YouTube. The license they give to YouTube is nonexclusive, meaning they can still distribute their videos however they want. (This is also how the licensing on this site works [2], as well as most other sites with user-generated content AFAIK).

YouTube's license does specifically disallow its users from ripping its videos and distributing them elsewhere. But that's fine — unless they specifically choose to license their videos in that way, the normal copyright owned by the creator doesn't allow for that either! In that case, the content creators themselves are preventing sharing, and YouTube has nothing to do with it.

[1] https://www.youtube.com/t/terms
[2] https://www.ycombinator.com/legal/#tou
Whatever happened to the simple line of text for a sig?

My Name * Developer * Excellent Company * me@example.com * +1.212.555.1212
I find it interesting that the proposed solution to "How do I not use a CAPTCHA?" is "Reinvent a CAPTCHA".

Although "Handle very private information instead" is an uncommon twist.
I don't like the law either, it might even impact some of the context I mention, but that context is still there if we're talking about OP's headline vs headline discussion.
I doubt this is possible. Maybe if you take helicopters to get from
border to border and have all immigration officials ready to process you once you arrive.
So is this meant to be an advertisement for their product, or are they trying to recruit? Why are they trying to filter for people who can write a sudoku solver?
No, the false assumption this article makes is that the models are the problem. The problem is how policy makers are influenced and advised by any inaccurate model and inability to learn quickly from it.

My point was that you can't have it all. "Inclusive Economics" whatever that means is never going to be "good enough" so it's a very easy basis for an attack on "Economics".
I seriously doubt many resources, comparatively speaking, are being thrown on this project from Apple’s side. It seems to be much heavier on the negotiation side for Apple, and most of the legwork comes from Goldman Sachs.
Our Universe Could Emerge as a Hologram
https://en.wikipedia.org/wiki/Begging_the_question

You seem to assume that the payment solution that will be offered won’t differ significantly from existing credit card solutions (from a business/technical point of view)
You point out that there are similar videos in the system that aren't getting flagged, which makes a pretty good argument that the algorithm is random and ineffective.
Social outcome is a political problem, not a scientific one. We should decide what we want society to look like, and use the scientifically/mathematically understood systems of economics to steer us in that direction.

I don't think the market-driven ideals of 1980s economics were intended to deliver the results we are seeing today. They would not have predicted the drastic disparities, or the insecurity of working people. Therefore, even on a scientific basis, they're kinda fails.
for the same reason that you will rarely find neoconservatives describing themselves as such, despite checking all the boxes
I think this is the future of instant messaging. If we all would change instantly to delta.chat, whatsapp et al would go bankrupt and we would not lose a bit of security. At the moment everybody is fine with handing out their most private information to some huge corporations which already told us that we are dumb fucks. But maybe mankind deserves this.
No. Will their leadership, and policy change?? They dont need more money, they abuse what they get.
Apple has a credit card already, in partnership with Barclaycard.

https://www.apple.com/shop/browse/financing

Edit: previous discussion from the last time this was “news”: https://news.ycombinator.com/item?id=17040266
I used to work for one of the HFT companies listed there out of university.

What are the salaries now-days for a BackOffice Technology (C++ and everything else related)?
This seems the classic 'ease of use' vs privacy. Google has done the right thing for privacy, because an app that can scan for ssid can determine location and report it if it has any outside connection. Good for google to equate the two, this was always a well known hole.

One suggestion- please update your blog, if this thread convinces you that Google did the right thing. Those posts hang around and impact product engineering.

What kind of api would you propose? The only one i can think of is one that says 'connect to x' instead of 'list all ssid', which still tells you about location but not a lot.

I occasionally think about g+ shutdown, and how Google engineered quite a bit for privacy, and removed things like games that leak location and quizzes, and forced people to create groups, which is the right thing but people liked the rich experience of facebook. Now that many are fleeibg from fb, they can't go to g+.

Sorry to thread-jack. Clearly i have a blog post pent up.
How much tax income would be gained by eliminating 100% of the current loopholes and deductions?

It's because of loopholes and deductions that Buffet has a lower tax rate than his secretary. Let's get rid of those.
If you want to balance the budget without reducing spending, then you need to raise an extra 40% of the current revenue.

This page (https://taxfoundation.org/summary-federal-income-tax-data-20...) shows the fraction of existing income tax revenue supplied by the various income quantiles (top 1% -> 39%, 5%-1% -> 20.5%, etc).

So, if we double the revenue extracted from the 1%, we approximately meet our goal.

If we double the revenue extracted from the rest of the top 5%, it only gets us half way there. (And they would then be spending half of their income on taxes)

If we increase by 150% the amounts extracted from both groups, we're 3/4 of the way there.
"Expert Advistor", aka the softrware that stays online (running on a virtual-private-server preferrably) and has the capability to trade 24/5.
Chill dude. No need to get all butthurt. If you don't like Matrix, don't use it. The rest of us will also have make the same choice for ourselves and time will tell whether Matrix has a unifying or dividing effect on chat.

I, for one, have been playing with Matrix and other protocols for awhile and have been impressed not only by the Matrix team's vision, but also by their ability to deliver on it consistently (though sometimes slower than all of us would like). The whole ecosystem has become much more polished over the past year (and the new Riot client is sweet!)
That does seem really high. Then again, it's hard to measure because you can't exactly send out a survey asking people to admit to being a pedophile.

It wouldn't surprise me though - perhaps sexual variants just tend happen in that rate window... chemistry doesn't care whether the particular variant is ethical or not.
That sounds cool. A fair idea. Working on a side project, validates it and then take a decision based on that. Experience also plays a major role.
Meta-Learning in 50 Lines of JAX
What a bullshit title. It is not aimed at Google and Facebook. Those are the companies that have more than enough resources to be compliant. It's the small and aspiring companies that are not yet established that would suffer the most from this directive. Googles, Amazons and Facebooks would be just fine, safer then ever since the barrier to entry is bigger and bigger with every new directive.
X is on its way out anyway, given Wayland.
List of Newsletters for Mobile Development
My soduku solver from ca~10 years back ran the "hardest" soduku puzzles in < 10 seconds on a netbook atom processor. IIRC, the hardest one that I ever threw at it had 7 levels of backtracking.

It's just not that hard of a problem compared to the speed of computers.
Huh? What should we be using instead? Surely not POP.
I think both of you are correct. That’s also what Wikipedia says.

However, loads of people (and, according to Max’ document, Chicago) refer to automated trading as “algo trading”. Cue the descriptivist vs prescriptivist linguist debate.
The Smell of Food Controls Cellular Recycling and Affects Life Expectancy
I think it's likely that they were intended to deliver the results we see today. The public-facing rhetoric supporting those policies notwithstanding.
Not too shocking, unfortunately, from discussion when the acquisition was annoucned (https://news.ycombinator.com/item?id=18978251), we knew that this was the kind of private equity firm that makes money by buying products with existing revenue streams, and then _not_ investing in them.

(And the corollary, laying off staff you don't need if you're not going to be investing in it).

This is kind of how private equity works.

It is sad, I had really liked travis as a product, I don't expect I will be able to continue to.

Travis is just _so easy_ to set up for my basic ruby gem and Rails app projects (I don't want to spend time on setting up CI, I just want it to be done), as well as free for open source -- none of it's competitors have seemed to give me that when I looked before.

Travis, by offering an absolutely brain-dead setup, and giving it away free to open source, really created a revolution in actually doing CI for open source, at least in ruby. Everyone's doing CI now, when few open source projects were before in ruby. That anyone offers free CI for open source at all is probably due to the need to compete with travis. I wonder if it'll stick around.
That's not true.

You need to provide an impression if your website has a commercial or journalistic character. Yes, it's vague and up to the interpretation of a court.
Same. It was a little 'interesting' to get setup (because IRC) but all-in-all it works great!
Happy to be a part of the journey
Quoth George Box: "All models are wrong, but some models are useful."
actively used != actively developed
If you do that, you get stuff like Brexit.
In principle instant messaging is just email with a dumbed down interface.
Hey, awesome that you're posting here. I actually just asked a question as a post on the algotrading subreddit, but I'm hoping you can maybe help here. I think this would be broadly helpful, so I'm asking here instead of emailing.

Is there any authoritative literature on the execution aspect of algotrading? I'm talking specifically about the things that are hard, if not possible, to analyze via backtesting. As I've moved to shorter and shorter timeframes, I feel like there's a huge execution gap that I'm suffering from. I've got good strategies that work but can definitely be improved with better execution. For example:

How to optimize limit pricing to get better fill rates or better entries or exits

Market microstructure analysis and modeling. How to analyze book depth and order flow to predict short term (shorter than 5-10s) behavior

Applications for and optimizations of various order types like IOC, MIT, LIT, FOK, Iceberg, Basket, etc.

How to handle the million ways that algotrading can do unexpected things: market gaps, trading halts, network outages or latency spikes, news events and volume explosions, etc.

Metastrategies: creating strategies that "trade" strategies to turn them off or swap them out based on market conditions.

Statistical process control, or other ways to detect when an algorithm is no longer working as expected.

Use of metainformation to dynamically inform strategies, such as implied volatility or any of the option greeks.

Do you know of any resources to point me to?
I suppose it comes down to how the "financial maths" is taught. If it thoroughly covers the foundations, giving somebody the tools they need to build new models upon them, I agree. But if it's like "engineering maths", just teaching formulas and models without building a deep understanding of the foundations, then to me that's counterproductive, giving people tools they can't really use but not the ability to build better tools. Maybe I'm just biased however from seeing the results of assigning moderately maths-heavy problems to potentially unrepresentative samples of interns with finance degrees.
Most people on reddit consume content, low value content most of the time, no one would pay for that.

Creators and niche topics are not what keeps reddit alive.
I was thinking "oh, cool, maybe they'll find a way to break up the Visa/Mastercard duopoly and... oh, nope."
> Delta Chat has no own servers

I'm not sure what that's trying to say but the grammar is definitely wrong.
I'm not that cynical. I find the whole concept of attributing malice as the primary motive of those whom I disagree with to be one of the most basic (and common) of political failures.

No, I think they actually believed what they were saying. They believed the rising tide lifts all boats, and none of them would get swamped.
How did you get that it is their main initiative for this year from this article? They have ~130,000 employees, so are you implying that a majority of 130,000 people are working on this main initiative over other things?

I'll be the first to say that Apple has not innovated much, if at all, over the past few years compared to other tech companies, but this seems a little hyperbolic.
Perhaps it's just my viewing tastes, but most of the content I view on YouTube includes the creator's own credits. You'd have to work fairly hard to erase all traces of the creator, in many cases destroying the content itself in the process.
I use mega.nz, I don't know how it compares but I am very happy with it.
Damn. I was hoping to speak with someone about my last SkyMiles statement.
Headline is clickbait and it's not the article's headline.

In practice, on the Internet "neoliberalism" seems to be a word used by people who dislike capitalism and want another abstract enemy to complain about. If you're not doing that, the word doesn't seem very useful?

But the folks behind this article seem to want to do educational outreach about economics research and that does seem useful.
Dozens is a drop in the proverbial bucket.
Probably because that’s how it’s sold? WeWork is a lifestyle brand.

It’s just interesting they took something like renting out office space and made it something like that
You are making a strawman. "the scientific process" has very little to do with economics.
Who said it's their main initiative?
Do not dismiss fees that easily.

Epic's card processing is bigger than their entire Fortnite operation combined [1]

While running Fortnite we learned a lot about the cost of running a digital store on PC. The math is quite simple: we pay around 2.5 to 3.5 percent for payment processing for major payment methods, less than 1.5 percent for CDN costs (assuming all games are updated as often as Fortnite), and between 1 and 2 percent for variable operating and customer support costs.

On Apple's scale these cost are significant. + having its own card Apple can possibly scrap or significantly reduce the fees (and possibly their cut from apps/services) + provide further privacy and protection to its customers (after all, it's already one of the largest holders of financial info in the world).

[1] https://www.gameinformer.com/2018/12/04/tim-sweeney-answers-...
yes, but if you read those fourm threads, the author unfortunately has absolutely no inclination to reconcile. Shame for this project, it seems to be of tangible benefit to people with this disorder.
Good point, that has occured to me as well : )

I probably should make a new account every year.
This is essentially the mechanism the article describes... I think the most plausible explanation is that it's dazzle camo, the question is what species does it dazzle?
I see that you are using MMX intrinsics directly, like _mm_sub_pi8, but you are never calling _mm_empty (https://software.intel.com/sites/landingpage/IntrinsicsGuide...) as required by the SysV AMD64 ABI (and pretty much all other ABIs out there).

I think the behavior of all the code that touches is undefined (it breaks the calling convention of the ABI), and while this often results in corrupted floating point values in registers, maybe you won't see much if you are not using the FPU. Still, since the function is inline, chances that this gets inlined somewhere where it could cause trouble seem high.

You might want to look into that.

Also, I wish this would all be written in Rust, there is great portable SIMD support over there. Might make your life easier trying to target other platforms.

EDIT: as burntsushi mentions below, that's not available in stable Rust, but if you want to squeeze out the last once of performance out of the Rust compiler, chances are you won't be using that anyways.
The current draft compromise is not yet published. Article 11[0] and 13[1] have been leaked by Julia Reda, though.

[0]: https://juliareda.eu/wp-content/uploads/2019/02/Art_11_unoff...

[1]: https://juliareda.eu/wp-content/uploads/2019/02/Art_13_unoff...
I get this is parroted ad nauseum but the reason for rising inequality (and a reduction in the middle class) in the US is mobility of people from the bottom and middle to the upper class.
It is renewable, but trees take time to grow, and there's only so much space available that's useful for growing those trees. I'm not saying you shouldn't build things out of wood, but the question is how much supply is really reasonably available?
Same in UK, I installed it as almost all my (relatively non-technical) friends and family were using it. It's much more commonly used than Facebook, or email, for direct to groups communications.
IDS/IPS [Email Filter] Malware Download Bypass
I think we only have a partial understanding of cancer as well. Uncontrolled cell division is something in between a symptom and a cause.
I couldn't find anything either. A distributed 3d rendering system isn't very useful if it doesn't produce nice looking pictures. They should really add some sample renderings to the their wiki.
It's absolutely disrespectful to "admonish" someone in a meeting like this. I mean, it is basically saying "you are making shitty choices." If you were a friend, that's another matter. I'm still trying to back the idea that there should be a civil barrier of respect that is not crossed in formal dealings. If someone is dealing with you in a capacity that their job demands, you should treat them as a person in that capacity. They don't necessarily want to be there, they must be. The last thing you want is for people to get personal. I'm obviously not just talking about this situation, but the way we conduct ourselves in general. It makes navigating society much easier when people respect these boundaries.