skysight-inc/HackerNews huggingface dataset:
In my subjective experience, I am much more inclined to respond very negatively to others' discussions on depression, when I am myself depressed. My personal experiences with it are confused by PTSD and ADHD, but I've got a few (too many) years under my belt, and I have hit absolute zero multiple times.

The problem with reading online discussions, /I think/, is that it's super easy to end up with a polluted perspective and bipolar esteem/locus of control: everything sucks, catastrophically so, I'm stupid, and it's all entirely my fault; even if it isn't, everyone is stupid & the world has conspired to ruin me.

So a description of patterns of thought, of pitfalls hidden as cultural ambitions - patterns socially or environmentally derived - are parsed into "so it's my fault? F___ off -- or it's the fault of society, well I bear that crushing realisation daily, thank you". Our highly individualistic culture poisons perfectly good advice for the people it might benefit, and/or adds to the weight many others can do without. Although "you can change your environment by changing your perception of it" is definitely sound, for so many peoples' valuations it's just another string in the bow of uselessness.

There are also, in my experience, two gates that must be open at the same time to allow for slow repair work, or larger positive changes. Unfortunately, they also depend on each other, and when things are truly awful neither are plausible. These are a) a surplus of willpower, no matter how little above the level required to minimally function, and b) a regular sleep pattern. Since depression reduces willpower dramatically, and we are very poor judges of what drains our willpower, the repair process can often feel like Sisyphean whackamole... But eventually, at least for me, I found little willpower exercises I could do every day. At one point, this was quite literally just attempting not to visit my 'stim' websites on first impulse. Eventually I'd still visit them. Didn't matter. That was it. Not even every day. Just every day I could was enough. Until I could do a little more.
This is an incoherent standard, though. Fruits are better than fruit juice because they retain the fruit's fiber, not because they were "processed". What does "processed" even mean? Nothing coherent. We can and should and honestly must be processing foods in ways that are conducive to health and environmental friendliness (think Soylent, Beyond Meat, the Impossible Burger as the earliest attempts at this) - and not making some ridiculously arbitrary decision.
You would need to remember the state of the turnstile when someone attempts to go through it. If it's locked, you can't pass. If it's unlocked, you can.

Whether or not this situation needs a "state machine" is debatable, but you do need to remember the state. In this case, a simple boolean "isLocked" could suffice.
"The author deleted this Medium story". Harassed?
See the LIST OF ANDroid VERSIONS WITH THEIR CODE NAMES
You are so right!

The page you were missing is https://www.bookofproofs.org/branches/ where you see the main structure of the whole book.

-> I added this link to the top page to better find it.
-> I also added a chapter to the book with a user manual describing how to interact with the site.

As regards the missing proofs, yes, some are wanted - as co-authors are. What you haven't seen are the many proofs which are already there.

As regards "complex numbers"
Some algorithms require proofs (e.g. of correctness or of runtime), but not this one, because complex numbers are pre-implemented in Python and the "algorithm" was only giving a way how to use the implementation in Python but not the actual implementation. I removed the link from the list of missing proofs.

As regards "Bounded Subsets of Real Numbers"
This entry was originally a proposition missing proof. In the meantime, it was re-edited and became a definition but was forgotten to be removed from the "missing proofs" list - now also corrected.

By the way, the complex numbers definition you were looking for can be found as part of the chapter dedicated to number systems - https://www.bookofproofs.org/branches/number-systems/.

---

Thank you for your valuable feedback!
Not that difficult, but the benefits may not be better than just using tiles and some clever removal/additions a la Spelunky: http://tinysubversions.com/spelunkyGen/
Collected Papers of Albert Einstein (Digital)
The part about funding studies and throwing away the ones that don't say what they want about a drug is worse than described because a lot of the funding goes to graduate programs where the students have no choice but to find results favorable to the drug.

I have an ex-girlfriend that went into the PhD program for Neuroscience at a reputable university. Her entire degree and living stipend was paid for by a pharmaceutical company. The company "suggested" that her PhD research revolve around a drug that lowered aggressive tendencies.

