skysight-inc/HackerNews huggingface dataset:
While "politically correct" is to me a shibboleth that marks the user as a vitrolic and dishonest conservative pundit, the letter itself is perfectly reasonable and polite. However, there is one very interesting part:

A search based on these criteria usually yields a male who is 50-plus years old, has a Masters degree in an engineering science, and has moved up the managerial ladder to the top spot in one or more corporations. Unfortunately, there are currently few minorities and almost no women who chose to be engineering graduate students 30 years ago. (That picture will be dramatically different in 10 years, due to the greater diversification of graduate students in the '80s.)

Well, it is now 17 years later, and the end result doesn't look "dramatically different" to me. So maybe the criteria (at this level and/or others) aren't all that objective and rational after all.
That was a mistake. Thanks for pointing out. Corrected.
There's nothing special about ground, it's the same as a digital pin set to low (from an M/C perspective). You don't need to have two separate grids. Just try out combinations of pins as data/power and ground until you get a set that works and float (disconnect/set as input) the others.
To me that means you are good at creating something fun.

Let's be perfectly honest, after Quake 3, nothing id put out was really fun despite all the technical achievements Carmack made with the subsequent engines

I'm not saying Notch is a bad programmer, I admire him very much, but you need to keep the success / marketing / fun factor separate from the actual code
I do not understand your criticism. HoTT's value proposition is about a significant simplification of automated theorem proving in mathematics. As such, the value proposition itself has nothing to do with Homotopy Theory: if what HoTT promises to deliver will indeed happen, mathematicians will learn the necessary material because of what it gives them.

Perhaps you are saying that it simply won't deliver, but you cannot possibly reach such a conclusion by reading 1.5 chapters out of 11.

I do not understand how the fact that currently most people do not know the relevant material is an argument against HoTT: of course nobody knows it: it's new! Did you expect "revolutions" to happen by telling people something they already know? Do you believe Grothendieck's work was a mistake because 99.9999% percent of mathematicians weren't Algebraic Geometers by the time EGA was published? Your argument makes no sense, maybe because you are comparing HoTT to Facebook, when in fact it's a mathematical achievement.

Also:
if this is gibberish to me, it will be gibberish to about 99% of all mathematicians out there .

I seriously doubt that.
I read the whole article and didn't understand anything.
Well, taller people are somewhat smarter than everyone else. If your model of CEOs is that they're selected top-down from the smartest members of the population, you'd probably expect them to be taller than average, because someone exceptionally smart probably had a lot of different things go right to achieve their high total, including the particular thing that's related to tallness.

I tend to assume that most leaders are tall because tallness contributes heavily to charisma, rather than because it's somewhat related to intelligence.
How can the current population of eligible candidates reflect poorly on the criteria for eligibility now, if it didn't then?
Mind-Mangling Optical Illusion GIFs
I don't think anybody has pointed out this fine print yet:

$0 trade Commissions are currently only available
for Robinhood Financial self-directed brokerage
accounts via mobile devices

Note: only available for ... MOBILE DEVICES

More fine print: only available in CALIFORNIA
Sorry If I came across as being harsh - but you are that 0.1% minority in India, that wants/dares to be an entrepreneur.

Your courage, and determination to try to break away from the suffocating conventions around you - I applaud you.
Art Project: Armor That Lets You Sense Surveillance Cameras
One black dude on the board. Unfortunately, not as much progress as one would have liked.

http://investors.cypress.com/directors.cfm
Great work. A few thoughts from the initial experience:

I like the linked numbers design. As it reminded me of Bret Victor's work, I was expecting scrubbing to work directly with numbers, which caused occasionally a bit of havoc, but I think you did a right choice of putting linking as the main action - touch design is hard.

The free-form infinite layout gives a mindmap vibe: it's potentially great when you are trying to understand pieces of a problem that you need. The downside is that the canvas becomes a bit of mess quickly.

The other alternative could be a Mathematica style, free-form document, with more restricted flow of equations (and text).

Because the organization becomes a bit of problem, undo is a must and solves a bunch of other problems. I'd implement area selection of equations (initiate with long tap?) to quickly move things around.

Y-axis could auto adjust by default or quick slider scrubbing should work directly for axis max-min values.

You probably want a simple document model as this is something between calculator and full featured computation software. Maybe just save every canvas when user clears/starts new one

All in all, great work!
Visual Studio 2013 - List of extensions
They are linked in the Airbus (IIRC it gets the average of the controls if there are two inputs), but the sidestick doesn't provide feedback
No worries, Thanks for the appreciation. Glad you read the post, and pointed out the mistake. Regards.
Monsanto, at least, still seems like an IT-based software company to me. I mean they have their hand in other things too, as large companies tend to, but some of their divisions[1] could easily be a YC-backed startup in nature.

[1] http://www.fieldscripts.com/
Sadly I agree that the O'Reilly book is of poor quality. Bad editing, sloppy writing style, terrible organization of the chapters. Whatever happened to O'Reilly's standards?
Back in the old days of flying (multi engine, no hydraulics) it was typically the right seat that controlled the throttle and hence would have primary responsibility for monitoring the airspeed. So I would say that at least two of the three pilots in the cockpit should have had an eye on the IAS. Also, four red on short always means instant throttle up and evaluate the need for a go around.
Since you are using the word "constructivism" so often, there is probably some sort of misunderstanding. Constructivism usually refers to the philosophical school of thought which rejects the axiom of excluded middle for fairly dogmatic reasons. Most people who learn about this are appalled, since excluded middle appears to be consistent and useful. In particular, intuitionistic set theory is weird and unintuitive - most people don't bother with it.

This has little to do with the reason for constructive logic in HoTT or any type theory. Models of type theory collapse if you add excluded middle and you cannot interpret the resulting structure in any particularly useful way. Without excluded middle you have more freedom in designing new axioms.

This is the reason why HoTT is constructive: You have a choice between classical logic and univalence. The latter turns out to be more useful.
Part of it is confidence. Taller people receive more compliments when young, while shorter people get put-down.

Another part is that many people perceive tall people as good leaders. The phrase "looking up" applies both figuratively and literally.
Suppose that Intel's lowest-paid trainee earns $15,000 per year. The 50 to 1 CEO salary rule would mandate that the salary of Intel's co-founder and CEO, Andy Grove, could be no more than $750,000. (...) Consequently, the practical meaning of this "responsible corporation" law to Intel would be this gun-to-the-head proposition: "Either cut the pay of your Chief Executive Officer by a factor of four from $2,756,700 to $750,000, or pay the federal government an extra $395 million in taxes."

I wonder if raising trainee's pay as a solution to this "problem" was deliberately omitted, or it did not even occur to T.J. Rodgers.
That sounds pretty depressed
https://gist.github.com/graetzer/7972341
To make a game from scratch, you must first reinvent the universe.
Exactly

The weather was as good as it gets. Anyone that had experience with "landing a plane", not pressing buttons like the modern cockpits encourage you to do would have landed it safely.

There have been some complaints about pilots from Korea (of course, not only them, but there are some structural problems in Korea that help this) not having good manual flight experience.
That looks really interesting! I'm currently trying to cook up a reliable way to label my paw prints (like here: http://stackoverflow.com/questions/4502656/how-to-sort-my-pa...).

I'm wondering if modeling/simulating quadruped locomotion would help make this task a lot easier. Instead of trying some machine learning/computer vision on the pressure data, reason about what kind of walking pattern brought forth the results. Like a paw can't be in two places at the same time and other heuristics like that.

Any suggestions for literature I should read up on for horizontal locomotion? :-)
Simple mathematical formula describes human struggles
If it was just a block of text, I would probably skip over most of it, but this running line thing is a cool idea to try and make the reader read every sentence. Not knowing how long the actual text is also helps a lot.
There should be some browser plugin which does this to texts!
> What absurd logic would contend that Americans should be harmed by "good ethics?"

