skysight-inc/HackerNews huggingface dataset:
I'm quite familiar with homotopy theory but had never, prior to this point, taken a serious look at homotopy type theory. The following appears to be a great (highly technical) introduction:

http://hottheory.files.wordpress.com/2013/03/hott-online-323...
How to clone Bitcoin to create your own crypto currency
The nD is now the virtual console inside the "bob's game" RPG that you play the minigames on. It still exists, and I am developing a small SDK for others to create games for it.

I was genuinely talking to the Dingoo (Chinese handheld) manufacturers about making a custom handheld and had them agree to a very good price point, but I failed to get any traction trying to get investment since I had no idea what I was doing, and I was too early for Kickstarter at the time (I am glad, it would have been way too much responsibility!).
Since then Android devices have improved so much so quickly I don't think it makes sense anymore to bother developing a Linux based handheld. I would rather see something like an OUYA handheld for $50, as developing for Android is a very pleasant process and there is already a great library.

This puzzle game was playable on bobsgame.com as a Java applet for 6 month in the context of playing it in the stadium by using the nD handheld.
China's supercomputing whizzkids: Busting out a 8.224 teraflops cluster
It's interesting to me that the author links to an article about how coding is useless for journalists, and then spends the rest of the article talking about all the web-scraping scripts she's written or could easily write.

For me, this seems like a success of the whole teach-everyone-to-code thing; the author's picked up a bit of simple scripting and it's made some things dramatically easier for her. It's certainly not professional-level, but that's normal; for example, many people think programmers should know how to write, but few think they should all be able to churn out high-caliber journalism. Is this a failure of setting expectations, or is that really where some people are setting the bar?
I shot the video for my pitches with the camera in my Mac, and edited it with a demo copy of Final Cut. I probably could have done it with iMovie, to be honest, except I got sick of trying to do some complex camera moves on still images in iMovie.

Also if the tournament setting won't be there in the actual product then why on earth is it in the video and images? IMHO it's actively driving people away from your game. Present what you're intending to actually deliver.

Oh, and the easy higher tier to draw larger donors in: Your Name In The Credits. Name A Game Mode. Name A Level. Etc, etc.
From a developer's standpoint it does matter. Every OS version, hardware version is another platform you have to support and test against. Even on identical hardware with an incremental version difference it is not uncommon for some strange edge case to cause something to break.
From the first line of the source, it's a PIC (microcontroller) program, rather than something for x86 (which VirtualBox and friends emulate), so, no.

There are a few open source PIC simulators -- e.g. [1] -- and I would guess you might be able to get it running, since the link layer is SLIP over a serial port. You'd just have to wire up the simulator's serial console in the right way.

[1] http://gpsim.sourceforge.net/
This guy is my favorite troll in the indie game community, glad to see he's not dead.
This script has been around for a while.

https://www.google.com/search?q=%22The+requested+document+is...

Anyone know the origin?
Thanks for the laugh.

Also, I wonder what the definition for "traffic" is within the context of this research.
Humour is subjective. What I find not funny, other people will find hilarious, and vice versa. I am not humanity's arbiter of what is or isn't funny, and neither is Molly White.
I would recommend Type Fu as a similar alternative that's freemium and offers more features atm. You're not typing code, but it can generate some interesting data, and scales the difficulty level as you improve. It also supports a bunch of different keyboard sets, so if you've always wanted to try learning Dvorak it's a solid choice.

http://type-fu.com/
Google services is out-of-option in China. Google Play Services may quickly contributed to the fragmentation of Andorids in near future as another factor.
Wil Shipley has always been my programming hero, growing up. I spent a lot of time reading his Pimp my Code series, and learned quite a few things about Cocoa from him. Not only is he a great coder, he's also an incredibly compelling writer and speaker.

http://blog.wilshipley.com/2005/07/self-stupid-init.html
It looks like you answer trivia questions. There are ads shown during the session at the bottom of the screen, like in a lot of android apps, which end up paying for the rice.

Source: http://www.pocketrice.com.au/about.html
There is a question raised about the research outcomes of the event mentioned in the blog post here:

