skysight-inc/HackerNews huggingface dataset:
Breath taking.

This technique could be used to visually prove many interesting properties of the continuous fourier transform.

For example, you can visually prove that the fourier transform is its own inverse, up to a constant factor. It's a bit tricky to communicate such a visual proof in text, but here's a sketch: First, consider the fourier transform of the dirac delta function, which this visualization would reveal to be a wave. Apply the transform again, and it's visually clear that the wave destructively interferes and has a transform of 0, except for a single value. This reveals that, applying the Fourier transform twice gives you the original function, up to a constant inverse. (If you work through this carefully, you see the constant is negative.)

What's interesting is that a visual proof like this can make a pretty non-trivial fact visually obvious.

You could take this further. I'm pretty certain that one could get visual proofs that taking the derivative is multiplying by i times the frequency in frequency space. Or get a visual proof of the convolution theorem. If you have a visual proof of the convolution theorem, you can probably get a visual proof of the central limit theorem. [1]

I actually tried to illustrate this visual proof of the Fourier transform's inverse several years ago. I tried to make static diagrams, not an animated version. I failed. I say this to emphasize how impressive Steven's feat is: not only did he make a beautiful visualization of this, not only did he make it a live animation, but he did it in a freaking web browser. It's really incredible.

[1] These ideas come from a conversation between Michael Nielsen and I, after we saw Steven's talk.
> Does anybody have any actual advice for getting out of bed?

The only advice that is guaranteed to work: "Just do it."
>When I see how long it takes Indiegogo and Kickstarter hardware makers to actually create their finished products -- because they have to travel to China to meet with part suppliers and manufacturers -- I wonder how much US innovation has been crippled by the policies top US economists have confidently articulated and defended for the last 30 or 40 years.

Yeah, it's actually a bit vexing when we lose one of the members of my team periodically for trips to China or Taiwan to deal with new hardware.
The same way anyone gets good at anything - practice it. This may sound crazy but don't write it off. Go into bed during the day for 1 minute and don't fall asleep. Set an alarm and when it goes off, get out of bed. Repeat 5-10 times a day for a few weeks and getting out of bed when your alarm goes off will become habit.

Morning habits are important because when people wake up in the morning they are extremely tired which impairs their cognition and willpower, which often leads to bad decisions like the snooze button.
I imagine at one point, good-cop bad-cop was actually useful and not so well no and a trope that it isn't obviously seen for what it is. Although, I imagine if done right, the benefit of a lot of these techniques is that the subject is under pressure, and may not be thinking clearly. In a way, they are all similar in that they are about creating, enforcing and capitalizing on situations like that.
A Conversation On Privacy
>Hell, we cannot even fathom an unemployment rate where would actually reasonably see a shortage of anything.

Actually, we have a dire shortage of non-luxury housing.
Meanwhile:

Mathematica 10.0 for Mac OS X x86 (64-bit)
Copyright 1988-2014 Wolfram Research, Inc.

In[1]:= FullForm[x->y*z^w]

Out[1]//FullForm= Rule[x, Times[y, Power[z, w]]]

In[2]:= x\[UnionPlus]y\[RightTee]z

Out[2]= x ⊎ y ⊢ z

There's no reason your programming language shouldn't be able to tell you what these things are called in English without an external reference.
I understand that it is the rocket shaped operator used in making hashes.

{:cats => "foo"}
Ruby's associative arrays are called hashes. That operator is how you assign a value to a key.
Just a note since we're long gone from the home page and you may not see this even if you look at your "threads" page...

If you're curious, here's a description of how I use the spacebar in Explorer:

