skysight-inc/HackerNews huggingface dataset:
I agree, though I don't think we can get there without
teaching people the essence of programming.

That's probably true. Though what is "the essence of programming" IMHO is quite different from what most developers think when they talk about "teaching programming" to the general public; it should have little to do with how to represent computations in available computer hardware, and everything to do with building domain-specific languages that represent interesting concepts - for people who don't like computers nor want to understand how they're built.

As others have pointed out in this thread, what is truly essential is the nature of modelling, i.e. building abstractions from constituent parts, either in bottom-up or top-down fashion. And as the original article says, an essential property is being able to build working parts of the system without needing to complete the whole of it before execution.

I believe you need to have an intuitive grasp on
computation to be effective even with that
semi-structured modelling

True, but again what developers usually think of computation (building a tree-like program that is executed at runtime with a specific dataset) is not what is needed by the general public.

Research in End-User Development, watching real people use experimental IDEs for non-programmers, have found that systems based on rewrite rules are easy to grasp.

Also image-based environments like Smalltalk and "live" programming -where the whole system is seen as a single collection of data and always-running code- that reacts to changes instantly is also simpler to understand than the standard write-compile-execute cycle, and better adapted to exploratory programming.
Since we're playing the "you don't know that" game, you don't know that it wouldn't have gone the other way. Maybe the Arab Spring might have taken hold in Iraq. Maybe the UN might have found a better diplomatic solution if the US hadn't pre-empted them by invading.

One of the criticisms against the US invading was that the US had no plan for what to do after the military victory, and that Hussein was a stabilising power in the region; remove him and chaos would ensue if things weren't handled carefully.

And there were and are people who want to impose Sharia violently

And instead they got people who wanted to impose Freedom(tm) violently... quite violently. I wonder if it matters to the average Kurd if their loved ones get beheaded, gassed, or "collateral damage"'d.
I think the parent's question might not be asking about whether the proof is correct in the "do all the statements in it logically hold" sense, but more like "is the proof a proof of what a 'correct' compiler should do", i.e. does the translation follow the C standard on one side, and the target machine's ISA on the other? Starting with the wrong assumptions can lead to valid reasoning to the wrong conclusion, and AFAIK Coq only helps with the "valid reasoning".

In other words, if you have the wrong idea of what a compiler is, you can write one and a proof that it is correct. Humans have to be involved at some point to tell the machine what their idea of a correct compiler is. (Even if the machine somehow knows, that would also be a result of humans teaching it at some point in the past.)
Ubuntu Cloud PRNG seed
Google changes algorithm to reflect ‘fact accuracy’ amidst call for regulation
There is an official "Who is hiring?" monthly post the first day of each month. They are popular and you should post there. It was posted yesterday:

Who is hiring? https://news.ycombinator.com/user?id=whoishiring (364 points, 21 hours ago, 474 comments)
I assumed the variable reuse was related to the bug.

The thing is, test cases are often ugly, by nature. They are often unexpected inputs, corner-cases, unexpected (but legal) use of variables or indentation or anything really. Bad syntax or bad variable use would potentially fall under that category.
I've had nightmares from a movie once (and only once) too.

It was The Care Bears Movie.
GSoC?
Or switch to Elixir and its nifty macro system, which I did.
I think some people learn to think in a deeper more abstract way but many don't.

My team leader always describes database results like an imperative program "if it has this show do this". I have to translate that into "return the set where this happens". We will debate database schemas, and I can see that one version is essentially a normalized version of the other option and a join will transform it into the same table .

