skysight-inc/HackerNews huggingface dataset:
Somewhat, yes.

A specification framework is there to help bridge the semantic gap between what you are trying to achieve in the real world and the world of bit-banging if you will. And even if you forget a part of a specification (like saying a sorting function needs to leave behind a sorted collection but forgetting to mention that the input and output collection need to contain the exact same elements or that the input collection needs to be finite for the function to terminate), you'll still have a notion of "incremental correctness". That's why I added in the part with what specifying "cryptographic strength" would mean (e.g.: strong against what exactly?). You could leave that or time-critical properties (e.g.: this function encrypts x bits in y seconds) out and retain the notion of "functional correctness" (i.e. the ciphertext always corresponds to what the definition says it should be).

When you're writing code you'll (most of the time :)) have an idea of what you're trying to achieve. Formal specification should enable you to write that down in convenient form.
> I've survived 25 years in web development some days I wanted to cut my wrists but you soldier on.

I do no soldiering. When I feel mistreated, I quit.

So far I have been rewarded with nontrivial bumps in income for doing so.

(edit: to not tangle this subthread, moved my reply to the OP to a top-level post!)
I conducted an experiment on the importance of make up
If you can't get out of your dark thoughts, seek help, talk to a friend, find a mentor. There is no shame in asking for help. Don't struggle alone. If you need someone to talk to call 1-800-273-TALK (8255), or see http://www.suicidepreventionlifeline.org.

Check out the book Counterfeit Gods by Timothy Keller, it helped me out and put the importance of my day job into perspective, in the big picture of life. There are so many reasons besides work to be alive.

You may face the same doubts in your new job. You may be on a toxic team, or your judgement may be clouded by depression. If it is really a toxic team, keep interviewing quietly, you will get better each time. Interviewing is a skill and like any other you can get better at it. Be realistic though that the new job may not immediately fix your problems, but still some change might help you get you out of your rut.

This will pass. You are worthy of all the goodness that life has to offer.
That's exactly what I do, mainly because on Mac OS the host volume mounts are 2 magnitudes slower than volumes.
Intellectual property generated in other fields does not benefit from this kind of liberal license loop-hole, unfortunately. We cannot open-source all applied science according to the current rules.
4 a.m. here, and I disagree :)
Pathology slides are analogue data (lot of data, more than radiology scans). Even tertiary care hospitals do not routinely digitize slides unless they have to be returned to another hospital or used for a teaching conference.
Bringing Nuclear Power to Mars [video]
I went through similar experiences and my ultimate conclusion was that the problem was those sorts of cultures, not me. There are many, many other employers than the "Big 4" and a correspondingly large variety of cultures. It is not a sign of strength or brilliance to be able to pass arbitrary (and they are arbitrary) hazing rituals.

You are not dumb or worthless for being unable to snap solve BS programming or algorithm puzzles.

Find a place, a team and role that is deserving of you.

Keep in mind too, that despite the propaganda, none of the "Big 4" does anything really to better the world.
JVM Debugger Memory View for IntelliJ IDEA
I don't have the option to stop working for a while. I have the savings for it, but it's unacceptable to my wife.