https://news.ycombinator.com/item?id=11368858
I added, thank you.
We Google them, which is an impossible task for non-alphabetic symbols. :P
God I hope this doesn't become commonplace. Having meaningless, impersonal compliments flung at me in otherwise frustrating moments sound absolutely horrendous.
A lot of advice posted so far is for people who can adapt to a new sleep schedule after a week or so, which I hear is normal, and seems like it was for me when I was young. However, if you revert back to your old schedule on the weekends and feel agitated and tired more and more during the work week, consider seeing a sleep specialist.
I am from, and live, just outside Philly and I had no idea "jawn" was strictly a Philly thing (err...jawn) haha. Cool to find out it has such a unique etymology!
Not sure why you're being downvoted (other than perhaps playing internet doctor). One of the first things a competent medical professional will do is to evaluate where you're at, which includes checking thyroid levels. That said, don't listen to internet doctors; go see a real one and let them do their job... which will likely include the aforementioned check.
I don't think it's really in Mojang's interest to actually enforce those rules. The majority of servers I've ever been on have a "Donation" system allowing you to buy in game perks (currency, commands such as /fly, etc). Incentives like that are what keep lots of servers up, and more people playing the game.
Darpa kicks off $2m Grand Challenge focused on splitting up radio spectrum
As you point out, it's necessary to be vigilant about protectionism trying to masquerade as 'food safety'.

However, there are real concerns too: http://motherboard.vice.com/blog/the-home-of-olive-oil-and-m...

At the same time, Italy is also a victim of protectionism against things like prosciutto and salame and other wonderful foods that are difficult to get in the US.

So... best to judge on a case by case basis.
I meant to get back to you a couple of days ago on this...

Here's how I use the spacebar in Explorer:

https://news.ycombinator.com/item?id=11368858

Just replying here since that comment won't show up on your "threads" page and this one will.
This isn't as big a problem as you think. There are several ways you can handle it, including:

- use your dates. Most people don't need to reconcile every day, and you can pick a day where there are no pending transactions, or few enough to be easily understood.

- use the bank dates. This happens automatically if you import converted bank data.

- use both dates. Eg, your date as the main transaction date, and (when helpful), the bank's date on the bank posting(s) only.

- there's also a primary/auxiliary date feature, but I think it's unnecessary
I had never heard of a page turner before in my life and know nothing of antiques in general. Yet, my first guess looking at the picture and before reading the article was that it must have been some kind of dull knife for opening uncut book pages.

Now you're telling me antique dealers couldn't figure this out before that guy came in? I call bullshit.
Did you contact the owners of the hydropower? May be a good idea.
For what it's worth, smartphones can be had for like $40, and eg Freedompop now has GSM sims with 700MB of month of free data. The time/effort required for phone-less solutions to be developed and adopted might be less than the time/effort to get basic computation and connectivity to people who need them.

(Disclaimers: I do agree with the ultimate point of the article, and your take as well. And I don't even like "smart phones" or assumptions of Internet connectivity for that matter. But those constants, they are a-changin')
It would seem like the forefathers won this round. You've got to love the inchworm on a stick.
`final var` handles the immutability case.

Any of the potential keywords `let`, `val`, `var` could potentially conflict with auto generated code. This would be a breaking change with those generators.
If you have health insurance, definitely try to get some treatment. Pills and therapists aren't perfect, and they aren't for everyone, but they can work. And they can be kept secret. Beyond that, look at acquiring skills and habits to be able to manage your depression, drugs will only give you the opportunity to build those skills easier, they won't make everything magically better forever. I'd highly suggest looking at cognitive behavioral therapy (basically developing habits and patterns that are healthier) and meditation/mindfulness, they are amazingly effective in a lot of cases.
Things that worked for me:

1. Going to bed early. I switched to 9.00 PM instead of 12 midnight.

2. No TV/screens for the last hour to help with that.

3. When the alarm rang, no snoozes. Get up no matter how shit it feels. It gets better.

4. When I get up, no screens near the bed. That stuff just left me in bed with the phone.

