skysight-inc/HackerNews huggingface dataset:
Among other great performance tips I recommend are:

* Don't always create a index for a single column, multi-column indexes can in many cases be a lot faster.

* For large tables, I often see that PostgreSQL choose sequential scan instead of index scan. This may be because the planner needs more help. You can do this by adjusting the table column statistics. https://wiki.postgresql.org/wiki/Planner_Statistics

* If you still have problems with large tables and sequential scan, adjust
seq_page_cost and random_page_cost in postgresql.conf

* Proper indexing / use of indexing. If you have a timestamp column but queries with a WHERE clause with for example extract hour. Then make a proper functional index for that or else you may risk do a full table scan or filtering many rows.

For example,

SELECT id, last_updated, description
FROM some_table
WHERE extract(HOUR FROM last_updated) >= 18

You want this query to be optimal, create the following functional index:

CREATE INDEX idx_t_hour ON some_table (extract(hour from last_updated));

* Don't use UUIDs as primary key for every table. They cost 16 bytes per record. Smallint is two bytes, int is 4 bytes and bigint is 8 bytes.

You want use the data types that is as small as reasonable, because you want to have as much as possible of the index accessible in your RAM. Most tables are fine with int, some large tables needs bigint.

* Use tablespaces, hot tables and large indexes should be put on fast drives. While lesser used tables and indexes can be on slower drives.
One of my favorite takes on this topic is Clarke and Dawe's take on the Victoria desalination project[1] (the two are comedians).

[1]https://www.youtube.com/watch?v=X_SrrylkIEc
> It's a very serviceable compact serialization mechanism for at-rest data.

That's fair, but then you run into the same issue -- adding required a field requires updating your entire store.

Depending on your store, that can range from onerous to outright impossible.

> Don't do that without versioning your protocol

I think it depends on your needs, but I think for most users, explicit versioning of messages is overkill and is just a more heavy way of encoding the same logic (e.g. I saw an older message, I will implicitly upgrade it by filling in these new fields, vs. just looking for the optional field that I just added)
I've never really had separation between home and work. I started my first business in college and have worked for myself ever since. I've had offices/warehouse related to some of the ecommerce stuff I've done, but even then I'd work from home a lot. My brother is a developer at an agency that I sometimes consult for. They keep a desk open for me there too so if I want to work around people I'll go in there.

So there isn't much physical separation of home and work and there is really no mental separation either since I own my own business.

For the most part I'm able to turn it off when I need/want to. If I'm not feeling productive or just want to do something else I can set the work down and pick up a guitar, go work out, ride a motorcycle, go see a movie, etc. and not think about the work until I get back to it. If I couldn't do that I'd probably prefer more separation of home and work.
I use cnn.com too because the name is short and easy to type on my phone. Hopefully they won't switch to HTTPS any time soon. :)
It is definitely something in the art of the possible. It's just expensive.
Typing code might help to build a learning mindset
This is commonly called an 'algorithmic timeline'.

Some of the potential advantages (not always realized) for users:

- Based on your like/share/visit/interact history, certain people's content will be prioritized, because the algorithm thinks you like it

- You see these 'what you missed' posts, which is content from a friend that attained more likes/shares than usual, and theoretically represents 'gems' your friends produce. This allows popular content to bubble to the top, producing a feel of accomplished virality for the producer, and encouraging more engagement

Some of the advantages for the site operator:

- It encourages users to interact with content they actually like, to feed the algorithm's dataset and build a better profile of what everyone likes

- It destroys the expectation that all available content will be surfaced chronologically, obfuscating the true quantity of actual content on the user's timeline, thereby allowing a higher density of ads and other sponsored content to be displayed to the user
While visiting my parents a month ago, they had a scale sitting out in the bathroom. My five year old daughter exclaimed, "Daddy, look how much I weigh! ... How much do you weigh?"

If you had asked me without a scale for reference, I would have said 160 pounds.