The sloppiness of the study appalled me. I couldn't say that much because she and I were dating at the time, but it was absurd. There was no funding for getting a reasonable sample of people. So they went to a halfway house and brought in 30 males and 30 females. All criminals, all on probation or parole, all with serious histories of substance abuse, and most of the women were pregnant.

Almost all of the males dropped out for one reason or another. Many of the women did as well. I believe the final tally was 3 males and 13 women. All of whom tested positive for some assortment of drugs.

The sample size is obviously problematic here. What was possibly even worse was when I would go to the lab and watch this person sift through ECGs. The test itself that defined aggressiveness was totally ill-defined, and the neural response to the test was basically, "Well, let's just take a look at it. Okay, this one looks aggressive. That one doesn't."

It was a total shitshow. The end result? A published paper in a prestigious journal about how this drug reduces aggressiveness, a PhD, and FDA approval for the drug.

I hate to identify with conspiracy theorists, and all that. But I literally watched this process happen with a person I was dating for almost all of it.

When it comes to drugs, you really have to do your own research. Your doctor isn't going to do it for you. That's the double burn of healthcare in the U.S. Even when you have it, you can't really trust it. You have to pay for it, you have to know what's wrong with you, and you have to know what you need. And if it isn't a drug, then fuck off. You have to pay for it anyway.

People say, "Fuck you, that's one story that probably went badly. Science is self-sufficient and self-correcting. The plural of anecdote is not data." Fair enough on all points.

But there is a systematic and broken way of doing science in the medical industry. And doctors are not scientists and don't really get trained to know the difference between good and bad science.
The author makes some specific claims, including that there is no landmark, replicated study showing depression is caused by low serotonin.

The author and his claims can be discredited if someone here can cite such a study.
Spectre: CVE-2017-5715, CVE-2017-5753

Meltdown: CVE-2017-5754
> NPM shouldn't scare you.

It absolutely should, just like any dependency on any other third party code or servers. Especially when they regularly have incidents like this.

> Simple fact is you should not be relying on ANY package registry at the time of deployment.

This is true, but doesn't prove the previous claim.
Or they have bi-polar disorder and are on a downswing. That alone will do it.

Some forms of depression are medical, people need to be aware of this. Thinking that everyone can be cured by running off and finding one's true self is incredibly dangerous. For some people, that is the solution, but for others, running away from their support network is the exact wrong thing to do.

All that said, soul crushing jobs are soul crushing. The modern world's insistence that we all have true purpose in life has not helped things any. A lot of people used to just be happy getting married, having kids, and seeing their kids do well. Now, we all want some sort of higher purpose (I'm guilty of this as well), which makes obtaining happiness really hard.

For the longest time, success was "at least a few of your kids survived". Since then, standards have been raised to a point that only a fraction of the population can meet the current bar.
Why not just solve the problem once and for all and build out a statewide public ISP?
M&A from a corporate perspective
Wish granted. Wonder bread is made with real sugar.

www.wonderbread.ca

Not completely sure it's bread, though.
I agree that ISP's may need to charge a lot for a lot of data. Like say $200 for 1TB if you really need that much (made-up numbers for sake of argument). But the fact that you use it for Netflix vs any other service or reason should not affect the price.

There's also the issue mentioned in the sibling comment of the fact that internet use is naturally over-sold to consumers - the cost to guarantee a speed "at any time" is way higher than offering that speed "most of the time". I think that's also fair: if everyone in a city starts streaming a few different 4k shows at the same time one evening, it's fair if service slows down, as long as the advertised speed really is available the rest of the time. SLA (service-level agreement) is just another orthogonal aspect of the service that is sold (and businesses are generally willing to pay a lot more for consistent speed than a consumer, and this is also fair).

