skysight-inc/HackerNews huggingface dataset:
Lack of good urban planning. Houses are built before everything(water, sanitary facilities, water drains). And then everything is planned around them. What you get is semi-ghetto areas, where everything has to be crammed in without any intelligent design. So you get small sewage pipes which don't have the bandwidth to carry waste water, let alone any reasonable sewage(like toilet paper).

Now imagine entire mini cities rising up like this. How do go around building sewage drains? They too come up randomly, emptying into lakes, ponds, former rivers.

This is exactly the case near my home in Bangalore. 10 years after the houses were built municipal corporations are now putting in an after thought. In fact roads are so badly planned that there people who have encroached the entire section of the street discontinuing the road from one corner to the other. They get away by bribing local corporators.

Also there is no door-to-door garbage collection facilities so people discard household waste onto some corner in every street which has to be later cleaned by garbage men who show up once in 2-3 weeks, hence mosquitoes and dengue like diseases.
You can't set a misconfigured policy over http, it needs to be HTTPS with a valid CA.
An open letter on the state of US space exploration
Exactly. Most 'good science' start with premises A, B, and C from their respective papers, and go on to show that X is likely true because of this new data. In general, it would be impossible to propose X if A, B, and C were not themselves true - they were the foundations of this new research. In that way, even though the publication of X may not have directly (though often precisely directly) repeat the experiments of A, B, and C, they still have replicated the core concepts.

As noted, this does not get rid of the confounding negative effects, where paper D was also used as a (in retrospect, faulty) premise as well. Though no one ever actually comes out and says 'D' is bad.

Over time, A, B, and C theories accrue significant weight while D falls off. It's not as explicit as some may like, but in the end the spirit of replication is well and alive.
Conquest of Mind (book), squatty potty, body bar (blue S), vim, Vimium, code generation, quit smoking
Personally I wouldn't worry about it, given it was an honest mistake, so long as more recent papers that refute your claim cite your paper. Whenever I'm reading an interesting paper I always do a reverse citation search to see what more recent papers say about it. I find that if a paper's claims are important enough someone in the field will publish a paper if they have results that contradict it.
Either that, or end up evaporating in the atmosphere, precipitating somewhere, and then flowing into the sea.
Well cheers to the whole team then! Keep it up.
Where is the power coming from? Desalination can only be as efficient and sustainable as the power source. It's not surprising if Israel can build massive desalination plants dependent on cheap fossil fuel power.

This is just trading water now for more CO2 added to the atmosphere, worsening the underlying problem.
Amazon Echo is down, along with the Amazon Developer site
Becoming "paleo" (I prefer the term 'evidence-based diet'). Transformed my body composition, energy levels, and overall health. Introduced to it through the wonderful nomnompaleo app.
Cold showers! My inspiration to start was Wim Hof
I wrote Haskell myself and it is indeed generally free of bugs. However, there are many things that type system alone cannot fully address, for example, boundaries (Haskell's functions could be not total, and yes I know there are type-level integers and things, but they are often a pain to use)
Good question. From an engineering perspective, the codebases are different, so (with the exception of some components like JS/TS language service) the two will continue to evolve separately until we invest further in consolidating engineering efforts. From a product perspective, VS and VSCode appeal to different communities, and we need to be cognizant of that whenever we consider lighting up new functionality. Is there a specific feature or improvement you're especially excited about?
And what was the average lifespan :)?
Uninhabitable is not an appropriate term. Uninhabitable means unsuitable for living. Regions with very high levels of radiation, extreme cold, extreme heat are often the reasons why some place is uninhabitable.

These lands are scarred by the war but are surely inhabitable if those countries had higher population density. All the government has to do is perhaps spend couple of billion dollars picking up all the shells, bombs and mines.
Possibly you have a config somewhere that has example.com in it... Could try example.org instead?
I used to work at Google, and I confirm the parent is correct. Things work this way so that schools can force safe search, while keeping HTTPS.
This is not that uncommon -- e.g., most proofs of the undecidability of the halting problem.
> Even if I made a custom equality comparison that says two different objects are “equal”, it would be unsound to treat them as equal

