skysight-inc/HackerNews huggingface dataset:
This is amazing, no doubt. Not just the craft but the ideas and presentation.

However, I can't help but feel uncomfortable that this is not part of 'something bigger' -as many of the disconnected knowledge pieces across the web- that we could all contribute to (at the least for teaching/sharing/tweaking mathematics).

I am talking about a vague idea of what LaTeX was for unifying typesetting but for unifying collaborative proofs+visualization. Call it "VS" [1] to make the following analogy:

Before LaTeX, no one would have questioned your thesis for having handwritten equations on the gaps purposely left by you with the typewriter. It would not matter if you penciled the equation in or physically pasted a picture of it. No one would question the choice.

Similarly, before this hypothetical VS, people use Matlab, Mathematica, Sage, CoQ etc without anyone questioning any of the choices for a result/proof/visualization.

Even worse, before VS++ people publish papers on different journals with different degrees of access, many not even sharing the code used for arriving at such results, no way of verifying/visualizing unless you're running it in your head's OS.

[1] https://www.youtube.com/watch?v=KvMxLpce3Xw (Vulcan School)

[+] I may be repeating myself https://news.ycombinator.com/item?id=11129297
Therapy is just scaffolding that gives people the opportunity to work through their issues and can provide the courage and motivation to carry through. It works for some people but not for everyone. Personally, therapy is not for me, but I would never discourage anyone else from trying it.
Be aware some of these images have dates from >1 year ago. It might have been fixed a while ago.
"AND CHECK OUT THIS COOL WAY TO TEST IT"
Microsoft HoloLens delivers Star Wars holographic message we've been waiting for
Actually it's more akin to you having an outside faucet, some kid using it to spray someone else walking down the street, and then you being expected to apologize for allowing the possibility.

And there was plenty of positive reception to my comment. Not that I particularly expected it as I wrote it - speaking truth to power is never easy, and it's even worse in a democracy when that power is distributed throughout the herd.

But don't worry, I'll continue advocating for the unpopular truth even after this buildup of reaction finally overflows and the prevailing groupthink switches back to jingoism and overt bigotry.
Thanks! First, I'm not as likely to do any planning or detailed planning when I wake up at say 7:30 and immediately need to get kids to school. It probably won't happen at all. So with that taken out of this equation, the rest takes me maybe 10 minutes to do. In the evening just laying in bed now puts me to sleep in about a half hour. And pre-sleep in-bed stuff is remarkably similar to my normal couch stuff anyway.

I can't give exact figures but even being conscious that early in the morning seems to be some sort of amazing life hack, like you are sitting there going "I did it. I did at least that much today." There is some holistic benefit outside of the spreadsheet, in other words.

But regarding planning in general, I know I have made some astounding productivity gains with planning. The first time a planning session saved me four hours of work off of a six hour estimate, I put away my hotshot coder/designer mentality, redoubled my planning efforts and started flow charting, mind mapping, etc much more frequently. I don't plan everything out with exactitude, but let's just say that while I used to laugh at those obsolete books on flow charting, now I pore through them to see if I've missed any tips. And I use them for all kinds of things, not just coding. A design agency asked for my template a while back and I made it available on the web for libreoffice users.
yum sewage treatment plant
Safari does nothing when tapping on a story link in HN. Trying to long-hold and open in new tab locks up the app, forcing me to quit it (via the app switcher).

Chrome on iOS (which uses a Safari webview internally with some custom handlers) lets me long-hold and open in new tab, but single tapping on story links does nothing.

Similar situation on other sites. I don't have any content blocking apps installed that I know of. Seems totally random which sites work in which browser and which don't. Phone is worse than useless now.
C.S. Lewis did not intend for his books to be read through a Hindu worldview

Sure, but that's irrelevant, isn't it? The artist doesn't get to choose how people react to their art.
I'm blown away by all the openness and good advice in this thread.