I think there are plenty of programmers who reach a basic level of understanding and no more. The one years experience 10 times type guy.
I'm always amused that every bitcoin story seems to include a stock photo of a shiny physical coin with a big "B" on it.
any one with usa local banks and equity account platinum card
> hacking school grades am hacker i leave in texas i can hack anything
> for you load money to your bank account when i load money to your
> bank account no upfront fee i do it we share it 5050 i need accounts
> likes old boa welsfargo usaa navy credit union local banks equity
> and a lots if you got university grades to hacks to clears criminal
> records to breaks any data you hire me for that one i travel to your
> place to do it asap for you or i do it here email me if u need good
> hacker alexseybelan@financier.com
ISIS threatens Twitter founder and other employees for blocking accounts
Low Income Car Loans for No Credit People
Digital Health Weekly #47: scientific breakthroughs, “x-ray” wearables, and more
Try asking on irc, #postgresql at freenode.
Premium Pricing Just Doesn't Last
Prejaculation sex Positions to Delay Ejaculation – sexy shop online store
> Have they built a smaller installation to prove the concept?

Tidal lagoon / barrage power generation is already a thing, so the concept is well proven.

> Does anybody have the engineering data on these projects?

This paper covers the maths: http://www.inference.phy.cam.ac.uk/sustainable/book/tex/Lago... (while also exploring ways to increase head above tidal range).
Really? How active a part do you play in your child's life? Because much of my non-work time is spent caring for my children. Even when they're asleep or not in the house, I am doing things for them or because of them.
Are headlines the new way of discouraging investment in cryptocurrencies given Betteridge's law?
1. Nobody argued that.

2. What do you mean it doesn't matter? You think embedded and similar systems don't need/use 64-bit space? True for most I guess.
People are always looking for a way to visualize it. Since it is a currency, and people associate coins with currency, what better icon to use?
I agree that the chances are pretty small, but is that "good enough" when it comes to formally verifying things?

(I know next to nothing about formal verification)
Angular Classy 1.0: Add structure to your AngularJS controllers
Sweet 16: The 6502 Dream Machine (1977)
> I think galleries are the ones that make the least sense with social.

They make very much sense with social as long as social doesn't have to mean "share publicly".
Fun Fact #1: Satmex originally bought the launch services from SpaceX as well as the satellite bus from Boeing, before being acquired by EutelSat in 2014. EutelSat 115W B was originally called Satmex 7.

From: http://www.reddit.com/r/spacex/comments/2x81fc/rspacex_eutel...
But that's why we have Aglie and NoSQL. Modelling was just slowing us down. :)
EDIT: Did some digging. Looks like the state gives them the power of real cops. Amazing.

Surely at that point they are real cops?
The C spec and x86 assembly are two very well known specs.
I agree, but they are nice visualizations nevertheless. Relevant xkcd: http://xkcd.com/1138/

