skysight-inc/HackerNews huggingface dataset:
A women-only society would likely collapse within 2 weeks. Technological inventions would vanish in an instant. Mathematics/Engineering/Physics lecture halls would be filled with cobwebs and dust. Law and order would cease to exist. Streets would be piled up with dirt and garbage.

If we want to fantasize about the real ideal scenario for humanity: Only high intelligence / high genetic-value males roam the Earth. There will be females too, 10+ for every guy (1:10 ratio) and the females will all be slim, youthful and beautiful, there will not exist any overweight or mouthy-feminist-type social justice warrior abominations we see at every street corner in 2016. There will be no reason to, because life will be pristine for everybody, everything will be working in equilibrium.
So OP mentioned a question posted to stackexchange, clicked link, expected closed.

https://security.stackexchange.com/questions/91292/

LOL good ol' stackexchange, closed as duplicate.
Tom Wolfe tries to take down Darwin and Chomsky
I get the impression that religious people actually have no internal moral compass of their own so therefore need a set of external rules in order to not be dickish.

Because of this necessity, they can't understand how other people can have morals without a set of rules, even self-contradictory, ambiguous rules passed down from a supernatural being via the mysterious hallucinations of desert people thousands of years ago.
"HN Mark All Read" is a great option. I maintain a fork [1] of the original, as the author stopped supporting long time ago. Source code here [2].

[1] https://chrome.google.com/webstore/detail/hacker-news-mark-a...

[2] https://github.com/guiambros/HNMarkAllRead
This is a throwback for me, big time; this guide singlehandedly helped me through my low-level networks course in college.
The Pitch Drop Experiment
Yep language generation is the hard part. What you have said is a stepping stone in that direction. Any task involving sequences is very hard today. How to generate these sequences ? Tops we can generate limited phrases, what Google smart reply does.
I believe women are just as violent and competitive as men. Due to reasons of biology, the aggressive behavior of women just manifests itself differently. While men are more inclined to express it physically, women are more likely to express it through spreading harmful gossip or political maneuvering.

I don't have any data to back up what I just said, but if you are a woman, and you are saying we should "phase out males", then this extremely aggressive suggestion would strengthen my belief.
Poe's Law strikes again...
Yes, plus there's also the size and frequency of the pain point to consider. Uber makes sense; millions and millions of us need to get somewhere at any given point in the day, and many of those millions have that need multiple times a day. An on-demand solution, conveniently at the click of a button on your phone, makes a hell of a lot of sense.

Laundry and dry cleaning? First, that's definitely not a daily need. Debatably a weekly need. Second, it's not really a mobile need, and I don't just mean in terms of the device. It's not an on-the-go problem. Sure, the idea of on-demand pickup and dropoff sounds mildly more convenient than the traditional method -- but not so much more so that it's worth the price premium.
Georgism – An Economic System Based on Land Values
I don't think 8MB is the smallest preset, the text you quoted says that the lower levels use "1 MB or less".

The concern I have is that this makes it sound like the compressor can choose how much memory the decompressor will need to use. Does this mean that zstd can't be used in a potentially adversarial environment? (Eg. is there a denial-of-service vector here by forcing the server to use large amounts of memory to decompress my requests?)
iOS secure app development (2016)
Menandatangani Pemain Ukraina Winger Yevhen Konoplyanka
Alexa Skills now supports audio streaming
Perhaps if it was managed properly, ie: spay/neuter before release & replenish the 'supply', as needed. For example, without natural predators the Hawaiian islands are now swarming with feral cats, albeit theirs started as a human problem(abandonment):