Why is that absurd? Is it unreasonable to think that, say, Americans might be expected to pay more for clothes in order to reduce the numbers of people burned to death in Bangladeshi textile factory fires?
Yes, thank you! I will try to repost and rephrase this post. You are right this description could not be the best because it does not tell about specific problem.
Single-Sex vs. Coed: The Evidence
This. I've outsourced to India, Uruguay, Poland and I think Ukraine. Every single line of code from outsourcing has been thrown away. That was from finding a dev shop and them leasing one of their "devs" for x per hour (x was never under $20).

When I learnt my lesson, I thought about it and removed the indirection. Since 2011 I've only hired directly, but still remotely. I explain exactly what quality level is expected and that it's not a rush to finish.

The countries I've hired from still aren't high wages countries and the initial wages paid were the same as in my unsuccessful attempts. The quality output is far higher, and it's been worthwhile re-writing problem code rather than giving up and trashing it.

I don't think it's the country or the wages that are the problem, I think it's the indirection of another manager, plus the use of another company who often stacks (cheap) junior devs up and their only measure of success is whether their clock hours are full at the end of the month. You just can't expect that company's business goals to align with yours, especially when other companies using their services are often very inconsiderate about dropping the contracts with virtually no warning, that makes their planning really hard.
I've edited my statement a bit to clarify: I don't exactly know how the population of eligible candidates has changed, but the CEO made the clear prediction that it would change dramatically and clearly implied that this would be reflected in the end result (the board members).

