skysight-inc/HackerNews huggingface dataset:
So if the professor doesn't do that and has TAs to do it for them... then what?

Designing the course is probably fairly high on the list of reasons, as is lecturing in a responsive fashion. Both of those are good, valid reasons to keep a professor on staff.

In addition, there's the fact a professor, being an expert, can shepherd post-graduate students through the process of becoming professors and doing independent research in the field.

I'm sure there are reasons I'm missing.
Yeah, incremental parsing is quite anti-functional--but tree editors don't need to parse.

Type checking I am less convinced. With syntax-directed methods one should be able to hash-n-cache each sub expression and get incremental for free. In the case of syntax directed + passing hints down the tree, just keep track of the hints too. [...let's not talk about Damas-Milner. :)]

Then, which I think Unison goes for, there is the approach where one never has untyped syntax to begin with. Not sure how annoying this is with normal programming, but should be great for theorem proving, which probably where tree editors will shine the most anyways.

I'll definitely look at those papers though, could be missing something after all.
Is it stealing for the government to take the property of convicted drug dealers, when that property has been acquired through drug sales?
"JavaScript is an object oriented..."

No it isn't. It has support for OO and you can choose to write code object-oriented if you wish. But equally you can disregard the OO bit quite happily and compose behaviour using closures instead.

None of my favourite JS libs are OO, it's a poor abstraction imho.
Saferoom – zero-knowledge encryption for Evernote and more
What I found interesting in TAoCP volume 4a is that Knuth pretty much abandons the idea of writing code altogether and just focuses on describing the problems and algorithms...and the book is still thick and dense. I think it has to do largely with the changes in programming tools over the 50+ years he's been writing. MMIX doesn't really capture the complexity of contemporary assembly on what ordinary people ordinarily think of as ordinary computers.

Pedagogically, I'm not sure the complexity of MMIX over MIX makes TAoCP more accessible to the general reader...but then that has never been its focus.
The avatar is something he spent time on and valued. He was cheating in order to take things that others had spent time on and valued. So killing his avatar as a response to these "crimes" is equivalent to taking someones property or money as punishment for theft. I'd hope you'd agree there are moral questions about what constitutes a just and proportional response.
That's just trusted timestamping, which is a far more generic (and therefore useful) matter than what these guys are trying to do.
Thanks so much for posting this! It might have taken a bit of courage, but I shared this with a buddy of mine and helped him a great deal +1 karma
Random side note: I think I should point out that Spanish-speakers will associate the name of the platform with "basura" (garbage).
Using GDP alone to judge countries is a huge value judgement. You're saying profit/productivity is the only thing that is worth measuring. This type hyper-capitalistic framing is what is causing a lot of our current problems, specifically because things like "higher ed, access to information, discrimination, democracy" end up being ignored while everybody focuses on profit.

> leaving (most of) value judgements to buyers

A working, fair market is a law of nature; assuming that markets will fix everything is a just-world hypothesis[1].

Markets (and capitalism in general) work wonderfully as a way to efficiently allocate scarce goods, iff the buyer has access to good information and the opportunity to shop around. For things like "democracy" and "discrimination", these conditions usually do not exist or they require some significant additional cost. For example, moving to another city for a job can be costly, but is done by people all the time; moving to another country to "shop around" for democracy is difficult and often impossible. Capitalism - in a pure form that is judge only by GDP - is the wrong tool for this kind of goal.

That said, I am not familiar with the specific index mentioned in the article (SPI), so I can't say anything good or bad about it. My point here is only that while GDP is certainly useful, other goals need to be included as well when we consider how to judge a country (or state, or city, or business, ...), or we end up getting what we asked for: a society that is very productive, at the expense of everything else, which usually ends badly.

Instead, I suggest at least some type of balance, pragmatic approach where many topics are considered. Yes, it will include value judgements - just like the value judgemet to exclude those topics. Solving this kind off political mess is time consuming and annoying, but it's a maintenance cost of running a free society.

[1] http://en.wikipedia.org/wiki/Just-world_hypothesis
Meh. I find the whole intervention thing very similar to the gradual English/British takeover of India.

You start out with a trading company that to protect their interests start training soldiers.

Then effectively take over administrative control of the place by propping up regional rulers.

But then gets in over its head and gets bailed out by the government.

Never mind the Banana Wars that USA was involved with in South America to protect United Fruit interests etc.
If a normal player jumped off that bridge, would they also die too?
Surround your stuff with parens
When there is no Dart VM in the browser I honestly don't see any advantage over TypeScript. Two VMs inside each other (with two garbage collectors) will always be slower and use more memory than just one. Additionally, you always need to ship the runtime with all your scripts. You also have to use FFI to interact with Javascript. All the advantages over plain JS you mentioned above are also present in TypeSctipt (or not needed).

There is also a nice discussion about TypeScript and Dart here: https://www.youtube.com/watch?v=5AqbCQuK0gM
No, I don't mean that, obviously enough.
A cautionary tale for those espousing the 'If you have nothing to hide...' line on privacy issues.

Mere suspicion of having something to hide is all it takes for prosecutors to file charges, and ruin your life.
Coupled with type inference, which you will need if you use a structured editor or not, then incremental type checking is indeed very non functional.
Hair Loss Cure One Step Closer to Reality; Scientists Grow Hair with Stem Cells
Ask HN: Who uses Oracle and why?
With so many different databases to choose from, why would anyone choose to use a proprietary database like Oracle?
He really means macros similar to the C pre-processor?

Dart is a modern dynamic language. Why should it need C-like macros?
This is really cool. Within about 30 seconds of playing around, I wished it had more scripting-like features (loops and blocks I can reference multiple times)
Didn't work in Firefox 37.0.2 for me, but did in Chrome latest.

Nice though, thanks!

EDIT: Forgot to mention; on Linux (Ubuntu 14.04)
http://typedrummer.com/piaw9q
Miles Davis.
I agree with this. But I don't think code reviews are suited for this step 0 as you say. Just the way a pull request is formatted, it's very hard for the reviewer to deduce from the changeset what the high-level design of the code is.

That's why we discuss these high-level design and architectural decisions before-hand so that they are known to the reviewer at the time of the review. We're a small team so it works well. But I'm not sure how this scales up as the team gets bigger. I would like to know how bigger teams approach this problem!
Hiring hackers, how much is it?
>Imagine if the death sentence in the US was not an electric chair but a Colosseum-like show with lions eating men alive, broadcasted on national TV.

Except this isn't real death. It's a game! The fact that you're having so much difficulty distinguishing between the two is a little worrisome.
> Two VMs inside each other (with two garbage collectors) will always be slower and use more memory than just one.

Is that how it works? I just assumed it would compile to JS and just use the JS garbage collector.
IE it can help to understand the intent and flow of the code, but also make it harder to debug. If I'm in a situation where I want to follow the exact instructions a large fraction of the code performs, a call stack jumping all over the place can be pretty frustrating.
1. So I've actually never used multiple clock domains with/ CLaSH. [The inverted clock I mentioned went to the RAM megafunction, which was instantiated in Verilog. For testing purposes my RAM (in CLaSH) had zero-cycle-delay reads, which is what the RAM w/ phase-shifted clock was supposed to simulate. Also the circuit topology is the same either way (but for the inverter on the clock), just the circuit "works" for different reasons, and thus the timing is different.]

I don't quite know what you are asking, but I think/hope the answer is yes. See https://hackage.haskell.org/package/clash-prelude/docs/CLaSH...

2. The QuickCheck testing infrastructure I wrote is all nonconvertible. But CLaSH has support to make testbenches. Like I said, I never used it because QuickCheck is oh so awesome, and undergrad projects are small, but see
- https://hackage.haskell.org/package/clash-prelude/docs/CLaSH...
- https://hackage.haskell.org/package/clash-prelude/docs/CLaSH...

Note that the testBench code works in Haskell too.
Same thing happens when an account is banned. The work that went into that account is lost.
VisibleTesla: free open source app to hack your Tesla Model S
I have come to believe that corner cases quickly turn fractal.

Once you think you have solved it, changing the "zoom" will demonstrate that your solution has created X more cases.

It may be a side effect of the halting problem.
I only see "Disabling comments until we post our new proposal. We are still working on the wording."

I really hope the concerns that were raised on this issue-page are not simply ignored, and I hope that this new proposal allows for an efficient FFI interface.
As a former professor the problem is purely time constraints. I loved to talk to my undergraduate students, but when the ratio is hundreds to one it is really hard to make this meaningful. Of course the active discouragement from the administration on spending any time with undergraduates does not help.
All ng-Vegas conference videos
That is exactly what struck me as well, I guess BLE 4 doesn't consume near that much energy as some people (me) think it does. So probably it's the display that consumes the most amount of energy. And since this device also has no notification feature it means most of the time there is no connection to your device.

This is good news to me though, means when I finally come around to making devices/projects I can use BLE and still have good battery life! Now just find a BLE 4 module that's cheaper than the ESP8266.
Lee's lawsuit was over the privacy breach of the investigation against him by government leakers, most of the information leaked about him was true, it was just wrapped in false speculation and innuendo by the reporting that linked his documented, suspicious activity to the alleged espionage that has as far as I know never been proven to even exist. The media companies settled with Lee because they didn't want to be in a supreme court case where they were subpoenaed for the identities of their anonymous sources. There are two separate issues, one is if Lee was a valid suspect (yes he was) and the other is did the government engage in a leak and smear campaign against him to try to bridge the gap for their lack of evidence that Lee was actually guilty of espionage (yes it did.)
How is gdp used in federal policy making?
Through bind of course, for the silly person who downvote me. Helps to have strict mode on. Happy to have educated you!
I'm having a few doubts about this ranking.

Freedom of speech in Finland is supposed to be the same as in Afghanistan? I'm sure they theoretically have it in Afghanistan if the table says so, but the consequences will be very different.

Health and Wellness: Life expectancy is a good overall indicator, but how can you quantify the situation of people who fell ill? Cheap access to good medical care varies a lot between countries.

Globally ranked universities: how about normalizing this by size of population, e.g. Switzerland vs. Germany?

Personal Freedom of Choice/Early marriage: where's the freedom of choice part in this? I don't think the relatively early marriages in the US, Canada and New Zealand are all arranged.
Because it's being sold as a solution to malnutrition. Part of that money will come from poor farmers and part of it will come from the budgets of aid organisations. But it's not a solution to malnutrition. It is a solution to only a single aspect of malnutrition, leaving the children affected with unknown but probably sufficient amounts of Vit A but still probably inadaquate amounts of iron, iodine, and zinc which need to be supplemented. Since you're supplementing iron zinc and iodine, and others, why not also supplement with a known dose of vit A instead of allowing companies to target poor people in the developing world. And, yes, poor people in the developing world do need protecting. The companies selling multivitamins as cures for AIDS, or Nestlé aggressively pushing formula milk, sometimes as better than breast milk, show that there are some companies who put profit above human lives.

http://irinnews.org/Report/73039/SOUTH-AFRICA-Quackery-hinde...

http://www.badscience.net/category/matthias-rath/

http://www.theguardian.com/sustainable-business/nestle-baby-...
I was under the impression that the primary reason why charities did donation matching was to allow them to take money from major donors to fund projects while still maintaining their public charity status by having widespread support from the public: if a small charity wants to accept a million dollars from some large company, they need to come up with half a million dollars donated by a number of small donors to pass the "public support test"; doing this per dollar instead of per commitment leads directly to "we can accept up to two dollars from this large donor for every dollar all of you small donors are able to contribute".
> Well, very little compared to what GDP+GINI would tell you

Well that's a bogus comparison. You would have to compare to GDP + luxury cars.
More of a counter to the intelligent design argument. Well, at least to the intelligent part. Proponents of intelligent design tend to be religious, and having difficulty accepting a fallible deity
I would suspect that a lot of people who run the Oracle database engine use it because they want to run Oracle applications - finance, ERP etc.
Definitely so
Related: "Why we have blind spots - and how to see the blood vessels inside your own eye"

https://www.youtube.com/watch?v=L_W-IXqoxHA
brilliant. http://typedrummer.com/ovzx48
Show HN: Create and send sorry greeting card with apology text and voice messages
Arq for Windows finally available
Also, shameless plug, but I have some QuickCheck instances here:
https://hackage.haskell.org/package/clash-prelude-quickcheck

That's all one needs to write their own tests w/ QuickCheck.
I've been doing PHP for 6 years and this tutorial made me really want to play with Python.
The distribution maps are odd. My best interpretation is that the "natural" map shows the countries where a species can be found while "artificial" maps show those countries where a species is economically significant.

I say this because the modern maize map does not include Sweden, but maize is grown in Sweden. (See http://www.alamy.com/stock-photo-maize-zea-mays-crop-floweri... for a picture, see http://småbruk.se/gronsaksodling/majsodling/ for a description (in Swedish) of a hobby gardener growing sweet corn in Sweden.)

Thus, the maps on the right-hand side should likely show a more extensive range for the domesticated variants.

You might believe that makes the argument even stronger. However, consider tigers. While neither domesticated nor native to many countries, tigers exist in and are reproduced in many countries. (http://zooborns.typepad.com/zooborns/tiger/ gives recent births in the US, UK, Germany, Denmark, and the Czech Republic.) A species distribution map using the similarly broad category would show that tigers are now wide-spread.

Thus, I think it's reasonable to conclude those maps were made more for their immediate propaganda effect than as something where it's possible to draw useful inferences from the direct comparison of the two maps.

(There are of course other problems with the map. Removal of milkweed in order to raise maize and other crops has lead to a steep decline in the monarch butterfly population. However, these maps cannot be used to address these broader.)
Same here, I've seen too many code reviews where people complain about a badly named variables and nobody saw the design was faulty leading to costly bugs to fix in production.

One thing we did on the current project is pre-commit reviews in pairs. This ensures at least two people in the team knows about the changes, let us talk about the why and how of the changes, and possibly teach a coworker new things in the process.

What it ended up doing is that every programmer now self-reviews their own changes prior to the actual review knowing they'll soon share it all face to face with a coworker. Turns out the talks are now about the design of the code, not how it looks.
The problem is that alternatives to ZooKeeper, like etcd or Consul, are too different.

They do solve similar problems, but their interface and their operational side is different. This would require some major work for the current ZooKeeper users.

As far as I know, there is no current system that tries to implement the same interface as ZooKeeper so that you could just plug it in wherever ZK is expected.
As per wikipedia:

"When current IQ tests are developed, the median raw score of the norming sample is defined as IQ 100 and scores each standard deviation (SD) up or down are defined as 15 IQ points greater or less"

Raw test scores are transformed so the test results distribute on a bell curve. Can't find a more precise definition though.
But when we use the word "fox" it does not include the ground under the animal. And if I look at the moon and say "that is part of a fox" I am using the language incorrectly.

Of course the word "alive" is ambiguously defined semantics applying to a loose hodgepodge of phenomenon (is a virus alive?). It may be convenient to use, just like the term "sunrise" is useful. But looking for the real phenomenon behind it is like looking for the caloric fluid or the land north of the north pole, they are words for ideas invented long before we knew much about anything.

Your notion too might be useful, that everything is part of a single grouping like the observable universe. But I think we'd be in error to suppose there is something real to either of these groupings beyond being useful names.
So, you mean that in ancient Rome/Greece people used plastics?
There's a lot in this article that reminds me of Bruce Lee's:

"Before I learned the art, a punch was just a punch, and a kick, just a kick.
After I learned the art, a punch was no longer a punch, a kick, no longer a kick.
Now that I understand the art, a punch is just a punch and a kick is just a kick."
If you take that approach, then you need to weigh the good and bad that the government does and how it does it's allocation.

If it has more money will it go to war more?
If it has less money will it cut social programs or cut down on military adventurism?
If it has more money will it be directed to special interests since social programs are already funded at a good level -- does more money enable corruption?

I agree with you about earning more money being for altruism; I think it's better to work a week and donate the money than do something you aren't skilled at. e.g. building houses when you can program and pay for 3 skilled builders - more gets done and at a better quality.
Zombie ZooKeeper nodes that appear as healthy members of the cluster after an OOM is something that can cause major problems.

There are two quick solutions on the operational side that can be deployed to prevent this:

- Run each zk server node with the JVM OnOutOfMemoryError flag, e.g. like this: -XX:OnOutOfMemoryError="kill -9 %p"

- Have your monitoring detect an OOM in the zookeeper.out log, and use your supervisor to restart the failing ZK node.

ZooKeeper is designed to be fail fast, and any OOM should cause an immediate process shutdown, ofc continuing with an automatic start of a new process by whatever is supervising it.
It's a great article but also long so here is a tl;dr

paraphrased:

Berridge stumbled upon evidence in 1986 that dopamine did not produce
pleasure, but in fact desire. In early 1990s, after rigorous research,
that he felt bold enough to go public with his new thesis. The reward
system, he then asserted, has two distinct elements: wanting and
liking (or desire and pleasure). While dopamine makes us want, the
liking part comes from opioids and also endocannabinoids (a version of
marijuana produced in the brain), which paint a “gloss of pleasure”,
as Berridge puts it, on good experiences. His most telling discovery
was that, whereas the dopamine/wanting system is vast and powerful,
the pleasure circuit is anatomically tiny, has a far more fragile
structure and is harder to trigger."

Potential clinical applications are always on his mind. His revelation
that desire and dread share the same brain operations, like two sides
of the same coin, could help ease schizophrenia symptoms. Iggy Pop
1998 album “Live on the King Biscuit Flower Hour” was used in
conjunction with bright lights to generate dread in the rats for these
experiments. (It worked.) A trial drug has had some success in
reducing delusions by restricting a certain dopamine neuron that
produces fear.

It goes on with an interview with and text about Berridge and his research. Including details of how his 1986 study started with "failed" lab tests. Further there are discussions with Kringelbach and his collaborations with Berridge and own research.

In spring 2014, Kringelbach and colleagues from Oxford and Aarhus
released a research paper on groove –music that makes people want to
get up and dance and is, as the study puts it, “frequently observed
in…funk, hip-hop and electronic dance music”.

They discuss Kringelbach Baby likeness test which splits on gender under one condition but equalizes under a less subjective condition. It briefly mentions the Stanford Lust and Loathing study (quote from study[1]):

We show how being “jilted”—that is, being thwarted from obtaining a
desired outcome—can concurrently increase desire to obtain the
outcome, but reduce its actual attractiveness. Thus, people can come
to both want something more, yet like it less

1. https://faculty-gsb.stanford.edu/khan/documents/jilting.pdf
Reading the Mystery Method was a life changer for me, I recommend it to everybody. Yes, it is so much more. Mystery himself said: "It's not about picking up women - it's about building a life!"
I suspect the problem would be like when Microsoft was making Comic Chat (a visual, comic-strip-based chat client) and their users were flooding IRC channels with useless metadata that normal clients didn't know how to filter out. I feel like this as a transitional period would be worth it though, and not significantly more painful than right now clients dealing with ical/outlook event notifications. I am really surprised nobody's made even a toy implementation of a social network on top of SMTP.
I'm working on a tool to deal with at least some aspects of this. It's very simple but might help. Look for a "Show HN" soon.

I'm also in communication with one other developer who has a very clever idea to achieve the same goal. Again, look for a Show HN soon.

And of course, if you want to chat more about these solutions off HN, email me - my address is in my HN profile.