skysight-inc/HackerNews huggingface dataset:
i did some work around ketamine a few years ago and many physicians i spoke with said it was incredibly helpful for their patients. however there are many others who have said it doesnt work for many of their patients. there are many studies that suggest it works and a lot of other unpublished data suggesting maybe it isnt as great

the mechanism of action is also poorly understood, and while this article may certainly be an important mechanism, ketamine is a "dirty" drug with many potentially active components that act in ways we dont understand

ketamine is also a drug that has been fda approved for anesthesia for years. to properly study its effects in depression would require large clinical studies. however, the drug is off patent, and no company will fund this work

other companies have developed "new" drugs that are structurally similar to ketamine, but different enough to patent. in 2015 allergan bought a company called naurex that had a few phase 2 drugs that acted on the NMDA receptor (the main receptor that ketamine is thought to act on, though there are others -- hence it being a "dirty" drug) but with some chemical modifications aimed at getting the antidepressant effects of ketamine without the "bad" dissociative effects. however, several docs i spoke with said that there isnt sufficient evidence that their chemical only gets the "good" effects, and it may actually be less effective than ketamine because they removed some of the chemical structure that moderated depression. the real reason they used a new chemical was so they could patent it

J&J has another similar product, called esketamine, is an enantiomer of ketamine (imagine ketamine occurred in two forms, a left hand and a right hand one. esketamine is just the left hand version without the right hand). they also deliver it intranasally (while the approved ketamine formulation is IV). both of these tactics help extend patent life or exclusivity. they published phase 2 data last december that looked pretty good

these companies will probably aggressively market their drugs as "better" than ketamine because they have "improved" the chemistry, although there are no data to definitively state this. many anesthesiologists currently offer ketamine treatment for depression, though it is not widely reimbursed or offered. i believe some groups reimburse for it though. it can be expensive because you need to be supervised when you take it, so you have to pay for the time of a medical professional to monitor you.

as others have noted though, the effects wear off basically right after you stop taking the drug. some people are studying a protocol where you "jolt" someone into a non-depressed state with ketamine, and then stop ketamine treatment and start treating them with CBT or another form of therapy. jury is still out on whether this works though seems promising
I'm somewhat weary of the notion that all whites, and especially that all males, are somehow at the top of the pyramid.
I would agree. If you don't use ad/track blockers, you already see that ads follow you around, and are targeted based on recent browsing and shopping.

So you intuitively know, at some level, that all these sites are tracking you. I agree that the average person doesn't care too much, based on the lack of serious outrcy about it.
SCOTUS also decided Alvarez [0] in 2012. False statements are protected by the 1st Amendment unless they rise to the level of an enumerated exemption.

[0] https://en.wikipedia.org/wiki/United_States_v._Alvarez
"Obviously because online games have gotten much better in the last 15 years."

I don't see how that's self-evident at all.

I'd suspect it has more to do with social desolation.
You are missing that movies are not primarily paid for through direct sales and micropayments. Movies have an extremely complicated system of distribution to many audiences and through many media. The point of this system is to maximize producer revenue. If they don't do that, they can't afford to make movies.

US movie studios are reasonably good at making movies. They are maybe not so good at translating them into Chinese, figuring out how to market them in China, and distributing through the many channels there (first-run theaters, second-run theaters, VOD, DVD, streaming, and probably more). So they sell distribution rights to other companies.

If you want to replace that, you have to come up with a system that is better both for consumers and producers. Yes, hobbyists have figured out part of what's better for consumers. (Although those technologies are terrible compared with Netflix, so only a part.) But optimizing for one criterion is way easier than optimizing for two or more.
> The strength of a democracy should be that its citizens can stand in the battleground of ideas unscathed and our abandonment of that ideal does not bode well

It's not illegal for foreign entities to lobby our government (or the American people). It's illegal to do it dishonestly, e.g. by "posing as U.S. persons and creating false U.S. personas" (¶ 3 of the indictment [1]) or using "without lawful authority, the social security numbers, home addresses, and birth dates of real U.S. persons to open accounts at PayPal" (¶ 90).

[1] https://www.documentcloud.org/documents/4380463-Internet-Res... via Axios [a]

[a] https://www.axios.com/mueller-indicts-13-russian-nationals-f...
Which only goes to show that nobody is "safe". Their goal is to sow chaos and there's no better way to do that than to play both sides at every opportunity.
Mathematians (such as myself) don’t look down on intuition. It is the only way to construct a map through a complex proof.

