skysight-inc/HackerNews huggingface dataset:
Try EMS SQL manager for postgresql. We are using it for years now, and releases follow postgresql roadmap (9.5 fully supported). At professional level, we've never been disappointed / found a no-go in it.

There's a commercial license i'm glad to pay for, and the free(lite) edition is just fine for most needs

http://www.sqlmanager.net/en/products/postgresql/manager/mat...

(it might totaly sound like a commercial "happy customer" review, and it actually is)
> If you want to change how down votes are handled going off topic in a discussion is not how you do it.

If that's the case, then both you and I are pissing into the wind here.

> If you are complaining about down votes you are polluting the discussion even more than the erroneous down votes themselves.

What about complaining about complaints about downvotes? Does that pollute the discussion or is it exempt?
Well, of course. Old geeks are screwed on startups and startup-y companies.

The enterprise IT (and the financial sector, major organizations, etc) are the places where old geeks are quite ok -- if not to hire, surely to keep past 40 and 50 when they have already been working for you. The median age in an IT department in a large enterprise is much higher than in any SV startup.
If you post content on the internet, it's not reasonable to expect that no one will find issues, disagree, or even directly confront you over the content you post. While outright, persistent harassment is undeniably a problem, the 'solutions' proposed to solve it invariably impose onerous restrictions on freedom.

If 'harassment' is to be filtered content, then you must appoint someone to decide what is harassment and what is not. This person (or algorithm) will select what they view as harassment based on their ideological position. It's a far simpler and less dangerous task to block or ignore unwanted information than it is to filter every tweet, email, and status update and decide if it qualifies as 'harassment' or not.

This is a problem that transcends identity. There is an urge to control the discourse. It shows up when basement-dwellers harass a medium author for posting an article they find goes against their ideals, and it shows up when people like Curtis Yarvin are denied entry to conferences because they post political opinions that others disagree with. Some indie game devs get harassed to the point where they feel too unsafe to stay in their homes, and some indie devs have people persistently trying to make them unemployed and unemployable.
Part of the issue has got to be the oversupply of specific, yet mostly useless advice. Should we really expect people to decide to consume any (almond, peanut, olive, coconut, sesame, palm, soybean, corn, safflower, etc.) oil based on the relative amount of saturated fat?

I've tried to explain what polyunsaturated fats are to my mom, many times, when she's trying to decide to use olive oil or something else. The news stories on TV, Dr. Oz, Oprah, etc. have convinced her that's worth worrying about.

I'm much happier with simple, broad advice. "Eat food, not too much, mostly plants." (Regardless of how you feel about Pollan.)
It also helps if you want to do an octopus merge of branches that otherwise have no common ancestor. If it comes to it, you can use git replace to provide a false parent for the root commit.
This is how the real world works. Its far less meritocratic than we're brought up to believe and based much more on perception than reality.

It's also the way that the world has always worked and probably always will work so long as we have a capitalist system. Thomas Edison didn't invent the lightbulb and Elon Musk is not "the founder" of Tesla.
Agency is an illusion of our neurology. Our thoughts and actions are determined (or at least constrained within a small set of random possibilities) at any given moment by our genetics and our past environment.
Respectfully, I have to disagree. Design by contract is, or can be, a component of formal verification. If it's all you've got, it's probably better than nothing.

Design by contract brings the concept of using preconditions, postconditions, invariants, and other contractual objects into the design and implementation of the software. These are able (depending on implementation) to be analyzed statically by machine or by hand, or dynamically during testing (with some systems the tests can be automatically generated to exercise the contracts). This may not be the limit or ideal of formal verification, but it is certainly a part of it and a good measure forward compared to the typical approaches used in our industry.

EDIT:

Let's settle a pertinent question first: Is Hoare logic a tool/approach for formal verification? If it is, then design by contract (being largely based on the concept of Hoare logic) is also a tool/approach for formal verification.