It just comes down to unfair treatment of competing services/uses by a monopoly or duopoly ISP. Bytes should be bytes. Like the electrons you get from your electricity provider.
I'm learning Erlang right now and find that every OTP behavior has main parts in its API: client, server, possible inputs and possible outputs. But a one-dimensional structure of standard documentation (from top to bottom) can't present all these parts in one place which leads to loss of a context and longer learn-curve. That's why I create this cheat sheet to present OTP behaviors in one place using opportunities of a two-dimensional structure.
>And it's unsafe? For what definition of safety?

Let me try to answer with an example. Let us say, we have original code like this:

synchronized(this) {
a();
b();
}
c();
synchronized(this) {
d();
e();
}

It would be unsafe (in general) to transform the above code to

synchronized(this) {
a();
b();
c();
d();
e();
}

Simply because Compiler does not know (again, in general) what may happen during the execution of c(). However, the following transformation is safe (the timing behavior changes, but as you point out, that is not a guarantee programmers should expect).

synchronized(this) {
p();
q();
}
synchronized(this) {
r();
s();
}

to

synchronized(this) {
p();
q();
r();
s();
}

since there is nothing happening between the two synchronized sections.

For the for loop, an example of code where pulling the synchronized statement out of the loop is problematic:

for(a = AcquireLock(), c = 0; c < 100; c++) {
synchronized(this) {
f();
}
}
ReleaseLock(a);

I don't think it is safe to transform to

a = AcquireLock();
synchronized(this) {
for(c = 0; c < 100; c++) {
f();
}
}
ReleaseLock(a);

Perhaps you (and the original blog post) assume we are only talking about movement of code after ensuring that such movement is safe, but it was not clear from the document.
In case the author reads this, the distinction between Mealy and Moore machines is wrong. Both use the current state and the current input as arguments for the transition function but while Mealy machines also use those two as arguments for the output function Moore machines only use the current state. They are equally powerful but Mealy machines can sometimes get away with fewer states at the price of the current state no longer uniquely determining the output.

Especially in hardware implementations there are also Medvedev machines where the output is the state vector or part of it, i.e. the output function is the identity function. As far as I can tell that is also where the distinction originated from because they have different critical paths resulting in differing maximum clock frequencies. For software implementations the distinction seems not really relevant.
So the kiddies haven't learned, huh? The whole left-pad debacle was because of a package that has 1 single function: it pads your string to a certain length by prefixing characters. (Writing this I wonder who made right-pad). And it broke almost everything.
> I was asking a completely friendly question out of genuine curiosity as to his opinion.

Why do you feel the need to tell me this? I wouldn't have commented if I thought otherwise. P.S. There was no intention to be demeaning. Just intention to present the issue clearly.

As for the cutesy symbols, they're there to make clear that this isn't a problem because it's DIFFICULT to solve, as the solution is perfectly clear. Give individuals a voice by informing them and allow them to offer an evaluation.

The reason it's still a problem is because of a lack of leverage on the uninformed individuals' behalf.

No need to get worked up about simple things.
Everything is translatable.

It can take a sentence, a paragraph or an essay.

What the term usually means is: it is not translatable as a single word. And in this case, it isn't.
You're missing the point, I think. What they are saying is that some depression is just purely a disease and not caused by events in life, or not caused by any psychological problem. If you disagree, that's fine, but it sounds to me like you're simply dismissing that idea.

Consider it like this: most qualities in humans fall into some sort of normal distribution. Some 1% of the population are the 1% with the least natural serotonin production. Genetics play a large role in that. Could that cause of depression not exist?
Fruit juice you buy in the store goes through a lot of processing. Do you know how many oranges you need to make a glass of juice? You would never eat that many in one sitting. So a glass of store bought fruit juice gives you much more sugar than you would get eating real fruit.

Things like veggie burgers are probably a little better but when I look at the ingredient list it's still scary long. I can make burgers myself from around 5 ingredients or less.
"Is there any non-artistic reason..."