Took me two weeks of work, but I started getting up earlier after that. Lasted for about half a year and then I went on vacation and it lasted partway through that. I've been working remote on a different timezone for the last month and that's gone and ruined it.
Nobody should have to suffer for even a single year. We really need to improve treatment for depression.
It's reasonably retargetable. If you look under compiler/targets in the repository, you will find MIPS and RISC-V backends.
True story: I was raised basically without faith but in a vaguely Christian-oriented house, but it's because of Narnia that I eventually became an atheist.

It all started when a Calormene guy died and was surprised to find Aslan, but expected to find Tash. Aslan said that through out the Calormene's life, he had done good things in Tash's name, but good deeds done in Tash's name are given or credited to Aslan, and that it wasn't the name in which the deeds were done, but the intent of the deeds themselves.

That was intriguing to a 10 year old, and I thought a lot about it. Eventually I settled on the idea that, if there is a God, and everyone prays to God, and there's only one God, then everyone is praying to the same God, regardless of the name they call it.

From there, it wasn't a long trip to Deism. I was a Deist for most of my life, and eventually I began to critically evaluate what the idea of God really was, and what existence really is, and means.

I've finally come to terms with the idea that, if there is an omniscient, omnipotent, omnipresent power, it's the universe as a whole, but since you can't take any part of existence and remove the part that isn't divine (that is, you can't identify the part that is divine, and by exclusion, you can't differentiate the part that isn't divine), then God in the normal sense doesn't "exist".

So is there a God? I don't think so, but if there IS a God, its existence can't be proven one way or another, so for all intents and purposes, it can be assumed to not exist.

That being said, if you, as many humans do, feel comfort from a belief in something greater than yourself and you want to learn more about the divine, I suggest that you spend time examining math and physics, since the traditional holy books are written by people who were supposedly divinely influenced, but math books and physics books are works describing the world as it is, and in that case, are the closest glimpse of the divine that you're likely to get in this life.
Hey awesome list! Do you feel like the additional work required on the front end is repaid by the productivity gains in the morning? Like one hour of added prep, two hours of morning work?
I'd like to emphasize the first point. For about six months, I woke up at 4am Monday of every other week to catch a plane to another city to start work at 9am till 6pm. I would not only get everything ready to pack in the morning, but I'd leave notes throughout the apartment listing what I needed to do before leaving, things like "take this or that item", "turn the power off", etc. I'd put the notes on door handles, to the toilet, main entry door and the only way I could forget something was if I had a stroke and couldn't read.

So as parent said, it was "brainless peace and harmony" all the way to the airport.
... is an ellipsis.

! is enunciated as "bang" from BASH parlance, iirc.
Andre-Francois Raffray was the dude that made the deal and died in 1995 at 77. Jeanne Calment is the women who died later in 1997 at the age of 122.5.
The Tesla Dividend: Better Internet Access
The best thing is to have something to do, like go to the gym or walk the dog.

Then find a kindred spirit who will provide you with a little peer pressure. The dog will be happy he got to poop, and your friend will be happy to see you at the gym.
Twitter, now, sells advertising, which is 90% of its revenue. While it was VC-funded, which is really what you should be comparing it to as it's the prevalent stage of an startup, it raised money from VC funds by hitting non-contractual milestones in terms of MAU/DAU increases. I don't think that's particularly different to the milestone model that's prevalent in games - a third party pours money incrementally into the development of a product contingent on the mutually agreeable evolution of the product.

Unless you're in the habit of delivering RC-quality milestones (which is afaik unheard of in AAA development), the marginal value of a milestone is negative right up until the last one.
Venter Institute Team develops synthetic bacterium with just 473 genes
Circular: Twist on axis, and shift rotational momentum into sitting up.

Straight: Use your legs, flexing one under your butt, extending the other, and then flexing it down to lever your torso up.

Best: Combine them, and shoulder roll off the bed ;)
As I said in my other reply, that's just speculation to provide an example as to what they might find. I would really like someone to do some scholarly work on the subject to get to the real answers.
Oops, wrong copy-n-paste buffer!

