skysight-inc/HackerNews huggingface dataset:
> Based on the myriad amount of women who can do work of a similar calibre (in medicine especially), AND the evidence that women used to be not only more welcome in programming, but absolutely DOMINANT in it: I disagree with the former, and subscribe to the latter opinion.

You would be incorrect. Programming used to be considered an offshoot of secretarial and data entry work, which is why it was once dominated by women. Then men's engagement skyrocketed while women's ambled along at a more gradual pace.

Secondly, this isn't about ability. Women are just as capable of doing this work, but there does exist an innate interest component. I recommend you read up on the people vs. things hypothesis, which has a high degree of predictive success in categorizing those who ultimately choose STEM work [1]. Those interested in working with things are driven towards pure STEM, and those interested in working with people largely avoid STEM or do STEM where they can apply those skills to work with people (think chemistry degrees to become pharmacists, math degrees to become teachers, etc.).

And lo and behold, wouldn't you know that those interested in working with things are largely men, by a significant margin, and those interested in working with people are largely women. Some of these tendencies may be socially influenced, but these preferences show up as young as grade 3!

Now there's definitely discrimination in STEM, but I haven't seen a comparative analysis that demonstrates that STEM exhibits worse rates of discrimination than other fields, such that it deserves all of this negative press. People just seem to assume that's the case because of the gender ratios and some terrible discrimination stories you've no doubt read about. I've read such stories about medicine and law, which have long since achieved gender parity.

So then empathetic people naturally conclude that the best way to stop this discrimination is by balancing the gender scales, but this whole edifice is based on very questionable premises, and the remedy consists of literally forcing women to pursue careers they're not interested in. The cure seems frankly worse than the disease.