But if we look at the end result, in this company an others, it is equally clear that the prediction was wrong; boards haven't become dramatically more diverse.

So either the criteria for eligibility have changed, or they're different from what the CEO claimed, or there are barriers in the process of moving from grad student to potential board member that he did not take into account (or glossed over).
Yes, but we run our own servers.
AngelList: Doing the Wrong Things the Right Way
joe, what is the difference between verification and provability?
I'd reinvent a universe without pedantry.
I wonder, on the basis of this, why can't victim get united and counter-sue? I think there are grounds for fraud and possible privacy breaches.
Four-dimensional space
Hm, so Rodgers is still CEO. It would be very interesting to hear what he has to say about the failure of his prediction.
I wouldn't necessarily say the "processed" nutrients did it. How does fruit affect you? The change in sugar-content of your diet indicates that you are most likely pre-diabetic, hyperglycemic tendencies, hence sugar makes you tired.

A healthy diet can do wonders.
Yes, we run the mail and api servers ourselves.
Yeah but that doesn't mean Indian developers are bad. Indian companies try to approach a different market which values speed over quality.

No one likes this. No one, not even the people who offer this kind of service in this or other sectors. But it's how you make a living.
Leon Eisenberg words 7 months before his death: “ADHD is a prime example of a fictitious disease” according to Der Spiegel.

http://www.worldpublicunion.org/2013-03-27-NEWS-inventor-of-...
Haha, imagine what tech news would be like if every time you saw PoC you thought it meant piece of crap. Quite hilarious actually.
Deadly conformity is killing our creativity. Let's mess about more
On the flip side, Homakov personally has incredibly bad OPSEC practices which would make me think twice for using him. There's a correlation between what you pay and what you might get.
Vedanta Desikan (aka KaviTarkika Simhan - Lion of the Poet Logicians) born 1268 C.E. wrote over 100 books.

One of them is called Padhuka Sahasram, was written in less than a day in response to a challenge and contains 1008 verses in 32 chapters.

The 30th chapter called Chitra Paddathi or Picturesque Chapter (aka Matrix of Artistry) contains verses that whilst paying homage to the feet (Padhuka) of the Lord also paint elaborate patterns, such as The Knight's Tour (1).

One hint as to why "Indians did this ages ago" is of intellectual interest to "some" indians is because the middle name of the early-stage investor and long time board member of google is KaviTark.

[1] http://www.ibiblio.org/sripedia/ebooks/vdesikan/rps/chitra.h...
Tried it out, works well!
Some people are counter-sueing. But it's risky (because not every judge understands the technical details, e.g. one court obviously mixed up streaming with ordinary file-sharing) and expensive. And last but not least it's embarrassing for many people because it's porn.
Why do they need to act like if the know github? What's important about github outside the dev community????
> HoTT's value proposition is about a significant simplification of automated theorem proving in mathematics.