The potential points of disagreement, as I see them, are that Hoare logic is not a tool for formal verification, or that design by contract is not based on Hoare logic. Is there something else that I've missed or are these the points of disagreement?
For that matter, FB encourages the use of unidirectional workflows and simpler components... which means it could have been a pure function receiving props.
The Bike Shed [0] is great, I think it started as a ThoughtBot podcast, but one of the two regular hosts - Sean Griffin [1] - has since left for Shopify.

I think it's great because although dominated by Ruby (Griffin is a committer on Rails, and I gather it's ThoughtBot's main language) the discussion is typically applicable to other languages, or focuses on a human element. I don't think I've ever written a line of Ruby, and I enjoy it.

There's also some Haskell discussion and more recently a lot of Rust - Griffin having created the Diesel ORM [2].

The format's great though, and as a consequence never sounds like a contrived dialogue - it typically starts as a "what have you been working on this week", and that recent real experience turns into a more general discussion around whatever it was.

I can't really recommend it enough, I only found it fairly recently, and went back through to listen to the entire catalogue of episodes.

- 0: https://thebikeshed.fm

- 1: https://githib.com/sgrif

- 2: https://github.com/diesel-rs/diesel
What I don't understand is people in the comments on kickstarter still asking for their money back even though it was made clear from the start that kickstarter is not a store.

The risk should be clear by now!
Sure. E.g. flaw in Gmail exposes identities of harassed persons to their ex-spouses, etc.
Things go wrong in business regardless of market size -team issues, tech issues, funding issues, operational issues etc.

Your probability of success in a small market is going to be marginally better than it is in a bigger market. So if you look at it in terms of expected value, the bigger market is more valuable given the probability of failure.
What Humpty Dumpty Can Teach You About DevOps
Note that although it is not documented, when you query the Google DNS-over-HTTPS service from Chrome, it will usually use QUIC. You can check this at chrome://net-internals/#quic, and will probably see something like this (look DNS/HTTPS/QUIC/UDP/IPv6!):

dns.google.com:443 true QUIC_VERSION_34 [2607:f8b0:400d:c03::8a]:443 10544469510527000173 0 None 2 9 0 9 true

An independent implementation of QUIC (are there any outside of browsers?) would probably work much the same, modulo any changes during the ongoing standardization of QUIC.
How to Build Deep Focus Into Your Organizational Culture
You do know you can calculate the likelihood of a proposition from inductive evidence.
So why do they all get paid gangbusters?
The Code Ownership Feeling
Is that really worse than a language you can't change?
I'll start by plugging my own podcast, "The Holistic Developer" (http://theholisticdeveloper.podbean.com/). It hasn't been coming out very regularly since my son was born but I do my best to put out ~5 minute episodes every couple weeks.

Developer Tea is along the same lines, straddling between technical topics & career development.

Soft Skills Engineering is entirely focused on, well, soft skills.

Leader.team is just getting started but they seem to be a good resource for technical leads & managers.

JavaScript Jabber has great interviews.

and it's not a technical podcast, but Creating Disney Magic (Lessons in Leadership, Management, and Customer Service) with Lee Cockerell is a must-listen for me every week.
It is known as the French Paradox.

https://en.wikipedia.org/wiki/French_paradox
there's no sense arguing. to many git users I have met, the software isn't the product, the git repository is. I have met someone who will happily spend an entire day refactoring all the commit boundaries by teasing apart and combining diffs so that they match some retroactive narrative that looks prettier.

you must be one of those squash haters
Saw the video demo... i don't see how greppage is any different from the usecase they were saying it solves (googling). You still have to search, you still have to view the search results and choose a result and then view the chosen result... Its a small marginal improvement that isn't big enough to warrant it being another tool one has to remember and use.
Using the Data Plane to Attack the Control Plane (2011) PDF
I don't know what grammar points they were discussing, since the post was taken down, but usually when I see comments about grammar on the internet, they're about pretty egregious mistakes - usually the kind that very, very uneducated people make.