BTW, I edited the original.
Sure, but when Target, LinkedIn, et. al. are hacked, why don't people blame them for poor security practices? It's always the "hacker's" fault. Sure, it's wrong to exploit those weaknesses, but so is robbing an unlocked store. The hacker (robber) is still wrong, but only in the physical world do people put some blame on the "hackee" (store).
Who-zee-dingle (not sure how it's spelled)

Thingy

Thing-Ummy_Bob

whatchmacallit
thank you, added.
Since Mythbusters proved that finding a needle in a haystack isn't that difficult, I propose that the term be changed to "finding a needle in the ionosphere." [Not applicable to orbital debris trackers...]
No worry I suspected a typo. Like you I went straight to Wikipedia because I wondered by how long she outlived the article that 1995 article.
I thought the article was informative. As for your last point there may well be some good explanation, like a throwaway comment in good humor, which gets interpreted literally by the journalist.
I think there is no alternate to a good sleeping schedule. Make it a habit to going to sleep and waking up at the same time everyday. It works for me very well.
I think it's even worse than leaving the front door unlocked, it's more akin to leaving it open.
Surveillance Status Quo
Please tell me that was sarcasm
Could Rust have a left-pad incident?
You've got a lot more patience than I...
Slippery slope argument.

I like the Litmus test that a ten year old should be able to read them, which means that +, *, / and - are fine but =~> and other nonsense should be banned.
As an American, I wonder where Europeans think American babies come from. And why Europeans don't seem to have them.
A: typical modern American management -- shift blame. The knee-jerk response to accusations of racism or other unfair treatment is to remove discretion from school employees.

If conducting police interrogations turns little Johnny into a serial killer, it the Reid program's fault. If expelling a child with a pellet gun seems ridiculous, it's the Congress's fault.
Another evidence that the language that is narrowly focused and force "more" correct practices tends to work better in practice.

Or, coders are getting worse at master the more powerful language...
I enjoyed reading that, thanks for posting the link.
The Army Field Manual on "Intelligence Interrogation", beginning on page 3-11, is good reading on related methods.

http://fas.org/irp/doddir/army/fm34-52.pdf
We don't exactly know what US political parties are [pdf]
The only thing that ever really helped me get up early was to ditch my alarm clock. I used to snooze for over an hour every morning. Once I got rid of my alarm clock I started getting out of bed the first time I woke up each morning.

I got up a little later than I used to set my alarm for, but much earlier than I actually got up with an alarm clock.
stabby lambda is my favorite.
That comes under fair use, I suspect. But IANAL ;)
A valid point... But what about the many historical examples of the kinds of problems caused by "Tragedy of the Commons", "Tyranny of the Masses" etc. Not government tyranny but causing arguably just as much damage to society.

Best example off the top of my head is the "post emancipation pre civil rights period". The simple premise that "lots of people" can be just as tyrannical as a government is hard to argue against. There are lots of small examples where "the oppressed" have a much easier path to "freedom", from homeowners associations, to religious groups, to various community organisations and groups. Governments hardly have a monopoly on Tyranny.

Tldr- this issue is complicated, super short summaries are not a good idea for this topic ;-)
Why should a developer have a mentor?
I've been contemplating using FreeNAS, but I'm always confused by the product release information. It's written for those who already use the product, rather than those who are considering it.

To me, the ideal announcement would read something like this:

- This product is based on FreeBSD 10.3

- This product adds the following features (e.g. GUI system admin) ...

- This product improves the following standard FreeBSD ports ...

- This product is available on the FreeNAS Mini NAS appliance ...

etc

Otherwise, it's hard to know if I should try FreeNAS or just try plain vanilla FreeBSD for a file server I want to build.
Having a dog gets me up every morning at the same time even having no need for an alarm clock. He gently paws at me until I do what I'm told. Up or down, good or bad, rain or shine that dog gets me to walk him 4 times a day. He has helped me make all kinds of new friends on our walks and brought immense happiness to my life. Does that count?
> A long-term goal is to make proof assistants into trustworthy and practical program development and implementation platforms. The CakeML compiler verification is an example of proof-assistant-based development; specifically, of proven-correct synthesis of machine code from higher-order logic specifications.