I've suffered through bouts of depression most of my life as well. Luckily, I learned a few things about how to deal with it in my younger years - not that I have always followed the process, but at least the tools are there.

Technical fields are very prone to bring out depression. We work long hours, spend a lot of time in isolation, and have little time to celebrate our own successes. Poor eating and lack of exercise add to the recipe of less than optimal mental health.

There are a few things you can do to help yourself avoid a bad mental state, and help others as well.

1. Have a good attitude. This Ted Talk is fantastic: https://www.ted.com/talks/shawn_achor_the_happy_secret_to_be...

2. Be more social. Interact with people at work and outside of work. Include others in your day to day adventures.

3. Get more sun. It's spring time. Enjoy it.

4. Get exercise. It's crazy how quickly you can go from completely sedentary to running a 5k.

5. Get sleep. It's astounding how much of a difference regular sleep will make in your happiness, in your metabolism, and in your overall outlook.

6. Don't accept dangerous behaviors out of your peers. When you see someone working 100 hour weeks over and over again, make them stop. We all appreciate a solid work ethic. Don't take advantage of it. When you see a co-worker isolated due to workload, figure out ways to bring that person out of it.

7. Be a leader. Be healthy. Have balance. Show people what kind of a difference that lifestyle can make.

Depression is always best cared for by a professional, but not everyone is open to therapy. When you identify someone going through it, don't simply recommend seeing a doctor and move on. Be a friend.
This was definitely a cool one. If you were wondering, this is a makeup kiosk POS machine in Shenzhen.
> Even just responding to someone's post is an act of some empathy.

You sound like a precious snowflake when you talk like this. You don't dignify anyone simply by responding to them.

Yes, I was judging @williamcotton for lacking empathy for the grandparent. Read some of his responses, and you'll see I was right. @williamcotton thought grandparent needed some tough love advice from a benevolent sage - NO THANKS!

Empathy, not sympathy and certainly not scorn, is what grandparent deserves. And real empathy requires applying the Platinum Rule, not the Golden one. Look it up.
I like adding final to most of my local variables. I can declare a variable final, and no matter how complicated the control flow is that assigns its value, I know the compiler is enforcing that it's only set once. It also avoids accidental = rather than == bugs.
And, if elected president, I will do something about this shortage.
Shakespeare in the Bush (1966)
thanks folks, that makes more sense.

do you have a source for the ~150MB figure?
Here is the thing: the drugs are like a cast or a crutch. They help you heal.

The talk therapy is like learning how to get strong so you don't break bones or lose balance and fall.

They go together. You can do talk therapy without the drugs but that didn't work for me. The drugs got me into the right frame of mind to understand and process emotions. I could be mindful and see when I was irritated because depression was creeping back in.

I don't think depression is something you completely cure. I think it's something you manage your way out of and keep at bay with constant effort. Mental hygiene practiced with a professional goes a long way towards making that happen.

Look, I discussed some really gut-wrenching things with my therapist. I dug deep. I did the hard work. It wasn't fun.

But today I'm able to live without drugs or weekly visits to a therapist. I'm effectively in remission. And let me tell you man: I'm HAPPY.
Even without reading the article, aren't most populous areas along the coasts? I mean even if you count Chicago, as being "on a coast" (a Great Lake) --- what I find interesting is the thousands of years long tradition of using water as the symbol for thought...
I used to have major depression. When I was in the military I nearly killed myself when I snuck a bullet from the rifle range back to my barracks. I was deeply in pain.

I think people who feel this way definitely need to seek help. I was lucky in that I didn't have to. What solved the worst of it for me was going out and being with people, having success (and epic failures) with dating.

Even though the depression never really neared suicidal levels again I was still mostly sad and I didn't realize this until many years later when I took some MDA. I hadn't ever done drugs before except some minor pot and MDA showed me the difference between what I had been feeling and what it was possible for me to feel like. I only took MDA a few times in my life and it's been over a decade since, but I learned from those experiences what kinds of things made me feel better and what it was possible to feel like and I've strived to achieve those feelings without taking drugs.