Here's the thing that you "I'm not writing a college essay!" people seem to miss - for a lot of us, keeping track of the difference between "your" and "you're" or "their", "there" and "they're" takes literally zero concentration. I'd go so far as to say that a majority of native English speakers have never, ever (since elementary school, anyway), mixed those words up accidentally. These aren't mistakes that non-native English speakers make either. Keeping track of proper grammar is, by far, the least difficult part of expressing thoughts in written form. If you're prone to making mistakes like that... you probably aren't very smart. And what you have to say probably isn't very profound. You really shouldn't be writing, you should be reading. You shouldn't be talking, you should be listening.
No, we're not. Considering how much money our stuff makes/saves, we're drastically underpaid.
Another multi-dimensional abstraction for music that's at a bit higher level is a musical lattice. The number of dimensions is limited by the largest prime you accept in the ratios you use. (Typical western music approximated by 12-tone equal temperament uses primes of 2, 3, and 5. Powers of 2 are often ignored because notes an octave apart are perceived to be sort of equivalent for harmonic purposes.)

https://en.wikipedia.org/wiki/Lattice_(music)
> I think perhaps some alterations would really be necessary to make this analysis tractable.

In this post, I presented the idea as if it was "easy", but Knuth seemed to be proposing it as a rather large undertaking. I skipped some parts of his original prompt for brevity, but since you bring this up, I can summarize a bit more here. I also found a copy of the address in PDF form online [0], if you want to read the whole thing. This is from the last few pages.

He compared this task to researchers who documented every square meter of a large tract of land to see how different factors affected plant growth. He also mentioned a study of 250,000 individual trees in a rain forest. It's not supposed to be easy.

Yes, we've doubled many times since then, but our power to analyze large piles of data has also improved dramatically.

> I'm not really sure that this exercise would be worth it today

I think it really depends on what kind of system you are going to analyze. He was probably thinking of big systems running a school or business back then. These days there are just so many more types of machines. Most are probably not interesting at all. Maybe some kind of life-or-death devices, though?

> correctness is more important than performance

One neat thing about this kind of lowest-level analysis is that you can probably check on both at the same time.

[0] http://www.sciencedirect.com/science/article/pii/03043975919...
and make sure to patch up the upstream reference
Full title: Losing Control of the Internet: Using the Data Plane to Attack the Control Plane
https://cse.umn.edu/news-release/expert-alert-the-internet-i...
Ah right, i misparsed HN's significant whitespace and thought you were responding to me. Agree!
I do mostly agree.

However "luck favors the prepared"

How your interview goes, sure there is luck of whats a good question for you. But being prepared increases your chance of a question you know. There is a finite number of questions you could likely get asked.

Being more prepared for an interview and having practiced those skills, you might have a better chance at a 'bad day interviewer'.

I do agree luck or chance is a huge portion of it. But I wouldn't quite say 99% as some would say, all of the time.
Software Engineering Radio[0] is a useful resource for in-depth discussions on software and development practices.

Developer on Fire[1] tends to feature more personal interviews with software developers.

Software Engineering Daily[2] produces episodes at a similar rate to the previous podcast but discussion tends to be product-oriented.

Coder Radio[3] can be good fun sometimes. The hosts can sometimes be a bit over the top.

[0] http://www.se-radio.net/
[1] http://developeronfire.com/
[2] http://softwareengineeringdaily.com/
[3] http://www.jupiterbroadcasting.com/show/coderradio/
*plaguing
This[1] is from a year ago, before ad-blocking became widely available on mobile, and they're still looking at hundreds of millions of users using adblockers.

I don't know how reputable PageFair is, but they estimate more than 20% of smartphone users are adblocking now[2].

[1] http://bits.blogs.nytimes.com/2015/08/10/study-of-ad-blockin...

[2] https://pagefair.com/blog/2016/mobile-adblocking-report/
Fair enough... I find it ironic I left the world of .Net and C# behind for node, and am MUCH more productive in node. And he's recommending the reverse.