https://encrypted.google.com/search?q=hawaii+cat+problem&gbv...
Considering the very deep nature of the three-way relationship between a commercial satellite customer (SES), a launch vendor (SpaceX) and an insurer (many companies), I wonder if they negotiated an agreement to essentially embed a thoroughly vetted employee of the insurance company inside SpaceX, working alongside and observing the team that is doing the returned rocket testing and qualifications, teardowns, test firings, etc. I would not be surprised if this is the case.
I was fortunate to see him talk at UCSD recognizing his Nobel prize in 2008. Standing room only, isles filled with folks sitting down likely against fire code. Despite the vast number of people there to see him talk, he was astoundingly humble and basically described how everyone else did the hard work and deserved his award; he was just merely connecting the dots. A great individual who will clearly be missed.
But tabs let everyone see it how they want to. I've never understood the draw for spaces...
Took more than 10 seconds to find this link:

http://wiki.call-cc.org/eggref/4/spock
As a creative writing of poetry major and computer programmer, I think this is just unbelieveably cool.

My contribution to the hipku craze is a Wolfram Language version of the encoder, running on the Wolfram Cloud:

https://www.wolframcloud.com/objects/902f5a2b-6672-4223-8c47...
(Not) Shipping is a Virtue
>What is the compression time for brotli to achieve compression ratios comparable to LZMA...

Compression time is indeed the achilles heel of Brotli, which is why it's something I would only use for compress once (and preferably decompress very often) scenarios.

Compared to lzma at it's best compression setting for this particular data (-mx9 -m0=LZMA:d512m:fb273:lc8), brotli took 6 minutes and 4 seconds to compress, while the same data took 1 minute and 47 seconds for lzma.

On the other hand, brotli decompressed the same data in 0.6 seconds, while it took lzma 2.2 seconds.
Building Minimum Viable Models
But it's not the same progress.

The technology we have today can feed 7bln people, it can feed even more.

Distribution is another issue, there isn't famine today that we cannot deal with.

There are cases that we choose not to, there is a huge difference between famine that is induced or maintained due to political instability than due to "natural" causes.

If you want to see famine you don't need to go back more than 150 years to the great potatoe famine, events like this simply cannot happen today.

If you take the 7bln people of today and try to feed them even with circa 1900 agro tech then you will see what famine is.
Within a century we have solved famine and we can now feed 10-15 times the population we had 100 years ago.

If you look at the explosion of the population of the planet in the 20th century you can see how much of a revolution we have underwent.

This is why you don't see or hear about wide spread famine today.
Sure there are still pockets in developing nations and even cases of malnutrition in the developed world.

But that isn't famine, it's not a natural disaster, it doesn't decimate whole countries and if we had the political will to go and fix it there would be almost no major pockets since we can resolve the few remaining parts.
Food is hard to distribute when you are being shot at.
Google Is Driving a Blurry Line with Waze Carpool Pilot
Zed-Stud
That's what code formatting tools (cncrustify, clang-format, etc) were built to fix - let the computer have perfect and consistent formatting, you just need to record your intention.
The CAT on HN! I went to one of the early meetings for this project (years ago now!) It was a question and answer session for potential bidders.

My favorite question: "How long is the contract for?" (the SEC reps look to each other, and then respond...)

"There is no term."

"And the bidder is committed to storing all generated data?"

"Yes."
No questions. This is really cool. I hope to hear about a follow-up!
The antibody aducanumab reduces amyloid beta plaques in Alzheimer’s disease
The Real Reason We Don’t Build in Palo Alto
When I think about my college networking course I can almost see the words "Beej's Guide to Network Programming" at the top of that page. I must have spent 30% of my time in that class just reading that site. Not sure if I remember who wrote the text book though.
This is good to understand the fundamentals.
But in a cross platform software I would use something like libuv since it provides a consistent interface around sockets on all platforms.
That's from a course that was given in 2004. UNSW has been teaching haskell for much longer, in those days everybody doing CS had to learn haskell.

Still a dearth of useful programs written in haskell in 2016. I've never seen a Haskell lover attempt an explanation that wasn't pure booster-ism. Why are there so few useful Haskell programs? Haskell has had time and access to programming talent and come up with very little. Maybe it's just around the corner hanging out with the year of the linux desktop?
The Revolution Will Not Be Televised
https://hn.algolia.com/?query=Beej%27s%20Guide%20to%20Networ...
Scientists Make the First New Lager Yeasts in Centuries
I thought the link was going to be Is Anything Being Done to Remedy the Soul Crushing Compile Times of GHC.

