skysight-inc/HackerNews huggingface dataset:
Another important reason for corporate 'personhood' is so corporations can be sued.
New search engine sets out to prove Google isn’t the best on tablets
The best they could do is ditch Thinkpad brand for their consumer grade machines (SL, R). T and X series are Thinkpads. The rest- not so much.

SL and R series "Thinkpads" are rubbish, imo. Not to mention the cheap Ideapad's- the build quality is on par with pretty much every other cheap notebook manufacturers.
King recently announced a sequel to the Shining, 36 years after the original. Danny is grown up and working in a care centre. All seems well, but then something from Stephen King's brain knocks at the door!

I never liked the LOTR movies for the reasons described. Certain scenes are spectacular, and Gollum is cool, but that's about it for me.

For a great Peter Jackson movie that suits his epic action style, try King Kong.
Interleaved and spaced practice is a very powerful learning and knowledge retention technique. Some of recent findings in cognitive science has given credence to this approach. If anyone is interested here is the link to one of the research papers.

http://uweb.rc.usf.edu/~drohrer/pdfs/Taylor&Rohrer2010AC...

I think memorization doesn't really help understand the fundamentals of any topic. Rote memorization can only get you so far. As concepts get harder and complex, dependence on mere memorization leaves a lot of holes in the understanding of any subject matter.

Specifically in programming, syntax or semantics form just a minor part of overall problem solving exercise. Efficient and effective programming requires repeated use of concepts or paradigms in solutions for diverse problems. Our brain is much more effective in registering and recalling facts or knowledge when that piece of knowledge is exercised in diverse scenarios.