http://cs.stackexchange.com/questions/19001/what-were-the-re...
"But, uh-oh, strings are immutable, so each of these append operations causes the entire multi-megabyte string to be copied."

This is only true when the scope is limited to specific languages… I am pretty sure that the author is talking bare or low-level stuffs, but it would be better to mention some language scope…
From a developer's POV, there are issues between 4 & 2. Nobody should even be on 3; it's like... the Windows Vista of the Android series.
Ask HN: What do you do when someone praises/recognizes you?
Thought to ask HN after reading http://blogs.hbr.org/2013/12/what-to-do-when-praise-makes-you-uncomfortable/
It's not very funny if it is. Women aren't some technical 'thing' you can learn 'how to' from a book. They're 'people'. Wow.. I thought we were making progress here.
I agree, he is like Dave Berry. Absolutely horrible.
I assume family could be present?
Interestingly, the entire source code of the HoTT book is available on github and it is under active development: https://github.com/HoTT/book
That is just running the TCP/IP layer speaking RS232 and relying on an external IC for lower layers. It's not at all what the GP is looking for.

It should probably also be noted that a minimum TCP header, with no data attached, is 20 bytes, so to implement a 'full stack' in 68 bytes is a pretty strong indication that you're relying on off SoC memory to handle the packet buffering.
Depending on the design, you could either have it 3d printed or have it machined. Online services are available for either option (e.g. shapeways.com and emachineshop.com, respectively), or you could find a local job shop to do either. The online services require you to provide them with prepared CAD files. A local job shop would be able to work with you on the CAD files if you don't have them already. Another option would be to try printing it at a local hackerspace (e.g. dallasmakerspace.org). Feel free to contact me if you want some more direction. I haven't prototyped consumer products, but I do spend a lot of time building one-off devices for physics research.

You're right not to want to order your own 3d printer for this. The hobbyist grade ones still aren't plug and play, so you'd burn too much time getting it working.
Learn by doing. Got it.
I think it's too early to determine that. Either way, I'm not asking for very much, and I don't really need that much to live.

I am the type of person that needs to sell a "white box of quality" rather than a "flashy box of mediocrity," even if this causes me difficulty in marketing.
Are the emails targeted toward the tech community or avg consumers? Consumers think IMHO HTML emails are pretty. The tech community would think plain text is better. It all depends on that majority target audience.
Person of the year: Jack Ma
Is there a way to proofread something without having to upload your own text? Now I'm in the mood to edit some copy!
Cost-benefit analysis and the role of government in personal safety laws is very interesting. One of the best TED talks is Steven Levitt on children's car seats. They do not seem to more beneficial than seat belts passed infancy. These are very much related, as BC has increased the age at which children need to be confined to a car seat to 9.

Steven Levitt: Surprising stats about child carseats
http://www.ted.com/talks/steven_levitt_on_child_carseats.htm...
An Hour of Code with Code.org
There are plenty of people who live lives they would never be able to live without medication, and without many of the harmful side-effects being discussed.

As far as I know, almost all people taking medications for serious mental illness suffer serious side effects from them, that's just a fact. I am not trying to convince anyone to stop taking medication, some people might really be even worse off without them, I am just saying that it is a very difficult decision for a good doctor whether to put someone on psychiatric drugs or not, and whether to keep somebody on them. I speak from my personal observations of close family and friends who had mental health issues and were put on drugs, and from reading summaries of current research e.g.:

http://en.wikipedia.org/wiki/Antipsychotic

Antipsychotics are associated with a range of side effects. It is well-recognized that many people stop taking them (around two-thirds even in controlled drug trials) due in part to adverse effects.

--

In people with schizophrenia less than half (41%) showed any therapeutic response to an atypical antipsychotic, compared to 24% on placebo, there is a decline in treatment response over time, and potentially a biases in the literature in favor of these medication.

...

If you have another opinion, I would love to hear where does it come from, do you have any kind of evidence that would counter what I said?
Plus the title implies that hackers aren't women...
From the cancer.gov website, run by the National Cancer Institute, part of the National Institutes of Health [0]:

6. Have any preclinical (laboratory or animal) studies been conducted using Cannabis or cannabinoids?
Preclinical studies of cannabinoids have investigated the following activities:

Antitumor activity

Studies in mice and rats have shown that cannabinoids may inhibit tumor growth by causing cell death, blocking cell growth, and blocking the development of blood vessels needed by tumors to grow. Laboratory and animal studies have shown that cannabinoids may be able to kill cancer cells while protecting normal cells.
A study in mice showed that cannabinoids may protect against inflammation of the colon and may have potential in reducing the risk of colon cancer, and possibly in its treatment.
A laboratory study of delta-9-THC in hepatocellular carcinoma (liver cancer) cells showed that it damaged or killed the cancer cells. The same study of delta-9-THC in mouse models of liver cancer showed that it had antitumor effects. Delta-9-THC has been shown to cause these effects by acting on molecules that may also be found in non-small cell lung cancer cells and breast cancer cells.
A laboratory study of cannabidiol in estrogen receptor positive and estrogen receptor negative breast cancer cells showed that it caused cancer cell death while having little effect on normal breast cells.
A laboratory study of cannabidiol in human glioma cells showed that when given along with chemotherapy, cannabidiol may make chemotherapy more effective and increase cancer cell death without harming normal cells.

Stimulating appetite

Many animal studies have shown that delta-9-THC and other cannabinoids stimulate appetite and can increase food intake.

Pain relief

Cannabinoid receptors (molecules that bind cannabinoids) have been studied in the brain, spinal cord, and nerve endings throughout the body to understand their roles in pain relief.
Cannabinoids have been studied for anti-inflammatory effects that may play a role in pain relief.

So it's not like the marijuana people are entirely making it up - cannabis definitely helps with pain relief and appetite (serious issues during cancer treatment), and may help with treating cancer directly.

[0] http://www.cancer.gov/cancertopics/pdq/cam/cannabis/patient/...
Silicon Valley Summit with Andrew Ng, Salman Khan, Dustin Moskovitz, many others
Yovigo FREE Social E-Commerce Suite Seeking Beta Testers...
So glorified dyslexia?
Obamacare, universal credit… why do governments make such a mess of IT?
If you get a laptop with mostly Intel (especially gpu) components it is pretty much guaranteed that any major Linux distribution will work out of the box just fine.
The thing with preinstalled GNU/Linux is the same with preinstalled Windows: abysmal configuration. Even Dell fked up with their xps13 linux thing.
It's a British territory...
Too late to edit, but if anyone reads this comment later please also see this post: https://news.ycombinator.com/item?id=6908248

There's a neat part of the article that might better demonstrate what I'm talking about.

---

> Because I was young, super-anal, and wasn't on SSRIs back then, I once asked Carmack why he didn't use libraries for common functions that he could share between engine revisions. Carmack's a super-nice guy, but on this one instance he used the "Well, I think my methods work pretty well..." defense. I never suggested coding style changes again.

> But, really, for him it made no sense to share code, because, like a bee, it was just as fast to write new code. The template was in his head, he types really REALLY fast—why bother importing something?

> Don't take this to mean his code was spaghetti—it was actually some of the easiest-to-understand code I've ever worked with. It has an almost indescribable quality of "obviousness." Like, you know when a really good teacher explains something, it seems obvious? That's what his code was like. I mean, OF COURSE there's a loop where you service the pending events and call a refresh on the UI layer.
If you click Buy Now and then enter an email address you get a message "Oops! Our credit card processor seems to be down, we'll email you as soon as you can continue your order!" I didn't enter mine and wont because I'm almost sure the addresses collected will be sold to other marketeers.
> Soon, they won’t consider a theorem proven until a computer has verified it.

Is automated theorem proving really this close to being this powerful?

So soon we'd be able to feed the proof of Poincare Conjecture to a computer and it'd be able to verify the proof? I was under the impression we were nowhere close to being able to do that.
Interesting, if you go to

