skysight-inc/HackerNews huggingface dataset:
The basic problem with your idea is that significant new proofs usually involve the invention of new branches of mathematics. It's not simply the derivation of new axioms from existing foundations (which fails for reasons outlined below because of Godel's Incompleteness Theorem), it's the laying of new foundations. For a proof checker to check it, it would need to encode those foundations, which is equivalent to discovering the proof itself.

Otherwise, given what you say, we could just let proof checkers run on clusters and stop by on Mondays to see what new discoveries have been made :)
A lot of "tough shit" responses here. I like to sympathise with sensitive people - I think Tolkien was clearly a very sensitive, quiet, private man, and Christopher similarly. I don't think Tolkien ever imagined his work becoming as popular and mass-culture as it did. He took it so seriously I think it would have shocked him. And from the way this article describes it, Tolkien's work formed the bedrock of a very sensitive, private, tender father-son relationship - and that bedrock is now being smeared around every cinema and toystore in the world. Rightly or wrongly, that must hurt a lot for Christopher.

Perhaps nothing should be allowed to remain private. Perhaps privacy is an affront to the rights of the people. But I don't think so. I think everyone has special, private things from their lives - special things they would be upset to see appropriated and distorted at will by other people with little to no understanding or reverence for the meaning those things hold to you. Christopher is only different because the things that made his childhood special and to which he feels protective have become an unstoppable blockbuster film series.

Hell, I can sympathise. Maybe it's just snobbery, but damned if I don't feel disgusted by the shameless, opportunistic faux-Tolkienism whipped up by by New Zealanders in the wake of the films. Nobody in New Zealand gave a shit about Tolkien before the movies. It was only when people realised that it was going to be huge that suddenly everyone became a lifelong Tolkien fan and every farmer next to a film site was running a Hobbit tour... You know, my grandpa read The Hobbit to me when I was young, and he even has a photo from when he met Tolkien (before the books took off.)

Edit: On another note, I think it's a bit rich for Hackernews readers to criticise Christopher for snobbery/possessiveness - after all, the whole bloody point of Hackernews is to discourage average internet users, prevent that 'Eternal September' thing - and maintain a conversation to an elite-defined standard. Everyone has their own snobbish preferences I think.
>> * I actually don't think immutability is as key to concurrency as it gets hyped to be. Clojure which I've used and enjoyed does tend to get in your way with the immutability by default.*

I don't want to join into a language war, but I wanted to point out two things with this statement:

1- I can show you video lectures from 1985 that discuss mutability -vs- immutability in concurrent systems. Immutability won this war, at least in the research realm, 30 years ago.

2- Rich Hickey worked on massive telephone systems and created Clojure, at least in (large) part, out of frustration of dealing with mutation.

So there's a long line of research backed by "real world" experience showing mutation not holding up well for concurrency. Erlang is another example.

Regardless, I do agree that immutability may not be what it is hyped up to be, especially if you are looking for the mythical silver bullet, but it most certainly isn't over-hyped if you compare it to mutation, and the ideas are still quite young and being tested. Give it 20 years and I suspect there will be another paradigm shift at some point.
>...people are more likely to be convinced by nonsense they've read if they're distracted.

This reminded me of a thought Albert Camus wrote in The Fall (in its context, it holds a deeper, more revealing meaning and meta commentary on human nature):

"Sometimes it is easier to see clearly into the liar than into the man who tells the truth. Truth, like light, blinds. Falsehood, on the contrary, is a beautiful twilight that enhances every object."
the dude doesn't know what he is talking about. just your everyday blog roll. moving along..
It depends what you want.

A)
If you want to make more money or look for career change, then you have to listen to market and learn whatever it needs or pays well.

B)
If your goal is to do long term career investment, then keep learning Java and make yourself an expert of it. To become "expert", you inevitably will have to learn a lot things that are beyond Java language and platform. Later on, these knowledge can be easily reused in other languages.

