skysight-inc/HackerNews huggingface dataset:
Lustig has his critics[1]. In fact, seems the mainstream almost thinks of him as a quack (almost). Myself, I can't discern who's right and wrong. I can see that a lot of people are overstating their level of certainty.

[1] http://www.alanaragonblog.com/2010/01/29/the-bitter-truth-ab...
This is a well deserved upgrade from the previous design!
A Guitar Hero way to learn music
Tip for rbenv users on OSX... install readline with homebrew and install your ruby versions with:

SKIP_PRECOMPILED_RUBIES=1 CONFIGURE_OPTS="--with-readline-dir=$(brew --prefix readline)" rbenv install (version)

to get readline working for irb/pry (for ctrl+r search, etc.)
Sure, you could build an email application in HyperCard. I'm pretty sure there actually were several. TCP/IP was available via HyperCard plugins or extensions or whatever they were called. HyperCard's card/stack data model would work fine for email. Making the list view would kind of suck, as lists always did in HyperCard, but you could use a plugin like WindowScript.

I wrote several commercial software products in HyperCard and SuperCard back then. It provided awesome tooling leverage. I worked on an EDI application that was written in SuperCard (with the EDI processing running in a C plugin) which was working, but later the company's president decided we needed to re-write the whole thing in C++ with the MacApp framework (http://en.wikipedia.org/wiki/MacApp) because C++ was a "real" programming language. This was the cfront era -- build times were long, debugging meant manually de-mangling names, etc. Crazy slow. We spent a long time on it but the schedule slipped long past the end of my time there.
Care to also post links to scientific evidence next to the reddit? Sure it has information, but from a quick glance it's information without much science/proof to back it up, from people who are already convinced. I think way more is needed to convince the rather critical spirits on HN :)
I prefer the term "Imaginary Property".
"type stuttering" eludes my ability to Google. Could you provide a link or a quick explanation?
The CppCat Analyzer Checks TortoiseGit
Show HN: Enterprise group text messaging for communities
TDD has two general meanings. The original, and strictest, says that each test is written and part of the test suite before writing any feature code.

It's also more loosely taken to mean anything which isn't test-last. The underlying idea of many, though wrong, is that in the old days, people wrote all their code before testing it, and in this modern era we know developers should write automated tests during the development phase.

However, I think it's unwise to mix those two terms. What you describe - running some code in order to verify new features during development - has a long history independent of TDD, as your own TAP example, dating from 1987, points out.
I do it, except they're not scripts, but really high level functions and objects/processes that create and delete themselves. And although I'm not explicitly TDD at all, those functions often end up becoming tests (or informing test writing) by production time.

Applications I write are ultimately experiments in the interop of N different libraries that I haven't used in quite this combination before, so the first code I write is usually checking to see if things will work in combination in the way that I think they will. That involves writing code that has the stripped down functionality of the parts of the design that I thought could benefit by using those libraries.