However what you may have picked up on is we disstain people who insist they have a brilliant idea for which someone should prove they are right. That’s like saying a car engine consists of cyclinders and piston; someone else just needs to do the work to put the pieces together.
When government counterintelligence investigations, instead of catching real spies and protecting real sensitive systems (which, judging by recent hacks of government data, are in extremely sorry state of affairs) waste time, money and effort to pursue idiotic "collusion" story, buy insane "dossiers" most likely assembled by geopolitical adversaries to try and troll the opposite side into doing self harm, and play political partisan games - I think it's time to speak up about it. And if it takes Trump to speak up about it - well, so be it. It'd be nicer if more people spoke up more strongly about this sad state of affairs - because the Russian espionage and Russian threat exists, but the political games now make mockery of it and try to turn Russia into partisan issue that excludes any rational discussion and any counteraction that is not rooted into tactical partisan gamesmanship - but if Trump is what we've got than it'd be Trump.
Mike Pall indulges in some (well deserved) gloating far down in the thread:

LuaJIT also does: constant folding, constant propagation, copy propagation, algebraic simplifications, reassociation, common-subexpression elimination, alias analysis, load-forwarding, store-forwarding, dead-store elimination, store sinking, scalar replacement of aggregates, scalar-evolution analysis, narrowing, specialization, loop inversion, dead-code elimination, reverse-linear-scan register allocation with a blended cost-model, register hinting, register renaming, memory operand fusion.

Due to the nature of a trace compiler, it implicitly performs partial and interprocedural variants of all of them. And many traditional optimizations, like straightening or unreachable code elimination are unnecessary.

All of that in 120KB for the VM and 80KB for the JIT compiler. And I didn't need 15 years and a billion dollar budget for that, either.

I'm planning to add value-range propagation, array-bounds-check elimination, escape analysis, allocation sinking, if conversion, hyperblock scheduling and auto-vectorization. Anything I forgot? I'll see what I can do. :-)
PureOS – General Questions and Concerns Before Recommending It
The indictment is not about PR, it is about punishing Russian nationals who participated in this op.

The long arm of US law enforcement may not be able to get these folks in Russia, but it can prevent them from traveling in many countries around the world, and can result in their assets being frozen.

The other thing is that if any of the individuals involved come to fear for their safety from Putin's government, these indictments will be a strong motivator for them to rat other parts of the Russian intelligence apparatus.
As the other poster said, yes. China is dealing with a fairly grim pattern of ketamine abuse cystitis.

https://www.sciencedirect.com/science/article/pii/S187952261...

http://www.bbc.com/news/av/world-asia-china-33472971/inside-...
True, good point, revising.
You only said half of that. That was what you were missing.
Is this the same firm that was just indicated by the Justice department?
Almost as big of a leap as putting something that was never said in quotes.
But it is about Rorschach slides.

- What do you see when you look at this picture?

- I see a copyright infringement.

- How do you feel about it?

- Rather litigious...
However, SCOTUS has ruled time and time again that US constitution applies not only to citizens, but to everyone in the country (and US laws would not apply to anyone entirely out of the country), so said laws might not hold up to SCOTUS scrutiny (this might end up changing elections forever, much like the Citizens United ruling)
Am I correct in understanding that it's not that intuition is invalid, but that it's insufficient for communicating a proof to another mathematician.

What I believe to be true is that a solid intuitive proof will be sound, but not necessarily transcribable until formalized. Formalization of the proof is essentially the matter of making a proof communicable.

Putting it one more way: purely-intuitive proofs would be just fine if one could share one's mental state with another.

What do you think?
Android phones may soon send more precise location info to 911 dispatchers
They are tired and stressed when they come home and need something easy to unwind. I am not even sure why fishing or birdwatching would be superior to watching a movie on TV.

I've seen quite a few studies that indicate exposure to nature is beneficial in reducing stress. So is physical exercise, even non-strenuous, which you'll get more of by fishing or birdwatching than by sitting on the couch. Maybe these studies are just more non-replicable junk; I don't have time to do a deep dive to check right now. They do line up with my personal experiences and anecdotal observations of others. (Which means I should probably be extra-skeptical, since it's easiest to fool yourself when a result aligns with your prior intuitions.) But that's how I developed my list of examples, with a lot of outdoor activities and activities that will use different parts of your body.
Yes, we should! Which is presumably why it took more than a year of investigation before Mueller filed these charges.
My observation is that teens are taking jobs that were previously done by undocumented immigrants who have left due to the current political climate. I expect immigration policy could be more closely correlated with young men's labor than video games.
Doesn't the first amendment apply to citizens of the United States and not to hostile foreign agents?

The problem is that the Russians do not have the country's best interests in mind when they try to influence an election. On the other hand, the anchors on CNN, even though one might disagree with them, do have the country's best interests in mind because they're invested in the situation as citizens.
More likely this story is designed to undermine natural pro-gun sentiment amongst U.S. Citizens who we can now dismiss as being influenced by Russian Twitter bots. This is the same tactic used to explain Trump's victory in the election.
How much of the power used by something like this ends up as heat? The FCC notice says it was an "Antminer s5". A bit of Googling suggests it uses a little under 600 watts.