It was 172.

172 isn't a crazy weight, but not realizing I'd made it into the 170s (which I'd never been before) while simultaneously believing I was 12 pounds lighter was definitely a "moment".

After a month of very low carb diet, exercise, and other lifestyle changes, I'm down to 153 and feel much better too. :)
Perhaps, one should borrow message-passing as a standard language idiom, actors and pattern matching on receive from Erlang, the way Akka did, instead of copying hat async/await ugly hacks.

Message passing as a core concept of a language is fundamental and necessary (given that interlop with ObjC is important), and having that and macros gives related control structures for free.
You miss the point.

It's cheaper to screw your neighbor than to build infrastructure.
Removing scientists whose results aren't replicated is firing by lottery. Results fail to repeat all the time.
> high levels of arsenic that nothing can grow there

Bullshit.

It's a interesting story but this article is repeated blog spam.

The comments here are much more informative.
Formal == Machine verifiable, and means the proof is written in a language with a well-defined syntax and semantics.

Formal here is not "Mathy and jargony and with a lot of greek symbols" as is understood normally.
Oil, coal and natural gas.

https://en.m.wikipedia.org/wiki/Energy_in_Israel
I have been using Muse (no affiliation) which has a headband that measures brain signals, for me, it seems like it is able to tell when my mind has wandered off thinking about life's minutia, when I am supposed to be concentrating on breathing. It gives the feedback by stirring up the sound of waves and wind and really tries to get you back on track. This is my prompt to let go and recommit to focusing on my breathing and then the waves and winds will calm down again.
I don't think so, it means that the stdlib team will adhere to the requirements for ABI compatibility and the compiler will support this.

Third party vendors will have to adhere to the same requirements to be ABI compatible, because not all changes will be compatible.
So cost of local energy generation is a big part of it. "The Grid" here in CA, is highly variable in cost depending on where you live.

In the Monterey Bay Area, one proposal by a local oceanographer/hydro geologist was at Moss Landing where there is a power plant and could provide (with pumping/piping, etc) for both Monterey and Santa Cruz county.

Santa Cruz, being ... polite ... unable to play well with others, was pushing their own thing which would disrupt a good part of the town, had no local power generation, and would require extra pumps, storage, and what not all over town. Something in the $100s of millions for a county of < 250k. The regional approach makes way more sense, but local politics and all.
Never heard about the gangster / street children phenomenon. Do you have something I can read up on, or an extended anecdote to share?
http://www.wolframalpha.com/input/?i=50+billion+m%5E3+%2F+(1...

California uses 1/26 millionth's of the ocean's volume per year (50bn m^3 out of 1.3 bn km^3). So a drop is quite right! According to [1], it takes 87 mi^3 (~320km^3) to raise the ocean level by 1mm. You'd need several Cali's worth of water use just to negate to that 1mm rise. And that's assuming you destroy the water after use, which basically does not happen.

If you _could_ destroy the water (freeze it all or fuse it all or something) it'd still take a million years to use it up.

1: http://www.sealevel.info/conversion_factors.html
I won some student award at school funded through an industry sponsor. I think it was $1000. I was recommended by one of my professors. As part of the processing fee, they deducted 20% for school overhead!
I agree that there's a triumph of politics over economics on the water issue, but I'm not sure that it's in the direction we think:

Israel blames Palestinians for West Bank water shortage
http://www.jpost.com/Arab-Israeli-Conflict/Israel-blames-Pal...
Then why do they keep increasing the administrative staffing?
The certificates are signed with a SOAP-API. The the individual institutions do not have the keys for the sub-CAs.

The DFN will change this praxis while migrating to a new root certificate from "Deutsche Telekom" until 2019, but the staff at my university has major headaches. It's far more easier to document, that the members of the university should only trust (e.g. enter their password on) sites with a certificate signed by a CA with the same name as the university.
Oh, that must be it. Indian people care less than people of other nationalities, and it has nothing to do with... say, drastic disparities in the quality of public infrastructure.
This article has been posted and discussed on HackerNews before. I mean, not this exact same article, but the same narrative written by different authors. That shows on the one hand that a lot of people are unfortunately affected by the same problem, but it also means that it's not a new problem.

Whether it's academia or industry, after working at the same place for some 8 years or so, I think it's only human that you get a feeling that your employer "owes you" for your commitment. And perhaps they really do? But people lose their jobs all the time, why would academia be any different to any other work place?
I am with you on the irrelevance of the proposed use, but with regard to the larger question, the government gets involved in settling disputes over private property because that's what maintains the concept and reality of private property - without it, everything is up for grabs all the time (see, for example, northern Iraq.)
FTLAB FSG-001 – A $30 Geiger Counter for Android and iOS
Love for TypeScript
You still have to pump the water uphill.
Someone once defined history as "Argument from the past." I think it is worth noting that all perspectives are incomplete. Tainter does talk about why the Eastern Empire survived longer but another interesting perspective on that (and one more relevant to the article) was put forth by Herwig Wolfram in his book "The Roman Empire and Its Germanic Peoples."

Wolfram points out that before the Migration Age began in earnest, the Eastern Empire was spending more in the military (and that was only 30% of the budget) than the Western Empire was collecting in taxes, and the issue was, in the West, that the Senatorial families had achieved such a monopoly on wealth and power that they both couldn't be effectively taxed and controlled the economy. Some families had a budget that was as high as a third of the whole Western Empire's budget (suggesting it is likely that some families had businesses which were consuming more than the Western Roman military). According to Wolfram, this was not the same in the East.

Nonetheless, the East found its military too expensive during the Arab wars and that's where the Theme System came from.

The perspectives of Tainter and Wolfram are not unrelated. Complexity usually does concentrate power and resources in coordinator roles, and that concentration itself cannot be maintained without complexity -- remember that the fall of Rome effectively meant the transition of the role of slave into a role of peasant simply because central enforcement of slavery could no longer really occur. But at the same time the Ostrogoths could not challenge the powerful families enough to hold Italy for more than a couple of centuries before the Eastern Empire invaded and the Goths fell for the same reasons (according to Wolfram) that the Romans did.

Regarding the article, one of the problems not discussed is the issue of economic concentration. These breakthroughs usually demand that. The industrial revolution wasn't caused by population, but by concentration of economic power in a few hands and the quite intentional efforts to evict peasants from their lands and make them destitute factory workers.
I think that they posted something about purposely banning accounts that were under 30 days old too, didn't they?

It was no surprise that a lot of fake accounts would be made for the sole purpose of trolling or making other disruptive comments.

With the way other subreddits ban people these days, I'm not sure why this even made headlines. There are a bunch of subs that will automatically ban you just for making in a comment in other subs that they have deemed off limits. It's gotten kind of silly.
> How sustainable is the power source?

Oil (and such and such) will last a 100+ years and obviously won't destroy the planet in that time.

I'd call that sustainable.

And given it's just a "power source", at any time we could swap it out for X, Y, Z.

Plus they specifically talk about efficiencies in the article?

Not sure your point at all?

I haven't seen huge drops in energy cost across the world? Electricity seems the same or more than the 1990s?
Might be able to use the density differences to get some passive effect?
> Formal == Machine verifiable, and means the proof is written in a language with a well-defined syntax and semantics.

Right. That's the formal I'm also referring to.
Some of it is cultural. (I can't speak to their engineering practices or limitations, anyway.) Toilets aren't a given in India. They're generally available in cities. But, for example, on some locomotives, the toilet is a literal shithole cut in the floor, for you to you void directly on the tracks.

source: was tourist

relevant article picked at random: https://www.washingtonpost.com/world/asia_pacific/india-is-b...
Of the two, between math and code, code is the more obfuscated form of the pair. Can not most code be expressed as pseudocode? Most pseudocode as an algorithm? And algorithms as math? Math is the purer, more fundamental, less obscured form. What we do with code is adapt and elaborate the unobfuscated essence of the underlying algorithms in order to make them rotely executable by machines, and we further twist and obfuscate the essence in order to optimize the coded algorithn for its bespoke execution environment. The math underlying a given piece of code strips all of this away.
Maybe a job for quantum computers, if we can figure out a way to run them like we do current computers and not just in a carefully constructed environment (very cold & quiet boxes).
Can you share some examples of what to replace exercise with?
in my experience, yes, it's for real. Swiping takes less than a second. The card takes 20-30 seconds easily.

Apple Pay is lightning fast, but a lot of point of sale units have NFC disabled, which is just silly. Then there are others that actually take Apple Pay and don't even know it. Whataburger is a good example.
I'm guessing people in Cali would not be very happy living without agriculture, so no.
They're quoting 58 cents for a thousand liters. Even if we pretend that is based on free power, we can add the cost of a solar plant and produce each thousand liters for under a dollar. So desalination is completely sustainable.
Well put. "Evil tax" arguments are especially bizarre to me as a Canadian, where our taxes do so much for us (have a look at our healthcare), and aren't used as a political weapon. There are often pushes to privatize, regardless.

Not all political setups devolve into the chaos experienced by the US.
Single Minecraft universe with infinite worlds, larger than Earth
No 3. What procedure do you follow for fasting. Could you elaborate please?
They conveniently have an already briny place to dump it all:

"The brine discharge from the plant will be piped 100 miles north through Jordan to replenish the Dead Sea"
More details at http://www.filtsep.com/view/44376/success-behind-advanced-sw... :

> Minimizing the plant's environmental impact: Pipe jacking .... Other measures: the potential impacts of the Sorek Plant's operation on the environment were thoroughly assessed, and appropriate measures were taken to prevent, minimize and mitigate these. The following are some highlights of these measures:

> – The feed water pumping station is located far (2,400 meters) from the coastline, and feed water flows by gravity to the on-site pumping station.

> – Entrainment and impingement effects at the intake system are minimized, thus minimizing the consumption of electricity and chemicals (especially CO2) and reducing the emission of related greenhouse gases, air pollutants and noise.

> – Environmentally-friendly antiscalants, and inorganic and treatable cleaning solutions, are used.

> – Brine is discharged back to the sea approximately 2 kilometers offshore, and at a depth of 20 meters through a specially designed outfall system (diffusers) that enhances quick brine dilution to the seawater body. The critical parameters of the brine disposal are monitored online, 24/7.

> – The plant is equipped with a special sludge treatment system to treat any effluents generated in the process. This system removes all suspended matter and only clear water is discharged to the sea.
"invading muslim hordes" sounds weirdly demeaning. Why not just say "invaiding muslim armies"? Just curious.

Asian armies = hordes

European armies = armies?
Your insurance may or may not require a referral and may or may not restrict the available mental health professionals you can see, so check with them for their policies first. No need to be shy about it; they'll see the bill after your clinic visit anyway.

Finding a mental health professional is kind of subjective, so recommendations are not necessarily helpful. (Do pay attention to negative ratings though.) Even the most qualified ones can't help you if you don't "click" with them, so you may have to shop around a little. Don't be shy about switching if a psychiatrist or therapist isn't working for you; they're used to it.

Lastly, and this is my opinion only, if you have a teaching hospital nearby (e.g. at your nearest major university) with mental health services, you probably have a better chance of not getting a psychiatrist/therapist that's incompetent. No guarantees but a better chance. (Depending on your confidence in this thesis, it may even be worth paying out of pocket if they're not in your insurance network. After all, what is your sanity worth?)

Good luck.
If there is strong demand I could put together a solution sor home networks that does not use a third party resolver, i.e., no tracking whatsoever. It could be run from an SD card or USB stick entirely in memory, i.e. no install needed. All you need is an extra computer; old is fine.

As for the "breaking" some websites, it depends on what you block. Speaking for myself, if blocking doubleclick.net makes one out of thousands hang, then that is acceptable. In fact it's desired because I want to know about such sites. What kind of website would do that? Doubleclick offers zero value to the user. I like this aspect of DNS blocking.

Also it's easy to "whitelist" or "blacklist" certain subdomains if that's what you need to do. Simply a matter of editing a text file, and this can be automated.

As for the comments about what effect this would have if practiced by the masses, I think it would bring these ad-supported search engines and social media sites to a day of reckoning.

Users would have all the power. At least one search engine claims it's focused on users. This would put that statement to the test. Users in control. As it should be.
I've never been as afraid of fresh water shortage as a lot of other people seem to be precisely because it is exactly the kind of shortage that is solved by market forces. Freshwater getting scarce? OK, so the price goes up. Now there's more incentive to conserve water by replacing fixtures for low-flow variants, letting your lawn die (why do you really need one in a desert anyway), and using more efficient irrigation methods in agriculture. The price of water still keeps going up? Then the price of meat goes up because growing crops to feed animals become more expensive, and people eat less meat. Meanwhile, increased price makes desalination more profitable, and more plants come online.

I don't see it as anything rising close to a civilization-ending threat. Seawater is abundant. Freshwater can be made cheaply enough. We are extravagantly wasteful with water as it is, and that can be fixed easily enough as it becomes more expensive.
> A radio tower mast harms nobody

Visual pollution is a thing. And an important thing. Why as a well off society we don't do more about it surprises me.

If for some reason noone could see the mast, your point would be 100% valid.
Building a browser-based test automation server on the Google Cloud Platform
Mathematical papers are seldom written fully formally. This is in no small part because the most commonly accepted foundation of mathematics (ZFC atop first-order logic) was only designed to make formalization possible “in principle”. It's precisely because of this that researchers in formal verification are looking for systems that make formalization actually possible in practice, such as various flavors of type theory.
I'm no biologist, heck I didn't even study science in college, but wouldn't entropy suggest that adding another layer would be less efficient?
I do not think the sewage treatment is included in that price. But the rest is, as you say.
When the retail price is large enough, it's worth showing that you could add this new wholesale price on top without greatly affecting it.
To be clear, though, California's water usage would go down substantially if water became more expensive or scarce.
If you don't mind going a little deeper on this, what program do you use to run your VM? Do you only access your VM via SSH? What kind of development do you do? Do you have an internal IP for your VM or do you just redirect the ports?

Do you think you could replace your VM with Bash on Windows?
On Learning C, Part 2: Zed Shaw's Learn C the Hard Way
I like a lot this small code example
http://math.stackexchange.com/questions/726369/when-does-the...

It results in an interactive diagram of the Newton Raphson method to search for a zero of a function. The user explores with mouse how the algorithm is working.

It is only a few lines of Smalltalk code over the Dr. Geo interface. IMHO, the Smalltalk message system brings well balanced expressiveness on the resulting code.
Quenaudon – Delicate Animals (feat. Kédo Rebelle and Ivan Jamile) [BASS BOOSTED]
That's others work. I dont do formal methods. Glad you enjoyed it though.
> On the other note will desalination and consumption of sea water by humans balance the rising sea level ?

Is this a serious question?
That's like saying all high-energy industries are sustainable, if we assume sufficient solar build-out. That's a big if. We can't just assume this project is going to be powered sustainably. It's something the article should have explored.
Why don't they create a huge "sea" using concrete and just dump the brine there? I'd imagine if they built it large enough, they could dump all the brine they needed to and it would evaporate faster than they could pour it in (leaving behind the salts/chemicals).
Israel recycles 86% of water from the sewers compared to the second most efficient recovery in the world is Spain at 19%.