Is CakeML intended to be used to make things, or is it more of a proof of concept?
Or just take a smaller cut and spread the winnings thinner so that the expected value is closer to the actual spending. Change it so that they have to be scratched to win (instead of buying and scanning), or institute other limiting factors.
Are you sure you're not bipolar? I thought I suffered from depression for 20 years until I finally figured out I was actually bipolar. The portrayal of bipolar in the media and the zeitgeist about it are not reflective of what it looks like, or feels like, in reality. More so, the prevalence of "bipolar 2" (depression + hypomania, not full on mania) is much greater than bipolar 1, but poorly understood by the public at large. There are a lot of tropes about bipolar that just aren't true. That you have tons and tons of energy like you're on meth, that you act "crazy" when you're manic, that you're ludicrously "happy" when manic/hypomanic, that phases come and go at random. None of that bore a resemblance to my life, so I never knew. For me bouts of hypomania always just felt like periods where I had just found something to work on and somehow had managed to maintain focus on it for a while, they're periods of productivity or enthusiasm, often about new things. And only rarely would I describe them as periods of happiness, when you're depressed for so long it can be difficult to even know what it feels like to be happy, and you can spend time in a hypomanic state without being notably happy.

But I noticed that there are times when my sleep schedule is very different (easily masked because I have a sleep disorder as well which makes it difficult to maintain a consistent schedule), times when I am very chatty, times when I'm very focused on a project or game or activity (focus on goal oriented activities), times when I feel a sense of inflated self-esteem or grandiosity, times of increased risk taking, and so on. I just always saw these things as aspects of my personality, and things that I'd been able to leverage for my own benefit or, usually, keep under control.

Here's a list of symptoms:
https://en.wikipedia.org/wiki/Bipolar_II_disorder#Hypomanic_...
You can send whatever you want, my therapist and I do little video snips often. I like txt too though, sometimes I'm just doing nothing thinking and I write my thoughts down and send them to him, it's good.
Feb 4th.
https://github.com/mishoo/UglifyJS2/issues/936#issuecomment-...
Ask HN: Can you please make all links open in a new tab? (Or a profile setting?)
So Rust uses a well-thought-out solution to multiple, intertwined problems? Hardly surprising. The people behind Rust are amazing!
Hah! People always say this sort of stuff, and while I don't believe it, I could never come up with an answer simpler than "go read that Better Angels book." I never looked at it like that before. I am going to use this line now, I hope you don't mind!
> 999/1000 times

Gosh I love made-up numbers, don't you? I've had unit tests just these past few weeks catch bugs within our Redux logic flows, from Action Creators. We have to ship this app next week. Guess what would've happened if I hadn't written those tests?

Now, the thing is I actually agree with you; as does nearly everyone who's replied to you here: Unit tests are not a panacea, and they really shine when as a part of a full test-suite that covers interaction, functionality, integration and more. Of course, this is why any decent testing framework gives you those abilities as well... You're disagreeing with an argument that no-one has put forward, from what I can see.
The Internet is pushing the American news business to New York and the coasts
Solutions for you that don't involve changing the behavior for everyone else:

A. Use middle click

B. Hold CTRL (PC) or Command (Mac) and click

C. Write your own JavaScript snippet (I recommend the Stylish add-on for Chrome) that adds 'target="_blank"' attributes to every link
Pfft try Haskell sometime.

Everything that's even remotely Applicative seems to have a tendency to export 20 variations of <*>.

Then there's Lenses, the coolest line noise you'll ever see.
Talk to the lowRISC folks?
A big problem I have with news articles: Usually they correctly state that an expert has an opinion (sure, someone thinks jawn is different for $FOO reason), but it usually has no real bearing on expert consensus, nulling the value of asking an expert.