If most of that ends up as heat in his apartment, that could reduce his need for other heating which could offset some of the electricity cost, especially if that other heating is electric heating.
sum(1, 2, 3) and (sum 1 2 3) are just different read/print notations that can map to exactly the same data structure and therefore "do" everything the same way.

The --> macro invocation would just look like -->(work, task1, task2, task3).

There are good reasons for considering f(x, y) to be a bad notation compared to (f x y); but this isn't one of them.
In United States law, trespassing is often still trespassing, even when the door is open
Ok so go through all of that and ask yourself: “are these reasons serious in light of our own behavior”

I mean of course our good friend and ally, Saudi Arabia. Where would you rather be gay? Jeddah or Moscow?

I mean of course our 60 year alliance w/ Turkey. Who has occupied half of Cyprus for 40 years.

Olympics? Talk about hypocrisy! I remember when there some cancer boy beating all the dopped up Europeans on the Tour. But he wasn’t on drugs, the Europeans were jealous.

Magnistky. What about him? However, in the land of the free, can I please be allowed to see the “The Magnitsky Act – Behind the Scenes,“? Or give me a good argument why I should consider Nekrasov a Putin agent.

Illiberal government? Thats a joke. Do you know the friends we keep?

Poisoning journalists? Do you know what J. Assange’s original sin was?

Ukraine? How many countries are we illegally in right now? (Obama boasted bombing 11)

komprobat? Isn’t that what J. Edgar Hoover collected?

Look, you don’t have to like the Ruskies. Lord knows they’re annoying. But don’t be a hypocrite. It’s unbecoming.
We've changed to that URL from https://blog.golang.org/go1.10.
On Being the Right Size (1928)
Were you doing your own map rendering?

In that case you wouldn't have to add the buildings to OSM to show them, just merge the data during your map preparation.

Nominatim does have a reverse geocode api which returns the sort of place information you want in your third point (given a coordinate, returns an address).
consumer convenience often seems to be at odds with consumer well-being

I've begun to think that's intrinsic, not anything nefarious.

We long for convenience, laziness, sugar, etc. We're meant to want them, but never get much of them. As far as we can tell, our minds & bodies run best on a diet of exertion, activity, and whole foods, which are the very opposites of the things we crave.

I keep thinking about TDR's Strenuous Life.
Prevents hotlinking, which I guess is nice and bad at the same time.
I would say the reason is due to people changing the pronunciation over time rather than it being part of the actual grammar.

Take for example Hyderabad. Looking at the Hindi spelling, it should be pronounced Hy-der-aa-bad. But it it pronounced more like Hai-dra-bad.

What I'm saying is that people made those changes which we got so used to in our day to day lives that most now regard them as the 'correct' pronunciation, but it isn't how they were supposed to be.
Should be illegal.

I'm sure countless people pay these kinds of fines, just assuming that the company threatening to sue them is legitimate.

What's to stop me from just making a cool company name and sending cease and desist letters asking for fines for all kinds of "IP"?
Inventing people and getting someone to show up and vote as them isn't what you'd do with write access to voter rolls. Instead you'd want to remove or corrupt existing voter information. This would cause huge delays at polling places as people protest their inability to vote and go through the provisional ballot process. If every voter went through with that we'd be fine as enough provisional ballots to tip an election means they have to get validated. The likely outcome however would be people giving up on voting because they're out of time and/or patience and leaving before they ever get a ballot, provisional or not.

Target voters in enough locations likely to have large turnout for your opponent and you'd be able to tip the election in your favor, so long as you had any chance at all to win. This wouldn't be enough to help someone who is going to lose 83/17 but a 60/40 loss could be tipped your way and that's what most outcomes in the US are.
A good example of this is the recently released game Monster Hunter: World. It features everything you mentioned.

Some players have spent an undeniably unhealthy amount of time in that game in just a few weeks. They boast "I'm High Rank 100 after only 200+ hours!" as if playing a video game for 15+ hours a day was something to be accomplished and proud of.

I feel sad for these individuals when they realize all that time was meaningless.
IBM Offers free online courses
Should a sender of a letter have the right to say that the recipient can't put their address into their rolodex?
The author seems to be trying to make an issue where there isn't any.

The many conveniences I enjoy in my life allow me to circumvent rote tasks that offer no enrichment and no sense of accomplishment. What do I do with my free time? Difficult activities that give me a sense of accomplishment and enrichment.

To tack on the concern that people are falling back to "screen time" to fill the time left by convenience is a problem more to do with people not led to explore other facets of the world they're not familiar with, or a sense of inability from being coddled while raised.
this has got to be automated right ?
You would only be able to select from those 5 backgrounds, however, and the predicted heights for those embryos will be drawn from a normal distribution; you can only "design" from what you've sampled.