The last thing I finalize is the highest level logic, and by the time I write it, I know it's going to work.
Nice OpenVPN tutorial
When `dang made his post, my thought was that the activity was harmless and made trying to game Show HN less likely. Thinking about if two weeks later I realize how lame that is as an argument for keeping it.

For better or worse HN is run to meet YC's objectives. YC does not appear to value engagement for the sake of engagement very highly. People can disagree with that, But it remains a fact.
Why are nullable Rust pointers checked with "is_null" and not pattern-matched against null vs. non-null?
The video is a demo of a working prototype I have for enterprise text messaging.

The goal is to get an organization have their own phone number, so members of the organization can communicate through it.

So far the features are
+ 1 to many text messaging

+ Text messages appointment scheduling

+ Scheduled messages

Right now the domain I am developing this for is churches, and was wondering if any other orgs out there would be interested in this product?
Coercion and Type Refinement in Agda
They don't appear to have a website. I tried to look them up after the techcrunch event here in NY and it seems that that was the first time anyone had ever heard of them.

That said, I actually disagree with hagbardgroup. If Choi can pull this off, I think it would open up the world of custom makeup to a huge market of people far beyond the "home-brew" makeup hobbyists. The idea of putting on a fall outfit and being able to print out the perfect shade of mauve without getting in my car and going to Walgreens and spending $12 is pretty incredible. I think a lot of women, even those outside the target age bracket, would find this product useful.
It seems that security through obscurity has worked for them for millions of years!
Interesting to see that Edinburgh is using US style position naming in addition to more traditional UK positions (i.e. "Lecturer" == "Assistant Professor", "Reader" == "Associate Professor" etc.)
Scale. Twitter and Dropbox are dealing with problems in a completely different realm than Gilt or Birchbox. Shopify would be a more interesting comparison; it's an e-commerce platform, rather than an e-commerce site, which undoubtedly deals with a lot of issues Twitter and Dropbox had to in their earlier days.
“most people don't have the time to go throw 45's around a gym for an hour a few times a week”

“For people that are overweight, what we want “

“cutting out the extra calories won't help once insulin resistance happens.”

It sounds like you are overweight, sedentary, and insulin-resistant.

I mean this in all sincerity and without any mean spirit:

Please find a way to get healthy. If what you are doing is working, great. If not, reconsider your approach. Please do not give nutrition advice to others until you are actually healthy.
Why where makeup at all? The whole beauty-industrial-complex seems so ripe for destruction, and not disruption. My wife wears zero makeup, and I find she's ridiculously hot. Lets face facts:
1. Most makeup is not good for your skin
2. Makeup is deceitful (you're not showing your true self to the world = deceitful)
3. It's an enormous financial burden (especially for single women).
The exploits today are written for admin-rights account, because most people use that. But I'm sure there are plenty of non-admin->admin holes too. If running as non admin became wide spread the exploits would just need to add an additional step to become admin after they exploited the non admin user. Thus would be a short term improvement at best.
I'm generally for testing, but I have noticed a phenomenon that happens a lot: basically, the tests start influencing the actual design (in not a good way). To get the tests working, you end up having to write a lot more infrastructure and abstraction to support it. So you end up with 6 classes where one would do, because you end up needing an extra interface, and then impl, and then mocks, and dependency injection and on and on. Not to mention extra dev infrastructure like mock rest servers and so on. This seems more prevalent in languages where the type system is pretty primitive and concise code isn't as valued (ie: java). It seems like mostly a non-issue in dynamic languages like python and ruby (where honestly I think the tests are way more useful anyway)

To me, the problem is that each line of code should always be treated as a cost. More code is more cost. And if you're writing 6 classes where one or two could do, you're creating a lot of extra code. And we'll just ignore the time spent writing the test and assume that it'll pay itself back in the future, I'm just talking about the extra maintenance costs of having 6 classes hanging around and the extra time it takes to run those tests every time you compile.

I guess what it comes down to is not testing for dumb things. You should be writing tests against stuff you probably think could break. I'm not really big on the idea of 100% test coverage. I think once you're testing "most" of the code the cost/benefit of way more tests is mostly just in satisfying the OCD types.
Flight MH370: Author suggests missing plane was shot down over South China Sea
Being Go specific is implicit. If it was about something else than Go, we should have made _that_ explicit.

Go is absolute and infinitesimal.
Keep yourself distraction free while working from home
As fatigue increases your form will break down. There's no way around that. Any routine that over-emphasizes reps without also stressing consciousness of your form will inevitably lead to injures.
One wonders how long it takes people to figure these things out. Incremental reverse search with ctrl-r is not new and does not require a "modern" shell unless you've been using Unix forever, in which case you surely knew about it already.

Anyway just wait until this person figures out ctrl-a and ctrl-e and alt-. Then minds will truly be blown.
Researcher Creates Holodeck With Occulus and Kinect
This is the first time I've ever heard there are people making their own makeup at home. Given that people are already doing it - I think there is even a better market for this product.

People were already calling town cars before Uber came along.
I see, cron is absolute time events (every 5 minutes say or 2 minutes past the hour or once a week) and Active Job standardizes an interface to queue events relatively (5 minutes from this HTTP request, ten minutes from now). Is there a way cron could be extended to handle the relative case?
Again, after Poke? http://www.pcmag.com/article2/0,2817,2457866,00.asp
Different ARMv7 designs have different timings, but I think Cortex A15 is always the same, though running at different frequencies and voltages and consuming different amounts of power.
Continuing this thread of thinking , maybe the reason people will buy this is customizability and play , not price ?

And from a quick search it seems that there are some cheap makeup available online, So my guess this industry is mostly based on marketing(branding, controlling channels, etc), so you'll need disruptive marketing, and maybe home printers + youtube tastemakers would work well for that.
Given how little calories exercise burn per hour or per mile and I don't see blame on walking or not being a big factor. It surely is in the popular culture.

Most importantly this idea is dangerous because it is used often in the PR campaigns of processed food manufacturers. "Drink the 1L soda bottle, it is ok, because then you can walk around the block to burn it off!" kind of idea.
Ask HN: I am not a writer or designer, can I still quit my job?
I can count myself among the discontented at work. I am contemplating going out on my own and would like to hear from any sysadmin people like myself who have created an independent working life for themselves. I ask as most of the positive stories I read in this area are about writers and designers.

I have had some moments of creativity but this does not describe me (I have a website on the side that generates around $10k a year). So is there anyone else out there who isn't writing for the New York Times or designing Phone Apps, who looks after networks and servers and such things, that has managed to make an independent working life?
My memory is hazy, so I cannot say for sure. The fact that I didn't document that as a requirement suggests that either I didn't know it was, or that I did, but it didn't help.

Either way I will revisit this now there is a new Debian stable, and I can install the package natively without using cabal.
It's abstractly possible, but you have to tell one hell of a Just So story to get them there. Foreign life forms are embedded in the same physics we are, and most likely experienced the same basic life-and-death fight for every resource that our species did before our intelligence explosion. There's many ways they can be different than us, but there's a lot of ways that any intelligence embedded in the same universe as us must be the same, too. I think people get stars in their eyes and put way too much focus on the former quite often.
I really did enjoy this article. I don't think there is anything new here, but it's presented in a very "mass media friendly" way, which is important for finally defeating the "just eat less" mentality.

Of course, it is still calorie in, calorie out, but we need to understand what effects metabolic changes in our body if we want to understand what calories are going out. Furthermore, quality of life generally indicates most people don't want to shut their metabolism down even if it did mean weight loss -- we want to be energy using machines that are motivated to "get up and do stuff", so just blindly reducing calories is not the path to that.

Calorie counting is an important part, but knowing what macro-nutrients ratio is just as important. More protein, more fat, more fiber, less carbs will help that a lot. Why is calorie tracking still so important? because fat takes forever to metabolize and is denser than carbs, so (a) You will need to break the psychological programming of expecting food to provide instant fuel, fat will take an hour(ish) to energize you; if you just are "still hungry" and eat more in 30 minutes you're losing the battle. (b) Most of us are used to eating a volume of food that equates to the calories we want from carbs. Eating that much in fat will obviously not help weight loss goals, so when eating fat dense foods we must eat much smaller portions.

There are really two separate feedback loops we use to feel sated. Fat is good
Note that a given python may be compiled without readline or with a readline replacement.
uint8_t foo = (uint8_t)69;

In theory, there should be no need to specify the type twice. The ideal circumstance is something like

uint8_t foo = 69;
just tell him to try to sell it to potential customers and to potential investors (without lying). if it's really a bad idea, that should make it obvious.

or send him to me and i'll tell him (assuming it really is a bad idea). =)
If you are "tapping for burst fuel" why are you worrying about your diet (apart from the sensible am I having good things enough worry...) Surely these diets are aimed at people who need to loose >10% of body weight ?
This is what I meant: http://en.m.wikipedia.org/wiki/Open_allocation

BTW, are you Andrew Dalke?
Former Enthought employee here, I always liked programming with Traits. Although nowadays I use the similar but much for light weight atom[0], which was created by another former Enthoughter.

[0]: https://github.com/nucleic/atom
While I totally agree with the call for more responsibility from the rest of us, the effort require to convince, coordinate and collect such money from 1 billion people would be extraordinary. Better to convince a few people that have already done the "cash aggregation" throughout their lives :)
If you want to get into machine learning, it is actually pretty easy, provided you studied Math, Engineering, or Science in University. The papers are hard at first, but they don't hide like other papers do. Everything is laid out there for you to code and run with your own data. In a field like, say, Structural Engineering, the paper writers can make claims about the structural resilience of an Ultra High Performance Concrete that they tested, without you ever being able to hope to repeat the exact experiment. You may not even be able to get your hands on the proprietary compound they used.

In ML, you might not be able to use the same corpus / training set, but you're usually able to recode the actual algorithm and you're usually able to find a compatible type of data set to work off of.

Also, most ML people are lazy, so if they don't work for Google or Facebook they're usually using open data datasets anyway, which are trivial to drop in and verify.
I think they only killed Poke a couple of weeks ago too. Although Zuckerberg did call it a 'joke' quite a while ago.
Sure, but you have to wait until runtime to detect those errors. Which means your codebase can have a nasty bug that you might not even notice if you don't run a particular test case. Static typing detects the same thing, but statically at compile time.
ahh thank you. I thought they meant "tapatalk" the popular forum viewing app.
Read it. Still have no idea what it actually is or why it is on HN.
The fact is people wear makeup in spite of your stated facts, and have been for thousands of years. Makeup is just one part of how humans express identity, and for me it's on the same level as shaving, doing my hair, putting on a nice smelling perfume, wearing a nice suit with a tie and a pocket square I carefully coordinated. You call it deceitful, I call it enhancing.

It's pretty much ingrained in any culture, and it's not going away anytime soon. Makeup is here to stay, and definitely not ripe for 'destruction'.
^R is useful. But for me, there's something even more useful than searching for a string in your history using ^R: completing the line you're currently typing from your history using Alt-p. This comes in handy when you realize, after typing a few words, that you don't remember the arguments you need.

Say you start typing "ssh ex". If you hit Alt-p, you get "ssh example.com"; hit the key another time, and you get "ssh example2.com" (or whatever you've `ssh`ed into in the past). A matching line has to begin with what you've typed so far, so it will match "ssh ex.com" but not "echo ssh ex.com".

To get this behavior in zsh, you can use the following:

bindkey '^[p' history-beginning-search-backward
bindkey '^[n' history-beginning-search-forward

By the way, if using the alt key is cumbersome (as it is on OSX), just press once Esc (and release) and then press p, which in the terminal is always equivalent to simultaneously pressing Alt-p. It's also easier for my fingers to reach, given the different positions of the Alt key, so I tend to use Esc instead of Alt.
The ultra-lethal drones of the future
I disagree that it makes sense, but that's okay.
Hmmm... no mention of "trade secret".
Crossfit was my first introduction to Weight lifting. In that sense, I am very grateful to CrossFit. However, the process of learning form is incredibly hard. I went to one of the best Crossfit boxes in SF and while I have complete faith that they did emphasize good form, being overwhelmed by the number of new things I had to learn while maintaing good form was too much for me. This came to a culmination where I hurt my knee while doing fast reps of deadlifts.

Since then, I follow my own program of mixing strength and cardio-vascular activity. It took me two years to learn good form. And good form is really really hard to learn. Mainly because you have to go beyond prescriptive advice from books, coaches or the internet and find out what works well with your body. For example, I have relatively long femurs and a narrow squat stance ends up creating additional pressure on my knees. It took me a long fucking time to get over the prescriptive instructions that one's squat stance has to be shoulder width.

Another thing that I personally realized was that very few people understand the principles behind a fitness goal as opposed to cargo cult practices. For example, for a long time, I thought that the only way to build strength was to do barbell exercises. On the other hand, there is a place for machines. This surprised me. Especially since the internet (bodybuilding.com/reddit) seem to chant about how anyone who doesn't do barbells is doomed.

Also, learn the limits of your body. If you are not 17 and filled with natural testosterone or pump your body with steroids, it is going to be hard for you to achieve the kind of transformations that a lot of people appear to achieve. As you grow older, your body just doesn't want to keep gaining muscle.
Mixing replies and quotes from two different comments completely muddles the waters and confuses the issue of authorship. Please don't do that.

If you looked a little closer at the report I linked to, you would find that "obesity prevalence among adult males did not vary consistently with level of education." Which is in fact exactly what I stated.

Sure, NYT non-readers might on average be fitter than NYT readers. But that's hardly a reason for it not being beneficial to or interesting to NYT readers. By that logic, we should never post intro coding tutorials to HN because on average they'd be more helpful to the general public than HN readers.
Which one did you prefer or like better?
You have a strange definition of interesting. Even dynamically typed languages are used in a static way most of the time; this is why JavaScript engines can perform well on most code. A type system without generics can still find plenty of bugs.
Good point. But do you think that an average engineer few years out of college working at twitter / dropbox is working on projects that enables one to see the big scaling solutions or are they just working on one little side project that no one really cares about; whereas at Gilt, they may have a much smaller engineering team so each engineer has a broader set of responsibilities. I think if you are like a VP level person, yeah I completely agree with you, but wondering if that experience is similar at the junior level.
I quit doing deadlifts when I stopped competing in powerlifting. Deadlifts are a fine lift, and not inherently dangerous -- but I do think they are inherently risky.

After hurting my back (while being competently coached), now lifting uncoached, and without one of my goals being 'deadlift a big number to get a medal' -- I've dropped them from my routine. I just don't find the benefits necessarily worth the risk, in my specific case.
OP here: I've been using Unix as my primary desktop, and Emacs as my primary editor, since 1988. I've known about these keybindings for a heckuva long time. But I keep encountering people who don't, and who are delighted to learn something new. I thought that it would be nice to share, that's all.
IMNSHO, 128 and 256 just was never relevant for a smartphone, especially one that ran early Android. My original generation Kindle Fire tablet (came with a hacked up Amazon'd version of 2.3, I swapped out for CM, currently running Android 4.4) has 512mb of memory and was horridly slow with stock Amazon ROM. No cell phone radio, no microphone, no camera, decent for the time GPU, still slow.

It gets a little bit faster with every new version of Android that comes out, and with ART enabled it is noticeably faster in some apps. 128 and 256mb devices should just be scrapped, there is simply no reason to keep them around anymore.

So, I stand by what I say, even with low memory mode needing 512mb, it is far better than being stuck with Android 2.3.
Dow Jones Jobs – Editorial Jobs
OP here: Yeah, I'm rather surprised and frustrated that my server went down due to this traffic. It has handled much more than this in the past without an issue. I'm looking into the problem, and hope to have a solution very soon.

Update: Server seems to be doing OK...
Try and ask your girlfriend to show up without makeup on a party (or just out if she is above 30).
By hiding imperfections the makeup enhances looks and the latter is quite an important factor for females' own perception.
It's probably because you can find testimonials for every fitness program ever on the internet, from Crossfit to Himalaya Spiritual yoga (I made that up).

In fact, you can find testimonials for everything on the internet. They are all a bunch of "this worked for me" and they offer absolutely no insight.
Seems like a great site. Is there anything similar out there for Mathematics?