skysight-inc/HackerNews huggingface dataset:
Also I see that you are interested in SMT solvers. Isn't it a fact that automation becomes HARDER when using type theory, not EASIER?
No, it is when people makes statements that assumes we're living in a kind of environment that we refuse to accept we are living in.

And most of us are not living in places where "covering up" is a way to avoid rape.

Not least because the vast majority of rapes are date rapes, carried out by people known to the victim, not carried out by strangers. Covering up when going out is thus not advice that actually protects women in a noteworthy way.

If the intent is actually to protect women rather than to exert moralistic control over them and their sexual expression, we should expect said men to be more concerned about said women's boyfriends, spouses or other male friends, not worrying about the lengths of their skirts.
Additional tools that break workflow have become a fact of web development though. They don't even bother me anymore, I took that mental hit long ago.

A native CSS solution is definitely better in an ideal world. But we will still need SASS/LESS/etc for years to come because in the real world old browsers still get used a lot.
Sure, sometimes they warn about totally valid behaviors. The "all warnings must be fixed" dogma arises not out of the belief that all warnings are errors, but rather that the value of having compiler warnings catch bugs early is well worth the cost of changing code style to conform to the compiler's warnings suite.
That is not so bad idea. There is one essential skill - being able to get around and make any technology do your bidding.

People learn stuff well when it is rooted in reality. Make them make few simple programs that could be done with excel.

And right now with these insanely rich libraries that are on the market you could spend half your career without knowing what O notation is and have no problems.
Any chance you might sell this? I can imagine lots of uses for this tech.
A bit meager, but it could be FLUID: http://www.slideshare.net/anoras/ndc-2011-the-fluid-principl... (same author)
Sass and less are really a kluge that just sheds light on how much CSS needs this built in.
cool. what specifically are you trying to study?

there's no substitute for the actual foot force data. i would collect this directly, in 3d (not just z-direction -- which it seems like you are currently doing), to understand the basics and then later involve simulations to iterate different designs that produce the desired motion and forces. i built a force plate that measures forces in 3d with piezoelectric sensors. it shouldn't be as hard with a feline because their feet have a reasonable distance between them (try getting only one of a cockroach's feet to be touching the plate at a given time to measure what forces it produces!). the reason why i have this opinion is that the most interesting part of comparing how animals run versus climb are the lateral forces. another interesting thing is that the number of legs is irrelevant (well except maybe monopod) because when studying two, four, six or 44 (centipede -- man those things are scary to handle!) legs, the forces reduce to a basic pattern we all share in common. when a centipede is sprinting, only three of its legs are on the ground at any time, so it's forces look identical to a cockroach or any other hexapod. when you have less than 6 legs, then you can observe the effective 6 legs by analyzing various portions of their phase. for example, when you walk (bipedal), when your foot is out in front of your center of mass, the forces generated are like the front feet of a hexapod (deceleration only). when you foot is near your CM, it generates forces like the middle legs of a hexapod (deceleration followed by acceleration). and when your foot is behind your CM, it generates forces like the rear feet of a hexapod (acceleration only).

there's more i want to say, but i'll save it for a subsequent comment :)

as for additional reading for you, i would take a look at Robert J. Full's research. there are a couple horizontal locomotion papers cited in the my paper linked in the prior comment that have phrases like "on the horizontal plane" or "on land" in the titles.

also, here's all the papers from his lab: http://www.polypedal.com/?page_id=163

and here's a link to one to get you started: http://www.polypedal.com/Images/PolypedalPublications/62_Dyn...
Optimizing TeX Search
From the article:

"The shift from procedural to OO brings with it a shift from thinking about problems and solutions to thinking about architecture"

Couldn't agree more... I have been doing OOP for a while in various prog. languages, and I had come to similar conclusions...It doesn't really help you focus on core ways to solve problems: focusing on algorithms.

Another read I would recommend is from the author of C++/STL:

