skysight-inc/HackerNews huggingface dataset:
Thanks for the information, it is very much appreciated. I was a little frustrated that comments on this thread had people saying you should learn the math and prove your programs but providing no information on how to do so. It would be great if provided resources to show people how to do it. Or even better, provide a project that they worked on and show how they used formal methods to move through the project in detail, which would be wonderful. If someone wants to promote formal methods, then should not just argue for it, but teach it, even a tiny bit. That would get a way better reception.

A little off topic, but it would be great if there was a method/system which could provide requirements tracking down the set of artifacts to where you could point to a bit of source code and say it implements that certain requirement. Sort of like a chain of responsibility for code and associated documents. That might be a pipe dream, I don't know.

Anyway, thanks for the information, I remember seL4 being mentioned in discussion of the sorry state of software on medical devices, but had forgotten it until you mentioned it. Thanks.
I have been on teams with people having opinions like "that guy" plus some people being vegan communist yoga teachers. And we have been able to get along just fine.

That is how it is and how it has to be in a big company.
Czechia. It's the EU country with the newest English name hard to beat (-; And after some 2 years you will be happy to move on(-; Just avoid Prague-this city hates itself
>You really should read a good history of the war.

You only talk about one side of the history, and you should definitely learn from both sides.

> You don't understand how many people were still dying every day because of it, and how many more would die due to delays.

Only if the US tries to kill the non-combatants. It is not a natural disaster.

>You don't even understand that the Nuclear bombs weren't even the most deadly or inhumane bombings Japan endured.

You don't understand how atomic bomb survivors have been enduring physically for their whole life. It is different from a regular bomb. It is an inhuman action to use them for humans and the US is the only one who actually used it ever in the history.
Side topic.

I can't believe the list of top GTK3 Themes [1] are so much influenced by macOS ( second "greatest" one basically replicates even the icons ).

macOS is beautiful, indeed, but as Ralph Waldo Emerson's quoted :

"... Imitation is Suicide."

I bet if the effort is put towards themes that can distinguish GTK from anything else, there will be another reason of Gnome being the best LDE.

1 : https://www.opendesktop.org/s/Gnome/browse/cat/135/ord/top/
Numerical Tower
If you're a professional you should be able to work with people you disagree with as long as the disagreement is civil and reasoned. I'm astounded to see that you would say he "had to be fired" because "people wouldn't want to work with him". If so, I would place (at least part of) the blame on those people.

Even if you think this guy is evil, if you're open-minded and open for debate you can achieve more than by shutting him down. I remember the story of a black guy who sat down with members of the KKK and, as a result, they quit. He had all their KKK costumes at home.
It's a nice idea, and your UI is nice, but I hate the name as it's very forgettable and using it against my parents Airbnb cottage, and a friends flat, it is wildly inaccurate.
Women aren't a minority.
> It's worth remembering that one of his conclusions was to end or replace gender-based diversity programs at Google. Given that, it's easy to understand why people would be upset. If gender-based diversity programs are responsible for qualified women getting jobs that they otherwise wouldn't have gotten due to bias, then the lack of that program means those women wouldn't have gotten those jobs.

This is not exactly a strong counter-argument.
A Digital Transformation – It’s Not Just About Platforms
> but the male ones are vastly larger