That said, some of the more recent changes from MS have me interested in .Net again... I've even played around with some of the core/mono onbuild docker containers, which wasn't a bad experience at all.
Or even better than patch, git apply.
> The kind of CEOs who get golden parachutes earn enough money in a single year to live a whole life on it without having a job again.

You probably earn enough in a single year to live the rest of your life in a different part of the world, yet you continue to work, in part because you want your current standard of living.

Likewise, a CEO will want to continue to live at his current standard of living, or even better.
We wouldn't have nice things like computers, coffee, indoor plumbing, jeans, books, teeth, etc. if people were satisfied with modest salaries and not filling their pockets.
Define 'value'.
That sounds very academic and theorized in a vacuum. If that were true you might expect contract terms to be explicit about this, and quarter-oriented management to be less commonplace.
And if you use DNS-over-HTTPS to get your answers from Google, Comcast can't modify them.
Nature finds a way.
Not unless you tend to have a lot of arguments. Reddit is by far more addictive. I think that is because people are more open to talking their mind when they are anonymous.
Do people really use stash for things they value longer than a few minutes?

I've only ever used stash as a way to store changes that I made on the wrong branch.

git checkout my_old_branch (wrong branch not realized yet)
- work work work...
git status
- "oh, I'm on the wrong branch"
git stash
git checkout the_correct_branch
git pull
git stash apply (or git pop - but you lose what was on the top of the stash)
Wait a second. With every other probe or rover story the experts talk about how there is no "shutdown" command, that there is no need and that having one only creates a risk of inadvertent use.

Is this just PR to cover the fact that this probe will be sitting alone in the dark but still 'alive' should it get enough power? See https://xkcd.com/695/
After 4 months of high fat low carb diet after questionable cholesterol levels, I went in for a checkup. My numbers were pretty optimal. HDL high, LDL low, had halved my triglycerides to 70. In 4 frick'n months. And I'd lost 40 lbs. The PA and nurses came in and threw me a little party congratulating me.

And then I told them how I did it and got a long long long lecture on why I should be on a low fat diet :/
This reply is very late and you may not see it, but I wanted to express my thoughts.

I appreciate the way Sam presents his thoughts (questions, answers, or otherwise). They're both extremely thoughtful and simple in a sense that he won't repel those who may feel below his level intellectually. Some of his points are so insightful, but it's taken me a lot of time, experience, and thought to be able to absorb or agree/disagree with them. Some just seem like simple advice that I should consider because I don't know enough to strongly believe he's right or wrong.

Perhaps you're at a high enough level intellectually that his simply-stated yet thoughtful points are, by now, obvious to you. I definitely don't mean to imply otherwise. Unfortunately, I haven't found many writers whose thoughts are as insightful as PG's, but I am content with rereading his old essays as I'm certain I haven't thoroughly understood everything he's written at the depth of understanding that he or others may have.
I have up aliased to

pull --rebase --stat

That gives me an idea of what has changed, Though I often follow with:

git log @\{1\}..
It is interesting to compare this to NVidia's DGX-1 system. That server is based on the new Tesla P100 and uses NVLink rather than PCIe (about 10x faster). It boasts about 170 Tflops vs the p2.16xlarge's 64 Tflops. If you run the p2.16xlarge full time for a year it would cost about the same as buying a DGX-1. Presumably Amazon releases their GPU instances on older hardware for cost savings.

http://www.nvidia.com/object/deep-learning-system.html
> Smoking is pretty unambiguously bad for you.

Stress is a killer. Smoking can reduce stress. Nothing is simple.
Exactly why I will never, ever, ever buy from Kickstarter. Until there's a shipping product, I won't buy it at all. The pre-order age is dead, and this is a perfect example of this. Even if these people are honest, manufacturing from China is a skillset that is expensive and requires a lot of experience and boots on the ground.
Most naturally dangerous asteroids (near passes) are being publicly tracked, so people would notice you attaching a rocket and nudging it off course. Bringing a whole new asteroid from the belt is feasible (or will be soon), but it takes a lot of time, so you need to do it in advance. But if you put an asteroid in orbit, astronomers (at least) are going to notice and ask questions, which they wouldn't do for a satellite with a cover story.
The difference is that fixing up Penn Station is mostly just a matter of throwing money at the problem. Things like CBTC and increased capacity require sensitive negotiations with unions and local businesses.
> For example someone earlier told me I should look at my meal and make sure there is a lot of colors in it otherwise it's probably not nutritional.

