skysight-inc/HackerNews huggingface dataset:
I thought about that possibility, but I never check out men and have no interest in them.

A really good female friend of mine tells me she only watches lesbian porn. She's straight as far as I know.
It is true that Africa's population is going through massive booms artificially propped up through aid, aid which in direct competition with native agriculture, actually even harming their ability to naturally provide their own means of sustainability. And that's before you even consider impacts of things like the tsetse fly which costs African Ag business BILLIONS. http://www.irinnews.org/news/2009/05/12/tsetse-fly-costs-agr...

These things are a potential ticking time bomb if not truly considered in the fullest of their implications. The African population, usually dependent on having as many offspring as possible to offset a low survival rate, is set to bring more people into the world than the entirety of Europe in the next 15 years, with arguably little means to account for their well-being.
Well, Windows projects with COM everywhere, and no access to the complete code, with responsibilities scattered across feature teams.

Thankfully I only use C++ nowadays when we need to bind native libraries into Java or .NET projects, so since 2006 I never had to deal with such horror scenarios any longer.
GOG is great. I buy from them myself sometimes. However, it's also an anomaly, and much smaller than the obvious comparison in this case, Steam.

And in terms of things being available immediately, the economics of mainstream movies are quite different. There's a whole world of niche content out there that doesn't generate gazillions of dollars and that won't be leaked when it's barely reached theatres. For smaller operators, deterring casual infringement even to a moderate degree can literally be the difference between making enough money to continue operating and going out of business.
> TLA has warts too -- the only way I could interact with it is via a custom java IDE.

Why? What problems did you run into with TLA+?
This strikes me as programming like it's 1999 (1998 actually). It's not the worst by far. But then I wouldn't call it an elevation either.

1. Elegant use of white space makes for an easier read.

2. Intermingled declarations and code showed up in C99.

3. C++ style comments rather than block comments. There should be a commentary (and not a recital).

4. camelCase for local variables? Really?

5. Single line if statements make for a hard read.
>> insurers just need to have proper risk management in place and correctly determine a price they want to charge to insure an event

Is that supposed to be a definition of the insurance industry?

The article discusses a number of tactics the insurers take to make this happen, including walking the event site before and after, and monitoring who manages the event, down to the boots on the ground.

This comment seems to say all the dummies are doing it wrong and just need to wise up and crunch a few numbers.
I've encountered .pdf files which internally embed a proprietary Adobe extension called XFA[1]. I think they are created using Adobe's LiveCycle product.

They are a real pain because they render fine in Adobe Acrobat, but most other PDF renderers (including browser built-in ones) can't render them. Instead they render a blob of interstitial "loading..." text that is also embedded in the PDF (which the XFA rendering would then overwrite). It was a pain to me personally because I had to figure out a way to do programmatic form-filling of some fillable form XFAs, and most PDF libraries don't work with them (they expect traditional AcroForms fillable forms).

But in reading the XFA specification I found it interesting it had its own JavaScript interpreter (including supporting XHR requests as part of some internet-integrated form-filling feature) and another proprietary scripting language called FormCalc. I guess it opened my eyes to PDFs being a container format and the kinds of things they allow you to embed.

[1]: https://en.wikipedia.org/wiki/XFA
Actually people do care, especially since there is video. what they still don't care about that would probably need video as well is the staggering amount of black on black shooting.

however as a society are we willing to give up that much privacy the moment we step out the door, where anything and everything could be a recording device. then again if we are drowning in being observed do we in turn find more freedom?
I'm getting a little exhausted in every thread about DRM and the likes to read about how "people don't listen to RMS". People don't listen to RMS because he makes no effort to be listened to and constantly takes absolutist stances which only harm what he defends.

In the case of DRM, many people have been talking about this problem for a long time. It's not a matter of consumers not listening, it's a matter of alternatives not developing in the market.