A) is short term, B) is long term. How about allocate 50% of your learning to each of them, then adjust allocation when you feel you need to?
I think the problem at this point is that Microsoft seems to be interested in only one thing: winning. People don't care for companies that no longer care about making great products, and just care about beating the people threatening their turf by making great products themselves...
Figures in similar communities were older (Larry released Perl in his early thirties, Guido was pushing forty before Python gained traction). They also didn't come up in the era of YouTube, twitter, and archive.org.

Thirty years ago Ruby-style drama would have played out as drunken rant at a post-conference hotel bar, or a snide comment on Usenet, or on an obscure mailing list. Not quite the same.

The Ruby guys didn't have the benefit of age, experience, or a certain amount of professional obscurity.
I have a hard time believing anything can beat or even match the garbage collection performance of the JVM. Not that there is something special about the JVM, just that there have been _so_ many smart people working on the problem for so long now. And for good performance doing server tasks (ie, not computational tasks) exceptional GC is a must. Can a GO program handle a workload that creates tens/hundreds of thousands of objects per second for weeks or months without leaking memory? That's why I use Java. If I don't need that kind of performance, I use Ruby. I'm still just not sure where GO would fit into my workflow, though it looks really promising. Especially the concurrency model that you currently have to awkwardly bolt on to Java with something like Akka or JetLang.
yeah jekyll is going ham on my new lines. I have been meaning to look into that. It's markdown but I only use html. Need to find a way to have it not use markdown (blasphemy, I know).
The trauma of what happens leading up to an unscheduled c section seems much worse than the procedure itself.
Would love to use this for my current project, which provides a live support widget on websites. Pretty much like olark.com
Funny thing about Go is that as a compiled language, folks often need to send the source-code to the deployment servers to compile on them too. I seem to recall that deployment servers shouldn't need to have development tools which were themselves exposing the servers to bad intention by bad folks. It's just hard to keep the separation I guess.

This is what systems administrators with grey beards thought in the 1990s. A moment's thought about what an attacker who can run a compiler can do instead of running a compiler should be enough to inform you about how silly the idea is in practice.
you are combining two very broad generalizations there
You see the JVM as an asset. Many consider it a liability.

And programmers in the New Jersey school (see Worse is Better) are unlikely to ever stomach Clojure.

These differences are more in the realm of deep allegiances and HN comments will probably be limited to revealing allegiances--they have little chance to sway the reader one way or the other.

Might as well say, "MIT type with love for the JVM? Choose Clojure. New Jersey type with love for native code? Choose Go".
I would like to have a video of my surgery for later review.
I'd use it for an app that helps people learn how to cook like a line cook. I'm currently looking for a developer to work with - -

If I got the domain but didn't follow through with the project, I'd gladly offer it up again.
I assume that the large organization you've worked at isn't Google.

Product Managers don't unilaterally make decisions about what goes into a product or not. Most such decisions are made by consensus within the team (Eng + PM + UX), with the PM acting as the tiebreaker if the team can't reach consensus. Many product decisions are in fact made by engineers - a PM friend of mine once told me "The difference between Microsoft and Google is that at Google, engineers are expected to have product opinions."

As for which platforms to support - it varies based on the scale of the project. There've been times I've made the call myself (as a TL), for smaller projects like doodles and easter eggs. For a larger product like Maps as a whole, I'd imagine a VP would sign off on it.

Yes, in theory the CEO is responsible for everything that goes on at the company. As a matter of culture, though, Google tries to delegate as much decision-making power down to lower levels as possible, and then just deal with the inevitable screwups as they happen. It wouldn't be nearly as nice a place to work otherwise, nor would their "hire the best people and give them the tools and information to do their jobs" strategy work out. Yeah, PR flareups happen, but the team fixed the problem, and I bet we'll forget all about it by next week.
Agreed, I really liked where it was going.
> (jsdom, phantom, zombie) and proper HTML parsers in javascript