I have seen some programmers quoted as saying they believe writing programs is "art". I think one of the interviews with Arthur Whitney has him saying writing programs is analogous to writing poetry.

Assuming one does not use backtracking as is done by Pement here, IME, the speed of sed routinely beats other, larger scripting languages for many tasks.

The basic functionality of many unix utilities can be replicated using sed, e.g. tee, etc.

When one considers the small size and simplicity of this program, and that it is probably as commonly found on unix operating systems as echo, ls or cd, knowing how to read and write sed can be very useful.
Guess I'll be that guy: https://xkcd.com/927/
Fellow PM here- I think as PMs we have a tendency to feel like we should be involved in as many projects as possible, but it is important to really pick and choose where you can add value (and get value back) so that you don't stretch yourself too thing. I've been using a framework to evaluate opportunities and only focus on the most important ones- the others I ether say "no" to or delegate to another PM/team. It is highly unlikely that "anything that comes up" is truly that valuable/worth the distraction.
There's no "mess" with unlimited bandwidth. Bandwidth is not like electricity itself. It's a fundamentally cheap thing to flash LEDs down glass pipes.

There's no technical or financial reason why every major American city shouldn't have unlimited gigabit for $50/mo per household. The only expensive part is running conduit and it's a one-time cost.

It's disappointing how many people buy into the talking points of these shitty corporations as they work hard to fleece and permanently damage an entire country.
> then I think you are going to see very few people who are not touch typists because it'd be very difficult or maybe even impossible to reach those WPM without touch typing.

Anecdata, but: I got ~160 WPM without learning touch typing. I was a regular computer user from the age of 12.
But if you accept the parrot, it explains the eyepatch! The eyepatch being a direct result of the parrot.
Facebook Bug Could Let Advertisers Get Your Phone Number
Mostly for persistence. Save it into a file, restart the program and load the entire state losslessly. You can also send it to a server or do whatever you want.

With the correct widget types, the business state IS the GUI state and can be treated the same.
For simple GUIs, there will be no redundancies and no undefined states.
Which is exactly what I'm talking about, against your original claim that "SSRIs are used to treat a different class of depression" sorry if this wasn't clear enough from my post, English is not my first language.
That’s different. The GP was referring to global caps. What you mention is treating data differently(count vs non-count) which is exactly what NN is all about.
I'd argue the U.S. involvement in Vietnam was a much worse and equally unnecessary. Iraq is simply the most recent.
On Loyalty to Your Employer
I suspect people just write buggy code that ignores corner cases. For example, what should the UI look like if you press a button and the RPC takes a long time or times out? Or suppose an RPC returns really late, when the user went to a different screen, or already started another RPC?
Glad to see this get some traction. I posted this because despite being a hoax (or at least a pseudonymous piece of political satire), the "Report from Iron Mountain" was one of the most interesting perspectives I read last year.

The report itself is here:
http://www.stopthecrime.net/docs/Report_from_Iron_Mountain.p...

If skimming (recommended) Section 6 might be a good focal point:
http://www.bibliotecapleyades.net/sociopolitica/esp_sociopol...
One advantage Python might have is that the dependencies you use are human readable, they're not compiled, minified or obfuscated. This in theory would make auditing dependencies easier, but I imagine 99% of the time people aren't thoroughly auditing.
Dismissing the scientific trials as flawed by cherry picking and then choosing an anecdotal cow to make a point seems ironic to me. The only thing I can get from this is that we may not have the whole picture regarding depression and focusing only on medication is the wrong thing. But as far as I know from people battling with this is that even in my country the doctors strongly recommend lifestyle changes and hours of therapy with a psychologist for long term success
Came here to say exactly this. A war is essentially a failure mode of the human civilization, when our innate biological ability to divide people into Us and Them gets the best of us and enables us to do unspeakable things. Such a failure mode must be recognised as such, but it's use is not to be diluted as an euphemism for solving everyday issues. Millions of people hastily buried in the 20th century would likely disagree with us using this word too lightly..
Meltdown/Spectre JavaScript Exploit Example Code
‘Chemical imbalance’ pure marketing from the drug companies. It’s sort of amazing how much money we’ve wasted trying to get people to quit heroin, meth and ecstasy on the one hand while selling them OxyContin Ritalin and Prozac on the other.
That's not actually what bandwidth costs. The cost to the ISP is based on the connection speed (eg, bits per second) not on how much is transferred.