I didn't see anyone making claims about soundness. From a Curry-Howard perspective, all JS code is sound: it's unityped, so all programs are proofs of the trivial theorem "true".

From the perspective of equality functions/operators, you're right that it won't be sound; but so what? It's pretty much given that "Javascript foo" is a poor model of "foo", for all values of "foo" (function, integer, boolean, etc.); why should equality make any difference?

Just add "==" and "===" to your list of things to avoid, alongside mutation, random numbers, user input and other things which aren't referentially transparent. To be honest, equality isn't particularly bad if your code has some notion of types/contracts (whether enforced or not); e.g. it's perfectly safe to use "==" when you know that both sides will be strings, for example.

> For example, if I mutate one of the objects, the other will remain in its original state.

Mutation doesn't seem like a great example when discussing (pure) functional programming patterns.

> This is exactly why a usable functional language must provide a good notion of compound value!

You introduction of the term "usable" seems like a moving goalpost/no true scotsman.
What current organization has the most Xerox PARC-like environment?
I've found that music distracts me. When I need to be super-focused, I can't have any music on in the background.

I can listen to some songs when I need focus, but not super-focus. For those, I tend to listen to the same thing on repeat for several days or a week in a row, similar to you.

Some examples are: Koyaanisqatsi, Ian Anderson's "The Secret Language Of Birds" album, and Tool's Ænima.
That's not entirely clear from the spec. Per section 11.3 [1], if HTST policy is enabled with a self-signed cert, then "then secure connections to that site will fail, per the HSTS design".

In my reading, it doesn't say that a compliant user-agent must not set HSTS policies for self-signed certs; rather, it says a compliant user-agent will show an un-remediable error upon attempt to visit the website.

[1] https://tools.ietf.org/html/rfc6797#section-11.3
Countries That Still Outlaw Apostasy and Blasphemy
I'm not at all surprised. And at the end of the day I have no doubt that my social security number, drivers license number, bank account number, etc are for sale on the black market.