DRM in video games is a lesser problem as alternatives did develop. Steam, the #1 platform, doesn't enforce DRM. GOG and Humble Bundle have been running their platforms on mostly DRM-free games.

Who do you fault for alternatives not developing/not catching on in the ebooks/video world? Consumers for making the wrong choices? Companies for not trying hard enough? Governments for not regulating consumer rights?
You're bringing up the other extreme (postmodernism), which I wouldn't agree with either. I'm arguing against certainty. We are stumbling along trying to communicate information as accurately as we can in order to produce predicted outcomes we deem desirable. Hopefully the evidence on an issue becomes so overwhelming that we can broadly reach a reasonable consensus. However, that consensus is subjective and dynamic. There is no objective process that will perfectly delineate "fact" from "fiction" as our Google News overlords would have you believe.
Introduction to Algorithms by Stanford University – Lecture 1 (2013)
Postgres Job Queues and Failure by MVCC
LSD can be stored in liquid form inside of eyedrop sized containers. MDMA and coke are powders which can be stored in a makeup bag without arousing suspicion. Weed can be baked into edibles (brownies, cupcakes, etc) or added to candy (gummies, lollipops). Basically the only thing you need to do is make sure they visually don't look like drugs, since the TSA isn't going to be drug testing everything, they'll just be passing it through an x-ray machine and visually inspecting it.
> it won't do anything about the real problem: people in pain with inadequate treatment for that pain.

Careful, you're sounding awfully reasonable!

Harassing doctors and patients is beyond stupid, I suspect it will result in even more people turning to illegal drugs to self-medicate once their personal doctor gets some external political/media pressure to stop prescribing anything effective.
Like all arms races, one day it will all blow up in our faces. Since it is not a literal arms races, it will metaphorically blow up in our computers. Hope somebody resolves it before it really does. (Not gonna happen though)
The people in a position of power are already in the best position possible to abuse a root of trust like that.

Look at the TLS x509 PKI, its a total complete mess.

This is not a workable solution.
Rust is most loved language for 2nd year in a row
No, saving lives from disease is removing obstacles to their survival.
To be honest I think a lot of company representatives (CTO, hiring managers...) don't acurately understand or voice what they really need.

A lot of them say to want 'A players', but the organization is not ready to value people willing to rock the boat, deeply challenge assumptions or willing to put higher people under scrutiny over their decisions.

Same with hiring super smart people but not wanting to commit to risky bets or to fail often.

In these companies the most demanding people come and go, and more lenient people ('B players' ?) stay to work within the system or try to make things better more incrementally.
This was a good introduction, but I expected to see some detail regarding the table mapping strategy and concurrency control / isolation levels. In addition to InnoDB and SQLite cited in the article, there is also a lot of good information on the MyRocks wiki on mapping the relational model onto a RocksDB-based storage engine: https://github.com/facebook/mysql-5.6/wiki/MyRocks-record-fo...
On phone and not sure of how to format a quote. Can anyone explain how this from their terms of services affects copyright claims. It appears that they do not own the content on user profiles and shouldn't be able to sue based on it:

> You own all of the content, feedback, and personal information you provide to us, but you also grant us a non-exclusive license to it.
It depends on where you are. In the US, some activities like this might fall under fair use, and therefore be legal. In much of the rest of the first world, the ways in which you can copy or share a work under copyright are specifically listed in the laws, and the mere act of making the copy might itself be an infringement. However, also in those places outside the US, non-commercial infringement is typically a civil matter and you'd only be on the hook for actual damages, which might be zero or close to it in the cases you described anyway.
There's a whole subreddit devoted to Stallman's correct predictions:

http://reddit.com/r/stallmanwasright
You can still cache the response you just don't get to see what the response was. For those types of resources it's best to only fallback to using them if the user is offline.
Show HN: Nostalgic SkiFree-inspired arcade for iOS
They are called "ad blockers" but block all kinds of "non ad" content that breaks sites in unexpected ways.
The "opioid epidemic" is manufactured political and media hysteria. There have always been drug addicts.