On the other hand, if you sampled millions of embryos, you could find the rare few predicted to grow to be 6'5" person -- but this would be very expensive and basically impossible without synthetic embryos.
Go 1.10 is released
See also Mar's Law as taken from Akin's Laws of Spacecraft Design.[1]

Everything is linear if plotted log-log with a fat magic marker.

[1]
http://spacecraft.ssl.umd.edu/old_site/academics/akins_laws....
I got a copyright ding on YouTube for children singing come all ye faithful. I challenged it and they never responded, but the claim remained on the video for 30 days.

It's especially frustrating because the companies involved in claims and even the content is rarely identifiable and of course has no consequence.
Seattle Is Winning the War on the Car Commute
Isn't their economy like 70% of Italy's? Just wait until the Italians want to influence our elections!

Meanwhile, all of the studios are tripping over themselves to keep the Chinese market happy and unoffended.
Being an American doesn't mean one agrees with everything the United States has ever done. The US Gov't has absolutely done mean and nasty things around the world that has caused suffering for millions of people.

Still doesn't mean Americans should be happy with one our biggest adversaries subverting our government. Even with all of America's sins, things certainly would be worse if Putin were free to damage and pervert our democracy to suit his whims.
It's the day after Valentine's Day in the US... the most advertised, over-hyped, over-extended and shoved down your throat day of the year for us guys.
The hack was recently publicly confirmed by a Dutch intelligence agency where they confirmed the DNC was indeed hacked, and that they were witness with recorded video and possibly logs of Cozy Bear committing the very hack that was proposed to be a leak.

https://nos.nl/nieuwsuur/artikel/2213767-dutch-intelligence-...
> "If the environment variable $GOROOT is unset, the go tool previously used the default GOROOT set during toolchain compilation. Now, before falling back to that default, the go tool attempts to deduce GOROOT from its own executable path. This allows binary distributions to be unpacked anywhere in the file system and then be used without setting GOROOT explicitly."

At last! Yes!
I believe this is from 2015
Maybe some context would help. Since I knew many of the folks visiting our website would assume our live chat was a chatbot, the initial message in our chat said "Hi, I'm Erica! I'm a real person, and one of the founders of [name of my company.] What questions can I answer for you today?"

I put that in there specifically to circumvent people asking if this was a bot.

The person who kept asking me to answer simple math questions had the context of this being the initial interaction. Furthermore, he didn't stop at asking once. He continued to repeatedly ask me to answer math questions, and when I asked him to please ask a question about our product or service, he would refuse and smirk about how I was obviously a bot because I refused to play his game.

It was this repeated questioning that turned it into harassment, from my perspective. And this single interaction was part of a pattern of harassment, both sexual and otherwise, that I've seen manning B2B SaaS chats.

I can also attest that men who've run the same live chats, at the same companies, with their avatars and real names do not get this sort of harassment at all. In fact, they have been shocked at the level of harassment received by simply having a female face and/or name.
I'm the DRI for most of these problems. Random thoughts:

I think David Ogilvy said something like "Search all the parks in your city, you'll find no statues of committees". Everyone was super keen to make OSM in to a web of committees, and this is one root of the problem from an organizational point of view. It's not super clear to me what the OSMF has done in the last (to pick a number) 5 years. (I don't regard "doing the same thing as last year" as relevant to anything, I just have a personal bias towards new things).

From a technical point of view we merged sysadmin (who inherently want stability) with development (who inherently want change) and stability won (it doesn't involve arguments or as much work, I guess). That's why the API looks the same way I designed it X number of years ago.

It's still a wonderful project, but more of a work of art than anything else. It's not like wikipedia didn't have all the same problems. Making a project that really evolves and grows over large periods of time is really hard. Like - most of the things on the S&P 500 won't be there in 10 or 20 years or something.

I think what really happens is that projects go through a lifecycle and something new comes along to replace them, rather than anything getting fixed. I'm not sure if this is a good example, but, you could try to "fix" Apache, or you could just do this new thing, "nginx". For all kinds of reasons, the new thing is more efficient. One of the few counter examples I think is going to be Amazon.

The world has moved on from making vector maps and OSM solved almost all the related problems (just not geocoding, which annoys me no end). It moved on, because of OSM! All the money and interest in maps is now around autonomous navigation, which means 3D maps and other things outside of OSMs area.
aka “The Burning Bridges” plan. It could work, assuming you don’t like to travel, and never do business in those countries, and the global geopolitical situation does not radically change. A bit short-sighted...
Transit data should probably be supported in a meta-sense. A machine readable bounded region with annotations about where to fetch transit data and how to parse it should likely be added. That way the OSM database links to external data sources.