skysight-inc/HackerNews huggingface dataset:
Yes. You can translate the classical proof, assuming excluded middle for propositions.
This looks very nice, and I'll probably buy it and Scalar this week, but it did get me to wondering. It would be interesting to see how an APL app would fair these days.
and this is why the politicians and the media elites are able to brush off these uncomfortable facts
That 0.05% is for accounts worth more than $10,000. It's 0.17% otherwise (so still low). Vanguard also charges accounts with less than $10,000 in a fund a $20 service fee (clear information about the availability of the lower cost 'Admiral' shares does not seem to be readily available, but it seems for index funds it may be the case that you have to maintain an account at Vanguard).
Hahaha I started with BASIC myself and I'm only 22, so...
Doubt it in this case.

The Saudi's have a history with this sort of behavior.

Their islamically led ideas of expansion have been around since the 18th century and oil is their vehicle of perpetuating that meme.
Yeah, I thought that was a little odd too, but remember that birds can't move their eyes, so for them the two are equivalent.
Scrum is not a process? Too vauge..

Also the solution always seems to be inappropriate skills of the developers
Well, the solution to other systems seems to be "it's checked in, therefore it can never be un-checked-in, so deal with it!" (or at least this is the attitude of some vocal proponents of them).
Yep, it took only 5 years to be implemented by one browser, and will take another 5 years to be usable in production.

It was really not worth it to create wrappers.
Old stuff, here's same story by TorrentFreak.
https://news.ycombinator.com/item?id=6885356
Creative Commons releases licence for intergovernmental organisations
What was uncredible about the information here?

The links are just blatantly obvious at this point.

We've got names. meeting dates. money transfers. travel itineraries. communication logs.

It ALL spell's "HOUSE OF SAUD"
That is just a subset of what Netbeans offers.
"Reps. Walter Jones (R-NC) and Stephen Lynch (D-Mass.) can’t reveal the nation identified by it without violating federal law. "

Pretty significant sentence, in this case. Much hangs from it, in the sense that if the official government narrative and this classified information differ greatly - then the Federal govt has been involved in what is essentially a huge propaganda operation.
For some reason, I really like having these live streams (both the Notch one and the George Broussard one) on in the background when I'm programming. Something about hearing other people hacking away helps me get in the zone, and periodically checking the video helps me get re-motivated if I happen to lose focus.

I'd love a site like Twitch but specifically for coding sessions (seems to me like Twitch is primarily for gaming sessions?).
To grow tech in NYC, access is the key
Random note to author if they read this, the default font is unreadably small on my 24" monitor.
Someone that did not wanted to generate syntax errors in older browsers ?
The way OO is used in real world, classes encapsulate spaghetti code into smaller chunks. It has been reasonably successful, but good module system can do the same thing.

Personally, I like the Alan Kay's definition:

>OOP to me means only messaging, local retention and protection and hiding of state-process, and extreme late-binding of all things. It can be done in Smalltalk and in LISP. There are possibly other systems in which this is possible, but I'm not aware of them.

http://userpage.fu-berlin.de/~ram/pub/pub_jf47ht81Ht/doc_kay...
Coverup? Entire blockbuster films were made about this which explicitly linked the two (The Kingdom). Don't mistake people either not caring or not understanding with a coverup.

Watch the opening title sequence for one of the best summaries of the linked events building to 9/11 and the Saudi response here: http://www.youtube.com/watch?v=VW71JuzHr5o
Different people have different needs in terms of how much human interaction they need. Ask yourself, before your move, were you around a lot of people most of the time and did you enjoy it?

I would say maybe join some meetup social groups, there are a lot of happy-hour type groups. It doesn't require much time investment but it can keep you in regular contact with people.

Also aren't there people in this so called hackerspace to interact with?