I am a co-founder of Lymboo Math (http://www.lymboo.com), an online math practice program for elementary school children. We built the curriculum that follows the natural learning sequence of math concepts. On top of the comprehensive curriculum we implemented a practice structure that relies on interleaved and spaced practice. Students practice daily on individual topics until they are proficient in that topic. Then they move on to subsequent topics along the prerequisites-based curriculum. Throughout the program the system automatically incorporates spiral reviews of previous topics at regular intervals of time to effectively cement all the acquired knowledge.

What we have found is that children easily forget what they have learned just a weeks earlier, and their performance degrades in the initial mixed spiral reviews. However, as they continue the cycle of (learn--practice--review)*, they show improved performance in subsequent spiral reviews.

Mixed spiral reviews model interleaved (mix of topics) and spaced (in time) practice to enhance our context-switching skills. The neurons in the brain make new connections and store patterns that aid in quick and fluent recall of knowledge.

Interleaved and spaced learning techniques are more than just for memorization.
Can anyone inform us on why there is such a law as "a factory cannot own a store" in the first place?
I hope this doesn't mean further abandoning the Thinkpad design values (centered around excellence in functional design) to compete on the ones that Apple has been so successful on (excellence in visual design). If they do they won't win and will mess up an excellent and unique brand in the process.

They've already started down this road IMO, dropping their near-perfect keyboard for a trendy chiclet one in the x230. To be fair, it's a great chiclet keyboard, but it doesn't have the action of the old ones.
I like the gradient-free white-on-blue version, on the right side of: http://digital.coolspringspress.com/rp_columns_images/images...

That one seems to hit all their design objectives while still looking nice.
Or you can send yourself a push notification. Services like Notifo provide HTTP API that you can use in your scripts.
I type fairly fast, so a keyboard is a big time-saver for me. I work in many popular file formats, Office, etc, that I can't do much very easily with on a tablet.

So "real" means a keyboard and software that fully handles common work files.

It was less than half the cost of the iPad, a great bargain by comparison.
Even though elves were mostly not fey, many descriptions of an elf are/were quite non Tolkien-ish.
You might be right -- WP8 introduces an unmanaged C++ SDK, and some people from the Chromium project are currently evaluating it:

http://code.google.com/p/chromium/issues/detail?id=153802

The other stumbling block was a licensing issue where the Windows Phone Marketplace prohibits copyleft licenses, which prevents software like Firefox from being published there:

http://arstechnica.com/information-technology/2011/02/window...

That's again from the WP7 days, so the agreement might have changed since then, but if it hasn't, and if there's no way to sideload apps onto WP8, then it's a major blocker for Firefox.

Opera's last statement on the matter was on Oct 1, and at that time they were still waiting to see what avenues the SDK would allow.
The "50" actually says "50c" in the text, not $50.
I think this is a good idea. Thinkpads have evolved to a point where - regardless of IBM or Lenovo being the brand behind the product line - the name is a synonym of dependability and quality. I think that by separating the brand from the rest of the Lenovo pack, and giving it it's own two feet they might steal quite a bit of Apple's customers.

I went from my own homemade machines, to exclusively Apple hardware, to owning a t420 (wanted the old keyboard). I'm in the process of leaving the Apple ecosystem and going back to Linux (Arch to be specific) because I dislike the direction Apple is going (the Mac App Store was the inflection point that made me want to leave). The Thinkpad brand was the obvious choice because of upgradeability, quality, dependency, and the fact that they make some of the best laptops for Linux. Even better than Zareason and system 76 hardware IMO. Making the perfect business computing tools AND at the same time the perfect Linux portable hardware is a big plus in my book. Even more than unibody pieces of aluminum and the retina bs that while commendable to a point, I've found is more of a nuisance than anything else.

Anyways, Lenovo earned a customer by keeping the Thinkpad brand alive and maintaining it's quality standards. Any step to make the brand better is AOK with me.
In our extensive user testing we have seen our users make great gains by using SRS. In blind Ruby coding tests we have seen users complete them faster with more confidence in their abilities and results they generate. Got some great data and numbers on exactly how much advantage learning this way gives you. Plan to release it when we launch in a couple of weeks. We are http://www.codesonic.com/ by the way.
I loved when he would post up interesting code snippets, but he would make them animated gifs so you actually had to type them in.

And hoodwink.d was really fun while it lasted (it was kind of a secret club that you had to explore and figure out some simple tech problems to get into).
For The Hobbit on the other hand...
A few days of blocking an unsupported device and the damage is done? Wow, doesn't take much to do damage these days, also considering they are working on fixing it already (on a weekend).

I don't see Microsoft being harmed much by all the blatant FUD anti-Google campaigns (most of which backfired). Still a whole bunch of Microsoft fanboys commenting that they'll never use a Google product again and switching too all Microsoft products following this user agent blocking news.
I believe it was because it would be unfair for a factory to begin to compete with its already franchised locations.
>Nice. I wonder how they implemented this. And I'll keep wondering because I can't find a link to the source code. Maybe there is a link to it, maybe not. We're talking about Oracle so without knowing better, I'll assume there is not ...

If you were using Java the way people do in the real world, from your IDE, you'd already be looking at the source code.

>What the fuh is a "sealed abstract class List[+A] extends AbstractSeq[A] with LinearSeq[A] with Product with GenericTraversableTemplate[A, List] with LinearSeqOptimized[A, List[A]]"

It's an abstract class (generic, and covariant in that generic parameter) that implements some interfaces. It's not hard.

>Reading further, I see section in the documentation called "Shadowed Implict Value Members". Wow, I have no idea what that is.

Take it one word at a time, it's pretty easy. Value - a value. Member - a member of the class. Shadowed - perhaps a scala-specific term, but it means it's in some parent class but hidden because it's also defined in this class. Implicit may be a new and scary concept, but it's pretty core to scala; if you use the language you get familiar with it pretty quickly.
Looks a lot like quartz.
isn't it frieNDA
But this also means they will compete in some of the markets. We'll see what happens.

It should be easier to pick a laptop then, as I don't think we will see any Lenovo with a non-glossy screen.
I actually would like to give it a shot, even though I know that it's way too far beyond my level. But after googling Henry Andrew Pogorzelski, no pdf's came out.

I think he should have written a paper explaining in easier term what he does. E.g "First I will map the integers into a group defined by X and Y, it makes the work easier because that group has some interesting properties like... Then I show how the Goldback conjecture translates onto my group, then, etc."

I know this is easier to be said than to be done, but on the other hand the Goldback conjecture is so simple that there have to be ways to break down its demonstration (or attempts of) into understandable steps, each steps being once again broken down, etc. and each stage introducing new layers of complexity. That way, instead of claiming "I proved the Goldback conjecture, here is the proof, just check those 1000 pages", he could have said "I proved X, Y and Z, and we can see how together they can be added up to prove the actual conjecture", with X, Y and Z (and probably lots of others) being smaller results that experts could challenge or assert.

EDIT: TL;DR: If a mathematician claims to prove a long time unproven claim such as Goldbach conjecture, it belongs to him to do the vulgarisation works so even schmucks like me can have a remove idea of how he did it.
I am C and lisp fan and think OOP as non-sense. I used python a bit but hate its performance. Can I still get something from Go that can not be provided by C and lisp?
Does go provide great flexibility by C and lisp?
BTW, I think emacs is the best IDE so I do not care any tools/IDEs at all.
The way the stores are currently set up (or: at least the one in San Diego), the employees can't sell you a car and they don't make any commission or 'referral bonus' or such. It's literally a car, a partial battery assembly frame, and some logo-ized mugs & shirts. Hence there's literally 0 pressure because nobody there can sell you a car. The gal I spoke with was very well informed (even knew the OS that ran the car's dashboard!) but wasn't even bringing up her own 'talking points' -- she gave me a cursory overview & then answered all of my questions.
Show HN: phorcyas lab - webgl cyberchat experiments
It does when money is involved.
The fastest-growing economies of 2013: Speed is not everything
No, that is not me.
Don't forget the W mobile workstations.
I wouldn't say _why is a "weak" coder per say. His style is just as eccentric as his character. He's certainly not conventional, and much of his code is slow, but the ideas are often interesting and beautiful. He also abuses a lot of Ruby's metaprogramming facilities. He obviously coded because it amused him. I think that's probably what resulted in the "weaknesses" in his style.
I hate that. I dont think it requires an existing back-and-forth either. If you say something different than the person you're replying to, they assume you mean the opposite of what they believe, presumably because that's easier than untangling the web of agreements and disagreements, errors and truths and unknowns, that exist between any two real people...

If you're reading this, for the love of all that is sane, next time you make a comment, reply to what the other person actually says, not what you think they mean. If you feel the need to respond to something unsaid, make it explicit.
These laws were established in the 1930s when factories would establish franchisees in (what was to them) low-value regions. As they grew more valuable, they would move into the region with factory-owned dealerships & start gouging franchisees. Since then, lobbying power has undoubtedly extended dealership power further than what's generally beneficial. But the starting point, it seems to me, made sense.

For a fairly balanced (but not up-to-date as far as the status of legal challenges) starting point: http://autos.yahoo.com/blogs/motoramic/tesla-plans-short-cir...
> How hard would it be to write mathematical proofs in a modular way? And have someone check a "module" of a proof and someone else another "module" and so on?

To a large extent, this is what we do. But of course, modules by themselves don't prove a thing about what we're originally interested in so that not one module can stand by itself as any advance in the proof, that theconclusion of any module of the proof are surely needed for all the others modules to make sense and that these conclusions are more often than not formulated in a new part of language (new words, concepts, and rules to play with them) introduced in said module. Parallel work of the sort I infer you have in mind might be possible in some instances, but there is so very few of them in my opinion that it's just not worth trying.

> ...and for the bits that's possible, write in a subset of mathematical language that computer can check, or at least partially check and ask the human reviewer for feedback on the parts that can't be automatically proven.

No can't do: in mathematical writing, what is actually written is the tip of a gigantic iceberg of implied reasoning and background scenery. There might be a way to make computer understand this, but as far as I know it has yet to be found. That, and making explicit what is not in mathematical writing would make the length of any proof grow manymanyfold - and I actually mean manymany....manyfold.
Wow, what a great blog. Very interesting. There goes my tomorrow....
I'm getting this instead:
"Public Print Queue SPOOL/DESOLEE	2012-01-06T08:21Z"

I don't get any binary data from test, ideas or notes.

/SPOOL/DESOLEE gives me a binary file that seems to open in OpenPCLViewer on my Mac (gives a 2 page file) but it's completely unreadable, like a fragment of a corrupted binary image. I don't know if that's how the file is meant to look or if it's a bug in the reader.

I do note that "désolée" is the French word for sorry.
Toyota and Audi Prepping self driving cars
People become absolutely RABID about their college brand, however. Can you imagine the shitstorm that would ensue if Tennessee were to change their emblem from the T to something ... else? Heads would roll.

As a UC alumnus, I certainly saw that new logo and thought "what the hell is this??" -- GREAT point about the color bring wrong, for example. If it were better communicated that it wasn't meant to replace the seal, I might have liked it better, but it already seemed ugly to me, even before I read about what it was intended for.
It's also how Hollywood can demonize file sharing!
Most Popular Twitter Conversations of 2012
I loaded /SPOOL/DESOLEE, converted to PDF with GhostPCL

Here's the scribd: http://www.scribd.com/doc/119155590/DESOLEE

Transcriptified:
This printer
queue is going
down for
_MAINTENANCE_
but will shortly
return for a
day I believe it
will be on the
day of April
the 18th from like
four o clock to lets
say twelve.
The issue in this case is the meaning of the word "person" in the California Vehicle Code, and has nothing to do with corporate personhood which is an established legal doctrine going back hundreds of years. Presumably, the carpool statute requires another "person" in the car, "person" being defined elsewhere in the code as a natural person or corporation. Fortunately, our judicial system gives judges the power to interpret statutes. Since corporations are legal fictions without a corpus, or physical body, the judge will likely hold that a corporation cannot satisfy the "person" requirement in the carpool statute. He will interpret the statute to require a natural person, not a corporation. If this case does go up the chain, look for the legislature to amend the statute in the next session.
Oh, I did not know that either. Do you know where one may find the source ?
Perhaps if you are a lawyer. I am not.
For what it's worth, the beginning of the Silmarillion is by far my favorite part. Maybe it's easier to read if you've had previous exposure to mythology and/or the Bible?
Samsung ATIV Tab Review: Qualcomm's First Windows RT Tablet
> Yeah- that is great as long as you don't care about using 30x times more memory....
> Go vs Scala: http://benchmarksgame.alioth.debian.org/u64q/benchmark.php?t....

There is no such thing on that page. You see 30x times win for go only where program uses very small amount of memory.
When memory consumption is big(regex-dna and binary trees), memory footprint is very similar for both scala and go(+-10%).
And that is one the main reasons why Apple isnt suited for professional users right there. When having a Dell Laptop some technican came the next day to my house and repaired my laptop without any cost.
With Apple i can go to the nearest Store and hope that some of the hipsters there want to help me, after which i will have to wait until my repaired hardware comes back from wherever in the world.
What's going on around Andromeda? Curious structure puzzles scientists
The first and only comment below the article is savage. 15 Sept: Aaron, DC Sep 15:
Too bad you didn’t have this article and all its spelling mistakes crowd-sourced. Imagine how much better it would be if you actually paid people for their time!?
And what’s with hiring 99tests (for money) but exhorting developers to work for free.
Hypocrites.
60W 3.75A 16V Laptop AC Adapter for APPLE A1330
60W APPLE A1330 Laptop Adapter Description:

Output Capacity: 3.75A
Output Voltage: 16V
Power: 60W
Color: White
DC Plug Size: 5 pin
Storage Temperature: -40°C ~ +85°C
Operation Temperature: 0°C ~ +40°C
Adapter Brand: APPLE Laptop Adapter
Safety Approvals: UL, CUL, TUV, CE, CCC, GOST-R, B Mark, NOM, NEMKO, PSB, S-Mark, S+Mark, RCM
Availability : In Stock
If you're a C programmer then you will enjoy Go. Try it.
Solution: don't enter into the franchise business, or enter with a clear contract including compensation in case the factory starts direct competition with its franchises.

But to block a factory from selling its own products unless they go through a middleman, it's absurd. Especially if the plaintiffs didn't operate a Tesla franchise.
> If you are indeed writing a 'factual report', nothing should be disputable.

The world is just not that simple.

>The solution is less to 'manage comments' as the article says and more to write better articles, and encourage a good culture of news where readers and commenters are critical and contribute to the conversation

I think it would be very rare to find articles so well written as to prevent jibber jabber from occurring in comments. HN is a very different kind of community from these others as well. Also, HN isn't immune to this. :) On HN, I have found the problem to be more with groupthink opinions rather than outright misinformation ... well that occurs too, especially on articles relating to higher education.
Email me (see profile), I'll send you what I wrote.

Offer is open to other HNers.
> But this also means they will compete in some of the markets. We'll see what happens.

I see this as an issue now that they are two separate groups, likely with their own KPIs and numbers to meet. As we see so often with other organisations, they tend towards in-fighting rather than (good) cannibalisation because of the "silo" structure they've created.
I was referring to the list the OP named in the article.
Android Development - Stack Careers
I feel the same way. The ThinkPad is the only computer that could potentially tempt me away from my MacBook. So far I'm stuck to OS X though (dreaming of Arch minimalism).
HTTP headers indicate it's being hosted from GitHub pages.

I've confirmed this by looking up the DNS records for the domain; they point to 204.232.175.78 which is the (or an) address of pages.github.com: http://whatismyipaddress.com/ip/204.232.175.78

I can't immediately figure out what repo this is being hosted from; a code search for 'DESOLEE' doesn't show anything, so I'm assuming it's a private repo. But at least we know there are git commits happening.
Red Hat's Crazy Culture Every Company Should Steal
Could be a private repo.
google has some other mobile unfriendly redirects in place, in my case they break http://search-by-drawing.franz-enzenhofer.com/ for mobile devices. basically googles search by image feature redirects any standard search by image url to the google homepage, if a mobile device is detected. why? http://productforums.google.com/forum/m/#!category-topic/web... "Just to follow up on this, this isn't working because we haven't designed it for mobile yet (phones or tablets)." (but it would work perfectly fine, if the just would scrap the redirect)
I just do both; I create web and mobile apps for my clients, games for my clients and myself (the infinite cpu/memory kind; i'm not yet good enough to pull everything from the metal on current computers) and, in my spare time, I work with old hardware and software. Soldering and programming on 80ties computers is relaxing and fulfilling just as I find modern tech to be.
> I don't think "compiled" means what you think it means anymore, which is my whole point.

See my other reply (http://news.ycombinator.com/item?id=5012218). "Compiled language" is an informal term that usually means "to machine code." If you take it to mean "compiles to any kind of IR at all," then basically all languages are compiled and the term is meaningless. But that's not how the term is generally used -- for example, see the Wikipedia article (http://en.wikipedia.org/wiki/Compiled_language).

There is a real difference between languages that can meaningfully be compiled directly to machine code and those that can only JIT-compile type-specialized traces/functions (with guards that fall back to the interpreter if the assumptions do not hold).
If it is 1000s of pages of work that is unintelligible to even killed mathematicians, then it might take years o someone's life to decode it into simpler terms.

In the end, they may find a fatal flaw, or a series of flaws and where would they be? They'd have spent a lot of time and effort to disprove a theorem that nobody was interested in.

That said, I look at the fact that there are still people working on Ramanujan's conjectures that there may still be some worth to it...
But then you have o remember to take it out when you sit. I would constantly forget it...
I think _why is watching us as we watch him.

The first three files had spool dates

SPOOL/TEST 2012-12-09T14:12Z
SPOOL/IDEAS 2012-12-13T23:26Z
SPOOL/NOTES 2012-12-19T00:28Z

The latest?

SPOOL/DESOLEE 2012-01-06T08:21Z

I suspect this may have been around for a month, while he waited for somebody to notice it. Then, when we noticed, he swapped in the new one.

Also, according to the converted DESOLEE (http://www.scribd.com/doc/119155590/DESOLEE) file, something's happening on April 18, "from like four o clock to lets say twelve"

Edit:
Apparently there was also a SPOOL/YOU

No idea the timestamp on that one, but it seemed to be just before SPOOL/DESOLEE