Well, for starters, if you're not using Javascript. All four tools you mentioned are Javascript-based.
I just find it all a non-event. I really am perplexed as why people are so fascinated with him.
> the majority of the students who did well still had slight issues with their HTML parsing.

I'd like to hire the minority students, since it seems that they quite literally accomplished the impossible!
Gak!

Reaching the conclusion that the article-writer wants you to reach should not count as "Science understanding". What should count is a knowledge of math, science foundations and statistics sufficient to critically evaluate articles and comments.

Uh, and an article about "nanotechnology"? This is science that barely exists. What is a "balanced" article on this??
But would Wikipedia be worth reading if it wasn't for those who did find history classes interesting and wrote/fact checked Wikipedia articles?
The action integral isn't solvable. You need to go to the special cases to get anything done. It is like saying energy is always constant. Sounds profound, but actually computationally useless on its own, since the invariant is broken frequently, until we go find something else to also call energy (gravitational potential, kinetic, electric potential, heat, mass! , etc)
When I saw that this was a word document exported as a pdf I knew this wasn't a serious text.
Nope, no address or any other contact details.
It isn't always done, sometimes a sort of cream is put on the eyelids which seems to make the eyelids stay down (maybe is sort of gently glues the eyelashes). I'd say this, goggles or tape are all equally common where I work.
The answer is pretty entertaining, but in context it's pedantic to the extreme. The poster's question was about matching opening tags that don't contain a closing slash, which is a tiny (regular) subset of HTML. You don't need pushdown automata to recognize these.

English, as any other natural language, is (at least mostly) a context free language too, but you wouldn't go around telling people that you shouldn't ever use regexen to match certain constructions in English text, right?
Paul you sure seem to like the word 'yet'.
Insights on how a great chess player thinks
In Racket, any custom data type can be turned into a function by using the `prop:procedure` structure type property. It's usually not done with things like maps and sets because this kind of "punning" is not idiomatic. Being a function is not actually a necessary condition for being "first-class" though.
Ashton Kutcher Movie 'jOBS' to Be Released in April
True, which is another problem web apps face - waiting for the W3C to adopt something new. Native apps run on OSes that change several times a year, introducing new features. New HTML5 features seem to take two years - and worse still, every user must update their browser to get them.
PKD did see an early cut of Blade Runner, and commented that it was 'exactly as i'd imagined it', which was ironic since neither Scott nor the art and set design guys had actually read Androids.

edit: Wikipedia says "given an opportunity to see some of the special effects sequences", but i'm certain that Scott says in the documentary that he showed him a complete early cut of the film
I'm not quite sure why he always relates abstract algebra examples to ODES etc. Surely there are more motiving examples when discussing groups, esp from geometry.
You inspired me!
This weekend I did my own book to website conversion: http://recipesforseafood.com/

I'll keep you posted as to what $$$ it generates (if any)...

Cheers,

Marcus
He's going to lose because having the incorporation papers in the car does not mean he has the corporation in the car. I would argue that a corporation's physical location is its registered agent address.
Personally speaking, I am not a fan of putting my fingers all over the display; I prefer having a clean screen.
No, it is not, unless dirty, finger print covered screens is your thing.
A conversation about you with someone else is not an invasion of your privacy. People's thoughts about you do not belong to you.
The University of California Logo Controversy
Toyota to reveal self-driving car research at CES
definitely agree, gonna be tough to argue that the corporation itself was "present" in his car
Gitifyhg (git-hg bridge) is now awesome
Have no fear, Go will not take your Java jobs away :)
I'm working on a project to integrate git history and time tracking. It's main purpose is for freelancers to see what they committed at what time and produce more accurate invoices. I have been working on it part time for a while but haven't come up for a name for it yet - ticker.io would be perfect.
In other words, there's no way to get less respectful of his father's work