Bottom line, total isolation from people for long periods of time generally isn't good.
Wasn't our democracy destroyed anyway? No more civil rights, eternal war, single party rule (the rich guys) etc?
I honestly don't know what all those words mean when put together, but near as I can tell, that sounds like something useful for any kind of work related to robots with vision. Which part indicates that it's for killing people?
I suspect your parent would agree with (1) and (2). Those criticisms were aimed at Java, not at OOP.
Indeed, Americans have the govt they deserve.
30 years of being the only woman in the room — and how that’s changing
And for your viewing pleasure, the obligatory XKCD reference.

http://xkcd.com/258/

There is probably more than meets the eye because the brain matter behind them is making it so.
> The Koreans are very very bright and smart so I was puzzled by their inability to fly an airplane well. They would show up on Day 1 of training (an hour before the scheduled briefing time, in a 3-piece suit, and shined shoes) with the entire contents of the FCOM and Flight Manual totally memorized. But, putting that information to actual use was many times impossible. Crosswind landings are also an unsolvable puzzle for most of them. I never did figure it out completely, but I think I did uncover a few clues. Here is my best guess. First off, their educational system emphasizes ROTE memorization from the first day of school as little kids. As you know, that is the lowest form of learning and they act like robots. They are also taught to NEVER challenge authority and in spite of the flight training heavily emphasizing CRM/CLR, it still exists either on the surface or very subtly. You just cant change 3000 years of culture.

I've experienced this throughout my professional career as an engineer, to the point where I am very reluctant to work with foreign born asians. I find that this trait is very cultural, as it is almost completely absent in asians that were born in the US.
Configuration is usually very minimal. It might be as little as nothing to editing 2 lines in a single config file.

It depends on what you want to do of course. A lot of the following behind devise is due to how well it deals with all of the ceremony involved with standard authentication.

Everything from sending out e-mails, password resetting, failed login constraints and all of that stuff. It's nice to be able to hook in a gem and perform minor configuration to get all of that with no fuss.

In your example of only having to auth with github then yeah, I wouldn't use devise either because it's so basic. Omniauth is what I would use in that case. I would see that as a toy example too because more often than not you'll want much more than just auth'ing through a third party site.
Of course, many people probably wouldn't have a workaround to that one either, alas.
Maybe those "media elites" just have higher standards.
I always wondered why they don't do a more traditional web services-style rewrite. Break the site up into a smaller and smaller services first, then start rewriting individual services in Java or C++ or whatever. Pound away at it for a while, and eventually you'll have the whole site rewritten and refactored in a much more maintainable way.
"My real point is that there is nothing to be gained by modeling circuit components or even circuits as objects"

That directly contradicts how SICP teaches it:

Our computational model of a circuit will be composed of objects that correspond to the elementary components from which the circuit is constructed. (p. 273, 2nd ed.)

Elsewhere they say:

If we have been successful in our system organization, then to add a new feature or debug an old one we will have to work on only a localized part of the system. (p. 217)

... which sounds a lot like the benefits you deny. Do you really think SICP is wrong to teach this way? I don't.

I quoted a more general passage where they introduce object modeling here: https://news.ycombinator.com/item?id=6910292. But it seems striking that you would have brought up circuit simulation as when not to do object modeling, as it is the very domain they use to illustrate the strength of the approach.
What new products of the last 200 years have been 100% original? Vanishingly few, I'd wager. Almost every "invention" is an iteration.
Excuse my french, but you're an idiot. I don't know if you simply didn't read the article, or are incapable of grasping the facts within.
Speak for yourself. What about the thousands of families who lost loved ones in the attacks?

The American people have strong values and big hearts. You shouldn't confuse their apathy for politics as a lack of sympathy.
Thats kinda how things work though. Its pretty amazing that we're a country so fervently attached to the rule of law in some instances. It's kinda amazing actually.

Other nations wouldn't have it so lucky.

I'm sure stuff like this is why Cynthia McKinney just said to hell with it all...
For those interested in the science/medical side of things:

* "Zen and the Brain" (written by a meditation practising neurologist)