I don't know Seatle, but it looks like the major highways / avenues are highlighted in these crime maps, perhaps they don't have too much population or parking lots but they have a lot of traffic. (I don't know Seatle, perhaps they do have a lot of population and parking lots.)
People still have trouble grasping immaterial, purely-informational things.
I still find it disturbing at how early an age children these days have Internet-enabled smartphones. I'm a techy myself and well-aware of the "back in my days" factor, but knowing what this can expose a child to, I still find it pretty shocking.

Not just that, but more often than not I see children with expensive high-end devices. I don't think a child needs the most recent iPhone, peer pressure or not. I realise it's a fashion accessory in addition to its utilitarian purposes, but I don't think a child needs a Giorgio Armani suit or Louis Vuitton handbag either. If they buy it from their own money, sure, but I wouldn't buy a child a new $500 smartphone every two years.
Seeking Work, Remote
Location, Bangalore, India
what I do: mobile game design & development work. Have expertise in unity, cocos2d-x game engine, HTML5. portfolio: http://slideshare.net/iCartic

Add me in Skype for quicker correspondence, my Skype handle is iCartic

~ Cartic
Cartic@live.com | Skype: iCartic | Tweets: iCartic
While i like to see some certain sites removed, i fear that this could give google too much power of what is considered "truth" and what not. Does anyone knows good literature about such things and their implications?
As a stable store of value... Not for a while. (Then again, gold has been around for awhile, and is IT a stable store of value?)

As a value exchange mechanism... Certainly. Already useful (and troublesome, to certain establishments) for that.

As a secondary ("world"/"international") or even primary currency... Only if your already-legitimized currency is performing worse (hmmm, Argentina, Greece, Iceland, Russia...).

As a third-world currency exchanged via cell phones... Well, now we're talking. Although anything that stores value can be used in the same way, which is exactly how M-Pesa started out as phone credits (the "base" or "backing" value) and is now used for much more than that.

I will say that anyone who travels (still a very underrated undertaking that abysmally few Americans engage in) has been frustrated by currency exchange. If I could default to something like Bitcoin when I travel, it would ease that pain quite a bit.

Governments are concerned about "capital flight". Thing is, it's difficult to destroy (as well as to create) "value," it usually just gets transformed. It therefore stands to reason that if you don't want your country's value to flee, stop debasing your own currency (so that people stop exchanging it for other currencies), and make things of value (so that more representations of value, i.e. cash, flow into your country).
Well, since it's a crypto-currency, maybe something cryptographic? But I see the point, people associate currencies with coins.
SEEKING WORK - remote / Berlin

I'm a front-leaning, full-stack developer that is living in Berlin. I am American, and know just a bit of German (but am learning).

I have experience with every aspect of creating an application, from mockups and UX design, to graphic design, to the full-stack implementation, to deployment.

I've successfully built and sold a past start-up of mine, and have a great deal of insight with product development. Because of this, I'm probably of most value the earlier a project is in its life cycle.

Backend stack: Ruby on Rails, with DBs/data stores such as MySQL, Postgres, Mongo, Redis, Elastic Search.

Frontend stack: my strong preference is for React.js, though I've done a ton of work with Angular and Meteor. I am well-versed in current best practices, can build responsive mobile-friendly websites, and code pixel perfect CSS and HTML5.

I'm also a very capable graphic designer, which can be seen from viewing past and present work on my portfolio.

Portfolio: http://eatingthe.com

Github: https://github.com/superplussed

Email: jeremy@superplussed.com
Excel is easy to model in an intuitive way, but it end up being very poor models that come out of it, as it is basically a two dimensional grid. So the first two dimensions you are modelling will come out well, but once you need to start adding extra information in, then you have color coding, new fonts, and all sort of hacks to overcome the limitations of excel, when in reality you ought to be using a proper database by that stage.
A spreadsheet would be a closer representation of Bitcoin. You can make it a paper one if you want a proper photo :)
Why teach these things with programming? Historically we, the west, have taught these things with philosophy. That's how we went from tribalism to democracy. Why not teach with philosophy?

I know that we live in a technical world, but no matter what, we live in a philosophical world. Everyone deals with philosophy (either reflective or forced upon them) daily. How we work with each other might be via a keyboard and mouse, by why we work with each other is philosophical. It would be better to teach various systems of thought, allow a dialectic to occur, and get a better, more informed citizen.
I agree with everything you wrote. Those essential skills have little to do with what we as programmers do every day at work. Also people seem to rediscover them in many different ways - look at things that are made in Minecraft or Dwarf Fortress, for example. There's lot of application of those concepts in something that doesn't involve writing code directly.

> Also image-based environments like Smalltalk and "live" programming -where the whole system is seen as a single collection of data and always-running code- that reacts to changes instantly is also simpler to understand than the standard write-compile-execute cycle, and better adapted to exploratory programming.

As someone in love with Lisp, I endorse this message.
> But that's why we have Aglie and NoSQL. Thinking was just slowing us down. :)

FTFY ;).
I'd also be in a nicer place but hopefully minus the pants. That is the dream.
When Bitcoin was high, it was the future. When Bitcoin is low, does it have a future?

I wish we would make decisions about a technology's or company's or economy's viability based on something less fickle than price.
A lot of the comments here seem to be from people with institutional experience or wannabe retail traders. As a retail trader (who used to phone my broker to make trades) that has progressed to an algorithmic retail trader (I do all my own development with some mentoring help from professionals) I can say that it is possible to make a good return on risk.