Odd, from what you just said, it seems he was respectful of his father's work. I just found that sentence hard to parse.
In my last remark I am not entirely right but you get the idea. Microsoft employs almost 100 000 individuals and most of them are US taxpayers. If you give them a big contract, it's good for the company, good for jobs in the US and it stimulates the economy in some way.
Of course that money doesn't come back automatically the next day. But consider an alternative. Let's say that they get a contract with Samsung instead, the biggest korean company. Let's assume we had the means to follow the flow of money, how much of that money that goes to Korea will return to the US? One can start thinking about this for a long time. It's easier to assume that money spent on Microsoft = jobs and salaries and other things = taxes for govt.
I though corporate personhood was just about the ability for a corporation to be party to a contract.
Is there another source that clarifies the claim that CA law explicitly includes corporations in the car pool lane laws? As it is, this is such an obvious publicity stunt that I am not inclined to trust the lawyers for Frieman.

Some lady in Seattle goes around "marrying" corporations. Unsurprisingly, they aren't legal marriages.
I'd attempted to do this before but got stuck formatting the cards. Going to give it another shot with your examples - cheers!
Maisto Fresh Metal Tailwinds UAV Drone (Read the reviews)
Getting A Job: Observations From A College Senior
What you say is understandable. Your first bullet point made me chuckle. I'm not out to bash you personally.

If you or your girlfriend had entered the relationship with the intention of either committing or moving on, and (let's suppose) ended the relationship after one or two years instead of four, do you think that would have been a better outcome for either of you?
The problem is when you are browsing /r/all and there are so many articles from certain subreddits (trees,gonewild,gaming,etc) - certain subreddits are a circlejerk of upvoting, trees being the worst, and afaik there is no way to block these subreddits when browsing /r/all.
Thanks -- this is actually helpful. I want to be more cognizant of my writing style, I have a lot of room to get better. I often start sentences with "But" and use the same modifiers (However, Unfortunately, etc) quite a bit.

When I write I usually start with a big, unfiltered brain dump, then some formatting and then a proofread. But the proofread is in chunks of reading, fixing, reading etc so I never get the entire flow of it to catch these i-just-used-the-same-word-in-the-last-3-paragraphs issues.
A lot of the ODM's have engineering and consulting shops attached to them who would do all of this for you. There is also a huge market of people experienced in the industry looking to help people who have never previously been involved in manufacturing.

So unsurprisingly the solution in this scenario is to just outsource it, again.
Security e.g. users shouldn't trust a client based HTML5 with any serious data collection.

- I'm not sure why you say that. I do online banking all the time. It is possible to code something secure and tight, but I'll admit it's not easy. I think security will always be an issue, even with native apps.

Local Data - Storage is limited & it can be manipulated

- True, storage needs to be unlimited. As for manipulating it, this is also true of native apps. Without jailbreaking, I can manipulate a save file for almost any iPhone game. The security issue (again) depends on the developer, and how they protect the data.

Syncing offline apps - Determining which is the latest version etc

- Yup, that's a challenge too. But also a challenge native apps face. When I make a note on an offline iPhone in the notes app, and then edit the same note on my Mac, it creates a duplicate when the iPhone is back online. It should probably be up to the developer how to handle this, whether the app is native or HTML5.

If the browser vendors won't implement something, it won't get implemented. This has also lead to

- Yes, this I think is one of the biggest challenges. People buy a computer, it comes with a browser default, and they never change or update it. It's hard enough to get the W3C to add new features, let alone browsers to implement them, and even harder still to get users to update their browsers.

Format Incompatibilities e.g. try audio/video tags across the major browsers

- Yup, similar issue.
The languages and plots were original with Tolkien. The races were not.
When will Microsoft start working to remove their arbitrary limitations on Windows Phone so that Google and Mozilla can port their browsers to it?
When I think of algorithm, I see it as the "how", not the "what". A list of steps to get a task accomplished is the high-level "what". Somewhere in those steps you must derive the "how". Reduce those steps to a derivative formula, if you will. That piece of code is pounded, broken, rebuilt, transformed and eventually "fashioned" like coal becomes a diamond. Once "hardended" it will be code that works perfectly with any input, under every scenario. And when it's right, you'll know it, grasshopper - you will know it ;)