Maybe what you most need is a divorce.
Or replace it with something less odious and deprecate that.
Show HN: A Hacker News Reader Built with Choo
Books Every Coder Will Love to Read
I assure you the "I'll never get a job again" feeling is very common but as a "Big 4" alumnus you have nothing to worry about (:
Sounds like you're dealing with some tough stuff. Everyone has times like these, so just know that you're not alone. I'd really encourage you to talk to a professional.

One of the things that helped me get through a pretty dark rough patch was just time away from responsibility. Then, when I jumped back in, being in a supporting/safe environment.
Take a break, watch Bachelor in Paradise. You think people are crazy? You ain't see nothing yet.

Plan B?
Go to India, take off a few weeks. Your mind will be blown.

Then come back to planet earth. The internet thing is getting a bit old, farming is hot, maybe a career change is due.
We rarely worry about marijuana. So why is it still a Schedule I drug?
I would love to work with you. This is exactly the attitude to have. Well said.
"By buying this vehicle you become part of an elite whose ostentatious consumption is allowing poor people to buy cars too."
He seems very "meh" on everything lately. Could be one of those reasons. Are you saying we should speculate about that before we complain about the drafting and ratification process?
Bacteria that respond to magnetic fields can deliver cancer drugs to tumors
Joseph Tainter has a theory (The Collapse of Complex Societies) that civilizations gradually increase in complexity, then collapse when the benefits of additional complexity become negative.

Collapse can be, and occasionally has been, prevented through making simplifications, but there's usually resistance to that. There's only one civilization left. If it collapses, collapse will be global.
How I organize Android project structure
Tell me about something you accomplished today. Tell me about something you accomplished last week.

Tell me about something you intend to accomplish next month.

Give us a view of your world from a positive perspective. In doing so, you'll find not everything is bad. This is the first step in the right direction.
From the person you responded to:

> "Well I was worried for the children!". Unless they openly confessed it was because you cut the lawn wrong or they don't like the color of your house, there is nothing you can do to them

My initial thought is that I'd rather have the asshole who hates the way I cut my lawn. I can turn him into a friend. Hell, I can just start cutting my lawn the way he wants.

But the person who is convinced that rapists lurk behind every parked car will be incredibly difficult to convert. They might never agree with me that my kid is as safe riding their bike home from school as they are riding in a car with me.
> Some people just want to hang out with people where saying an off color joke doesn't ruin your fucking life.

Is this something you feel a need to do? Given your previous mention of political correctness, I'm assuming this means you want to tell jokes about black people or Hispanics, but resent the fact that society no longer smiles on such things.
If I hear "serverless" one more time I swear I'm going to shiv a bi78ch.
With your description someone might just think what you see with a Military jet HUD or Google Glass. Saying "overlay" doesn't tell you anything about depth.
Hey, OP.

Impostor syndrome sucks. Everyone has it. This industry is a bunch of nerds (and this part is not pejorative, I am one) who spent most of their lives being identified by how smart they were and they are culturally incentivized (and this one is pejorative, because tech culture is trash, but it's not your fault unless you perpetuate it, so don't!) to be desperate to win the approval of their peers by how bulging their foreheads are. You will not, statistically, win enough of these nerd fights to be Lord High Nerd Of All You Survey. You will feel dumb, you will feel clueless. And so does every person around you, including the prick who's sneering so you feel worse than he does. I am not intending to be dismissive of how you feel, because I've been there. But I have learned that there are much more important things to worry about than "oh noes, not all of the biggest tech companies don't think I'm A-1 and the stunted people around me kinda suck." You will, I promise, be fine.

You can change the game. I embrace not knowing stuff, and I'm a consultant so I'm supposed to be all-knowing. Clients blink in surprise (and appreciate) when I say "I have no idea about that." I just go find the answer. Because I'm not dumb. Neither are you.

I have a 33% offer rate (3 for 9) when talking to GooAppFaceTwitrosoft. I rejected those three offers. And it's funny, right? When I wanted them, they didn't want me. When they wanted me, I realized I didn't want them. But you're inside, at one of the big companies, right? I would hope that you know the game: if you keep applying to these places, if you keep trying, you will eventually get an offer. And if you know the game, you should be able to find the perspective to laugh it off. But I'd bet money you probably don't really want one, at least for the reasons you state.

(edit: So I skated over the "death doesn't seem so bad" thing on first read, and that's red-flaggish. I am not going to flap my hands about depression, because I not a head doctor and don't even pretend to be one. But you should talk to someone, 'cause if your brain chemistry tends toward dark places it's worth getting checked out, and the advice regarding the Suicide Prevention Lifeline if you're feeling really bad is great advice. But, for serious: you will be okay if you give yourself a chance to be. Nothing in tech is worth breaking yourself over.)
Along the same page, I like this quote.

"If you want to do right, be an optimist. If you want to be right, be a pessimist."

It is much easier to be a pessimist and although they are right more often than not, that doesn't lead anywhere.
I would argue if you truly understand the other side you are capable of arguing it.
Author of Zappa[0] here - glad to see more F/OSS implementations in this space - see also OpenWhisk and I think there was another (IronIO? MetalIO? Something like that?) - but I think an important piece that's missing is a F/OSS implementation of API Gateway! That's part of the reason the AWS is still the leader of the pack IMO.

[0] https://github.com/Miserlou/Zappa
In my experience, having to write the same code twice in two different languages is a hell of a lot more work both from a creation and maintenance perspective than just writing it once. I haven't really had to deal with many of those edge cases you're talking about.

So what do you prefer to Node.js for universal single-page apps then?
Start working on a side project!

With a side project you'll:

1. Create something other people will hopefully enjoy to use.
2. Have an opportunity to flex your skills.
3. Gain feedback from users who want you to improve (much more valuable than feedback from ego-driven team mates!)
4. Show others (users, the community, team mates and companies) how badass you are.
If you are trying to achieve encryption, then no, you will not need https, as cjdns is encrypted at every packet be nature.
If you are trying to comply to some other https related standard, then you will need https.
Are you saying that when a C program, which happens to be an interpreter for another language, does something that results in undefined behavior according to the C spec, it doesn't count as undefined behavior?

I suspect that is where we differ. It seems to me that if a C program does something that results in undefined behavior according to the C spec, it is undefined behavior period, regardless of any other factors, because the spec says it's undefined and that's all that matters.
Talk to a professional. Don't take those stupid interview puzzles too seriously. Interview with other, smaller companies after taking a break. I did the above three things and couldn't be happier with my current job. Be patient with yourself.
Anecdata:

If it were possible to train yourself to be a morning person, then I would have done it by now after several years working 1st shift (8 AM start). Previously I was working 2nd shift (2 PM start). I never really have gotten used to getting up to be at work by 8 AM. I do it, but I always feel sleepy until about noon. Last week, I had to cover for an absent coworker and worked 2nd shift for the first time in years. All last week, I felt more alert, I was more productive, and I slept better.
> This post is kind of crazy, aggrandizing bad behavior and misuse of other's resources against their will.

How so? I send a web request, they send me the content in a response. If they aren't happy with that then they should refuse my request.
You have classic signs of depression. Perhaps major depression.

The worst part of depression is that it clouds normal thought processes. That's probably why you can't perform as you once did.

Find a way to see a psychiatrist you feel comfortable around. Go with a family or friend if that helps get you over the hump.

So many high achievers I know go through this. You're not alone, and with proper help you'll get through it, and be stronger too.
You wrote:

> Here is an example of a bug in the C implementation of Python that caused undefined behavior because of integer handling: https://bugs.python.org/issue23999

The comments in that bug report suggest it was a false positive in Coverity.

In any case, the Python language defines how left and right shift are supposed to work. https://docs.python.org/3/reference/expressions.html?highlig... . What you pointed to, if it were a true positive, would be an example of where the implementation didn't comply with the specification.

It wouldn't be an example of undefined behavior as given at https://en.wikipedia.org/wiki/Undefined_behavior : "undefined behavior (UB) is the result of executing computer code that does not have a prescribed behavior by the language specification" because Python prescribes that behavior.
> something like 1000 packages do mistakenly depend on "fs", probably because they were trying to use a built-in node module called "fs"

These are some of the effects of a non-namespaced module/packaging ecosystem, due to the contribution of Node.js and NPM in equal amounts.

This style of module naming has been exploited by the post 'Typosquatting programming language package managers' [1][2], where they seeded python's pip with modules named after popular packages' misspelled names, but also with some modules that are included in the standard library by default. Since in many cases the commands were run with elevated permissions, 'arbitrary' (in the creative definition of 'unwanted') code could have been executed -- in fact it was, but only a "benign" HTTP postback.

[1] https://news.ycombinator.com/item?id=11862217

[2] original seems to be down, archived at:
http://archive.is/CZlNG, or http://webcache.googleusercontent.com/search?q=cache:http://...
Unlike (traditional) IDEs, this is a runtime tool. It lets you dynamically interact with your program by essentially turning it into a REPL where the language is defined by your actions and reducers. I also like how the CLI makes you feel like Iron Man. Very cool project, and I'm excited to see where tools like this are headed.

Edit: I just integrated with my app and just realized a reason why Redux is so important. It makes integrations like this actually, truly a several minute task, no matter how your state is stored _inside_ of Redux.
But someone else could say the same to you:

"But when people cry foul when their preferred method of 'following the rules' is removed, I don't have much pity for them."

...via 10M players leaving the game and putting the entire ecosystem at risk.

The thing is, you're looking at this activity like 'success' is measurable within the game's rules rather than how satisfied people feel about playing the game in real life.

This is a big difference between adults and children, by the way. All that prefrontal cortex development tends to push people into taking the value of their time into consideration even when they are playing games. They are not wrong to do so.
I watched more this year than ever because of the NBC app on Roku. I could watch any sport live or streamed later. No need to watch the Costas garbage.
Please do what's best for yourself and your health. One possibility is to take a disability leave for depression, or talking to a mental health professional may help you fight the negative thoughts. Speaking from experience, talking to my therapist helps to ground me and prevent my thoughts from spiraling out of control.

You deserve happiness and to be around those that appreciate you. Don't give up the fight.
That's an alternative, but is more complicated and the vials of epinephrine only have a shelf life of three months vice twelve to eighteen for the EpiPens.
Actually "serverless" in the sense of the current buzz word is not P2P, it is basically Lambda: http://martinfowler.com/articles/serverless.html
I'd made a CSS style that defeated many of these. Problem being that it also defeats some standard Website features, so needs an overrides list.

I was told it voided my Internet warranty....

http://pastebin.com/6sZEkCaR

https://ello.co/dredmorbius/post/a2f4rlrphh0c_nrhsnjgta
Hooray Melbourne! Would be interested seeing this at a meetup group if you were thinking of presenting.
AMD Zen Microarchiture Part 2: Extracting Instruction-Level Parallelism
Precisely, and I use it, so wouldn't want Tensilica to die as a part of Cadence dying.
this is probably less to do with avoiding capital restrictions but more money laundering.

as far as i know, that is illegal almost everywhere. it doesn't seem to be a big deal to Russia because

> When Moscow regulators looked into the mirror trades, they found little to trouble them.

but the rest of the world takes a dim view to the kind of crazy activities that seem to happen on a daily basis in Russia. if the internet is to be believed, every single billionaire in there must have made their fortunes from selling nuclear missiles and ISIS oil.
So the thing is, I could totally believe they never saw this traffic pattern under normal load. I'd expect bar trivia scores in a certain mid-sized US city are one of those niche things where you have a very low number of uniques but each unique then pokes around on 9 or 10 pages while they're there. The fact that the site didn't crash during normal browsing was what originally led me to speculate they were maintaining an open DB connection per session. If that was indeed the issue, I could totally imagine they'd only rarely (never?) had 100+ "concurrent..ish" unique visitors.
> The worst part of depression is that it clouds normal thought processes. That's probably why you can't perform as you once did.

Can attest. Can absolutely attest to this.
So the way you feel about interview puzzles is how most people feel about them. It's -stupidly- rare for people to 'figure out' the question in an interview; even those who appear to are just dredging it up from having seen it somewhere. A lot of those style questions are things that took someone weeks to figure out originally, and while we may be better equipped than they were, and so able to figure them out faster now, they were doing it in the comfort of their own homes, not in an interview. You're not dumb, you're just being compared against people who handle interviews better, and those who have seen the problem before.

Keep looking. Seriously. There are a LOT of jobs out there for technical people. You found -one- opportunity; maybe it would have panned out, maybe it wouldn't have. But it sounds like you're limiting where you look, if you were going to go from one Big 4 company to another. Talk with your wife; maybe you want to go to another state? Maybe take something remote? There are a lot of possibilities to explore. Many interviews may lead to failure, but others may lead to an offer.

Talk to your wife about how you're feeling, too.
It's an alternative that a) requires a doctor to specifically prescribe and b) is not covered by most insurance plans. There is a good reason the articles on this subject are saying there are currently no alternatives, since there were drop-in replacements until earlier this year.
Rollout can account for 0.1 or 0.2 of a second, and that table kind of hand-waves it away: "Some measurements exclude the first foot-rollout."
I've read both. Zen Flesh, Zen Bones, is very good, but Zen Mind, Beginner's Mind is a transcendent and very useful classic if you are actively engaged in zazen practice.
We detached this subthread from https://news.ycombinator.com/item?id=12347919 and marked it off-topic.
There's a video on youtube of a guy doing it without his hands on the wheel, repeatedly (to show off the durability of the 911's transaxle, I believe, as compared to the GT-R which tended to blow up in the early models). That tech is pretty remarkable.
"My thoughts are descending into the darkest reaches. Death doesn't seem so bad anymore. Then I don't have to think about all this."

First of all, get some help if you need it. Your number one priority is your mental health. http://www.suicidepreventionlifeline.org/

Therapists can help with depression, as can medication. I've had chronic issues with depression and the number one thing that helps me is making sure I walk 2 miles a day on the treadmill. Makes a world of difference.

Secondly, and I can say this because I've been on both sides of the interview process many times - interviews are a crapshoot to a large degree. If you take enough of them, then you will definitely get a job. If you take just one, any number of insane reasons that have absolutely nothing to do with you could have prevented them from giving you an offer.

I've never worked at a "Big 4" company but if your expectation is that you will pass every interview you ever take for one of these companies, then you definitely have extremely high(unrealistic? maybe impossible?) standards for yourself.

Please be safe, take a little time off, do some exercise, talk to a professional, and try to reset. hugs
First sort out the emotional issues. Please please please seek help ASAP. If you work as an engineer at a Big 4 company, you have no business feeling even remotely inadequate.

But know also that you're far from alone in how you feel. I've worked at two of the big 4 and still occasionally feel this way. The problem for people such as myself, a lot of others in the HN community, and perhaps even you is that we have a flawed perception of what it means to create value.

You have to expand your thinking. Who you are and what you're worth goes well beyond what you do for a living. Do you make people laugh? Smile? Do you do kind things for others? Do you contribute valuable ideas and thoughts? Do you maybe even have a creative hobby? Are you a good husband? A good friend? It's great (and important too) to be an economically productive agent in society, but that's only a statistic that's as truly bland as it sounds.

We have so much opportunity to add value to this world that feeling miserable about it is silly. Get out there and be a better you. Focus on impacting the lives of others (doesn't even have to be a lot of people or 'scale up') in as positive a way as you can and you'll discover existential clarity, as opposed to the myopia in which you presently find yourself mired.
Right now the way most people code is:

Is this spec actually correct and complete? Shrug...

Does this JavaScript actually implement the spec exactly? LoL!

At least being told what to fix in your code so that it actually implements your spec is a big step up over "staring at your code really hard." Good formal systems make it easy to find inconsistencies and incompleteness in your specs. Very good formal systems should make it easy to test and verify your spec against your intent.
This is more difficult than you might think.

Note that chris is not talking in the abstract, but about an existing codebase: https://github.com/graalvm/sulong
> Well getting drunk with friends in the afternoon doesn't seem like it's the answer to life either.

Wow, the GP didn't say anything about getting drunk, so you managed to turn his comment into "hanging out with friends isn't the answer to life either". I beg to differ, it's a big part of the answer.