But at least as of today I'm pretty sure those databases are still quite expensive as that information isn't as easily available. And even if it was more readily available, it's still advantageous for criminals to maximize their payout by being selective about the accounts they rob. Who knows what information is useful to them when determining risk and benefit. Credit card numbers are a dime a dozen, but the numbers of high net worth individuals (not me, obviously!) which see less scrutiny for high-dollar purchases are worth a heck of a lot more than the ones you dump after fraudulently charging $10. If I owned a Tesla and somebody called me up to ask questions about my Tesla, I'd neither confirm nor deny; I'd politely ask them their purpose, and if it seemed legit I'd call them back on a published line. (Obviously just telling them you'd call back is all they'd need to know to profitably classify your identity, so it's very much a judgment call.)

My rule is that if I haven't previously published the information, I'm not going to give it up easily unless I initiate the communication, even if I know the information is already public, such as birth date, place of birth, etc.

My goal is just to minimize my exposure to fraud; I can never eliminate it. And choosing not to divulge personal information unless I initiate the contact, whether by phone, e-mail, or whatever, is a relatively simple, convenient, and rote countermeasure I've employed for almost a decade now.

I don't care about the technical details, except in so far as it helps me to very roughly gauge relative risk. Criminals are specialists in their area and I'm not about to pretend I can keep up with the state of the art. At the same time, fraud enterprises, like porn, tend to be at the vanguard of technology. So if something is going mainstream it's a sure bet it's been underground for awhile.
I get this too. Their service status page doesn't indicate anything wrong, and ironically, the only way to contact them about the problem is to ... you guessed it ... sign into the management console :-)
My entire body starts to shiver uncontrollably when I don't eat for a day (the energy throughput of my body is crazy throughout a workday), I can't believe it's healthy and productive not to eat for 3 days in a row. I'd even say this is quite dangerous and unproductive advice. I advise everyone reading this not to do multiple days of fasting without consulting a doctor.
To clarify: This is for devops/sysadmin work. Not for any of RethinkDB's realtime functionality? When I saw the title and saw that it was written in JS, I immediately jumped to web-dev conclusions not devops/sysadmin conclusions. Great sysadmin addition!
its a pedantic point but most proofs are handwavy in the sense that they don't show which rule of inference allows them to claim a particular intermediary result. Proving anything but the most trivial thing where every single deduction is made is quite tedious, but the sentiment is correct.
I think immutability is more important than "functional styles" and "function as first class citizen" to a "functional" language
In Israel, it's mostly a triumph of politics over economics - Jordan, Israel, and the PA have cooperated in developing desalination plants [1] in part in order to defuse conflicts over water. Water allocations have historically been a zero-sum competition in the region, so when there's a chance (however expensive) to just throw money at the problem to make it go away, everyone's willing to play along.

[1] http://www.worldbank.org/en/news/press-release/2013/12/09/se...
let's try it, if interested, send me a tweet at @isaacpei, seriously thinking about creating something for this
That dude is my hero now. Coolest guy in the world. The inner working are also fascinating to see up close.

Edit: Compare him to this guy[0] doing the same mine.

Edit Edit: Down that same rabbit hole I found this[1], I had no idea this stuff was so easy to find.

[0]https://www.youtube.com/watch?v=oa9CtYH5I5o

[1]https://www.youtube.com/watch?v=TgmMy8Hq8oI
Why do I need to create an account with an email and password to purchase this if it’s not a subscription service? To add insult to injury, I have to agree to some Terms of Service that probably indemnifies this company from doing whatever they want with my data. Who comes up with these brilliant ideas?

The Mac App Store is absolutely horrible (lots of bugs, slow, inconsistent, almost unusable, absurd certificate expiration issues that are completely embarrassing for a company like Apple, etc.) and Apple has completely ignored all developers who use it... but this is exactly why I always prefer buying from it. I don’t want some nobody developer harvesting my information, and selling/renting it off to some who knows who either now or some years down the line when the company folds.

Please have respect for your potential paying customers and drop these kinds of practices. Other than recovering a potentially lost license key, there is absolutely nothing I need from you, including any and all “news or updates”, after I have purchased the app. Therefore you should only really need some unique value (like the hash of an email address) for that.
Ramda is arguably the most Haskelly JS library.
I think you should almost replace "spoken language" in that quote with "natural language". As opposed to a formal syntax like used by Russel and Walllace -- or indeed any programming language.

I say "almost replace" because even natural languages can be restricted into formal versions good enough for proofs. People have been playing that game since Aristotle and his sylogisms.
But what about your calves, Degges? We all know why that photo is cut off at the knee. It's OK to feel comfortable with your calves as they are.
It doesn't have to be 12x better. It only has to save you $45 worth of time more than a $5 alternative, or $50 more than a free alternative. Most engineers are paid on the order of $30-$150/hour, depending on whether full-time, contractor, level of experience, etc. So, it has to save about 1.5 hours over the alternatives to be worth the price.

I don't know if it does that, as I've never used it, and don't use macOS.

There are other things it could save instead of or in addition to time: Hassle, maybe it doesn't have any external dependencies or complicated setup; stress, maybe it works reliably while others are buggy and unreliable; etc.

Again, I don't know. And, I tend to choose OSS solutions, even when it costs me more time/hassle/stress. But, there's a number of reasons one might choose a more expensive tool that does roughly the same job as lower cost alternatives, and it might be the right economic decision to do so.
Yes it makes sense for a mathematical function to diverge. You just need to change the domain and range to their "lifted" version. See [https://en.wikibooks.org/wiki/Haskell/Denotational_semantics]
I also ran an exhaustive analysis and had similar conclusion. I found that TinyLFU (mentioned in the article) matches or beats LIRS in database and search workloads. It is also much simpler to implement and is more memory efficient.

https://github.com/ben-manes/caffeine/wiki/Efficiency

The W-TinyLFU variant better handles recency by using an admission window so that new entries are not immediately discard. This resolves antirez's concern and improves performance in sparse burst workloads. In a way its similar to the HIR/LIR regions (window/main) using TinyLFU as a frequency filter.

Happy to work with you, antirez, and others to simulate more policies and add trace files.
> I think I realized this subconsciously before I was conscious of it.

This is grad school in a nutshell, in a lot of fields. I've seen three common responses to this cognitive dissonance:

1. Deny the brutal reality of the job market.

2. "But I couldn't ever be happy doing anything else!"

3. Leave.

One of the strangest things about my grad school experience was watching very intelligent people spend years of their lives, and sometimes borrowing money they could never pay back, to pursue a degree even though deep down, they understood that it was a really bad idea. The rationalizations they came up with were pretty transparent to anyone who wasn't also in the grad school bubble.

I suppose I sound harsh, but when people ask me if they should go to grad school in the field I did, my answer is always "not unless you are already independently wealthy and never need to work again."
It is interesting that Mr. Landis mentions entropy (in Thermodynamical sense I hope). I have always wondered what it means here, in this solar system. Assuming the solar system has negligible energy flowing in, what does it mean when life on earth is reducing entropy in this system? We are tipping the balance by assimilating atoms in a more orderly fashion with each birth. This means something bad is happening somewhere close-by. ;-(
I've observed a very similar thing for awhile now. I'm to the point where I rarely delve into the comments anymore. I've noticed what you've seen about product announcements, or people just generally being contrarian for no reason that adds value to a discussion. I'm eagerly waiting for the day that I see this happen, and I mean literally:

"Scientists find a new reason to explain why the sky appears blue."

HN: I know nothing about science but the sky is definitely azure, not blue.
Correct, the constant term makes the function nonlinear. A linear function must necessarily satisfy f(0) = 0 (or, I guess, f(0) = infinity).
A Brief Introduction to DNA Computing
Can you expand on all of these complaints? I've been using Haskell for about 9 years and none of these are things I've ever had a complaint about, except package management, which I find stack's solution works incredibly well in practice.
1. Ditching people who were emotionally abusing me pretending they were my friends to take advantage of me (financial and/or emotional)

2. Switching away from Windows to GNU/Linux

3. Investing in stock market

4. Eating organic and vegan only

5. Drinking only bottled water

6. Working out and learning martial arts

7. Working on my self-esteem

8. Believing in myself

9. Keeping small paper notes for everything I do and have
to do

10. Avoiding crazy girls/women like every other good boy/man should

11. Being honest with myself

12. Taking care of the future me (then thanking the past me)

13. Fixing my teeth

14. Attempting to leave my country of birth

15. Realizing that being either depressed or happy are choices every human has to make for themselves
> From a Curry-Howard perspective, all JS code is sound: it's unityped, so all programs are proofs of the trivial theorem "true".

Haskell and ML aren't unityped, but, in both, every type is inhabited by expressions. (Caveat: In ML, not all types are inhabited by values, but that doesn't matter, because programs correspond to expressions, not values.) So this doesn't distinguish them from JavaScript.

> From the perspective of equality functions/operators, you're right that it won't be sound; but so what? It's pretty much given that "Javascript foo" is a poor model of "foo", for all values of "foo" (function, integer, boolean, etc.); why should equality make any difference?

Equality matters, because the very first condition to determine whether a procedure computes a function is to see whether it maps equal inputs to equal outputs!

> Just add "==" and "===" to your list of things to avoid, alongside mutation, random numbers, user input and other things which aren't referentially transparent.

That's a different language. Do you know of any good implementations of it? And, FWIW, procedures that compute random numbers are totally fine. You can't rule out procedures that don't compute mathematical functions. You can only keep their use to the minimum necessary.

> To be honest, equality isn't particularly bad if your code has some notion of types/contracts (whether enforced or not); e.g. it's perfectly safe to use "==" when you know that both sides will be strings, for example.

In my day-to-day programming I manipulate more complex data structures than strings.

> Mutation doesn't seem like a great example when discussing (pure) functional programming patterns.

I'm not talking about pure anything. I'm saying that mathematical functions are value mappings, and if the language doesn't let you define compound values (tuples, lists, trees, whatever), then it can only conveniently implement very trivial functions - not enough for practical programming.

> You introduction of the term "usable" seems like a moving goalpost/no true scotsman.

I'm not moving anything. A functional language is one that makes it easy to write functional programs. The lack of compound values means that I'm given two unpleasant choices:

(0) Use Gödel numbers to encode compound values. Would you?

(1) Do imperative programming.
>We are not talking about Psychology studies but medical clinical studies.

I went to the first reference from your wikipedia link

https://www.ncbi.nlm.nih.gov/pubmed/19123875

Conclusion: Most clinical trials on meditation practices are generally characterized by poor methodological quality with significant threats to validity in every major quality domain assessed. Despite a statistically significant improvement in the methodological quality over time, it is imperative that future trials on meditation be rigorous in design, execution, analysis, and the reporting of results.

Second reference from wikipedia

http://ebooks.cambridge.org/chapter.jsf?bid=CBO9780511816789...

The Cambridge Handbook of Consciousness,

Cambridge Handbooks in Psychology
Clinton vs. Trump:18 CROs Tear Down the Largest Marketing Campaign in US History
I've been sort of thinking of fiddling with a Lisp on the cog vm for a while. That vm does a bunch of things I want (including the images people are talking about here).
> * Perhaps white noise on headphones if you need it, timer on your laptop or phone

If you have sox[0] installed, just run

play -n synth 20:00 pinknoise

(or whitenoise if it suits your environment or preference better).

[0]: http://sox.sf.net/
How to Activate 'Bioweapon Defense Mode' on the Tesla Model X
You are absolutely right about solver strategies. Most of the existing package managers in Go have no solver. It's all manual and typically the tip of master or latest commit.

Glide has a dumb solver in that it goes with the first best version it finds. It will tell you if there is a later conflict that you can manually resolve.

There is a package, discussed here called gps, that is being prepped to merge into Glide. This solver has a back-off strategy. It's loosely based on the solver in dart. The idea is to find the latest newest version that works for the complete tree.

We've been incrementally working to get a good solver and are almost there.
Paw is a great tool, but I can also attest to the excellent support of the developer. I made a mistake when uninstalling it off my old Mac, and found myself unable to activate the serial on my new Mac. Micha replied personally, took me at my word regard the issue I was having, and immediately added a second seat to my serial for free, as the simplest way to guarantee I'd never have the problem again. I appreciated that.

Secondly, there are indeed many similar tools, but I've found that Paw in particular has well-thought-out implementations of a number of useful features (cookies, JSON parsing, auth methods, history) as well as a neat way of managing requests across environments e.g. dev machine vs test server vs production API.

Paw isn't the only tool I use when testing/developing API endpoints, but I find it to be the most featureful while also playing nice as a Mac app, with a decent UI and the expected things like remembering my previous window positions/states the next time I launch it.
I don't really see how any of the facts you mention makes linking similar tools here a bad thing? Unless someone's bashing on Paw for being a paid software in a disrespectful manner, I think it is fine to link to others, why not?
I've heard that just as big as their desalination efforts are their water reuse efforts. All that sewage we work so hard to get rid of? Turns out that's still fresh water. Sort of. It's just got some other stuff in it is all.
> Sorek can produce a thousand liters of drinking water for 58 cents.

In Los Angeles, the DWP tier 1 retail price for a cubic foot is very, very roughly 5 cents or roughly $1.75 for 1000 liters. And DWP's prices are going up (for a host of reasons).