- The Algorithmist
I think he might be suggesting you fuckers go outside
I have been programming for the last 15 years and I still sometimes look things up, even in languages I use daily. I would not really change this, since if I use it often I will remember it - - and if not, it's just one search away. I think memorizing random facts is a really bad way to become a better programmer - - much better ways is to solve problems and read expert code (via ex. GitHub).

Regarding the memorization technique I am unsure if this is the most effective way of remembering things. The book "Moonwalking with Einstein: The Art and Science of Remembering Everything" presents a lot of tricks on how to memorize things that could be more effective than the method described in this article.
Oddly enough, I've tried SR multiple times in the past, with very bad outcomes. For example, if I added 10 new english words on day 1 (english is my second language), I would only recall ~10-20% the day after.

Then a few days ago I started reading The Memory Book which really emphasizes on visualizing things, making correlations, etc. The effort of visualizing and using imagination really made a difference: in one hour I memorized the list of 50 states forward and backward with almost 100% accuracy after 2-3 days (I had never head of some states before).

Quickly after I realized that my limited english vocabulary was also the weakness in this system, so I started visualizing and adding new words to Anki once again. The result is that my recalling after 24 hours is close to 80-90% for new words, which is encouraging.

I've been doing this for ~1 week, so take it with a grain of salt, but for me it seems that visualizing the words and using SR is helping. It takes 3 times the effort, but as long as I remember things, I don't care.

The idea of applying the system to programming sounds interesting, and definitely worth a try.
I thought the Dwarves were the ones that were like humans but better.
If you don't memorize anything you'll be going to stack overflow for everything. If you spend 10 seconds everytime you need to get the first char of a string, a substring, create an array etc you'll be wasting an awful amount of time. Knowing the core functions is a huge timesaver. Python's regexp functions are arguably not 'core' library functions.
Yeah, the `new Array...` questions as well - they should all be trick questions with the answer "don't use the Array() form".
Its not so much the moderators, its the downvotes. Reddit, imho, has a very particular and narrow opinion on many subjects - disagree with this opinion, even in legitimate good faith of open discussion, and your comment will be buried within minutes. The masses in the community have really lost their way.
Neither Peter Jackson not the Tolkien estate was a first time indie filmmaker.
This might be considered off-topic, but i find the VentureBeat post about Cheddar's sale (http://venturebeat.com/2013/01/05/cheddar-for-sale/) really sad . The app is called a "cult classic" among "hackers and mac fans" and there's a disclosure at the end: it was written by the wife of Seesaw's founder (where Soffes currently works).
Yes. You are right of course. There is no requirement that information necessarily has a physical representation.

But, if I'm not wrong, this requirement could always be satisfied, for any system with two or more microstates.
I thought a older nip/tuck scene was great at showing how scary being awake during a surgery would be :

http://www.youtube.com/watch?v=-BHBiSWxa3w
Then Jackson doesn't make the movie, and the studio doesn't profit.
> Compiled languages generally don't support eval.

Python is compiled to bytecode. It supports eval. So does Smalltalk. Lua would fall into this category as well, and a whole bunch of others. I don't think "compiled" means what you think it means anymore, which is my whole point.
My point is that Go gives you the option of immutability. Not immutability or something in between. I frequently send messages using non reference types which incurs a copy but means that I don't have to worry about who owns this code. It's easy since Go has pointer and non pointer types. Java has reference types and you have to design the object to be immutable by hiding fields behind methods and using annotations. Clojure goes to the other extreme. Go sits in the middle. Which is relaxing.
I'll take it. Customized tickers drawing from any public API / YQL, just set the api path, frequency and get the embed code.