The ISP needs to size for peak usage, and they over-subscribe because that's the only way to be profitable. This is why your speed will often be slower at night than during the day. It also means when you pay for data transferred at non-peak times, you're not actually costing anything since the bandwidth was sitting there unused anyway.
AnPyLar – The Python Front End Web Framework
There are lots of Javascript Frameworks: Angular, React, Vue.js, Ember.js ... and that's why we thought the world deserved to have one in which you can do the same things ... but in Python.

Check it out. Choose where to go:

- Website: https://www.anpylar.com
- Docs: https://docs.anpylar.com
- Main Repo: https://github.com/anpylar/anpylar
- Live Samples: (Check the website, it has large buttons to redirect you to them. The links are also in the documentation)

- Community: https://community.anpylar.com

This is a new project ... so there are not many fellow forumites yet.

All is MIT licensed.

You will hopefully enjoy it!
If you are just getting started, you might wanna check out this page:

http://cryptocurrencyfacts.com/

I think it is good for an initial overview
Open Law Library (http://www.openlawlib.org/) seems to be trying to do something like what you're suggesting.
SSRIs are not miracle drugs. They work, but they don't appear to work especially well. The NNT for SSRIs is about seven, meaning that you need to give SSRIs to about seven patients to resolve one case of depression. That's not terrible, but it's a million miles from a miracle. That number is likely to be somewhat inflated by publication bias.

There is no evidence to suggest that Robert Sapolsky "knows more about it than anybody else who is currently alive". He has published four papers on depression, which are all highly speculative and do not involve novel primary research. The most recent of these papers was published 14 years ago. He is clearly an eminent neuroscientist, but he is by no means an expert in depression.

A cursory review of the linked lecture suggests that Sapolsky is making bold, weakly substantiated claims about the neurobiological basis of depression that would not be supported by the majority of people working in neuropsychology and psychopharmacology.

Your decision to link to this lecture is somewhat peculiar, given that it actually refutes your core claim. In Sapolsky's own words: "all of this knowledge winds up being effective for treating maybe 30, 40 percent of people... the vast majority of people, the antidepressant drugs don't do a whole lot" (timestamp 38:30).

https://doi.org/10.1002/14651858.CD007954
https://profiles.stanford.edu/robert-sapolsky?tab=publicatio...
Can't tell if this is satire or not.

Just in case it isn't; we'd all benefit from laws that ordinary people can read, understand and follow.

When the quantity of law grows so great and complicated that nobody can feasibly read it becomes hard to be a law abiding citizen. Lawyers, despite rumors otherwise, are ordinary people too and benefit from clearly written law, in English for English speaking countries.
I’d be quick to guess that in those cases, the missing axis of symmetry falls beyond the field of view. That is to say, it might not be trivial to align the focus of the vibration such that the center of each axis falls on the plate, and demonstrates a pattern depicting the perfect midpoint of the figure.
JS torrent upload and download library (in-browser)
I think it's annoying but also toxic to an ecosystem. You have to name your packages the same way you look for a domain name, people can squat on names, and it causes drama like how the 'kik' package was stolen from a developer and given to a company who never used it.

Nobody would've cared it the package was "tzs/kik". For example, the Elm package system does this right.

Another example of this failure is the Reddit subreddit system where a subreddit like /r/bitcoin makes it seem like the authority when it's a carefully moderated and biased subreddit. And nobody can really compete with it without getting a worse subreddit name like truebitcoin and bitcoin2 or something. Would be much more clear if it was /r/@theymos/bitcoin and /r/@spez/politics.