The end result to all of this hysteria will be nothing but more political interference in doctor-patient relationships, more annoying obstacles and hoops for patients to jump through, and more suffering for patients.
We see this result because as a percentage of their total wealth, the poor are giving away a larger portion. Try this experiment again, but instead of having everyone give $1 to a random person, have everyone give 1% to a random person.
This is an interesting analysis of software freedom without copyright http://culturalliberty.org/blog/index.php?id=278
Basically GPL would not be needed to restore a freedom which would no longer be restricted.
The point of Lightning is that transactions don't go on the blockchain until they need to be settled - payment channels could be open for months or years without being settled if there's no need to access the underlying currency. If everyone uses Lightning Network for the vast, vast majority of transactions (and there's no reason not to), the only times most people would ever have to put something on the blockchain is when the entity on the other end of their payment channel disappears, or they have more currency than they've ever had before.

The issue, if anything, is exactly the opposite - that there'll be little incentive to mine without enough transactions on the chain, and the security of the network will come crashing down.

Lightning Network also provides for decentralised, trustless currency exchanges - so the inflexibility of one blockchain will finally not matter much. You could pay someone in bitcoin and the other person could receive litecoin as easily as you can do similar things with a credit card today.
This doesn't matter all that much -- I think the Markov chain becomes irreducible if you chop off the states in which one person has all the money.
Nothing in the article indicates that insurance will be harder for other festivals to obtain. The insurance executive quoted says that insurance probably wouldn't have covered the organizers of the Fyre festival. The event did not fail because of an external event; it failed because the organizers didn't have the money and organization to prepare for it.

Fyre Media is being forced into bankruptcy by their many creditors. The WSJ article is
"Lenders Seek to Force Fyre Festival Into Bankruptcy". (If you search for that in Facebook, you can read it for free. Searching for it in Google won't help. This, as an aside, reflects the changing power situation between Google and Facebook.)
Shakespeare didn't write all those plays for free.
Users can setup your domain on a white list
It isn't very revolutionary - it's a capitalist system through and through. That has absolutely nothing to do with the technical details of why Lightning Network won't work.
Before sending her the article, I quizzed my mum on some of the examples. It was going well until Dubai.

"Dubious!"

I like hers better.
I occasionally enjoy gay porn as well and even had a "gay experience" when I was a teenager (I wouldn't say it wasn't pleasurable, but it wasn't amazing either).

That being said, I am definitely not gay and don't have any further desire to have sex with other men; what can I say other than human sexuality is complicated?
cdb isn't memory mapped, and you can't update individual keys.
I agree an older car is still cheaper than a new one overall.
Seems like a good occasion to go back and read Eisenhower's farewell address - probably one of the 100 best speeches in the history of the English language IMO.

> Disarmament, with mutual honor and confidence, is a continuing imperative. Together we must learn how to compose differences, not with arms, but with intellect and decent purpose. Because this need is so sharp and apparent I confess that I lay down my official responsibilities in this field with a definite sense of disappointment. As one who has witnessed the horror and the lingering sadness of war – as one who knows that another war could utterly destroy this civilization which has been so slowly and painfully built over thousands of years – I wish I could say tonight that a lasting peace is in sight.
DeepSpec: The Science of Deep Specification
Not trying to rewrite history at all. It was reported that Intel had developed their own version of x86-64, but was withholding it because of Itanium. If Intel had pushed it to market first, both Microsoft and AMD would have followed along. Intel abandoned leadership and AMD was able to set the standard.
> I always get all stoked about creating an iOS app until I remember that half my users are on android. Then I get bummed.

But seriously it is a bummer Safari doesn't support service workers yet. It's possible higher adoption would put more pressure on Apple to add support. In the meantime it can be a great enhancement where it is supported.
Insightful point, especially considering what the difference might mean on the physics side. Aka a time evolved system of uniformly every particle that has energy donating some energy to another random particle vs random particle donating energy to another random particle.
You may be interested in this article on the general topic of interface wars: https://en.wikipedia.org/wiki/Format_war
Another comparison would be FreeNet, also where you don't get paid anything, but you don't know what's on your particular hard drive either.

With FreeNet though, you can anonymously post and distribute content to others. I didn't see anything on the page or FAQ indicating if you could create a public key/link (like you can with Mega).
They can remain paged in, but unlike on FreeBSD, you can't control when dirty pages are flushed to the backing filesystem on Linux. Specifically, the MAP_NOSYNC option doesn't exist on Linux (see https://www.freebsd.org/cgi/man.cgi?sektion=2&query=mmap for a description).
Adobe used to publish and distribute the pdf spec on their developers site. Used to be able to read it and hand code PDFs. Not sure if such a resource is still available.

Wish I still had a copy but it was a while back.
Oh yes, that too!

The key element is moderators who knew what they were doing.
Because West is stealing gazillion times more from Africa in return. When you refuse, war and/or sanctions follow to cripple your country. Then they can loot in peace. You seriously think USA is just helping out of their good hearts?
This is a really interesting comparison. Plumbing jobs have a reputation for high pay, as do jobs in tech. Is hooking up APIs as miserable as fixing faucets? Maybe, but I really think that self-reinforcing cultural patterns play a big role in perpetuating these gender imbalances: women opt out because of culture that results when there are few women.

The women with the most other options are perhaps most likely to go elsewhere. Some of the men who have the most options may be right behind them.
!Woah¡ without words... It's amazing.
> Indeed, which is why I think something like Idris will probably be the future.

I very much doubt it. I think other code-level specification languages (like JML for Java or ACSL for C), are much better suited to the configurable level of verification that you're looking for. The reason their tooling[1] is better than Idris's is not just because they're more mature, but for deeper reasons, too.

While working in different formalisms (dependent types or direct logic) doesn't make much of a difference, when you specify in types, the lowest level of confidence you allow is formal proof, which, as you note, is beyond reach for anything but small and simple code. It doesn't make much of a difference whether you need to prove a JML specification or an Idris type, but a JML specification allows you to optionally use weaker but much cheaper forms of verification like concolic testing, regular test generation etc.

OTOH, Idris already has test-generation libraries that require yet another form of specification, just because types won't work with anything less than proof. I heard you could achieve the same with types, but that requires enclosing the weakly-verified types in monads, so type T and type `Weak T` is not the same.

Idris is one of many (I've lost count) of experiments in code-level formal verification. So far I don't see any indication it is closer to being "the future" than any of the multitude of other experiments. I don't think it's necessarily worse, either (while suffering from the problem I mentioned above, I assume it has advantages, too), but right now if you hear a lot about Idris it mostly means you hang around Haskellers, who have taken a liking to the language because of its similarity to Haskell in both spirit and style.

[1]: See here for an example of some automated JML tools http://www.openjml.org/, and here for semi-automated tools (using proof assistants) http://krakatoa.lri.fr/
A legitimate copy of a new hit single costs like $1, though.

Not exactly the same for anyone whose work normally costs $50 or $5,000 because it's more expensive to produce or has a more specialised market.
The Meaning of Life
8 ways to become a good leader
Also, fentanyl, which is a major illicit opiate source, mainly comes from china. A wall could have no effect at all; and in fact could spur more deaths if people turn to fentanyl.
How I applied multi-task and multimodal deep learning to financial forecasting
But that is not the context of the article. Sure a man or a woman can start a company without investors but the companies that have been associated with having a "bro culture" were not bootstrapped.

The number of women led startups is markedly lower than male led startups; same with those obtaining funding. Add age to the equation and the chances of having a shot at developing an idea/product and raising funding for a startup appears daunting. Older men appear to suffer almost the same fate.

YC applications now ask for age. Is this in an effort to promote diversity or do you think there are other reasons? If it is to make sure that someone is able to legally enter into contracts they could simply ask if the founders are 18 years of age or over?

Bottom line, testosterone may play a role in the bro culture but age plays a substantial role. It seems contrary to logic to assume that we expect people to behave as seasoned professionals when they are typically just out of college.

Risk takers have a tendency to be driven by adrenaline and startups are definitely risky. I personally don't think you can put the bro culture (or boys/men behaving badly) only on testosterone and age without factoring in the personality traits associate with those who are drawn to huge risk. What about the behavior and culture of Wall Street?
That's really odd that that Keras API's interval is measured in epochs (which is a different wallclock interval for every different model/dataset/hardware configuration). It's much more common to checkpoint based on a time interval.
I'd wager that's not how the bulk of whatever was used there was imported, but I may have seen too many James Bond movies.
Perhaps originally but not exclusively now. I've been called a wool a lot, and it's not because people thought I was from Lancashire.
Or they could look something up to ridicule it (for example).
First look at the Model 3
There's a large body of law in the U.S. on the responsibilities of "dramshops" (places that sell alcohol) and social hosts.

http://www.nolo.com/legal-encyclopedia/alcohol-related-accid... is a good place to start your research.
Bos please i need dhl or Fedexaccount ship from state to africa
Arms races are ubiquitous , from US Vs China to bats Vs the moths.

How exactly do they blow up?
Wikipedia Equality: improving the representation of minorities on Wikipedia
There is a case study in the blog

https://www.gatsbyjs.org/blog/gatsbygram-case-study/
Your claim is that most starvation in Africa is caused by war, and most war is instigated by countries outside Africa (China and the U.S.?).

Why, then, don't we see so much war in South America, where China and the U.S. are also heavily involved?
Java also has code-level specification language called JML, with a rich set of verification tools[1] (in fact, Frama-C's specification language, ACSL, was heavily inspired by JML).

Also, if you know TLA+, there's little reason to learn Alloy as well, as TLA+ is a superset of its features (as well as of Event-B, and you can compile TLA+ to Event-B to use its tools[2])

SPIN is not so similar to TLA+, as its language, Promella, is relatively low-level, while TLA+ allows an arbitrary level of detail, and so is well suited to specify very large, very complex applications, rather than small, well-contained ones. Also, if you absolutely must write proofs and have the considerable resources, I believe that Promella requires proving in Isabelle (which takes a long time to learn), while TLA+ has its own user-friendly proof language that hides Isabelle under the covers.

[1]: E.g. http://www.openjml.org/ and there are others.

[2]: https://www3.hhu.de/stups/prob/index.php/The_ProB_Animator_a...
> The entire Iraq war/post-war cost $800B

Source? The Congressional Research Service published a report in 2014 stating $1.6 trillion as the cost of war. Every other article I could find suggests this number is far too low and estimates $2-6 trillion.

https://fas.org/sgp/crs/natsec/RL33110.pdf

http://www.reuters.com/article/us-iraq-war-anniversary-idUSB...

https://www.brown.edu/web/documents/nosearch/2016CostsofWar....
For this specific case, warnings can save you:

https://wandbox.org/permlink/wwbCYysH039z3YqN

prog.cc: In function 'int main()':
prog.cc:8:16: error: comparison of unsigned expression < 0 is always false [-Werror=type-limits]
int ru = 0 > u0 - u1;
~~^~~~~~~~~
I think I found this as "Protected Content" in the Chrome advanced settings. (Searching for "DRM" didn't work.)
What scares me is that it would be possible for a third party to identify people who perform searches for gay porn (in this example).

This could be done by setting up an ad campaign directed at gay people, but selling something innocent. Only people who searched for gay porn will see the ad, and so the third party can determine that those buyers have looked for gay porn.
The conclusion I walked away with was articles that describe how insurance works need clickbaity titles.