This did not happen overnight. I've spent thousands on my education and by that I mean I've been scammed, gone to useless seminars, read nearly 100 books on the subject and made terrible trading errors and trading losses.

I only started getting serious traction after a confluence of events that led to being tutored by an ex-JP Morgan quant and a software developer friend who has been developing trading software for the big Bank trading desks in London.

Moral of the story? Persistence.

How does this relate to the article? Persistance eventually overcomes a lack of testing to eventually lead to a robust testing methodology.

So yeah I do agree that most (retail) trading strategies are not tested rigorously but that's due to the difficulties around acquisition of inter-disciplinary knowledge and the balls to get real experience my putting money on the line.
It is not because those code paths are better tested, it is because people's code is not actually quite correct. eg something declared cost is not const unless the compiler evaluates it at compile time.
I'll have to take a closer look at your video, but from a first glance I'd say you're firmly in the right direction.

Spreadsheets "declarative-reactive" execution model is a solid base for end-user development environments, and some features (like "attribute chaining", if it is what I think it is, and allowing users to build data structures as attribute collections on tables) match what I have in mind for my ideal "live modeling" programming environment.

Do you have a place where you document your design ideas (in addition to this video) and share the code of Kaya? On which language is it coded? I'd love to study how you've built the running environment.
Valve and HTC Announce Their VR Headset (Consumer Version in 2015)
I wouldn't argue otherwise. Instead, I argued that types are the way and that without generics your type language is crippled.
But does a spreadsheet icon look like a currency to you?
The order of whether left hand or right hand is evaluated first is not specified, but calling a function will be sequenced, so there's no undefined behavior like you describe here.
It would be great to see an example of a weekend location, itinerary & recommendations.
Also, would be useful to have a "couples" price.
And a different cadence (once every 2 months, once a quarter)
App Annie - Engineering roles available in Utrecht, Beijing and San Francisco!

App Annie is the industry leader in app ranking, app store analytics and market intelligence supporting iPhone, iPad, Mac, Google Play and Amazon. We take care of all the work (and the math), keeping you up-to-date with your own app's metrics and the latest app store trends.

We have challenging roles available across the globe covering the following areas - Backend Engineer, Data Scientist, IT Operations, Mobile (iOS and Android) Engineers, DevOps, QA Engineers and more.

If you are looking for a challenging role in a dynamic international environment using the latest technologies then we would love to talk with you. Check out our openings at: www.appannie.com/jobs.
I'm pretty sure that 99% of the money I have handled in the last decade or so has been "purely-informational".
Indeed. A lot of programming jobs don't really require you to grasp deeper and more abstract ways of thinking - you can just glue together some StackOverflow answers with latest JS framework and collect your paycheck.

Not that there's anything wrong with that (I have some objections, but it's a topic for another discussions) - but it shows that just because someone knows how to code, doesn't mean he learns the important abstractions. As Bret Victor says, for "thinking the unthinkable", coding is a tool, not a goal.
Yes, that's a valid point.

The idea is to first give a high-level formalisation of the C language definition and then to prove that the compiler correctly implements this. In the case of CompCert, the specification is given by a big-step operational semantics. Of course it's possible to make mistakes in it, but it is still small enough to be read and understood by humans (much more so than a whole compiler). From Coq one gets the guarantee that the compiler correctly implementes this language definition.

To get an idea what the specification looks like, you may look at Fig.3 in http://gallium.inria.fr/~xleroy/publi/cfront.pdf
Out of respect for their privacy I'll only say the company is of significant size and has connections to Israel (not Superfish).
Our Director of Engineering on the new Wired.com
Here's the operating sequence: http://i.imgur.com/y9IJ5Ip.png