* "The Buddha Brain" (about the neurological/physiological background of a couple of buddhist principles)
Fonts have feelings too
The existence of unofficially recognized evidence and conclusions does not preclude a coverup. The government is not releasing documents or recognizing facts, and people who are open to a more sinister truth are marginalized.
The burden of proof falls upon the claimant, and extraordinary claims require extraordinary proof.

If there is a conspiracy to wage war against the US, there better damn well be a more creditable news source than a sensationalist tabloid, owned by Rupert Murdoch, than the NY Post.
If you take a look at the comments on the article, most of that speedup is because the LANG=C command was run second and the files were cached.

His estimate accounting for that was 7x, but this is clearly not a benchmark that was carefully thought through.
Some people don't like any strain of doubt when they can't accept they might be wrong.

Its pretty much confirmed IMO that the Saudi's probably were behind the whole thing.

Which is odd because they have a serious history of state-backed terrorism and islamic expansion throughout the world.
How is the article a rant? Or are you referring to the one of the comments above?
How to be a good programmer
good evening everybody, i'm zakary from belgium , this year i wil get my bachelor degree in computer sience ( developer) , i think in last 3 year i didn't make a lot of applications, i don't know but i don't likle to stay programing for a long hours. my only skills are java with some basis framwork like spring , hiberante, i'm good in swing. but really i dont have confidence to go to search job because all time i think i'm bad programer who don't speek english well, i'm here fo some advices for me as junior developer
> it's smart enough to recognize that the UTF-8 search can be correctly performed as a byte search

It shouldn't that simple – it'd also need to confirm that the pattern wouldn't match any combining characters or normalization would still be necessary.
Over diagnosed? Sure. But I don't see why this drug is so demonized

Nobody dislikes Adderall. If you need it, I've never met anyone who would begrudge taking it. The demonization is of over diagnosis; Adderall is the poster-child.
Problems with any process can come down to the skill level of developers, but more importantly their attitude and team fit.
For example, if you have a team of like minded developers (with the right attitude), at about the same level. You can give them any process and call it what you want, and they'll achieve what they set out to achieve.

And vise versa, you can have a team of dysfunctional developers and give them any process - yet they'll most likely fail to achieve what they set out for.

Oh, and replace process with framework if that helps...
From the official Scrum guide:

"Scrum is not a process or a technique for building products; rather, it is a framework within which you can employ various processes and techniques."

https://www.scrum.org/Portals/0/Documents/Scrum%20Guides/Scr...

These are just some examples that wrong causes can get attributed. And yes, a lot of times there is a mismatch between the skills and the expectations of the developers. (Without judgment where the error is.)
Don't go to Law School
Delta Camp: Summer Program for Children with a Mathematical Cast of Mind
Contracts(arbitration) without trust or third parties
There's a difference between learning to use object-oriented systems and learning to design and implement them.

This code snippet posted does not implement a new class. In a language like Python, you can code for years relying on objects without ever implementing a single class of your own. As a programmer, deciding when to switch from writing procedures and functions to writing classes and methods can be a tricky design call. The OP's argument is focused on this issue, not the simple matter of using OO APIs or frameworks.
Point made - I've put it through an accessibility enhancement.
If you put everything under one name, it helps ridiculing the plausible theories by injecting stupid ones.
I'm kinda amazed that after 12 years, info is not only leaking out, but is still painting a picture of what damn near everyone thought in the first place...
"Nobody cares"

They care. You can't do anything about it though.
Yes :) My interest in homotopy type theory is only auxiliary to my research. Designing dependent type systems in a way that balances tractability with expressiveness is a pretty hard thing to do. SMT solvers are nice because you can treat them as oracles and "see what happens". I'm not an expert on decision procedures, and I'd characterize myself more as a user of solvers than a developer of them, though of course once you get deep enough in, that line blurs.
Agreed. What I do find terrible about this culture on its attitudes toward sexual misbehavior is that it's a guilt culture for men, but a shame culture for women. Guilt is feeling bad about something you did. Shame is when it's generalized to the person.

If a man does something stupid, he's told to feel bad about what he did. If a woman does something stupid sexually, she's told to feel bad about herself. That's wrong and it should change. The double standard is shitty.