If you're going with unprocessed food, choosing several ingredients of your meal from different colour groups is actually not bad advice as general rule of thumb that a layman who doesn't understand nutrition can easily apply in practice.
It's a key part of the proposal. The propellant is shuttled over to the spaceship in orbit via multiple runs of a refuelling rocket.

I guess the downside of constructing or assembling anything anywhere but earth today is that it's going to be a lot more expensive and complicated. Perhaps once Mars has some critical mass the construction can shift to there as the gravity is lower.

The moon is farther away than orbit and also doesn't really have a lot in the way of accessible natural resources. Elon touched briefly on the topic of a moon settlement...

Despite all the talk of a space elevator I think it's still science fiction. Elon's plan is all based on existing technology...
6 Reasons to Never Freelance Without a Contract
Hacking of connected devices is the new threat for humanity.
And that means that ReactNative is better than phonegap! ;-)

I'm not completely sold on ReactNative compared to Phonegap and Electron as targets with React web... however, I can indeed see the appeal.
I saw the same thing with China. We have something hosted on IBM Softlayer in HKG that takes a detour through LA. Apparently all China traffic for Cloudflare must go through LA and that's just now China works, we were told.
If you're such an amazing leader then why not start your own company?
A few of my favorite:
1. SE Radio
2. Software Engineering Daily
3. Full Stack Radio
Burnout from excessive tweeting...
Don't appreciate being called delusional. That being said, you underscore the point that many CEOs are not great -- which is exactly the point about overcompensation. Also, see my profile.

It's not wrong to tell everyone they may have the skills to match their current mediocre CEO that is pulling down the megabucks today. And believe me, a lot of mediocre CEOs are pulling down megabucks.

Being you are in the VC game, you are dealing with people in startups, where the compensation hasn't gone crazy away from things yet.

Finally, some of these views may be seen as socialistic. It matters what you value. In general, I have seen a lot of VC decisions that value capital ahead of ethics, and this is unfortunate.
For anyone looking for a Macbook dock, OWC has a nice product that has actually shipped already (I have one myself): https://eshop.macsales.com/shop/usb-c/owc/usb-c-dock

(And unlike the Kickstarter's claim of Apple-like elegance, this one actually matches the Macbook colors, rather than being the cheaper-looking white plastic.)
Well, like commercial "whole grain" bread. Which is basically white bread with the grain shells (bran I think it's called) added back in. Where if you had actual whole grain bread, the flour wouldn't have been through chemical processing and a roller making it as easily digestible as sugar.
You can't fix human nature with disclaimers. Also, some of these people may be first-time suckers.
Interesting problem. I'm intrigued.

But you say:
>If that information could be gathered, and you could get a list of the best matches for your family (or vice versa), then the huge Russian Roulette risk of getting a new nanny/babysitter or finding a new job could be ameliorated.

Clearly relying on the user to provide that info will result in it being fashioned to be marketable. So how would you ensure correct data?
The creation of the PennCentral was probably the most ill thought out merger in US history - but the regulation climate at the time wouldnt have allowed them to seek out a more rational merger partner (like an end to end merger with the likes of the CB&Q or GN) - also mergers took forever because of ICC forbearance - which mean the merger took 6-7 years to complete, and the perennially bankrupt New Haven was shotgunned in at the last moment - In short, failure was all but a foregone conclusion - but given the nature of the market that the time, there was but little choice to proceed.

The railroads are an example of how excessive regulation can almost kill an industry - even the UP came mighty close to bankruptcy before deregulation.