Now I feel happiness by achieving goals, being around people I love, having silent moments to myself, exercising, managing my stress levels and listening to music that makes me feel better.

It's not always a rose garden, life can be tough, but I never really feel like those awful pains of despair I lived in as a young adult.
I typically get up at 6am to start work for the day at 7am.

I use an alarm clock, my iPhone, set to the obnoxious "alarm" sound, and keep it on the desk across the room where the phone charges, next to it as a large glass of water. Alarm goes off, while it's still going off drink the water and look out the window at the light. I've been doing this for ~5 years and it works really well.
I'm sorry, but why do people still use HOL? It seems so much more annoying than type-theoretic approaches (Coq/Agda/Idris/Lean). [Cool work judging from the title nevertheless.]
VMware has a built-in VNC server on both ESX and their desktop virtualization products.[1]

If you don't configure a password to connect, no password is required.

[1]: https://pubs.vmware.com/workstation-9/index.jsp#com.vmware.w...
Uh, yes we do: factions of power. (with nuanced corruption)
Agreed. Given that airports have been closed because of an empty cardboard box with BOMB written in marker, if a lot of people wanted to mess up with everybody else they could have done so easily.
Judging by the continuous stream of people convicted for buying what they think are explosives from undercover FBI agents posing as jihadists, there are a lot of people that want to blow things up. Or take the 53,000 to 258,000 people that are estimated to be part of ISIS's military forces and allied groups. Thankfully, most of them are pretty stupid, but there are also plenty of highly educated terrorists and they tend to be engineers.

The flaw in the argument is likely GP's inference that "there are some controls there that I'm sure if the wrong person pushes that red button, something will go kaboom." Critical infrastructure tends to be better engineered than that. Cybersecurity threats are newer, less widely understood, and inadequately guarded against, but human error is an age-old problem.
Visualizing Big Data using R
I found this very interesting and well written. I submitted it to HN: https://news.ycombinator.com/item?id=11368960
The way Qihoo 360 operates should give anyone pause: https://www.techinasia.com/360-safe-browser-malware

Stolen recolored IE icon, sneaky installs, difficult/impossible uninstalls, fake "security" ratings, etc.
Agreed with other comments. Some really good insights. I wish I had those in school when I was learning this stuff:

Some gems:

> Every exponential curve of any base or offset can be drawn by scaling/ translating any other exponential curve, vertically/horizontally.

> ... a cosine (or sine) is essentially an approximate sequence of parabolas, alternating upside down. This tells you about the Taylor series expansion, and is not that surprising if you know that sine and cosine are solutions to a second order differential equation.

This one I found not completely intiuitive at first, had to think about it a bit:

> With complex numbers, it is trivial to twist the graph
I normally buy non pasteurized natural apple juice at the fresh market from a place that I chose just because the guy was nice to my wife.

One day he was closed, so I went for the other one that sold another non pasteurized _healthy_ juice.

I brought it home and was kind of puzzled : I put my yeast, and set my home made setup for making my cider and it was not kicking as much as usual. So I tripled the dose of yeast. Finally kicked.

After 9 days I tried it. It was alcoholized AND sugarished.
One of my highest batch. And I was really puzzled.
Yeast makes alcohol out of sugar. And I had put my regular chaptalization. Nothing that should have been that sugarish AND alcoholized.

It was weirldy tasting like sorbier (rowan and mountain-ash). I knew this taste, because my great mother used to make us drink this horror as a water syrup when I was kid. Once you know you never forget. Beuark.

And I got sick for the first time the day after. So I inquired.

When I told my story to other vendors they told me it was a classic in "healthy food", sorbitol helps conserves without being actively searched. Hence my triple yeast kick.

The funny part is that I realized you need no labs to detect fraud, you need to have eaten the "right" food as a kid. You need to be critical, experimenting, thinking. And confrontational.