I can't get on board with the Sex and the City crowd that glorifies horrible female behavior, but neither can I support the hideous double standard that exists now. The correct middle ground is not to glorify bad behavior and call it "feminist" (as the SatC people do) but for women to experience the same guilt culture (not the shame culture) that men do. It should be "that was dumb, don't do it again" (as it is for men) but not "you're a horrible person".
People are selling btc this way on ebay
what you don't understand is the fractional percentage of a population tells you nothing about an actual person. do you think the founders of youtube, yahoo, and JPL were spies? what are the likelihood of them being spies, compared to your average white guy?

is this something that your autistic world-filter can assign a number to? or do you just sit smugly at home with the knowledge that "yeah, those chinese people are probably spies. how come nobody sees it?"

it's the same old shit, dude. go back to stormfront.
I've been practicing meditation for a long time off and on. I've gone months with sitting every day. I've had stretches where I sat an hour a day. I've participated in mediation retreats. One new concept that I'm trying to put in place relates directly to the point about how just sitting every day doesn't change the stress level at work. It's the idea of trying to break away the practice of awareness from the cushion and spread it out during the day. It's really simple, but I've found it very difficult to practice. It's 5 "moments" a day you remember to "meditate." Basically this moments should lass from 15 seconds to a minute, and you just try and gain awareness of whatever is present in that moment.

To me this could promise some powerful benefits, beyond just sitting every day. But thus far, I've found it very hard to do this 5 times a day. Anyone ever try this?
Given this evidence, Leonard Peikoff's essay on the subject is worth examining. It was published a couple of months after the attacks:

http://ontology.buffalo.edu/smith/courses01/rrtw/Peikoff.pdf
Well, the FBI has a history of encouraging people to commit bad acts, giving them fake bombs and then "catching" them. I don't believe the FBI generally gives people real bombs, and it would be big news if you could prove that they did.
The New Old Thing has an article on this topic [1]. Personally, I avoid ever using the percent button simply because I can never remember exactly how it will behave.

[1] http://blogs.msdn.com/b/oldnewthing/archive/2008/01/10/70474...
Me too! I thought the post was about ebay dodging the bitcoin topic
I'm talking about sharing something from my phone to my computer, which I thought was the most interesting use of the service.
Why would you want to control heart rate?

If you are so out of shape that the walking causes you discomfort, then walk slower. Same if you feel your heart rate is too quick to allow you to stay calm.

Other than than that, there's no reason to worry about heart rate.
See https://news.ycombinator.com/item?id=6910379
As far as I know, no major browser even tries to support text/sass or text/sass for stylesheets.
I would transfer the bitcoins to another wallet immediately upon receiving the usb drives
I actually read quite a few posts on her blog. She wasn't just writing about sex. She was writing about people she was with, sometimes in intimate detail.