http://www.acm.uiuc.edu/sigmil/RevEng/index.html

the script will redirect you to

http://www.reddit.com/r/funny/comments/10vgdc/witty_404_erro...
I couldn't get it working - just checked, still not supported.

https://confluence.atlassian.com/display/JIRAKB/OpenJDK+Not+...

That's the problem - you KNOW that the Oracle JDK will work, and it's free - but it's a crapshoot with OpenJDK - so why bother?
ACM@UIUC has had it up since at least 2003. I haven't found an earlier version yet.
Toxic 'e-waste' dumped in poor nations
There's no paradox since the statement is false. This is something that does exist, and mapped to the biggest URL space on your domain! ;-)
I'm in a random mood, so here are random pi facts:

Inscribe a circle within a square. Choose random points within the square. As the number of points approaches infinity, the number of points that fall within the circle divided by the total number of points, times four, is pi. http://mathfaculty.fullerton.edu/mathews//n2003/montecarlopi...

Memorizing something like the first 8 digits of pi is enough to calculate the circumference of the Earth to within a few inches, iirc. (My memory is bad, so it's probably 8 +/- 2 digits.)

The quadrillionth bit of pi is zero. http://www.daemonology.net/papers/

And keeping in spirit with the post, here's a pi chant: http://pi.ytmnd.com/
Yes, the case is a US case. That's the point. It is a US case which has, in effect, granted people a degree of freedom not generally found elsewhere.

That is exactly what you asked for: a specific example of US law being more lenient than the law in other countries.
ScreenCloud - Make screenshot sharing easy
Place Ad
There is for the main site. I like the idea of different matchmaking modes for the game. A player suggested allowing more than two reviewers working together in a session, which may be one fun way to do it!
Awodey and Voevodsky hit on connections between type theory and homotopy theory about the same time. It isn't clear how to find normal forms for dependent type theory with the univalence axiom added. Mathematicians of my acquaintance find curious the attraction of what appears to be another constructive type theory of interest primarily to (functional) programmers. To them it looks like a calculus for doing synthetic homotopy theory.
You're missing a key difference. Twitter didn't commission the work performed here. Sending an invoice for work that wasn't requested is not only dumb, it's offensive.
The Etymology of 'Shorty' in Hip hop
How to make people like you: 6 science-based sexual reproduction hacks
It is not automated theorem proving, but computer verified proving
Not being able to focus is quite a bit different from simply being bored.

Distractions are a problem not only because of the sheer number of them, but because you don't really notice you aren't on task anymore. It can take 30 minutes to realize that reading about ancient Mongolia has nothing to do with that paper you were reading, and another five minutes to trace exactly how you got there. And then you need to find where you were and start again.

Focus is incredibly complex, and not well understood. I don't know where the line is between problem and "lazy", but I do know that will power isn't the whole answer to these types of problems.
Indeed, why people upvote these things is beyond me.
51 people (so far) found that this gratified their intellectual curiosity? Now that's depressing.
That was depressing, and the way the text comes up made it even worse.
Noticons
Because Sci-Fiction throws a lot of insight into the future, into a life influenced by different dimensions, into a life with various social and economic alternatives. Over the years many innovations have been influenced by Sci-Fi novels. Incidents from books like 1984 have come totally true in various countries.
Don’t Lie. You Don’t Care.
It seems like I end up plugging the book really frequently here, but it's for good reason -- it's exceptionally readable AND it's accompanied by a full Coq development. That is, you can do basically every exercise in the book, directly in Coq, if you want.

You can definitely just read the material and then come back and try the exercises in Coq later, or more tightly couple the two. I think either approach would work well, and it's up to personal preference.

The first chapter of HoTT is an introduction to Martin-Löf that I personally find quite intuitive, to the point that I'd say it's clear than most other expositions of the same material that I've tried to read.

It will be easier to understand dependent type theory if you're programmed in a dependently typed language, but I wouldn't say it's strictly necessary to understand dependent types theoretically. I have just a little bit of Coq experience and found myself comfortable with the HoTT presentation of dependent types.
Flat UI Design - A showcase of the best examples of the flat UI design aesthetic
My favourite one of these is this stupidness in Brazil, which seemingly has decided that the problem with perpetual motion was just that nobody had built it big enough yet, or something - http://translate.google.com/translate?sl=auto&tl=en&js=n&pre... - apparently they are currently building a second one in Illinois.

"O speculators about perpetual motion, how many vain chimeras have you created in the like quest? Go and take your place with the seekers after gold."

Leonardo da Vinci
It seemed to claim to draw power from the Earth's gravitational field.

I highly doubt it would be very effective, but it's not quite the same as a perpetuum mobile.

[EDIT] Though, after a little reading, it seems most supposed perpetuum mobiles tend to claim they harvest gravitational energy. That correlation makes your statement much more understandable.
I could probably edit video with a non-trivial degree of frustration, but I am honestly sort of philosophically opposed to making a "proper" Kickstarter campaign and I want to keep it as simple as I can even though it is not the best approach.

I haven't really been able to make a build outside the context of the RPG yet.

Originally I had a "name in the credits" tier but decided to remove it, because I didn't know how to handle it for future versions of the game. Everyone is supposed to be able to make their own level/mode, so that's out.
I read the title as "$0 commision block storage"...
I knew this game's name sounded familiar: http://en.wikipedia.org/wiki/Bob's_Game
Maybe he's speaking of a much bigger 'local' like 'our corner of the universe' or 'the distance over which our deep space probes have so far traveled'.
Technically Coq is not a fully automated automated prover, but leaving that aside:

We are definitely not even close. But getting mathematicians acquainted with HoTT is a good first step, I think. The book itself presents formulations of homotopy theory, set theory, category theory, and a constructive view of the real numbers, all within homotopy type theory, and on top of all this we could likely start building up a corpus of more results from topology, algebra, and analysis.
I've been working on my own mturk-based proofreading system for OCR scans, modeled after Ryan Tate's typingpool. This is very close to a web-based version.

Your illustrations suggest you chunk content to mturk at the paragraph level, is that correct? Did you try it at other levels of granularity, by the sentence, word, or N number of words? If so, what were the results? If not, why not?

How did you settle on 4¢/word?

Are you considering a mobile app/FB version of Proofville?

What's the back-end? Is it your own system, or is it an existing crowdsourcing infrastructure like PyBossa?

How many reviewers compare a passage? 1? 2? Best of N until there's consistency?
60 seconds to validation
Please spare 60 seconds of your time? Our team is @ Startup Weekend (Silicon Valley) right now and pitching a new tool to help developers boost donations on their websites. We need a few answers to help validate the concept. Your help would be greatly appreciated. Thanks!
> It was not announced in big, red letters that the fly-by-wire system had in fact been deactivated

It was announced in medium-sized orange letters reading “F/CTL ALTN LAW (PROT LOST)”. At least one pilot did notice this; the co-pilot who wasn’t pulling up the whole time said “alternate law, protections lost” out loud, as recorded on the CVR, when the message appeared.
All pilots are trained to recognize issues like a frozen pitot tube and there is a very simple solution - activate pitot heat and maintain level flight using your attitude indicator until your airspeed indicator starts working again.
Wikipedia is not infallible but it says Sanskrit sources had one or two digits of pi:
"In India around 600 BC, the Shulba Sutras (Sanskrit texts that are rich in mathematical contents) treat π as (9785/5568)2 ≈ 3.088. In 150 BC, or perhaps earlier, Indian sources treat π as sqrt(10) ≈ 3.1622."

Anyway, the source the linked article cites is

http://www.vedicsciences.net/articles/vedic-mathematics.html

which notes

It must be pointed out that these sutras given by Tirtha Maharaja are created by the author himself, as stated in the introduction to his book, "Vedic Mathematics" (published posthumously) and are therefore not actually Vedic.
These mathematical sutras are Vedic only in the sense that they are inspired by the Vedas in the mind of one dedicated to the Vedas. Thus the title "Vedic Mathematics" is not correct.