Looks like for most of the power generation phase the head will be about 5m. According to their paper generation is effective down to about 1.5m
A cool idea, but I think the business model is flawed. I would think about dropping the subscription. How many people can be free the same weekend several months in a row for more than a few months? Probably not very many who can also commit to £175 each month. Births, marriages, funerals and other social events will inevitably get in the way of even the most dedicated users.

Also, what I expected to see was an amazing trip that I could book, each month. So in a way a sort of groupon style deal. I think if you combined that with some sort of buddy up/social network aspect where you could meet and talk to the people going on the trip you'd be on to a winner.

Perhaps you could then have a cheaper membership that gave you a discount and entitled you to first dibs on available places etc.

Just my thoughts though from scanning the site quickly. So take all advice with caution! Good luck with it!
This defeats regular face detection but you are now literally wearing a big, glowing sign that says "this individual is hiding his/her face!".
On a syntax/grammar level the compiler is very strict. For plenty of interesting problems you can often get away with stupid/buggy models. Not that it's usually a good idea...
Badass: Making Users Awesome
+1 for reading Zen and the Art of Motorcycle Maintenance on this topic. He delves into great depth on the intersection of technology and humanity and the way people look at both. It is incredibly thought provoking.
Beef is not essential. Milk is.
Because philosophy is too imprecise. When you dig down to the most fundamental concepts of CS you end up in what is usually considered the territory of philosophers, only with a better mental toolkit to explore it.

There is an interesting paper by Scott Aaronson about the intersection of those two disciplines and how the more CS-y approach can help solve philosophical problems:

http://www.scottaaronson.com/papers/philos.pdf.
Ha. SEO is about to get a lot easier. SEO is search engine optimization. Easy is an adjective and is the opposite of hard. "Ha" is an expression of laughter.
Don't forget the instances where they display intelligent behavior. Such as turning off the power, operating elevators, the alien queen telling the drones to back off.
Funny. All the fake violence I saw as a child on TV desensitized me to the real violence I now see in the news.

I'm not even disturbed by beheading videos or actual raw footage of violent murders (i.e. whatever's new on LiveLeak this month). I don't seek them out directly or find them entertaining. I just don't have any more visceral reactions than to a video of a guy getting kicked in the groin.

I think some part of what my parents taught me about TV got lodged in the wrong part of my brain: "What you see on TV isn't real, it's just make believe." I do have very strong (and natural) reactions when seeing violence or cruelty in person. I just barely react to seeing these things on tape (beyond the ick factor). Except for (real) violence against animals, that is.

It's actually pretty gruelling what's considered acceptable to show on the 8 o'clock news these days. But I'm not sure whether this is a cultural thing again -- I hear American news channels have a policy of never showing dead US soldiers.
Spec is fine and all, but free(NULL) reliably crashes on Solaris and probably other systems.
Yes, but you can take a physical dollar out of your wallet and look at it. JUST LOOK AT IT! It's a piece of paper with special ink on it that makes it difficult, but not impossible, to counterfeit! BUT IT'S REAL! ;)

The article mentions that 88% of cash in circulation is in $100 bills. (I know that the percentage of ALL transactions that are in cash is low.)
I agree that the share icons (and the right column) are irritaring (especially how they disappear and reappear when you scroll past full-width images), but I think the text column is kept narrow intentionally.

It has become a rule of thumb that ~680px is the sweet spot for text column widths, since it makes it easier to read. I'm not sure how much actual research that has gone into text column widths, but I know there has been some.
It's just the HN hipster logic that confuses "successful" with "fashionable within a vary tiny echo chamber".
Well it was posted by "IHaveNoIdeaWhatImDoing", but in all fairness he does say he is open to more help.
Contact me: david 927 at gmail
Looking at your subreddit +/- 2 months of the May "all your YouTube are belong to G+" announcement, there doesn't seem to be any screenshot. Can you post a link?
Well, obviously it's about moderation. Too much exposure to sex, drugs and violence is bad, but no exposure is bad as well. Think of it as inoculation: if a child is sheltered completely, it doesn't know how to deal with these things when it is eventually exposed to them in the real world.