skysight-inc/HackerNews huggingface dataset:
It's not self-hosted, so it is not yet at the point where the Thompson hack would apply.

That is, CompCert is a C compiler, but it's not written in C, it's written in Coq. So when you use it, you have to trust that the Coq implementation was written correctly, and that nobody has inserted any backdoors in Coq which insert backdoors in Compcert which insert backdoors in your program.

The next level would be to also have a verified Coq compiler, which would make the whole system that much more trustworthy. And at _that_ point you could worry about self-perpetuating backdoors in that compiler, and ways to mitigate them.
SAO/NASA Astrophysics Data System (ADS) Author=Nemtsov and Db_key=PHY
I've seen enough programmers with poor logic to think it's not an ideal way to teach logic.
We updated the URL from http://phys.org/news/2015-03-particle.html, which points to this.
"mobile-first"?
Never mind then
I'm stronger with OOP than I am with functional programming because I've been doing OOP for longer. I started out with procedural programming when I was a kid (BASIC and QBASIC), and have since moved on to PHP, Javascript, Python and a bunch of other stuff.

Almost everything I've worked on in the last 8 years has involved OOP in either PHP, Python or Perl. Perhaps I stumbled into a niche and have yet to find my way out, but OOP has been a common theme in my career.
I wonder how this will affect media companies' pagerank.
Take a look at http://fitloop.co. It's a site I've build based on the advice on reddit's bodyweight fitness subreddit. It lets you do a workout from home with minimal equipment, so even if you don't have that much time you should be able to get started fairly easily.
I'm using http://papaly.com/
The religion started in the atmosphere of war. That vibe leaks out into the minds of Muslims of all kinds from moderate to the extremist even if it's indirect.

I recall being taught about the victories of Islamic conquests through the ages starting with the Muslim-Quraysh wars. In Islam, war is seen as a reality of human existence, and as a valid means to deal with perceived injustice, oppression, etc. Finally, martyrdom in Islam guarantees one into paradise...

The problem with Islam is that it's extremely malleable. You can pick and choose your sources, scholars and books and have an Islam of your own. Each one has their side, and accuses the other of taking things out of context, or having an incorrect understanding. Some Muslims make heavy use of the No true Scotsman fallacy.

The former allows one Muslim to basically slide on the scale, from a nominal Muslim to an member of ISIS. You just need someone convincing enough to show you a few prophetic traditions, sound charismatic enough and revive your faith in the religion.
so far it work great. in future issues might arise, but then i can always tweak hashing algo or switch blockchain. So these ASICs, created purposely to crunch hashes for my service will be obsolete the moment i tweak it a bit. So it have to be software...

As for mobile/desktop/etc - I would expect each community to have their own main audience to which site owner can tweak `complexity` parameter. And in V2 work will be happening in background while you browsing site, so when time come to post comment - enough work already will be done. Hope this make some sense :)
For data-processing-heavy apps you're going to want Scala.

I don't see why Ruby/Scala interop should be more difficult than Ruby/Java interop.
Microsoft did take venture money, albeit when it was further along. Microsoft began its hypergrowth in 1981, after they contracted with IBM to provide the PC's operating system. It wasn't until then that they needed outside capital to support their growth.

Bill Gates' high-school classmate David Marquardt invested through Technology Venture Investors (TVI) and joined Microsoft's board of directors in 1981. (He just stepped down last year.) This was several years after the company was founded in 1975, but well before the 1986 IPO.

[edit: substantiation.

If you check Microsoft's IPO prospectus (available in pdf here: http://www.lannigan.org/pdf/Microsoft_prospectus.pdf), you'll see on page 30 that TVI owned 6.1% of the company just prior to the IPO.]
"Are you expressing the inaccurate belief that everything in the world is made in your country?"

This is a little passive aggressive, don't you think? ISIS' enemy is anyone that embraces western culture. I don't think Red_Tarsius was referring to any single country.
Would there be any consequence for Github themselves if they no longer had this data (for example in the hypothetical case that they only store access logs for 30 days)?
And who verifies the verify-er? (That is generally the problem I have with the concept of unit tests too)
Hardly even. Scholars across many schools of thought have condemned ISIS. Even the university that the leader is believed to be from has condemned him.
Seems like that's what they mean, looking at the explanation of this goal:

"Maximizing developer investments. We remain committed to helping you get the most out of your investments in training, tools, and code to continue and target our new offerings. We also recognize that many of you are looking for more ways to target a range of platforms with the same basic code or toolset with cross platform technologies."
There are already relevance scores for keywords and pages. I doubt that this technique will work, and, if it does, I doubt the algorithm will roll out with such an obvious hole.
Bond – Type-level validation for Scala
That's a bit tougher though.

For one, privacy concerns are just one very small part of what people may be looking for in an elected official. So small that most don't even have an official stance on the matter, aside from canned politician spin like "I value the privacy of all citizens" that actually means nothing. On average, I'd say that most people would still rate economic and diplomatic policies much higher.

Like just about everything else, this boils down to an education problem. Not just for the voters, mind you- it's even more important to educate our elected officials and judges. This way, they'll be able to make rational, informed decisions when the NSA comes asking for more money / power. (This is of course assuming the NSA doesn't have huge caches of blackmail evidence on the officials making the decisions...)
I agree. I think this is a more complex experiment, not a "photography". I'm not a classification fanatic; I can classify electron microscopy as "photography", but this is too diferent.
for Single Page Apps it definitely is. Though I wonder if every website will end up as some sort of (single page) app.
They don't have a lot of data to serve, though, I imagine. You can store a lot of magazine and blog articles in 64GB of server memory. I don't think they have the kind of scaling problems that more social and peer-to-peer applications have.

I could be wrong though.

Still it seems they wouldn't have chosen Word Press, unless they really wanted some of the editorial and journalism-focused plugins and features. Some organizations swear by that stuff, and the writers and editors get used to those features. We might not interact with the features that the writers and editors love.

So, yeah, though Wordpress is a nightmare, it might still be the best choice for Wired.

If I was starting a blog with a community of writers, I might actually just use Google docs for collaborative editing, and then have some sort of publication tool that pushes from Google docs to a more streamlined custom back-end (probably written in Go since I've had a good experience with it so far).

But this is just a naive opinion of mine, based on having absolutely no experience with actual journalism and publishing. I imagine I would soon discover many disastrous aspects of my harebrained architecture.
FYI if your browser zoom isn't the default 100% all the graphics on the page have their sides clipped....

At first I thought the publisher had changed their name to just "WIRE" as part of a rebranding.
Location: São Paulo, Brazil
Remote: Yes
Willing to relocate: Yes
Technologies: Java, Progress, Ruby on Rails, Linux, PlayFramework, plpgsql, Bash,
Résumé/CV: http://bit.ly/eantonini
Email: See résumé link
Additionally, they make extensive use of Twitter itself.
I think they are vulnerable.

If they are like most companies of their sort, their "exit" is to get bought, not to get revenue.

RHT, for instance, knows how to make money selling open source software and you'd better believe they are thinking 24/7 on how to survive and thrive in a Docker world.

I think of Hortonworks, Cloudera and all the "me too" Hadoop vendors that offer value-subtracted products that offer web interfaces for configuration that are antiquated in the devops age. Why go to these guys when you can get any of the Bangalore Bhangers to consult on "big data" projects. Maybe one of them will catch "the next big thing" (Mesos, Spark, whatever "worse is better" product is a little less worse than Hadop) and the rest will dry up and blow away.

Mongodb has had some success in terms of getting money in but that's the combination of (1) a product that people want to believe in and (2) doesn't really deliver, that brings in the bucks. (i.e. if the product delivered there would not be any need for consulting)
Understanding the PARCC Field Test Report
Neovim now has builtin terminal emulation via libvterm
In all likelihood, they use russian weapons, chinese computers, indian clothes and local food.

russians, chinese, indians, and even muslims are all tagged as IS enemies if they don't subscribe to their particular view of the world
You can add Beats to the list - a low barrier industry ripe to undercut a premium priced brand, but it has not done so.

There is an emotional factor, where customers associate their own identity and how they see themselves with the brands. That is what allows premium pricing to last.
The manufacturer digitally stores the fingerprints of anyone who uses the lock. You want the manufacturer to give you a copy of the fingerprints to help you identify the person who broke into your house.

> ...and then your [sic] mad at the manufacturer of the door's lock.

There is no evidence that Uber is mad at Github.
We did logic in high school. ∃ and ∀ and predicate calculus was introduced when explaining differentiation and limits.
Prada Revolutionaries
The current first page on that site are men making comments about the physical attractiveness of women. Those women are not on the site to have people talking about their looks. They're there to meet other business people.

Do you really think it's acceptable to walk up to a stranger in some business context and tell them that they are very pretty, with a heart-melting smile, and then ask for a date?
Bill Gates is named world's richest person again
You might add in there testing your plugins as well. Pretty much all of the WP security warnings are due to vulnerable plugins people are using without testing and leaving themselves exposed.
This is an interesting case, and will probably be useful in some verticals, but not all. It's widely thought and sometimes verified by Google that they treat different verticals differently in search. "Payday loans" searches are treated differently from "New Macbook Air" for example, in which case we don't have to see it as an all or nothing approach. For example, today you only get the right-hand knowledge box on some searches, but not all.

I also wonder how New Scientist blanketing their page with ads like it's 2003 is affecting their rankings?
Just realized that feeding video from 2600 games into an AI is a form of cheat. All sprites are going to be fed perfectly into the AI as compared to using a video camera looking at at TV where pixels will not be perfect. Still a nice achievement, but one very complex aspect of "learn by watching" has been eliminated.
It looks like they are using the Song typeface for simplified Chinese (宋体). Maybe they are using this to get square symbols instead of the usual rectangles of monospace.

They could have used monospace with letter-spacing to make it square.

Try "letter-spacing: 0.1em;" to get an idea of the difference.
Ideally, a simpler and therefore more trustworthy verifier. So far, the most fleshed out implementation of this idea is Milawa, which developed a chain of 11 increasingly sophisticated verifiers, each one checked by the previous.

http://www.cs.utexas.edu/users/jared/milawa/Web/
I have to admit, there are some pretty hot recruiters on LinkedIn constantly coming to my profile wanting to connect.

But yeah, it's a professional network with your name attached. Bad form to say "nah, but how about a date instead?"
That huge spike also makes it terrible as a medium of exchange. A currency which suffers speculative bubbles is not a good one.
Common Cases When Using SOAP Makes Sense
A Twelf Introduction
What's wrong with mobile first? It makes complete sense.
There's been one in Brittany since the mid-sixties: http://en.wikipedia.org/wiki/Rance_Tidal_Power_Station

It works alright, but unless you have a very luckily shaped coastline, it doesn't scale all that well. It's also subject to silting in the long run, which isn't great for the yield, or the local eco-system.
Post title is particularly horrible IMO, Ambroise STD Francois with uppercase transform ugh.
Ok, so everybody can make a currency, keep some for them (directly or indirectly), convince people to use it, making it scarce and making the value of it grow. Great idea! How couldn't we think about it before! Let's start with a small group (technical people, in case of cryptocurrencies) that are idealists and full of goodwill. Then we'll pack the idea as the world's salvation from stupid governments and fees. Don't be evil!

Meanwhile my (fat) share of myCurrency is getting value exponentially.
I think you should better read works like this one: http://arxiv.org/abs/1409.2983
As a PHP developer who has worked on several Wordpress installs as a freelancer, I can assure you companies don't invest in Wordpress because they're interested in security or speed, but so they can pay as little for the development and maintenance as possible.
This will be used for :! and :shell commands.

* :term [prog/args] will open a new special buffer "connected" to a pseudo terminal running prog/args

* any command that would enter insert mode will focus the terminal buffer instead.

* when focused a new mode is entered where all keys are passed directly to the program. The <c-g><esc> combination will return to normal mode.

* new terminal-only mappings can be added with the "t" prefix(eg: tnoremap <c-a> <c-g><esc> exit terminal focus using ctrl+a)

Someone asked: "I really don't know how I would use this feature but it's impressive how well it works."

tarruda replies: "With time, the numerous use cases for this feature will be clear, but here's one idea: This allows another level of integration between text mode programs and Neovim. For example, we'll be able to make gdb respond to nvim mappings and change file/line numbers when a breakpoint is hit(Technically this might be possible with tmux but not without numerous hacks)"

If you want to try this out yourself and have installed neovim with brew, do this:

brew tap neovim/homebrew-neovim
brew edit neovim

At the top of the recipe, change the head:

#head "https://github.com/neovim/neovim.git"
head "https://github.com/tarruda/neovim.git", :branch => "builtin-terminal-emulation"

And then:

brew install --HEAD neovim
-or-
brew reinstall neovim
> these people aren't using vulgar or offensive language,

Yes they are. It is offensive to ignore the reason why women use that site (to make professional connections) and then hit on them.

That's not networking. There's no useful business going on when you tell someone that they have pretty eyes, while ignoring their business information.
3-6 months living expenses in cash/checking

Then, 100% in a S&P 500 index fund (VFINX) will be better than 95% of the population.

Don't bother with bonds, due to low interest rates and high inflation.

Advanced: pick individual stocks

PM ETFs (GLD, SLV)

consider buying gold and silver coins
Leonard Nimoy: Mr. Spock Is My IT Hero
No. You can't provide what you don't have, and you are not obliged to save more than you are obliged by law. I'm not aware that Github has to save anything in the first place.
Cool, though a more community friendly license would be great ("Confidential Proprietary" doesn't seem encouraging...)
H-index: editors behaving badly?
Pf... that's half a whatsapp.
>Most are just very normal people saying hi to strangers. When did that get creepy? Everyone is a stranger the first time they meet. I've met more than one girlfriend online without knowing anything about them, and our first contact was pretty much exactly like those messages.

It's about context. You might exchange these sorts of messages on OK Cupid, because that's the point - you sign up for that service to exchange "romantic" introductions.

Would you say any of these things to a colleague at the office? To borrow from one of the messages posted on this site, if you worked for a hospital, would you walk up to an ICU nurse and say "hey, you're pretty, I could use some intensive care?"
Hexagen: true coroutines for Swift
Anything you do is always open to any sort of criticism. I happen to believe that there are reasonable forms of moderation, as well as forms that are less reasonable.
I have nothing of value to add here. I just can't help but post that I love the way this guy presents himself. Because of this, followed up by the positive reviews on amazon, I will be picking up his books to start my exploration of AI.
Intel unveils its next mobile maneuver: Atom x3, x5, and x7
>I guess someone must have found a closet with a bunch more of them somewhere.

I lived in such a closet one summer a couple of years ago. If I'm getting this terminology right, they had an entire 16-bit block to themselves (65k addresses).
The Chinese seem to be doing this a lot still. It is hard to find a lot of examples, but they are out there (http://ansi.loli.tw/).

Of course, we used to do this all the time in western countries and a whole underground scene formed out of it (http://en.wikipedia.org/wiki/Computer_art_scene). You can see most of the old artwork on Sixteen Colors (http://sixteencolors.net)
I think I might end up having to just buy Langford's "Other Kinds of Darkness" somewhere; none of my local libraries have it available for checkout.
I would not. The Charlie Hebdo attacks were other beer. Plotting an attack on a isolated continent is much harder than in country in which you have 10% of the population willing to at least listen to you.

To organize attack on US soil you need to traffic people trough the border, make them get supplies inside US and deal with the generally more aggressive corp sec in US than in EU.
American democracy is doomed
Coolblue - The Netherlands - Rotterdam - Relocation offered- Senior C# WPF Developer who loves TDD, SOLID & Scrum!
As a Senior C# WPF Software Developer you will make Coolblue (Booming e-commerce company in the Netherlands) work using brand-new Vanessa applications. 800+ colleagues use your applications on a daily basis.
You will be working in a dedicated and smart team with three to five other developers, each of them with their own specialization, ranging from XAML, the ins and outs of the upcoming C# 6, Unit tests and somebody who knows Git inside out. Your team will be complemented by a Scrum Master and a Product Owner. Each of these roomies will challenge you, both technically and in a game of Nerf.

To apply go to www.careersatcoolblue.com or email b.bloemsaat[at]coolblue.nl

We're looking forward to you!
Presumably the barrages will last >100 year and be able to generate power the entire time. In the long run it could be much cheaper.
This seems similar to is metro broke?

https://itunes.apple.com/us/app/is-metro-broke/id849428357?m...
Secret gists are not published publicly, and thus are not crawled. You would need to have a direct link to the gist to have accessed it. Having the link either means you had access to it as an internal employee, it was shared by an internal employee, or an internal employee's system or email was accessed by someone else.
Depends on if it's using IR to illuminate. I guess I was thinking of dystopian settings where there's a camera on every signpost, tracking your every move. In these cases, I'm assuming they'd be very interested in what goes on at night.

Now, realistically (at least for now) the bigger concern will probably be cameras tracking you in well lit malls, stores, things like that. In those cases, you're probably very right. Either my idea wouldn't work in those cases, or something in the visible spectrum would have to be used instead- something that couldn't be filtered out.
"A source that has few false facts is considered to be trustworthy," -- this leads me to believe that the algorithm punishes for including false statements rather than reward for including true statements, so this method wouldn't work
Systemd just doesn't integrate well into our system. The big advantage of using dmd is that it is also written in Scheme, giving us access to all of the features and libraries that Guile has. Our initrd is also written in Scheme, giving us the same advantages.

There is a GSoC proposal out there to add support for some of systemd's file formats to dmd, for interoperability (and being able to run GNOME, notably). If any student reads this and wants to hack on an init system this summer, subscribe to our mailing list or hop on #guix on freenode and let us know.
I guess we disagree on that point then. I did say I don't condone it but calling these people out online as 'creeps' is harsh imo. Also you're assuming that all these 'creepy assholes' are men.
> OOP is actually falling out of favor as a successful way to express models. Make sure you investigate alternatives to OOP (functional, procedural etc). As a graduate of OOP myself, it's interesting and exciting to approach different paradigms. Experience tells me that the best practices obsess over what things "do" rather than what things "are" (which is a fluffy concept at best).

This is like saying:

"Noun-based writing is falling out of favor as a successful way to express stories. Experience tells me that the best practices obsess over what things "do" rather than what things "are" (which is a fluffy concept at best)."

If a writer didn't use verbs and nouns when appropriate, nobody would read their writing. You would consider such a writer to be almost illiterate.

Of course it's useful for a writer to experiment with focusing on verbs or nouns, and there are situations where one may be so much more useful that the writer should eschew the other entirely. But a dogmatic approach that tries to eliminate all of one or the other universally is bound to lead to bad writing.

And the same goes for coding. Focusing dogmatically on one methodology is only going to limit what you can do.
Drop in some intelligent security to your startup with Castle.io
Is it just me or are google results getting worse with time?
Five or six years ago I used to find everything on the first page of the first search, but these days I have to keep "rephrasing" my searches to find what I want.
The desire to set up a worldwide caliphate by violence is an idea that goes clear back to the Koran. Its implementors come and go. ISIS is the latest. There will be others.

Anyway, it's just one example. Could have said the same thing about the Jonestowners -- lots of people wanted to leave but the leadership was fanatical and could not be reasoned with. Like Boko Haram. Or Al Shabaab. Don't have to reach very far in history to find such a thing.
I stopped reading wired since they always redirect me to the local wired.de whenever I try to read their US version. Which is really annoying.
ES6 Coding Style Guide
Found nothing wrong with Steward's message. Your "app" is a waste of cycles.
I am glad you posted the link here, Jeff!

I never heard of Vol 1 and 2 but now I am going to get all three.
One week using Octopus Deploy