This kind of claim (regardless of which direction you're making the claim in) ony makes sense if you reduce "privilege" into a single dimension. Which I don't think you can.
Posting a manifesto on medicalization / biological essentialism isn't fanatical?

I am absolutely stunned at how few sociologists are at Google that permit these sorts of toxic conceptual models to not simply exist, but come to fruition in such a crazy way.

It speaks volumes that someone would be so comfortable as to post such a destructive piece of poorly educated tripe.
They're probably thinking something about which hashes will get hardware-accelerated instructions provided on x86 and ARM.
WannaCry hero heads into Tue hearing; security community crowdfunds his defense
> from certain mailing lists

eng-misc?
Agreed. This also breaks PEP8 everywhere. This is unfortunate, because it's obviously well-intended and the algorithms are mostly decently implemented, but not well. This package teaches bad design patterns, both in terms of algorithm design and writing Python. Bummer. :/
Him being toxic for the workplace culture and nobody wants to work with him isn't enough?
To me it looks rather ugly. Too many UI elements look out of proportion or misplaced. The whole thing feels contrived and lacking harmony.
Mobile App Development – The Right Way
What is a false positive or false negative in this case? The "ground truth" here is what human perceive.
Daddy's Car: a song composed by AI – in the style of the Beatles
You're spot on about how scary the need for an echo chamber is. I was recently in Russia and the young, educated, and violently ideological foundations for the revolution are scarily parallel to some of the militant social "warriors" popping up in intelligencia today.

But a counter-point to the focus on male-dominated industries: I suspect it has a heck of a lot to do with the average salary of male-dominated industries compared to the salaries of female dominated industries. If vets were paid like anesthesiologists and vice versa (and across all industries), I think you'd see a lot more articles about equality in female-saturated careers.

Of course, personally I'd rather see a reduced pay gap between gender dominated industries instead of women being forced into jobs they aren't as interested in simply to earn as much as men who gravitate towards those fields. But I've no idea how you actually follow through on that, and "girl-code camps" are a heck of a lot easier to run and self-serving for the runners than "restructure the supply/demand labor market for 20-40% of all industries)".
> Maybe this kind of behavior is more common in liberal arts?

It isn't. I've worked in a research group that focused in a specific engineering domain, and once I've noticed that my own supervisor published a paper with the results I got from computer simulations and informally shared with him to ask for his input on the findings. Essentially he took my plots, tweaked their appearance by changing color schemes, labels and ranges, and wrote a paper around those plots.

I couldn't do anything about it because in practice the only proof I had were the plots, and the paper was on a subject that was supposedly the advisor's specialty. Furthermore, back then my tenure track depended directly on that man's say. So, even if I had irrefutable proof that he usurped my results to publish his own paper, blowing the whistle on him would end my career.
> I figure alcohol could help in both situations by keeping me relaxed and more focused.
reply

I do not stutter; I find that alcohol distorts control and introduces uncertainty - for me it is the opposite of liquid confidence. Alcohol helps to relax, its great for social settings where I can be overly analytic or speak with too much force, but in a debate or speech setting the clarity of mind lets me bring all my faculties to bear.

So in short, I don't find that relaxed and focused is an effect, just relaxed. If that helps with your stuttering then go for it
I don't think Google ever lowers the bar for general hires, but they do have internships that are specifically targeted toward "underrepresented" people that are significantly easier to get into than regular internships. It's much easier to receive a return offer than a regular offer, so Google is effectively lowering the bar with that internship program
You have worse problems that a filesystem won't catch if RAM gets randomly corrupted. Including said CRC check itself getting corrupted or code writing putt data structures to disk being wrong. Neither of those is caught by CRC better than by a dirty bit. It so happens that journaling file systems already have a degree of redundancy for writes built into them unless you defeat it.
Sharing posts company-wide is an extremely common mechanism employed at Google to influence company direction over all sorts of technical and organizational matters. It seems wrong to single out the author of this memo for employing a tool widely accepted by the company culture as one appropriate for participating in a dialogue.
Cheap Jerseys from Sports Uniforms
Standuply 2.0 – Slack bot become smarter, standup meetings – more data-driven
Yet another problem that can be solved by a single payer system that can negotiate reasonable prices and doesn't need to profit off its members suffering and death. Get rid of the insurance companies and you get rid of this problem and a whole lot more.
The Finns will save us!
Also, can't blame the Germans for being unsure which side to be on in the next great war..
Belgian here, as a resident of one of the bottom 3 countries I have to say I thought about this question myself a few times in the past. Even though I would never join the army to fight wars, should an occupation come I would do everything in my power to resist and sabotage. So to this question I would have to answer 'no' even though that doesn't mean I'd give up on my country.
But the basic design principles remain.
> I think it would be a map/territory confusion to consider it a kind of actual randomness.

Even though it makes perfect sense to apply probability theory to it? We found a perfect coin, one that we know that you can't predict in advance even in principle, and you want to avoid considering it a kind of randomness? Why does the mechanism by which the universe implements randomness -- in this case via determinism -- matter?
Working with Mailgun webhooks
Feels to me like romanticising certain experiences more than they have merit. Yes I've also traveled before the Internet, and frankly we just sought information from books and locals or friends that had gone before. In some ways collecting the information was slower but less prone to gaming via online methods/interests. There were also several regions where taking the tuk-tuk to the non existent waterfall was a pretty good way to end up in very bad to your physical safety situations, and burdening the locals with bailing someone one out of their own 'exploration'. Saying this from having to rescue several brits from risk of death from dehydration and sunstroke.
Extra discussion: https://www.reddit.com/r/MapPorn/comments/5q433o/percentage_...

I am really curious about a more thourough breakdown of these numbers. I doubt immigrants would have the same interest in war as the natives.
> I don't work in an automotive factory, but everyone I've asked about process engineering and factory tooling, has told me the opposite, that it is in fact quite expensive, both in capital and time, to retool.

But it's certainly way cheaper and faster than to build a new factory like Tesla will have to do, which is what I wanted to say.

> It could be that I've simply had a completely different experience from you, but I've never really heard anyone I know say that the dealer experience was stress free or that the repairs made at dealers were reliable.

Different country maybe - I'm German. We don't have the kinds of issues the US has.
Sure, it could be. I think firing him was the right move. But if the parent commenter makes the argument he did in court, he's going to be violating labor law in a big way.
I understand it like it's all on top of sexual attraction.
Machine Translation Benchmark study
> You are mindlessly parroting liberal talking points.

Of course.

> do try to hear the actual conservative POV from an actual person offline

What about living for decades under conservative rule in the UK? Or watching what the GOP have been doing for the last 20 years? Do those count as hearing the "actual conservative POV"?
Apple just created its official Instagram account
Could be an interesting experiment, actually.
You cannot halt global emissions by installing solar panels in Nevada.

You cannot expect developing countries to halt their carbon emissions without some king of financial help to balance out the costs incurred.
If you’re looking to learn more about how influencer marketing works,
Mostly periodic scrubbing and patrol reads I reckon. Which is as required with RAID without ZFS.
That's one of the rare moments where I feel that I can relate to my fellow countrymen - I'm German.

Why would you 'fight a war for your country'? Given the way this is phrased that doesn't seem to talk about fighting in defense of one's country (I'd like to see the stats for that as well) unless my English as a foreign language skills fail me?
The problem is that all these programs address large grossly defined groups, leaving many individuals lost in the cracks. There are countless repressed and underrepresented groups that are barely acknowledged let alone accounted for by these programs. Even some large groups miss out.
For example you regularly see black comedians thanking Arabs for being the new class of people everyone hates, yet they are considered white in the census and garner no benefit from any programs. White privilege without any of the privilege. Why are a Yemeni and an Englishman bucketed in the same category?
STARDATA: A StarCraft AI Research Dataset
Show HN: AWS Cloudformation dry-drun via Ansible showing full diff
I have two ideas for automatic machines in hospitals.

One is hand sanitizer dispensers that counts people entering rooms and beeps until all have used the machine, or even until all people already in the room have used it.

It's notoriously hard to get people to use hand sanitizers.

The other is convenient and fast dispensers that counts tools and sponges as they are used.
I feel like if someone thinks they'll try Linux and they pick a Gnome 3 distro to test, they won't stick around or won't appreciate Linux for the reasons many of us do. Gnome 3 is basically everything I don't like about Windows or OSX but for Linux.
The big problem I had with his "memo" is that, for a text that is about a hot and controversial topic, it lacks (more like doesn't contain any) references to backup his points. A lot of factoids and nothing to back them up.
Gender and Helping Behavior – A Review of the Social Psych. Literature (1986)
> For programming and technical tasks

You are judged and reviewed on a myriad different factors other than this. Are you a "team player?" Do you mentor others well? Do people like you? Were you picked to do complex projects this review cycle? Are you too loud? Too timid? Do you ask insightful questions? Is your coding style "normal"? Do you dress professionally? Can you be asked to interface with clients?

Every little thing that can be used will be used to form a composite picture of you as a person. It's wrong to expect a foreigner like me to be judged on whether I know baseball stats but I'm sure someone somewhere has made an inside reference about baseball around me and written me off when didn't even acknowledge it.

That's what diversity programs and affirmative action programs try to short circuit.
Almost all of the protections are also afforded by plain old RAID without ZFS. Why waste space on a CRC when you still get to run a redundancy check? If FS structure is corrupted CRC won't save you anyway. An FSCK might instead.
But why does your right to say your opinion out loud trump someone else's right not to feel threatened or harassed?

That's what you're basically saying with "no one should feel threatened and if someone does then that is their line".
The most reasonable thing to do would have been to give it to the EFF, who actually fought the battle Adam was raising money for.

It may be too late for that now, or maybe not.
What if trade is essential to survival, and gold checks all the marks as the medium for trade? Of course this could only be the case in a primitive society. If you believe contemporary society could revert to a primitive one, then you would be compelled to hold gold as a hedge.
Gnome is running on wayland now by default though.
I'm still surprised and wonder "what were they thinking?" Sadly, this just shows how they are disconnected from rank-and-file.
Another interesting point is that from a numerical optimization point of view, the Jacobian transpose method is analogous to gradient descent, while using its (pseudo) inverse is basically the Gauss-Newton algorithm.
the red and blue colors suggest that less is worse. Why would that be the case? It seems like it should ideally be the opposite, if anything
Cleaving to the Medieval, Journeymen Ply Their Trades in Europe
Exactly. Would I be willing to fight a war because a fascist superpower was killing millions of human beings in my country? Probably, yes. Would I risk my life to protect the Conservative Party and banking institutions? Less likely.
I'd like to see North America, anyone know if this information is available?
Show HN: EmojiBar – Slack-Like Emoji Picker for Facebook Messenger
Hi HN! I've been reading HN for a while, but this is my first real side project and would love to hear any feedback/thoughts from people if you have any :D

I've been working on EmojiBar (https://www.producthunt.com/posts/emojibar-for-fb-messenger) because I a) send A LOT of emojis on FB Messenger, and b) love how quickly you can send emojis in Slack just by typing a colon vs Messenger, where I have to click on the emoji icon, scroll through a list of emoji and click on the one I want.
A big parts of software development is like this. Cargo-culting the latest "scalability" and "big-data" practises even though there is zero need, just to feel like a superhero and add stickers to his MBP.
I just created it: https://github.com/jchampemont/awesome-implementations

If it gets important enough, I'll send it to the awesome list repository.

Feel free to contribute guys!
I read it as non-specific - don't think it implies that your country would be the aggressor.
It might be because, historically, claiming that Apple are doomed in the future because they're not servicing $SOMESMALLGROUP has been a losing strategy.
>If I were I woman (or belong to minority) I would prefer to be being hired without any diversity program.

Only someone who is not a woman or not from a minority could say this. People tend to dismiss other peoples problem or minimize them, even when those people are telling they are hurting.
IANAL, but I think legally they are forced to act in the interest of the shareholders. In other words, if a shareholder feels like the management harms the company they can sue them.
LXDE and Window Maker do minimalist/stable/customizable quite well, I'd put them first.
I own several peaces of Knoll furniture. Certainly not the cheapest, but the build quality is superior and the chairs are extremely comfortable. Great company!
Just imagine someone hacking into this algorithm
I keep being undecided between Cinnamon and XFCE... :-/
That's what I found so disappointing about the response. I read the manifesto, and there are numerous arguments that are poorly constructed.

Nobody attacked the shitty arguments, rather they started attacking the person making them.
That's because she was dead and posthumous Nobel Prizes are not awarded. Not because she was a woman.
> doesn't seem to talk about fighting in defense of one's country

I assumed it is in defence (and I guess everybody in my country would do the same - we have neither a possibility nor motivation to invade anybody, on the other hand Russian threat is widely accepted as a fact of live).

It should be specifed for comparable data.
He's a Harvard trained Systems Biologist (3 years into a PHD based on LinkedIn). If his educational qualifications aren't enough for an unofficial rant, all of the graphs and hyperlinks he used as external references were edited out by journalists before it was mass distributed.
Ahhhhh - missed you by 1 minute... :) https://github.com/mathiasrw/LRIP
To further your point #1 - vet is the lowest paid medical profession, and the highest (anesthesiologists) is male-skewed.

But in general, he's right that we're in a scary age with the aggressive and dogmatic ideology that favors political correctness over intelligent debate and will defend that ideology with mob rule (even leading to professors being told by police that it's not safe for them to be present on campus).

I'm not looking forward to seeing the political result of this movement becoming a tea party to the left, which I fear is inevitable in the next few years.
Well this survey shouldn't be trusted. Why wasn't Estonia, Lithuania, Slovakia and even Norway included?
There's already such BEP: http://bittorrent.org/beps/bep_0046.html - "Updating Torrents Via DHT Mutable Items"
Merit, most of time has nothing to do with one ends up, especially in the US.
The second war (to protect the party and banking institutions) would be promoted like the first. Propaganda is a rather effective thing in wars.
Copy on write is a good thing, as is log structure which is even more resilient. However, it is not strictly superior to journaling in terms of data safety. The copied data will get garbage collected or overwritten after some time and regardless might be tricky to recover.
I have trouble believing only white men can come up with enough merit to be hired for a normal entry level job.
Things I like about Swift
This is what happens when you allow bad culture to fester for too long. There is no easy way out and debts will have to be paid on one side or the other. This will hurt google's hiring and they will lose people over this either way. The real question is what is the culture they want to have after the dust settles? Currently they have chosen one of PC orthodoxy and suppression of alternative views.
>Because there is no water, there isn't really a pH.

Could you elaborate? Wikipedia doesn't seem to suggest water is necessary (it talks about moles per unit volume) but I may be misunderstanding something.
I think the definition includes defence. Otherwise it would not be applicable in any foreseeable scenario to e.g. Finland.
The surprising fact here is that this can mostly be explained pretty well as the lessons of WW2 still being vivid in the memory of many countries...except that Russia suffered by far the most of any countries on the Western front, and still a majority there would fight a war for their own country.

The persistent glorification of Russia's role in WW2 (although historically justified) might have something to do with it. The amputation of a quarter of Russia's territory right after the end of the Cold War is also used to great effect by nationalists (just like Germany's territory was reduced, by the same proportion, in 1919 - with the same effects).
It's a man talking about how men are over represented. You don't agree?