https://m.reddit.com/r/haskell/comments/45q90s/is_anything_b...
And trade it for the anxiety of your manager getting pwned.
This has come up on HN before... One of the bidders has apparently run a load test on Google Cloud with some impressive numbers: https://cloudplatform.googleblog.com/2016/03/financial-servi...
Building the future is expensive. If Elon ever really needs the cash, he only needs to ask. I'll be there to open my wallet for him and I'm sure many others will be too.

I wish he'd give up on his Mars mission plans though. He's just not bankrolled for it. He ought to be focusing on mining the moon and near earth asteroids. The first company to do that will probably be the richest company until our species dies out. That would give him more than enough cash to fund his Mars retirement plans. It bothers me slightly that he can't see that. Unless he's angling for some NASA funding; then it would make sense.
Produce sorting machines are fascinating.

https://www.youtube.com/watch?v=Lz88nsWL4kw
How to give a great research talk (1993)
To me that is more of a desire than a need, but I digress.
You are still being dismissive. In an office of ~200 people, I personally know four women who left for reasons ranging from the hair incident to being told that having a child is a career limiting move. I don't think a 2% departure rate is due to the law of large numbers when the company culture is small enough to be shaped by Glenn.

Anyway, when did you work there? There is a good chance you benefited from a more sensitive management team caused by a few awkward exits.
You can always avoid hospitals if you feel the cost is too high. We can talk all day about how much it ought to cost, but clearly you feel your health is worth it for continued check-ups.
Terminal.com closing down
Email:

We are transitioning to a new product, and in doing so are sunsetting our public container cloud. While it’s always hard to say goodbye, we're excited to focus on our new product: powering online coding education.

All user information and data on our publicly hosted cloud will be deleted as of September 30, 2016, so please be sure to move your information to a new service before then.

We will continue to make the public cloud available for this next month, but are restricting our service to data downloads only. Instance size and concurrent usage will be limited. If you need additional server power in order to move your data, please reach out to us with a short explanation of how you plan to use the additional RAM.

We will reach out with additional reminders throughout the month before disabling access to ensure you're prepared.

If you're interested in learning more about our new focus, please sign up for updates.

If you wish to request a refund for purchased credits, please complete a credit request form.

We will continue to support our private cloud solutions, so please reach out if you are interested in continuing your service via an enterprise solution.

Thank you for your patronage and support of Terminal.com over the years. We hope you have found it to be valuable, and look forward to entering this next phase with you.

-Team Terminal
I bet you heard about Elm and purescript?
> However it may be a risk worth taking: on the one hand, you have a distribution channel that could help you take off, but might compete with you later.

If you're worried about this, then you should also worry that competitors might compete with you anyway, whether or not you use their distribution channels.

The real question to consider is whether using their channel makes them more likely to compete with your or less, weighed against the other tradeoffs.
Betting that the market reverts to 'rational' pricing in any short time frame is a risky bet, but I'll claim it's much, much more reasonable than assuming that irrationality persists indefinitely.

OTOH, there's another story to why equity returns are higher than GDP returns: equity investors are being compensated for the higher risk.
Did you not see what else these guys have said?

Posting on FB is the least of their mistakes at this point..

Although there's still time to f* up even worse!
In public I hold the mic close to my mouth and lowtalk into it, no need to bring out the transatlantic accent radio voice.

I can hold a coffee with one hand, see where I'm going with my eyes, and still enter text. It became reliable enough for me to use habitually a couple years ago, and it keeps getting better.
However, don't they yield more per square foot than in other countries? It might make sense if space is much more valuable.

In fact, even given their weird terrain features, they're pretty close to the top in cerial yield for example:

http://data.worldbank.org/indicator/AG.YLD.CREL.KG?end=2014&...
This is probably one of things where you only count positive results - presence of meetups on your topic is probably a good thing, but the lack of them doesn't necessary mean anything.
Looks like BT back to their old patent troll tricks :