Now that is utter and complete nonsense. And that is why I am criticising HoTT. HoTT might be a beautiful mathematical theory. I am not competent in judging that, to be so, I would have to invest more time. But there is not a single shred of evidence that HoTT will improve automated, or for that matter interactive theorem proving. And I am pretty competent to judge that.
No, learn by teaching. Duh.
So you did think it would be upvoted? Make up your minds :)
As much as I can't stand a lot of the ultra-extremist feminists out there in the internet, this kind of behaviour (doxxing, cyberhunting) is beyond unacceptable, it's dangerous to society.

Anyone who ever has engaged in "slut shaming" or whatever the current term is for hunting down/doxxing activists, please go, take a 9mm and shoot yourself.

And to Google/FB: please, make it possible for victims of doxxing/cyberhunts to contact a real human in your organization who has the authority and ability to track and remove such abusive content.
So are you saying that adding the law of excluded middle would make HoTT inconsistent? That does not sound very useful.
"There are two motives for reading a book; one, that you enjoy it; the other, that you can boast about it."

― Bertrand Russell

--

If you don't enjoy science fiction then don't read it. If you are a looking for a reason to do so, then stop - it's wrong.
Ford Unveils Its First Autonomous Vehicle Prototype
Awsome work, Recently I heard about Cryptocurrencylive (www.cryptocurrencylive.com) too. We'll have to wait and see who makes the best news.
Methamphetamine is sold legally in the US under the name Desoxyn. I've read comments indicating that in double-blind trials, methamphetamine is not distinguishable from other amphetamines (apart from dosage).
Lisp Hackers: Interviews with 100x More Productive Programmers
The problem there being when something unexpected happens that the automation can't cope with, your skills have atrophied.

I'm not a pilot but I am a technical diver, and we eschew many of the conveniences that recreational divers use, such as relying on dive computers. We work out dive plans on paper, and backup plans, and carry them with us on a slate. The only instruments we rely on are watch, depth gauge and compass, and these are of the simplest possible design, and we have backups for them. If something happens on a deep dive or a cave dive, you know exactly what the state of your system is and can reason about it. Not so if you were used to something else tracking it for you, and you had to start discovering it from scratch.
New Research: Rituals Make Us Value Things More
For the 99% of all mathematicians statement: I should probably take that back, as I don't know what the curriculum for mathematicians looks like these days. Maybe it's all algebraic topology and category theory for them now.

Instead of mathematician, I mean: people who could potentially benefit from interactive theorem proving technology.
But when you put it like that, why should the taxpayers foot that bill and not the companies that reap the value?

The companies won't foot the bill. They'll just hire very young people with the relevant training or send the work overseas.

Technology is more about job replacement than destruction. The problem is that few companies are willing to train people up. The world is unfortunately too big for there to ever be a real labor shortage (at least, in the next 30 years).
What is an ultra-extreme feminist? Given that feminism is the advocation of social and political equality twixt genders, what is extreme feminism? What's the difference between social and political equality, and extreme social and political equality? How can two things that are equal be even more equal?
What Anesthesia Can Teach Us About Consciousness
Ask HN: From nothing to freelancer
My wife is looking for a (major) career change. My advise to her is to pick up programming. I gave her a first introduction in the fundamentals of programming and let her read some basic books. She grasps this quite well and is also very interested in it and eager to learn. Now is the time to dive deeper into a language (besides the HTML and CSS which we will start with) and stick to that one. The big Question is, which one?

Keeping following in mind:

- She has 4/5 months free where she can learn 5 to 6 hours a day intensively

- After this period, she would like to work as a freelancer (based in Europe)

- She would like to freelance (or be a contractor) for more established/bigger companies, no interest in working for smaller startups

- Should be web programming