You know, I began making my alcohol for the same reasons my great father did when he was a (Belgian) migrant in France. Because he was poor and wanted something cheap of a quality he liked.

I learned making my malossol, my ketchup, my tomato sauce, my mistelle.... to. Because, coding is not enough skills.

And nowadays, I am better at appreciating food and detecting food fraud.

I really appreciate what being poor has taught me, I don't really appreciate that most customers are so ignorant they make food more expensive and less edible for "healthy reasons".
Something is kind of wrong globally. But I kind of don't care, me, I can survive.
dat bacon cannon
robot = worker

If Čapek had been an English speaker, he would arguably have called his androids "workers".
Reverse Lookup – iOS App that retrieves name from a phone number
Too bad she didn't have a Fitbit or Apple health app so we could have that data :-(

--- EDIT:

Who the fuck would downvote that?? Knowing the exercise habits of a 120 year old person should be awesome. You think I'm playing fanboi? Jesus, no it just would have been valuable to know her physical habits. So, explain yourselves.
Or is there? queue x-files theme song
Pick an open source community and you will find plenty of help.

Paid internships with assigned mentors are also available through Summer of Code, Outreachy or project specific programs:

https://developers.google.com/open-source/gsoc/
http://www.outreachy.org/
http://www.x.org/wiki/XorgEVoC/

OpenHatch is a great resource too:

https://openhatch.org/
If you're a coffee drinker prep the coffee pot the night before. It is nice to just get up and hit a button. If you're super lazy they have coffee pots with start timers on them, too.
I have a dog that gets me up at 6 every morning, but that dog is also asleep again by 9 or 10, and doesn't get up again until 3 or 4 in the afternoon. While there's no way I can do that (even if I had the free time to do so) I do make a point to schedule an hour or two in the afternoon to rest if I need to. Knowing that I can rest for a bit if needed makes getting out of bed less of a burden. I realize that few jobs allow for that, but they absolutely should. I probably get more done before 9 than many people do before noon.
The Craving for Public Squares
This seems like it could have been prime territory for a bit of surrealist/meta fiction, with gradually stranger descriptions of operators turning into a short story of some kind.
Dine: Better than tinder
> If we run out of land, we take the sea. If we run out of sea, we take space. And so on.

This answer precludes the very real possibility that the necessary technology advances to "take the sea" or "go into space" don't come in time to be useful. Any plan that includes "things that haven't been invented yet" isn't a real plan, it's wishful thinking.
This. When the alarm clock is removed, I jump out of the bed as soon as I am awake.
3 Things You Should Do for Her to Maintain a Healthy Relationship
> Although the amount Mr. Raffray already paid is more than twice the apartment's current market value, his widow is obligated to keep sending that monthly check. If Mrs. Calment outlives her, too, then the Raffray children and grandchildren will have to pay.

Hard to see how that would be legal.
...such an easy decision not to send our kid to public schools. I feel so blessed to have that choice.
And yet she didn't get to experience what my great-grandmother did, which was to live in parts of three centuries. She was born in 1899 and died in 2002.

Admittedly, she probably didn't remember the first '99.
Sunny climate? Makes the whole business much easier.
One moment, We are checking your browser to verify that you are not a bot.....

Couldn't get passed that.
QEMU and VirtualBox have VNC servers too. Can be a handy feature.

Why this would be exposed to the public Internet, I have no idea. Maybe some poor soul was doing this in a combination of being directly plugged in, no NAT/router in the way, and lack of or weak OS-side firewall.

Speaking of NAT, IPv6 might make these things even riskier, but I hope most people are running a firewall on their OS. The built-in ones on Windows, Mac, Linux should all do fine.
It sounds like you've ended up roughly in the same place a I have; that there may be one or more Gods but that, as their existence or not is by definition un-testable, that if they do exist then they're irrelevant.
>This guy is basically telling everyone from the grave to vote Trump, or Trump-like economic policies... but never utter such a thing around these parts!