https://en.wikipedia.org/wiki/British_Telecommunications_Plc...
> about all-encompassing knowledge and abilities of modern humans

I agree. The reason we achieve so much more is the network of human cooperation in space and in time (with the ancestors who pass down to us knowledge, methods, culture, technologies, items, infrastructure). I have not ever seen any substantiated claims individuals got better apart from better software gotten through soft programming, the stuff I mentioned as passed from ancestors. With "better" I mean this: Would a baby created today and immediately given to hunter-gatherers (now or 10,000 years ago by "magic") do better then their babies? I doubt it.
Show HN: Got IoT but not sure what do? Find stuff
I am talking about a long run relation between two long run quantities, which either fluctuates in a certain band around equilibrium, or allows the economic equivalent of perpetual motion.

You seem to be predicting a diverging trend in that relation towards infinity, which is insane, as infinities tend to be.

I conclude from this you're misunderstanding the notion of "long term equilibrium" as stronger than it is in reality. Construct a model that simultaneously allows infinite divergence between securitized asset prices and their associated incomes, and disallows easy arbitrage, or we have nothing to talk about.

Every fool digs up that Keynes quote when his model is wrong.
Surely tensor-flow is better than just a shovel?
Bark-Data Quality Service on Cloud for both real-time and batch data
DQSolution is an open source Data Quality solution for distributed data systems at any scale in both streaming or batch data context. When teams use big data products (e.g. Hadoop, Spark, Kafka, Storm), they always need a data quality service to build their confidence on the quality of the data processed by those platforms. DQSolution creates a unified process to define and construct data quality measurement pipeline across multiple data systems to provide:

FEATURES

- Accuracy Measurement - Accuracy of a data asset compared to a verifiable source

- Data Profiling - Statistical analysis and assessment of data values within a data asset for consistency, uniqueness and logic

- Anomaly detection - Pre-built algorithm functions for the identification of events which do not conform to an expected pattern in a data asset

- Visualization - Dashboards that can report the state of data quality

KEY BENEFITS

- Real Time - The data quality checks can be executed in real-time to detect issues faster

- Extensible - The solution can work with multiple data systems

- Scalable - The solution is designed to work on large volumes of data. It currently runs on ~1.2 PB of data

- Self-Service - The solution provides a simple user interface to define new data assets and rules. It also allows users to visualize the data quality dashboards and personalize their view of the dashboards.

Github:https://ebay.github.io/DQSolution/
Please fork!Thanks!

Contact us: lzhixing@ebay.com
Tridge gives a good summary of the different timing requirements in a presentation he gave back in 2014 (page 8).

http://uav.tridgell.net/LCA2014/AP_Linux.pdf
Happy for the team at Wagon, but sad to see this. Was actually starting to enjoy using Wagon as a SQL client.

This was inevitable, though - the Wagon team didn't seem too concerned about trying to find a way to monetize the app.
It's not even that "irrationality persists indefinitely", it's that it increases towards infinity.

Equity > GDP as a return to risk would require you to be able to "invest in GDP" in a relatively variance-free way. Social Security or seizing control of the government (or at least its taxing power) is about as close as you can get, but neither is really securitizable.
> One hypothesis to explain the "shared" part of the hallucination would be the existence an immutable shared data structure underlying the universe which uses consensus to agree, long term

This is a hypothesis i also stumbled into: reality as a method for coming to consensus on a data structure.

Check out this simple description of a game with similar mechanics:

https://markpneyer.wordpress.com/2015/02/22/the-photoshop-ga...
Is Textur (https://www.textur.com/) an alternative to Wagon?
Okay, so you worked there after me. When I started, devs still checked sex jokes into the code base. Just one of the many things I tried to fix. You are welcome, I guess?
How to rip DVD to H 265 video to greatly reduce the output size
Either way we've wandered into deep speculation territory. We need more data.
thanks for the project. Ideally, how much time Wefunder review process will take?
Yeah, I still think it shouldn't be considered a duplicate. Especially since going directly to WoSign didn't end up solving the overall problem, which is what the linked duplicate question says to do.
Dictation style input would be great in situation where hand dexterity is not optimum, like in a car.
I'm not sure I wanna fly around as cannon fodder.

> Alpha clones represent the free option, and offer a more limited, and very specific set of skills, weapons, and ships that players have access to.
You're confusing pre-marital sex with monogamy.
I don't have a brief answer, but recommend https://www.martineve.com/2014/11/27/book-open-access-and-th... if you'd like to read a book about it. The book is OA.
I'll hazard a guess.

(1) Haskell was born of academic research and has kept that affinity ("monads"...).

(2) Haskell originated at Microsoft but was never pushed. Java, C#, Rust, Go, and JavaScript were backed and pushed hard by big players.

(3) Performance sensitive programs (grep, Nginx, git) are written in C. Ugly as sin, but closely matches the machine, and is hand-tunable. Non-performance sensitive programs can be written in scripting languages.

(4) It's not OOP, so it missed out on that craze. OO languages have since adopted functional constructs and kept their historical user bases.

(5) It's daunting. The compiler plugins, the gyrations to avoid mutation and I/O, and the many levels of abstraction can make it difficult to start. IMO worth it, but still daunting. Most amateur artists don't use marble.

(6) There are lots of crap C projects, and mountains of crap JS projects. The jewels are the few that turned out to be important and useful. Haskell being less popular means fewer shining examples.

See also, "Worse is better" https://www.dreamsongs.com/RiseOfWorseIsBetter.html
"Jim, it's been 2.5 years. How do you feel about this project? You still have passion for it? If you could do a change anything about what we've done, what would it be?"

Then listen to what he "says".
And your statement is something academics have shown empirically :) (I just find it slightly amusing, no point really) I think the most famous instance was that story about the cult whose prediction about the end didn't come true, and they ended up being even more convinced and made up all kinds of excuses instead of quitting (the cult).
> Insofar as a program can be compiled and implemented in machine code, all the functions of that program's programming language can be mapped 1 to 1 to nat -> nat operations.

That mapping is a property of the implementation, not of the language. A user of the source language can't rely on the existence of this mapping - it would be literally impossible to run programs, say, using paper and pencil.

> If a language has parametric polymorphism, is it therefore not Turing complete?

Whut?

> Because if the language with parametric polymorphism is Turing complete, then the Church-Turing thesis absolutely has something to say about that language.

It says something about the functions of type `nat -> nat` that I can compute in the language. But a language with parametric polymorphism has lots of other types besides `nat -> nat`.
> Yes but the real number that cannot be pinned down using a formula can also not be pinned down using a computation,

Undefinable real numbers exist, whether you can compute them or not.

> and we are talking of models of computation.

A theory of computation that rejects the existence of things that can't be computed is like a logic that rejects the existence of FALSE because it can't be proved. Where does the busy beaver function sit in your conceptual model?
Czech out my project, Spreza. We're not targeting voice input, per se, but instead automated transcription. Nonetheless, the correction issue persists in both use cases. We solve it via a homonym suggestion drop-down box. Double-click an error and replace with the correct word.
>It cannot be justified, I don’t care how many reasons you come up with.

Of course it can be justified if the university is pulling in more money than it's spending. Athletics are a profit center for the stronger programs.
As far as the computer is concerned, a program is just a list of instructions. Not even functions of type `nat -> nat` exist at that level. However, that isn't a very convenient way to program, which is why high-level programming languages exist.

As far as a typed high-level programming language is concerned, a syntax tree that doesn't type check isn't a program, so the question of what it does at runtime is simply ill-posed.
Nytimes is in a rush.
Hacking Together a Simple Graphical Python Debugger
I would pay 15$/month for better desktop linux distribution. Something with the polish of mac os/windows/chrome os, but running on a standard linux plarform.

2000 for a 14 inch ultrabook with a great screen, great keyboard and great batery life

A good chunk of money for ads free, in depth technical articals