[1] https://www.frontiersin.org/articles/10.3389/fpsyg.2015.0018...
The Declaration of Independence. Life, liberty, and the pursuit of happiness.
tis-interpreter also has an open-source foundation, which is Frama-C (http://www.frama-c.com). Both share some common code.

Their purpose is not exactly the same as RV-Match's; they are more concerned with soundness and absence of run-time errors (as well as other properties and analyses), while RV-Match is a bug detection tool, focusing on not having false positives. It's important to realize the difference when comparing such kinds of tools.

Depending on the situation, one is more appropriate than the other, but in some cases the results may be complementary (as in RV-Match's comparison, where the reported bugs were different for each of them), so if there's already some effort to try one of them (plus the *San's from LLVM), it may be worth trying the others as well. Every bit of help is welcome when dealing with a language such as C.

Disclaimer: I work with Frama-C.
Nobody killed ecommerce. Amazon is not going to have a majority share of all ecommerce. As the total market expands, doubling in the next decade, Amazon's share will decline.

Amazon has a very early lead due to having invested more heavily into it, and sooner, than any other major retailer. Despite being a quarter century in, this is still early into the shift to ecommerce in the US and most developed economies (eg only 6% of retail sales in Italy are online).

Online is all that Amazon was. It makes sense they'd have an outsized position at this point versus everybody else. They're benefiting from that aggressive early mover advantage (it took Walmart 20 years just to get an effective online strategy going, probably because they rested on their laurels, as most giants do; and now their online sales are booming). Amazon isn't going to be a trillion dollar sales company, their current ecommerce market share is not going to hold. The fear, paranoia, propaganda, etc. is very overblown at this stage. We're at peak Amazon mania, similar to Microsoft mania in the late 1990s when Microsoft was going to own everything and each proclamation about them conquering the planet was breathlessly read and believed.

Here's the reality of Amazon: they're the latest Walmart, which was the latest Sears. It's meaningless. They're a great retailer, and some day 20 years into the future there will be a superior retailer that supplants them. Amazon retail is a giant online catalog of goods & services. Building it up into something more than what it is, doesn't make sense. Online isn't special.
Met the co-writer of my book on Hacker News which changed my life! (Was a book on growth hacking that we first talked about on here)
Http://secretsaucenow.com - the book
Austen Allred - the man
Well, sort-of?

The chain still includes the transaction history of what happened with the DAO, but the hard fork added a special case unique state change which undoes most of the effects of the transactions that happened with the DAO.

So, the transactions still are recorded as having happened, but the state was edited?

Not that that necessarily is a particularly important distinction, but I think it is one that can reasonably be made.
This is inspiring thanks for sharing
I remember when I first joined that I really liked how people who disagree here do not downvote but rather challenge you through a comment. It was a nice change from reddit...

But times have changed and people love to downvote here these days.
Maybe it's more like 80% from the families that value education in general, and not surprisingly this leads to higher income?
Off-line usability, data collection (yeah you can do it with some web tricks now, but an app may be more stable)

Better UI than you can get via web (i.e. provide walking directions with a compass)

Anything that uses sound/music or highly responsive graphics like action games.
Caramella, the New Internet
Yeah, 20% come from families under 65k family income.
Sheep-Human Hybrids Made in Lab–Get the Facts
It changed my life. I found edw519's free ebook and after reading it, I jumped out of bed and learned Python. He wrote that you don't need a university degree to be a programmer. I believed that and I will be a senior developer soon. Never been happier in my entire life, really!
Not an evidence based paper, but via https://en.wikipedia.org/wiki/Lotka%27s_law, the occurrence of a 10x programmer may occur 1/100 from the talent pool. A 28xer would mean 1/784.

Now all this is only an extrapolation of the above power law which was originally meant to describe papers published within a time frame. And to make things more meaningful, its really hard to compare people across teams and even companies. And finally, its all relative within a company.

From other posts, it feels like people tend to overestimate other's ability. I'm sure all those anecdotes are true but the evaluation of said individual to be 10xer may be overstated without a sensible metric.
I just moved from SF. This is the best way to put it. Agree 100%
The Cost of Malicious Cyber Activity to the U.S. Economy
iirc, you can set the orientation in the Watch settings. The OS and software should adjust.
Great reply, thank you!!
> Sci-fi has covered pretty much "everything"

Then there's also that book, in which it turns out that the Moon is a giant spaceship.

https://en.wikipedia.org/wiki/Mutineers%27_Moon, the first book of Dahak trilogy.
There has gotta be an encryption enthusiast out there that can explain to me how secure multi-user private communications can occur in a decentralized web.

Assuming the crypto was strong enough to guarantee privacy, how does an application automatically allow a user to transparently decrypt topics they’re invited to?

Point to point trust seems relatively easy with asymmetric encryption but point to point to point to point?
I believe I read that participating providers are identified by IP address. Wouldn't that be technically unfeasible for a bittorrent-based provider?
> In 1995, I came up with the technology for those chat windows that pop up on websites.

An e-commerce site is a tool to sell stuff. You need a product I want to buy, and then make it easy for me to buy it. 95% of marketing efforts do the opposite.

I'll take a plain e-commerce site with minimal JS any day. No infinite scroll. No weird AJAX sorting or calls for anything other than checkout or search. No chat windows that pop up. Talk about a bad user experience.

There is no need to innovate here, although that's not to say it's easy. But e.g. Amazon's success comes from almost everything but their website, which is not great but functional. Ships when they say it will ship. Good refund policy. Doesn't spam me with marketing emails. Dare I say trustworthy?

Now, if people aren't interested in your products by the time they get to your store page, that's a different issue. And yeah, some marketing will convert customers, but at the expense of others.

Maybe unsurprisingly, Apple does a decent job: glitzy landing/product pages, toned down and clear shopping pages. What's in the box, shows you what the different options cost, compare models, FAQ, etc. Take note. (Big catalogues won't have custom product pages, but other than that these lessons still apply. The amount of times I cannot tell one product from another without a diff tool is too often.)
It made me quit other social networks. I realised how much time I was waiting on FB and other networks without any added value to life.
Is that unrepresentative of performance in K12?
> What has HN given you?

You mean aside from the education, and the aquaduct, and the wine, and keeping the peace. Oh, and the roads go without saying.
> One often overlooked aspect of being a good developer is surrounding yourself with people who either are better

I’m meeting with this attitude frequently. In case I would be the more competent dev, why should I let in person with such attitude?
The social mechanisms and agents operating business channels to broadly affect change in behavioral norms through obtuse, distributed influence and produce widely held beliefs with financial results for large companies and economic outcomes across an entire industry, doesn't interest me as much as other aspects surrounding the story of twentieth century medical and cosmetic products.

Namely, what toothpaste is, how it works, and the prevailing clues offered as bellwethers for its effectiveness as a preventative treatment.

This is the story of how to make something happen, whether it's useful and valuable to the individual or not. I'd rather see that story prefaced or intermingled with the details of a product's true utility, before hearing about the complicated and concerted effort to bring such a product to market (warts and all). I don't feel that such details are beyond the scope of a story of commercial success. Far from it. The mechanics of genuine utility are of paramount relevance, at least eye-to-eye with the behind-the-scenes schmoozings of success.

Missing from the story are the odd details that reveal flouride's role in dental health, and its hazards and side effects as a medication. Also missing, is the detail regarding the industrial scale source of flouride's precursors, glossed over, even with the mention of at least one aluminum company, and hints implying a nod to the war effort, prior to the start of the second world war.

It's also short on specific dates, skipping across broad periods, mentioning mostly decades as eras of activity or progress.

Flouride and dentistry are weird topics with a lot of trivia, but this article only explains the activities of businessmen operating from advantageous positions, which for the most part, given the hindsight of the article lend an almost obvious and deterministic view of the outcome of their success. It reads like the musings of an amateur hunter relishing the idea of a canned hunt.

Without including the low-level hard science of why toothpaste is effective, this story casts toothpaste in a role as seemingly empty as perhaps the Juicero juicer [0], or any number of other hollow products sold via infommercial or trumpeted alongside buzz words like Internet of Things.

[0] https://en.wikipedia.org/wiki/Juicero
Maybe people jumped to conclusions in blaming Coinbase because of all the horror stories about them? It seems like every other day someone is posting up a blog post or story about them locking an account or disappearing transactions, inconsistent ledgers, and months without adequate resolution. It seems in many cases people have been forced to publicly shame them in order to get help.

This one maybe wasn’t there fault but they certainly have a checkered past.
I imagine type systems will fail: haskell int -> C int -> haskell maybe int

Haskell's type system is more expressive, so information is lost in the translation to C (that the haskell int is non-null), thus becoming maybe int when you translate back to haskell
Fn in France are pro universal healthcare and pro nationalization of several industries. If anything, these are not "right-wing" positions. One can be anti globalist, anti-EU, anti unchecked immigration and still believe in well-fare state. Reducing the Fn to "right-wing" is a gross simplification. If anything the EU is an anti-democratic and ultra capitalistic and globalist institution.

But it seems that being left-wing is now reduced to "how much you like refugees and immigrants" these days. You can't be truly left wing and be pro EU, a despotic institution.
> HN is easily the most intellectual, respectful, and diverse.

I might agree with the first point, but the latter two have a checkered past, and would indeed be two points of improvement I think we as a community would do well to focus more on.
> Discovered Dropbox here.

You've got to check out this new Hotmail thing.
You can't smell me, but it's just like that time eh?

There was a time where you could expect people on HN to have a grasp of basic logic and often even chemistry, but I guess one can't live in the past.
Proof-of-concept example for a lending platform on blockchain
That'd be cool, but as it returned closer to Earth, wouldn't the tides resume and start the cycle all over again? (Assuming the oceans are still present and liquid, of course.)
PBS.NOVA.2007.Cuttlefish.Kings.of.Camouflage
From what I understand the goals are similar but the approaches are different.

- Shenandoah uses Brooks-style forward pointers whereas ZGC uses colored pointers and off-heap forwarding tables.

- Shenandoah could in theory run on Windows, AFAIK this is a non-goal for ZGC.

- Shenandoah tries to return unused heap to the OS wheres currently the recommendation for ZGC seems to be -Xms == -Xmx. In addition ZGC tripple maps the heap which can lead to interesting challenges in resource usage accounting.

- None of them are generational although Shenandoah allows for custom policies.

- Both of them seem to disable biased locking by default. I would guess the latency for deoptimizing is simply too large.

- Shenandoah supports pinning objects in JNI criticals without disabling the GC.

- Somewhat unsurprisingly ZGC introduces several HotSpot latency optimizations that will also benefit Shenandoah (thread-local handshakes, concurrent reference processing, ...).
Yes, I guess the most hard is to be successful and stay small.
>Consumers should be the ones building chatbots to talk to brands not vice versa.

There was a lot of sci-fi ish talk, back in the day, about 'agents' or 'smart personal agents' or thinks like that; where we'd all have a team of semi-intelligent bots that would go off and do things on our behalf.

It's interesting that we kinda have some of this now, but as you say, it's reversed; the agents are owned by the company that is trying to sell us something, so rather than negotiating for us, they negotiate against us.
https://www.youtube.com/watch?v=tShc0dyFtgw
Dont fear the Makefile
> Even if you accept essentially any and all finding, however iffy, about gender-based cognitive differences, there is a huge leap from that to 'women are simply unsuitable for your typical programming job, to an 80/20 ratio

Who said anything about unsuitability? I said the difference isn't necessarily artificial like the OP claimed, and you jump somehow to it being a matter of ability or temperament? You're putting words in my mouth.

The things vs. people hypothesis much better explains the gender ratios, and explains why it's seen across cultures, which doesn't fit well with the oppression hypothesis.

This is the latest metanalysis I'm currently reading, but there's a slew of studies confirming this gendered difference in preferences:

https://www.frontiersin.org/articles/10.3389/fpsyg.2015.0018...

Certainly some such inclinations might be socially conditioned, but as discussed in the above, they show up as young as grade 3.

Regardless, even if it were all conditioned, hiring quotas and marketing programs directed even at high schoolers would already be too late and thus largely ineffective given these facts.
Devs pay lip service to decentralization while resisting decentralization that weakens their control. At least that is how Bitcoin Core has behaved.
Kudos to the developer. Is there any windows version planned for it? Or any other similar software for Windows?
You kinda can, through the file encoding specifier. It'll let you write reader macros that programmatically modify the AST, essentially.
I posted my experience with this on HN before...it was very disheartening: https://news.ycombinator.com/reply?id=16396441&goto=threads%...
A place to discuss a technology related (generally) topics with mostly sane and rational people. It's a joy to post and communicate here.

Edit: And it's a great place to find tech related news I care about. :)
This argument would be far more persuasive if it responded to what Damore actually wrotye, not to what people who rail about bogeymen like "patriarchy" wish he had written?
Which object's tidal forces would cause the moon's disintegration? I'm guessing either the Earth's, or the Sun's. I've only become aware of Roche limits from your comment, and glanced at the Wikipedia page, but don't really understand them.
It's been called the "Lisp Curse", but I don't think it's unique to Lisp. Any highly expressive and productive language is vulnerable to such social problems.
An Overview of ACH Payment Processing
Remember how hard we had to fight pop-ups back in the good old days ? I find funny that this guy is selling this exact idea.
If you don’t limit the conversation to startups, Walmart seems to use Clojure extensively: https://github.com/walmartlabs?tab=repositories
One case in which I couldn't get UBSan (nor MemSan) to report issues was with the usage of unitialized values, which may constitute undefined behavior.

UBSan does not deal with uninitialized reads, but Memory Sanitizer does ("MemorySanitizer is a detector of uninitialized reads"). However, unless it changed, it only detects them when they are used in conditional branches. So in the following code, for instance, I couldn't get UBSan/MemSan to tell me the printf will read some uninitialized value.

#include <stdio.h>
int main() {
int uninit;
printf("%d", uninit);
return 0;
}

tis-interpreter (and Frama-C/EVA, which is related) will report the uninitialized read.

Note that both tools are very different in nature and usage, since tis-interpreter is a sound static analyzer (for all entry values), while UBSan is a runtime monitoring tool (Frama-C also has E-ACSL, its own runtime monitoring tool). The former provides stronger guarantees, especially when the set of inputs can be large, while the latter will surely be more efficient when doing bug detection work, since there won't be any false positives.

Overall, I'd say, use UBSan/MemSan/etc. for the majority of the code, and focus on sound analysis for critical components or libraries, where mistakes can be expensive.
How to add unlimited images and logos for magento 2?
> Some of my most libertarian/pro-gun friends have not been shy about their political views and it hasn't hurt their tech careers at all. They are far more welcome here than liberals are in other parts of the country.

Do your friends work at Twitter? Github? Google? obviously they don't or they would have gotten fired for their political views by now.
All kinds. There are literally hundreds of articles written about this:

https://www.hrw.org/report/2017/05/25/its-mens-club/discrimi...

I don't see what "status" has to do with it. It's a matter of political and religious restrictions specific to that culture.
Well I agree fully with his point, when it's weighted against the rest of the internet, it's spot on. :)
I don't think it's about time constraints, there is plenty of conservatism elsewhere on the internet. Possibly it might be age related.
I felt like my widescreen wasted a ton of space until I started using a tiling window manager. My productivity went through the roof!
It's interesting to read about such prospects, but quite a few questions here are left aside.

Why 3-4 billions upkeep a year? Good analysis would probably break this into smaller chunks, like transportation - crew and cargo, communications - some satellite links as well as ISS-Earth ones, ground control for systems - keep working existing ones, add and replace what's necessary, space defense - from meteoroids, management for utilization - who when uses what how... what else?

Is splitting the station better than making specialized - perhaps free-floating - units in addition to what's already there? In this sense current ISS serves as an extendable platform to future manufacturing, assembling, experimental, tourist, refueling and other modules, but the one which is already "flight proven", the core of infrastructure. ISS itself started similarly with core modules which ensured minimum of functions allowing it to grow from that.
There is one in ACKNOWLEDGEMENTS section:

> This research has been supported by the NSERC Discovery Grant RGPIN-2014-04553.
Given no reason and the language looks more like some kind of a market survey..
Are minds and hearts really required to be a consumer?
I only hope it'll be a museum on Mars.
(2014)

Well, that was fascinating as usual from SSC.

"Remember, not wanting to be stereotyped based solely on your sex is the most sexist thing!" /s

Even better was the link to the The Worst Argument in the World[0] (2012) (not Stove's Gem, though they link to that):

"If we can apply an emotionally charged word to something, we must judge it exactly the same as a typical instance of that emotionally charged word."

- about which they say "I propose that an outright majority of the classic arguments in American politics, and no small number of arguments in religion, philosophy, et cetera, are in fact unmodified examples of the Worst Argument In The World."

e.g. Taxation is theft! Abortion/capital punishment/euthanasia is murder! Affirmative action is a form of racial discrimination! Obamacare is socialist!

Now that's a useful pattern to look out for.

[0] http://squid314.livejournal.com/323694.html
> Ah the SJW boogyman. A quick way to get anybody with a functioning brain to dismiss everything you say.

lol, this stuff is real:

> Concerning White Fragility

> All white people are racist and, far from absolving them, this places an urgent burden on each and all.

https://np.reddit.com/r/GamerGhazi/comments/7asxk7/concernin...

You can dismiss the problem all you want and act like these crazies don't exist, but they do and they are actively trying to kick out anybody that doesn't fall in line with their ideology from different circles where they operate.
Gravity obeys inverse square law, so no, all that small stuff doesn't count on timescales of decades.