I know this is going to sound tiring, but: why not Sanders?

* He's not as blatantly evil as Trump.

* He's not at all a bourgeois globalist.

* He's constantly banging on about what trouble the working class and middle class are in.

I don't see why everyone's supposed to consider Trump the default vote for people who care about class issues, since he's actually an objectively terrible candidate.
I can relate to this article. While in UK, back in 2008/9, I was a senior developer (C/C++). The favourite topic during lunch times was who will be gone or who will be retained. One guy, who everyone thought would be safe was a Team Lead (of a system written in COBOL). This guy had been awarded topmost grade in recent appraisal cycle.

He was layed-off and I got the charge of handling his system, in addition to mine, with no promotion. Apparently the only thing mattered was how much "value-for-money" an employee is bringing to the table. I came to know later that almost all team leads were layed-off because the systems in question were in existence for last 10 yrs and were stable.
When I was in college I found a number of books on the shelves which had uncut pages; I used to just use my student ID to open them up. It'd have been great to have had a paper knife to do the job.

Funny how folks forgot so quickly what uncut books were like, when we still have them on our bookshelves today!
One typical use for !! in JavaScript or Ruby is where a function/method returns a boolean value that indicates the presence or absence of an object.

You could just use:

return myObject;

Since that value will be truthy or falsy, any code that tests it will generally work, as your if statement example demonstrates.

But there are two advantages to doing this instead:

return !! myObject;

1) Now you are returning an actual boolean value, not just a truthy/falsy value.

2) Sometimes more importantly, you are now releasing this function's reference to the object, instead of possibly keeping that reference around much longer than needed and preventing it from being garbage collected.
I am sorry, it seems that my point is completely lost behind snark. Let me put it straight then.

The argument in this thread is that games industry is somehow behind times and not using the best practices used at places such as Twitter. The question is - how do you know your practices are the best and not the other way around?

Game studios go out of business if they don't deliver quality software on time and on budget. I know it first hand since I have been through several studio closures. The practices game studios use are tested through natural selection - if they fail at delivering software they are out of business. To make things more interesting there is also competition: a good game decimates sales of the worse games released around the same time. And if the sales go below the projected ROI - it's the game over. So it's not enough to be good enough to survive, you need to be better than the competition.

Trendy web companies don't sell software. They sell services and the quality of software they use is secondary. E.g. if I wrote a Facebook's clone but 100 times faster, using 10 times less memory and with 1/1000th of Facebook's staff it would not threaten Facebook. People would not close their accounts and move to my network just because I have better software. A web company is fine as long as their website runs semi-reliably.

So how come the battle-tested practices of the games industry are so bad compared to the practices of the industry, which mostly sells advertisement? What are the criteria you use to compare?
LinkedIn is a SPAM Magnet
If you are going to diss Aurelius on his advice dispensing (calling the classics 'stupid'?), you had best have profoundly insightful alternative to propose. The author did not. I bin this in with 'more patricidal (elder disrespecting) rubbish' seeking to overthrow the tables of the greats who got us here and usurp it with presumably more salient and/or pertinent 'recent findings' or what have you. Such endeavors usually fail miserably.
Aren't product release announcements usually just a changelog with some self-congratulatory boilerplate on top? Thats what I expect at least.
This is why Foodcoops and CSA (Community Supported Agriculture) are booming.
They bring producers and consumers back into a direct relationship.
One thing that bothers me about the Node community is how the first person to implement a protocol/API/wrapper tends to name their package something like 'protocol' or 'protocol-js' instead of something like 'a-clever-differentiable-brand-name' as is common in other software communities. That makes it hard to distinguish an unmaintained package with tons of bugs from a more polished version sponsored by a big-name contributor, and makes it easy - even encourages - consumers to place unwarranted trust in packages with legitimate-sounding names. As an example, consider if a new browser on Linux was packaged as 'browser-linux' in the system repositories-- how many downloads would it get?