No one sane has any problem with sex columnists, who write about the topic in general. "[Identifiable person] has weird genitalia" is another.
See https://news.ycombinator.com/item?id=6910379
I also use the Dropbox plaintext app (can't remember the name).
A very interesting documentary that many people haven't seen:
https://www.youtube.com/watch?v=9ue2nXcMDLs
In "Debt of Honor" and "Executive Orders", America survives this kind of catastrophe essentially okay, although it helps that they have Jack Ryan in charge.
>One useful technique to make Emacs appear cleverer than it is vis-a-vis code searching and navigation is to navigate by syntax highlighting - most of which is assigned one of several types (constant, keyword, statement, etc.) -- and simply use that.

How do you do that?
>>A federal warrant for Awlaki’s arrest had mysteriously been withdrawn the previous day. A US drone killed Awlaki in Yemen in 2011.

Super handy that the US Government can kill people now without a trial or due process of any kind.
Same here, unreadable to me
I love Clauset, Shalizi, and Newman for keeping up this fight. Even if you agree with them, you still have to include a linear regression in your paper to satisfy reviewers.

I was surprised to see this on HN, though. I guess everyone is trying to use power laws in one way or another.
It's historical and sets your local character set. The default value on FreeBSD is POSIX which is an alias the historically value which is C. Desktop unix's like OSX or ubuntu set it to utf8.

Another note is that this is triggering fgrep which is already fast due to it's fixed length expression (i.e. no recursion is involved)
What's Bush's interest in protecting the Saudis?

It certainly would have been a lot cheaper to invade SA than Iraq.
Why did you stop meditating from April through December of 2013?
Email Marketing on Black Friday & Cyber Monday
“View mode” approach to responsive web design
That argument is known as "Generalization from Fictional Evidence": http://lesswrong.com/lw/k9/the_logical_fallacy_of_generaliza...
You're discounting the idea that someone might want to destructively rewrite their history. Here's an example: What if you want to retain history, but remove a password that was hardcoded into a source file?

The simple options are:

- Remove the hard-coded password, and create a new repository with the current state of the code as a starting point.

- Start a new repository with the current code state, but keep the old repository around under lock-and-key, then perform 'complex' patch operations to move changes between the two repositories (e.g. roll back to a previous version of a file before the cut-off).

- Go back through your history, and manually create a new repository from each patch, but removing the password when you get to that commit.

If git always preserves all history, no matter what, then these are your only options.

While operations like `git-filter-branch` sound scary, they don't delete the commit objects from your .git folder. If you created a new branch called (e.g.) master-old because running `git-filter-branch` on your repository, then you can always 'rollback' to master-old if you end up in failure. Or slightly more complex, you could use the reference listing in the reflog to 'rollback' the changes.
Viable electric cars, light bulbs connected to wifi, Raspberry Pi, robots that run like cheetahs, quad copters, quantum computers...

But saying "I'm sure there might be a few but..." indicates your disposition will be critical of an objective response. You're probably going to argue that IoT light bulbs are just lightbulbs + wifi. But Edison didn't invent copper wire or glass, and nobody questions whether the lightbulb was an invention.

It's the same argument that no thoughts are unique, they are just derivative of prior thoughts. But the conclusion is hasty and incomplete. It's easy to deconstruct ideas (and inventions), a posteriori, into a collection of parts that existed prior. But the combination of those parts is what constitutes uniqueness.
> We don't just throw lines of code randomly.

I see you haven't met my coworkers.

P.S. I'm self-employed right now.
Why it's time to lay the Selfish Gene to rest
CV Dazzle - Camouflage from Face Detection
>When I last checked, the activity on a CEDET and Semantic mailgroup was almost non-existent.

http://news.gmane.org/gmane.emacs.cedet

Sure, it's not LKML, but still, questions usually get answered.

> Now I'm fighting with CoffeeScript/LiveScript support. They both expose their parsers - I can get their AST with one line of code. After another week I still don't have working Semantic plugin for them.

I'm afraid an AST is just the beginning for properly supporting a language. If you need help, don't hesitate to ask on the mailing list.

> The home page for CEDET looks like it comes from last century and even info pages are not a big help.

Yes, unfortunately.
Just an hint, you can swap the guts of a TI-89 into the body of a TI-83. Don't ask me how I know :)
Are active record callbacks evil?
Does this even work? It's just an IR detector, and you can be pretty sure that the sun is a bigger emitter than security spotlights...
Comments like these are also known as jokes: http://en.wikipedia.org/wiki/Joke
This is an old topic. https://gist.github.com/justinko/2838490
Your understanding of univalence seems essentially correct to me.

At this point we are mostly debating what "can use" means -- it's probably enough to say that unless you reframe your thinking, perhaps radically, probably it will be hard for you to be able to use HoTT to get work done. It is possible to do classical mathematics within HoTT, in the normal way, but it would not be very fun.
The US government has always been able to wage war, and has never required trial or due process to kill the enemy in war.
Do you have any evidence to suggest that "consciousness" is anything other than a physical process occurring in the neurons of the brain? It sounds like you've been reading too much Chopra.