http://www.stlport.org/resources/StepanovUSA.html

See the answer to the question:

"I think STL and Generic Programming mark a definite departure from the common C++ programming style, which I find is almost completely derived from SmallTalk. Do you agree? "

Note: not trying to endorse C++ templates here either...have my own gripes here but it did bring the attention back on algorithms and data structures.
I mean we have to look at the conext here. Programming a game has very different goals than for example writing a service which should never crash.
Flash also supports P2P:
http://www.macromedia.com/support/documentation/en/flashplay...

Maybe redtube uses this functionality to get the stream faster to everyone.
Good point. So then the question becomes: can you prove in HoTT that there exist irrational x, y such that x^y is rational?
You might think "asshole", but there's a giant step from thinking "asshole", and maybe even writing a blog post or comment about it somewhere, to even a tiny fraction of the level of harassment she has been subjected to.
If you are going to argue for a tool that understands the semantics of the language you are editing, you are doing yourself a real disservice not using a JetBrains editor if they support the language. They do support Javascript and their support is quite great.
Search my username on en.wiki :)
http://codeofrob.com/entries/my-relationship-with-solid---th...

Interesting take on the open closed principle
8 Photos of New Yorkers Most People Don't See
Some of the copy on your page is not quite right. "Each value could be . . ." -> "Each value can be . . .". There are one or two other places with this improper word usage. Just a heads up.
Finished game source code: http://test.notch.net/ld28/ld28.dart