My thoughts are either Ruby or Javascript with the rise of Node.JS and frameworks like Meteor and Express. The issue with Ruby is that it's mostly used for startups, which if they grow usually switch to another stack. Python might be another solution but afaik not very demanded in Europe.

HN, I would love to hear your thoughts and recommendations!
> This led me to wonder what a feminist programming language would look like, one that might allow you to create entanglements

What is an "entanglement" in the context of things that programming languages can create?
The problem is the idea that academics need to be fair in some way. You could say that it's frustrating for people with dyslexia that other students use spell-check, since dyslexics need it just to be on par.

Everyone should be able to easily obtain such useful medications.
Would be nice to see it take a URL.
Go Advent Day 15 - Accelerating ecommerce with Go
That pyramid is called Dale's Cone of Experience, created by Edgar Dale in 1946.

The percentages were not part of his original pyramid, they are just made up. And there is no research verifying the 'order' of the parts of the pyramid, either.

From Wikipedia: "Dale's "Cone of Experience," which he intended to provide an intuitive model of the concreteness of various kinds of audio-visual media, has been widely misrepresented. Often referred to as the "Cone of Learning," it purports to inform viewers of how much people remember based on how they encounter information. However, Dale included no numbers and did not base his cone on scientific research, and he also warned readers not to take the cone too seriously."

Here are some other articles debunking the cone and percentages:
http://www.willatworklearning.com/2006/05/people_remember.ht...
http://www.brainfriendlytrainer.com/theory/dale%E2%80%99s-co...
http://www.asee.org/documents/sections/pacific-southwest/200...

That said, there is plenty of support for the general idea that the more participatory and applied our learning, the better. For example http://www.vcu.edu/cte/workshops/teaching_learning/2009_reso...
Someone can correct me if I'm wrong, but I believe when multiple people submit the same link, it generates an upvote automatically.

So if ten people submit the same story, it gets ten upvotes. For plenty of stories I imagine that eliminates the need to derive upvotes from people browsing "new."
Because for them, probably the cost of maintaining rails applications out of the box, is bigger then the approximate gain of offering an up-to-date ruby installation on their servers.

I don't feel like 'Dreamhost' is prominent in the Ruby community. Actually I'm the ruby mailing lists and at least 6 ruby-related IRC channels (I don't do Rails yet, I'm more of a Sinatra afficionado). I never seen ONCE dreamhost mentioned there.

Even on rails website[1], the recommendations are: Heroku, Rails Machine, Brightbox, Engine Yard for hosting, Rackspace (hosting rails website IIRC) or Linode.

[1] http://rubyonrails.org/deploy
Cool, but for each of these properties that knwl.js finds there are done extensive research and none of them are easy to do well. Sure, in the demo you find some interesting properties, but it's content was chosen by the author.

E.g. in the emotion-detection instead of using a data set such as http://sentiwordnet.isti.cnr.it/ the author defines the following data structures:

this.emotion.negativeWords = ['terrible','horrible','evil','die','dick','bitch','fucked','stupid','idiot','dumb','noob','shit','vain','n00b','dickhead','cocksucker','disgusting','slut'];
this.emotion.negativeWordsB = ['fuck','shit','kill','rape','hate','hating'];
this.emotion.positiveWords = ['happy','good','great','amazing','awesome','wonderful','brilliant','smart'];
this.emotion.positiveWordsB = ['love','like','want',"<3",'kiss'];

Which perhaps functions well, but in a very limited domain. The same can be said for detection of spam, phone numbers (only find American numbers in a certain format atm) etc.
I'm referring to the kind of people like Alice Schwarzer, who thinks for example that all prostitution is inherently bad for the women and that there cannot be anyone working in prostitution out of his/her own will, or those "womyn" folks who think they have to change the word "woman" because it contains "man"... this is just ridiculous.

Also, by providing just-for-women courses in tech, for example, you're creating an inequality for men at the same time... you can't fight men-focusing with only focusing on women.
Basically that's the idea. If you don't have the passion, just the skill... you are not welcomed there. Makes sense, it's a small niche, I'm sure they find people easily.