Finished game: http://test.notch.net/ld28/ld28.html
Yes, it's going on the market pretty soon. If someone wants to talk, roee ಠ phobotic.com
Wow, I never realized how the obnoxiousness of camera shake and rolling shutter combined to make something even worse than simply adding them.
One-Line ChucK Crazy: Mr. Coleman
Where to start? :-(

The point with democracies is that they take input from their citizens, or the leadership will get kicked out. The point with terrorism is to scare people, mainly in democracies.

If the terrorists succeed in scaring voters enough, then the politicians will throw out the law book and all other concerns (see Germany, UK, Spain, Israel, USA, etc) because they want to get reelected above anything else... What you ask for go against the central interests of the involved parties.

I might also note that your moral world view is based on living inside a society with a state violence monopoly, in a democracy. If you go outside that, the attitude is ... well, read up on clan societies yourself. A typical example is when Israel did one sided peace gestures -- it was taken as signs of weakness and attacks increased (leaving south Libanon and Gaza).

tl;dr: You're not naive, you just don't think. This is HackerNews, please start.
I love the concept but also agree with some of the comments below. Text extraction, and parsing is better done with classification and training. I spent sever months working on the problem with Natural[1].

[1] - https://github.com/NaturalNode/natural
Not to go all [0][1][2][3] on one word in your thoughtful comment, but for me, it is always worthwhile to ponder the fact that the theory of evolution is not about chance per se.

You take the intelligent-design approach - pattern recognition on designed things. I hear you. But what about the compelling inductive evidence we have that deterministic, if chaotic, natural systems are perfectly capable of establishing a feedback loop and modifying themselves?

IMHO, accepting evolution is all about wrapping one's head around the notion that the result of this modification, when stretched over unimaginably large timescales, is significant change.
The execution could have better, as others have mentioned before me. Hopefully others will contribute to make it more intelligent. Nevertheless: Great idea!
Inside the Saudi 9/11 Coverup
Show HN: thsthn - 2 pictures tell a story
Oh yes, you're talking about the dreaded "GoPro Jello". At specific vibration frequencies, the entire image begins to move around. We're doing lots of signal processing to counteract that.
Does it really make your program slower? That padding you have to eliminate for this technique is added for speed, after all. The initial read may be faster, but every access to the data is going to be slower.

I'm not quite sure what the BMP file format is supposed to be an example of, especially since file formats are separate from techniques used to read or write them.
This week we had a hack day to experiment with integrating our API with mobile. The result was a fun little visual storytelling application we call thsthn.

Two pictures and a simple icon allow you to convey rank, order or cause visually.

We'd love to gather any feedback and hope you find it interesting!
New York, where the bums are better dressed and more fashionable than you
If you're not careful and not on x86-likes, then reading serialized data like that unaligned values might cause errors.
I see them in all multisite projects using offshoring.
Glass Hunt: Duck Hunt-style game for Google Glass
Science fiction allows you to view a situation without the biases of your upbringing, culture, or anecdotal experience. It can take a controversial scenario and place it in a foreign environment but still allow you to draw enough analogs to relate it back to the real scenario.
"price check" and "shop for..." on your OK Glass menu
Are you an expert in machine learning? Facebook is hiring.
This is not necessarily true. Lots of systems support running 32-bit and 64-bit binaries simultaneously, and structs won't necessarily be portable between the two. Some versions of Mac OS X even supported running 32-bit PowerPC binaries (in an emulator, but supported directly by the OS) next to both 32-bit and 64-bit x86 binaries, so you could not only get size mismatches, but also endian mismatches.

This does not apply to simply forking, of course, but it does apply to the "two processes" case in general.
>The tool should support even the most hideous constructs

Nope, the tool should choke on hideous constructs, and make you write them properly.

See how I provided just as many arguments as you?
As someone who has a DNA synthesizer in lab, who works on manipulating DNA daily to make various synthetic proteins, who lives and works in the bay area, and who knows enough coding to have understood the language of the OP - I'd love to help bridge some of those boundaries. There is a desperate need for some programming types to think about these issues. The fields of systems & synthetic biology are just starting to gain traction, but there is so much we can learn from cross-discipline interaction. The one issue is that we pay terribly...
Already exists, well at least the movie does - http://www.imdb.com/title/tt0139809/

edited: initially linked to the wrong movie
Using coding examples like conditional compilation is not right abstraction for programmers to understand how genes compute.

GRN is.

https://en.wikipedia.org/wiki/Gene_regulatory_network

https://en.wikipedia.org/wiki/Gene_regulatory_network#Modell...

GRN can be modeled using different levels of abstraction and accuracy as boolean network , recurrent neural network or as stochastic gene networks.

In other words, they are capable of complex computations, but computational model looks more like neural network or stochastic network.
If someone asked me what my salary was, I'd kick them in the teeth. Not sure if that's a 'British' thing, but asking someone what their salary is, is really rude!
"You butter a ham and cheese sandwich?"

In Russia, where I grew up this is the only way to make a sandwich.
Ford's self-driving car unveils itself
Yeah, and kicking someone in the teeth is very polite :p
>AFAIK, ST2 doesn't have a plugin for a Javascript interpreter

Yes, but the important thing is that it CAN have one, same as Emacs could.

For example, it has a Go plugin which uses the Go AST.
I found this really fun, I tried half the languages there. But why do the lower level languages like C/C++ have actual logic in them (e.g. if/else/||/&& ) while the higher level languages just have module/class definitions?

It's not exactly an apple-to-oranges comparison. Like I just got 100+ wpm in Ruby but what's the point of feeling good about that when it's just typing out a list of symbols over and over again?
Manage your git repos with App::GitGot
At this point, it's just a matter of how tediously you want to do the work to become famous:
http://en.wikipedia.org/wiki/Mycoplasma_laboratorium

Venter's doing it right now.
Wait, I'm confused. You express disbelief at the recommendation of a book against intelligent-design, but you seem to end your comment in the opposite tone:

> ...yet, these all are strong evidence there is no designer beyond it all. It's mere chance, bits on a string selected by nature.

Are you saying that you believe that random processes are the designer?
The time scales are not unimaginable at all.

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

By selecting for behavior rather than physical byproduct, they have induced evolution at a rate not thought possible in vertebrates.

Not to mention: http://en.wikipedia.org/wiki/Evolution_of_influenza

Edit: I think the parent comment was about the difficulty imagining the process of evolution which we assume takes billions of years because we cannot observe its impact directly in ourselves except to interpret the results. Yet, it is both observable and inducible in things around us. Not so hard to imagine.
This is such a stupid cartoon
I just wanted to say you're a really talented writer! :)
Yes. Also please apply the concept to a farmer's market.
Well, too much is being told about the Indian outsourced code quality.

I did some bit of work on VWorker (now Freelancer) based out of India and I always got good ratings for my work, never once, I was told that the code I delivered was a shit job.
India is not the problem neither the people around you, its your attitude. And its better we Indian’s stop injecting this sort of stereotypes about the country. I will be 24, new year eve. And nobody is going to ask me to get married, nobody is going to until I am 27 or 28, and I don't have to go for arranged marriage. After college I threw away offers from these big companies Infosys, Wipro, Accenture or whatever and choose to work in startups. And boy, the job is awesome and you get paid fine, better than my friends in these so called big companies. I didn’t study in any of those NIT’s or IIT’s and I don’t think that really matters to you in any regard. My parent’s weren’t supportive and I have been asked several times to quit the job in india and go abroad and work. But I don’t think there is anything negative in it. They have grown up in a situation where married life and job in a good company/government service were important. Make yourself clear to them and none is going to ask that to you again, they are educated enough to understand that and they will be happy as long as you are (and its a good thing about Indian parents). And why should you care about what others think or care as long as you are living a life that satisfies you? Indian’s maybe a little nosy about things you do. But its never going to affect you as long as you don’t want it to.

The term "Entrepreneur" here in India is a synonym for "Jobless”

hell no!! they are respected and appreciated. We have startup incubators in India, the governments are supportive as well. http://startupvillage.in

IMHO work quality is severely underrated in India, everything just needs to be done, the end quality does not matter, it should just work, that's enough

No! there are companies that value good programming, and they are ready to higher you at a good cost and you are appreciated for writing good code. There are Indian’s working in Indian companies who do contribute to some major open source projects. And I have friends in these big companies who are really good programmers and writing good code there, neither they are under appreciated. And in business “Everything needs to be done”, and for the end quality to matter. Its the programmer’s discretion. Its not specific to India.
And at 24, probably your life just started and there is lot to live and achieve (it doesn't matter you are in India or in US). And life on entrepreneurs is just as hard as it is for the ones in other countries, its not any different.
Life is more than a loop. Life is not a loop, actually.
Starting: At the Beginning You Must Answer Why
I didn't mean to be harsh. "Never assume you won't hit the front page of a major traffic driver" is just kind of a lesson that everyone has to learn for themselves.
Ha. Hi Wil! Here's an updated link to the source code described there. Unfortunately it'd need some updating to compile - ObjC cut off access to the raw class structs in the runtime.

http://kenferry.com/temp/WilShipleyInitChallenge.zip
I think creativity (humor/play/music) involves a context switch.

Like with comedy: the comedian sets up an expectation, then surprises the audience with a punchline which forces them to reinterpret the setup. And with music: the composer sets up a theme, and then repeats it slightly differently to keep the song interesting. The textbook example is Beethoven's 5th.

I think pg believes similarly. He said "creativity comes from functions applying to arguments of the wrong type" [1]. He also said "good design is slightly funny" [2].

[1] http://paulgraham.com/ideas.html

[2] http://www.paulgraham.com/taste.html
Amazon changes its prices more than 2.5 million times a day
I've gone to a few AngularJS meetups at Google and they seem to think it's not a big problem. The crawler executes JS just fine, it's just a browser.
Yes, but yours had a shitty point.
Welcome to India. Around 22, all your relatives (especially aunts) turn into marriage bureaus and need this information. Hell, even matrimonial ads feature "x figure income" here!
They certainly do feel a lot of pressure. But their opinions about their life and career are respected, at least for my female friends.
"You finished that app!" I'd exclaim, and my clone would nod contentedly. "You finished Breaking Bad!" he'd exclaim, and I would nod contentedly. My clone, smug in his accomplishments, would be as jealous of me, smug in my slothfulness - because we both missed out on something.
Is the difficulty in accessing AST's in EMACS a valid criticism of EMACS when so few programming language specifications specify such access and few of the communities around languages that don't build such tools into open source implementations? It took Steve Yegge to do it for the ubiquitous JavaScript.

What Yegge's project shows is: that EMACS does not lack the facility to do what is needed [LISP is it's command language after all], and that implementing the task is non-trivial even for skilled programmers.
Very interesting read. I practiced meditation for a couple of months, but only for 15-30 minutes a day. I haven't researched too much, but the idea of "The Deep" as you describe makes the challenge seem worthy. Side question: how did your wife feel about you taking on a lengthy challenge that forced celibacy?
Sorry for the confusion, I was ironic.
So, when they ask why you aren't working for InfoSys etc., turn the question around:

"So, where did InfoSys come from? A startup like mine, right?"

Instantly, you have potential
This approach makes sense for a procedure you know exactly how to do. In the case of a procedure I do not know, I break them down into simpler and simpler pieces. Until I get to one I can do, then come back up the graph. Maybe akin to a depth first graph

example story: as a user I would like a form page that take an address I enter and renders a google map of it

http://i.imgur.com/38pXuJT.png
Yep, that's true. Restoring data is as simple as checking latest changes using "git reflog"
1) It's the sort of thing I've heard many times from many people over the years.

2) The difference is that svn does not build this functionality into the main command line tool, and there is no culture of doing terrible things with svnadmin to edit svn repositories the way there is of doing terrible things with git to rewrite git history.
You and Jalan are really freaking me out. I am in early twenties and about to finish studies. I'm more of an introvert and people asking me all those questions is going to be, well, quite unpleasant!
Note that, at least as of GNU grep 2.14, if you don't use -i, the discrepancy doesn't show up, so it's smart enough to recognize that the UTF-8 search can be correctly performed as a byte search. I suspect the insensitive version can also be done correctly much faster, though.
I'm not an outsider, yet I always answer "no thanks".

I use butter and mayo for one of two things: flavour (eg I love kerry gold on toast ;-) often nothing else) or moisture - but if I don't need the moisture, usually because I've got tomato, peppers, coleslaw, relish or something else providing that, I will leave butter and mayo out. Unless I want them for the flavour. (As an side, I don't understand why people would ever want butter on a breakfast roll)
>> you can give DNA code ... and then the machine produces the organism from that DNA code

My wife and I managed to do it a couple of times. Not that hard.
In a way, HN is a way to learn about interesting developments in fields that we might never ever. Sometimes by people who know that they are really talking about. It's kind of like eavesdropping on really interesting conversations at a bar.

For example, this recent thread [1] is clearly being discussed by people who have enough of an interest and ability in mathematical theorems that they can critique and criticize it.

Not everything passes the community filter, however, - for more serendipity - I recommend checking out the 'new' page. Occasionally, you will find a diamond or two (if not broad interest, you personal interest) in the coal of no upvotes.

[1] https://news.ycombinator.com/item?id=6908305
re:
---
When you're trying to help someone learn how to go from a problem statement to working code, the last thing you want is to get them sidetracked by faux-engineering busywork.
---

I like this for new programmers as they are often trying to solve a problem or make a game. My step son made a nice chunk of change by building a website for someone -- the last thing I would have tried to teach him was oop!

OTOH - there is a point where learning OOP and forms of modularization are a good idea to expand one's knowledge of the art - just like everyone should read tcp/ip illustrated and hackers and painters (#pandering on the later)