skysight-inc/HackerNews huggingface dataset:
A toy example would be the following C code

#include <math.h>

double sine(double x){
reformat_hard_drive();
return sin(x);
}

which can be easily translated to Haskell

sine x = do
reformat_hard_drive
return (sin x)

So we can write the same stupid function in both languages. The bit that's specific to Haskell, as opposed to just any typed language, is that sine and sin have different types. sin is (Double -> Double) while sine is (Double -> IO Double), so swapping in sine for sin causes the code to fail to compile. Comparatively, you can drop in a random sine anywhere in your C code and the compiler will happily chug right along. While I've seen ways of implementing various invariant catching techniques like the Maybe type in C, I haven't seen anything that would catch the sine function.

Now, as I said, this is a toy example. The real solution would be to fire whoever wrote the sine function. However, in larger systems, it can be translated into invariants such as declaring that a function cannot access the database or send packets on the network.
Random vaguely relevent historical asides:

1. The Walkman was born after a Sony exec had started using a Sony Pressman tape-recorder intended for transcribing meetings/interviews to listen to audio tapes while on planes. They took out the recording functionality and speaker (while adding stereo to the headphones) to make it smaller/cheaper/more portable.

2. Firefox was born after some Mozilla devs took the full featured Mozilla suit and simply hid a lot of the features (email, HTML editor, NNTP newsreader). They later on actually did the work to remove unused code, but at first it was merely cosmetic, though everyone likes to believe there was a mystical time in the past when Firefox was a lean, mean, codebase rather than a minimilist reskin on top of a lot of bloat.

Not sure how that relates to WebRTC, just thought the parallel was amusing.
It would be nice to have a community of Hacker Surfing so you can go somewhere, code something then go somewhere else and code some more... It would be like nerd consulting vacation, Then when you get back from the coding they come with the job offers :) Then you get to be like the guy who has already commited his code to github and is safe to be with his Mac on the Tub!
Does anybody know if a gamma-ray burst is preceded by an increased neutrino flux? I've heard that neutrinos will actually arrive at earth several hours before the light from a supernova. When the core of a star collapses, the light is physically prevented from coming outwards until the collapse is complete. Since the neutrinos move right through the gas, they are emitted as soon as the explosion occurs. Would detecting neutrinos be sufficient to give up ~4 hours of warning before a gamma-ray burst?
Show HN: Send infectious laughter to your friends with the haha app
> it seems pretty wrong that public data from an organization funded by taxpayers isn't freely available for download.

One really nice thing about the USA is how much public and open data there is. In Europe you can't even get access to maps, which is why OSM was created in Europe.
1) if the BOINC project servers were down then gridcoin would continue to function as a normal PoS coin and when they are online again you get the PoR bonus again

2) I think the BOINC foundation is very trustworthy and the advantages of contrubuting to science outweigh the disadvantages. Also BOINC itself is totally independent from gridcoin and well financed on its own for the public good of citizens contributing their computing power to science, so if they would tinker with the stats they lose their credibility and this would have consequences for them, eg. loss of fundingg or another team being funded to run the project servers, the software is open source anyway.
The wrongness, such as it was, is completely beside the point. The author's audience is a group of people where this has a high probability of this being their first exposure to any C at all. That `malloc` is one more thing for them to get tripped up and distracted by.

I'm indignant because this happens on almost every marginally interesting article that makes the front page and I'm sick of it. I get that the code was wrong and a bug and C must be correct at all times or the world will literally light on fire. It's just exhausting reading comment after comment about the tiniest little nit in an otherwise perfectly wonderful essay.
How to play every major console away from the TV
The main reason for this change, which was agreed in 2008 and came into effect on the 1st of January 2015, is to stop companies like Amazon, Apple, Google and other large companies from enjoying low taxes as they base their digital services arm in Luxembourg. For ebooks, they enjoy a low 3% sales tax. A very nice loophole for these large corporations but it has rightly so been closed.

The knock on effect is that small business and retailers have to deal with this new EU VAT change too where VAT needs to be calculated at the customers location rather than the sellers location. Once they do this, they then need to report it to their respective government. This adds a lot of administrative burden on small sellers that are barely making any sales.

The most important thing that the EU could have done which they didn't do is to have a threshold so that small business and individuals aren't affected. Recently, Japan introduced a similar change but maintained a threshold to protect small businesses: http://www.vatlive.com/asia-pacific/japan-consumption-tax-fo...

The EU VAT change is an unnecessary burden for small business and individuals which is why we handle VAT completely for our customers.

I am the founder of Payhip: https://payhip.com
Hell did not break loose in France after Charlie Hebdo.
They had huge rallies in support of freedom of speech. And they were joined by all religions and political factions. All in all, democracy and societal harmony prevailed.

By the way, you are German and think the older generation has no problem with surveillance? What about the experiences made in Eastern Germany? 1989 is not far into the past, you know.
Of course it should be bool.

I'm glad that the OP at least made it a const char *password though, since that's also a must-have. Always const input pointers. And local temporaries. And everything else that you can const, except scalar arguments pretty much.
I'm not the OP, but a few ideas present themselves to me:

- if an employee works late, allow them to arrive at the office later than the usual start time (maybe a number, like 10 hours after they finished, to allow for 8 hours of sleep and an hour commute each way - or more to accommodate time to shower, dress, eat, etc.) This should be common sense - you'll get more and better productivity in 5 hours from someone well rested and fed than in 8 from someone exhausted and hungry, and they already gave you those extra hours and more last night!

- convert overtime to PTO beyond a certain point. Maybe or maybe not for a 10-hour day, but your guy who works 9am to 3am (18 hours, or 2 days in one) not only deserves the extra time off as a reward for going the extra mile, he's going to need it -- and soon -- to maintain his productivity.

- every weekend day worked is compensated with an extra day of PTO. Because weekends are supposed to be paid time off and you're taking it away. Even 1 hour worked on a weekend at a manager's request gets compensated with a half day of extra PTO.

- create some sort of direct consequences for management (that is, personal consequences, not just the inevitable disgruntled workforce that wants to quit) when a project is mismanaged such that employees are regularly giving up sleep and weekends to fight fires and meet unrealistic deadlines.
The example that springs to mind is Spree (https://spreecommerce.com/). Spree itself is open source, but Spree Commerce make their money from support, implementation and premium offerings.
[Update: Sat. morning: After discovering that Keating was taking detailed notes of her conversation with a YouTube representative, YouTube appears to be re-grouping to clarify their policies and figure out exactly what artists are being told. They have also not clearly explained why they are demanding a retraction from Digital Music News. More as it develops.]

http://www.digitalmusicnews.com/permalink/2015/01/23/breakin...

This is getting interesting.
Using JavaScript Next Features in an ES3 Enterprise World
I'm pretty sure we successfully do long messages on twilio now- thought they solved this issue back in 2014 Q1?
Please have them contact the archive team, I guarantee they'd want to at least backup all of this: http://archiveteam.org/index.php?title=Main_Page
Your developing process with opensource model will be much faster, you will always be few steps ahead with your community.
Theoretically yes, but those people who will fork and "steal" your project are not your clients you are not targeting such audience, they will never pay for your product (hosted service, support etc...).
If they are capable to fork you project, improve and change you code, develop the product faster then you, become your competition, you should hire them :). This is a signal you are failing, something is wrong in your organization/team and you should quit.

Ask your self,Do i ever heard for such story ?
Others have explained it, but I like to see it like that:

- apt-get, yum, pacman and "traditional" package managers deal with _transition of your system_: _please install this packet_, _please remove this packet_

- nix and guix deal with _state of your system_: _please make sure that the final state is thus_.

This brings easy reproducibility of a system (if you have the recipe, you can have a another machine be an _exact_ copy) and de-entanglement (no more managing conflicting dependencies, no more dangling files). If I were to draw parallel, it would be like this:

- "traditional" package managers are like jQuery: you pick some DOM node / some package, and modify it / update it. After some time you don't know anymore who modified this DOM node, who needs it, ... things become hard to track

- nix and guix are like React: you specify the state you want in a single place (or rather in a definite place) and React/nix maps that definition into your final product

Here's a long blog post that goes into more detail: https://www.domenkozar.com/2014/03/11/why-puppet-chef-ansibl...
I could somewhat agree, but you lost me at 'combative.'
We use the android and iOS clients to make calls - it works really well.
#gwtcreate slides on Google Inbox﻿
Did anyone say Singularity? :)
Everyone talks about advantages. Would love to hear about disadvantages. Not obvious ones (like having to learn configuration language semantics or package missing stuff myself), but things that don't lie down in a plain sight right away and only discovered after a few days, weeks or months of usage.

Anyone to share their experiences?

(Migrating from Arch to NixOS at the moment, but thought maybe I'd detour a bit and try Guix.)
Their promise of being cross-platform probably will move them into a cross-env toolchain, a-la Titanium.
http://csstriggers.com/ (appears down at the moment, in the meantime see http://css-tricks.com/css-triggers/)
In a very short-sighted sense. You treat employees like this and you quickly burn them out (decreasing medium and long term productivity) or create turnover (wasting time recruiting, interviewing, ramping up, and occasionally hiring someone who's wrong for the job).

Edited to add: and why does everyone think it's acceptable and even commendable these days to be only out for yourself?
It really feels to me that they're providing a mobile front end to whatsapp, not free connection to whatsapp. I guess it would route messages as texts and MMS.
Does Chef make money though?
> Is there any examples out there of companies that have actually made money taking this approach?

There are many, whether it fits depends a lot on the product but this open source first, business second approach is definitely not new. See for example MongoDB, WordPress, Vanilla Forums or Discourse.

Or here: http://en.wikipedia.org/wiki/List_of_commercial_open-source_...

And see also: http://en.wikipedia.org/wiki/OpenSaaS
Your information about Amiga isn't correct. In Europe Amiga had really vital Amiga BBS scene. ANSI "BBS" art as a product of IBM-PC world is only true, if you're talking about this so-called "block ascii" that was made using PC's CP437 character set. On Amiga there was a huge amount of artists doing "line ascii" based ansi art for boards (ISO-8859-1).

For example in 1995 in Sweden there were still loads of Amiga boards: http://www.textfiles.com/bbs/BBSLISTS/elite01.txt

This is the list of boards the list maintainer considered worthy to be listed.
Based on your speculations I'd say that the QRCode is the IP adress of the WebApp + some kind of token.
Scanning it allows the phone to connect to the browser and act as a proxy to transfer messages?
Does JS run on the device or it's RN a pre-compiler?
Very interesting your responses.
Looks interesting to try it. So it's hard / too problematic to get it working over, a Kubuntu ?
Sorry for the late reply. My problem with the Adobe cloud integration in Brackets is that

1) it requires you to be online and on a very fast connection (psd files are huge)

2) it's absolutely unnecessary for this feature and doesn't provide an advantage for the user

I was wondering where the catch is with Brackets and it seems like it's only meant to get people to use the Adobe cloud. Reading psd files from the text editor is great for web developers and Adobe knows that.

I hope other editors will implement this without the cloud requirement. When they do, Brackets will be cancelled in no time.
Addendum - what is key here is that Zoe's original post was balanced and rational and even-handed. Even if YouTube disputed the factual aspects of it then this was a really poor way to go about it and has merely confirmed the feeling that they are throwing their weight around with small artists.

They could have turned things around by engaging in dialog and still got their point across.

Someone at YouTube needs to go back to PR school after this.
As a quick experiment, I tried it on 3 vids. It only worked on one.
Breast Mastectomy – Touch Surgery Surgical Simulation – Free on iOS and Android
I've been asking myself the same question.

The conclusion I'm leaning towards is that the Saas version should, on top of the hosting/maintenance, offer some distinctive features ( it depends of your product, but on an Saas model, your architecture can be more complex than a Backend/Frontend/DB architecture, thus allowing more advanced features ).

In my view there is three layers, that could be seen as three steps ( but maybe I'm wrong ) : open source ( great for WOM if well managed, great to harden the software ), enterprise-behind-the-firewall license to make recurring revenue and build a sales pipeline, Saas once the architecture is stable enough to handle hundreds/thousands of customers with acceptable costs of operations.

Someone can take your code and set up in competition to you using the OSS version, just changing the logo. But the software is at the end only 30% of a company. What makes a great company is how it evolves with its market to serve and nurture better its customers. Economy is not about selling products, it's about exchange between humans. The real product is in the experience ( the software, the tone, the customer service, the email, the documentation, the ads... every little byte, pixel, sound that your company emits ).
A company that steals your OSS and monetize on it without making it a new experience is just like a guy around the corner selling Rolex replicas.
Really? I'm genuinely interested in this. Do you have an article or interview or something with more info?
I'd like to think of this as comparable to CAD for architects, except attorneys have never had any serious domain-focused assistive software, beyond word processing. Maybe some have, but it's not a well-known category that I've been able to see.
HipChat can't handle multiple accounts, making it almost completely unusable if you belong to more than one team.
The rules apply to digital products AND services (e.g. memberships, cloud storage ...). You'd need to physically ship something to avoid the rules, but then, other burdens (import/export/customs/taxes) come in place.
Maybe it suffices to just say "end if/for/def/class/etc" at the end of each block.
Easy PSD to HTML Conversion
+1 for the Wikipedia link.

Mongodb uses the Affero GPL license which is distasteful to many and my concern is using Affero would not REALLY be going open source but would be a way of trying to protect my business/my source code from being hijacked and renamed. Thoughts?
Is there an official location for this project, with source code etc.? Forgive me if I sound paranoid, but downloading a binary from a random Dropbox is a little weird.
Like the other responder caw I think it depends on your business, and it also depends on your target audience.

Open sourcing the wordpress blog platform? Sure that makes sense, the target audience for wordpress are largely technical (to a greater or lesser degree), and want to see what they're putting on their servers. More importantly they want to customise it without limitation.

Open sourcing a productivity application? Hmm, not quite so clear cut. If the majority of your users are technical that's good. But are your users going to want to fiddle with it to the extent that they want it open sourced? I'm really not confident that they will unless you know something about them that I don't? In other words, what is the benefit to your customers in your app being open source?

To answer your other questions...I don't think that you'll get more press coverage about your project just because it's open source. Open source isn't a new thing.

My personal view is that I would launch your app paid for using one of the standard pricing models. See if you can gain traction on the benefits of the app alone, rather than trying to put an open source twist on it at the outset.
Ropemacs for Python 3: Emacs as a Modern Python IDE
So IBM folds to protect its reputation and the robot's ego. Oh, maybe implementing ego was a poor choice after all.
Exactly. Almost everybody agrees that The Bronze is shit, you can trust the collected experts in big numbers. But you also need the standard deviation to filter "special audience" flicks, like festival masturbation, horror or erotic movies, which are targeted to a very narrow audience.
Is Microsoft poised to surge ahead of other players with Satya Nadella as CEO?
http://www.wigglestatic.com/product-media/5360090022/speedo_...
No. Its still a major blocker
Why I’m ditching the 60-day money-back guarantee for free trials
Microsoft Rebrands App As Outlook for iOS and Android, would be more accurate.
I knew a blind programmer back in the days.

We always joked he did our UI.
When it comes to understanding the features and tradeoffs of keyboards for programming, I've never seen a better resource this Xah Lee's Keyboard pages [1].

One of the big things I learned is symmetric C- and M- for Emacs.

I like the MS Natural Ergonomic 4000 because it is designed to sit in a person's lap. I can't describe how much better this is than VT100 knockoffs. And it's not absurdly priced [from a price anchoring perspective].

[1] http://xahlee.info/kbd/keyboarding.html
Marketplaces are most ruthless and often immoral in their emergent behavior.

I'll definitely agree that the results are often bad.

I won't agree that anyone should ignore the reality of it though. Realize that it is the most literal definition of a marketplace, and nothing is going to change fundamental fact. Once one accepts that, he'll be much better grasp of how to make it better.
There are several problems with the code and dump scenario:

* Open source contributors have to approach the codebase from a much more advanced, and often more burdened or rigid, state

* The mainline developers, who worked on the code before release, aren't necessarily used to, or open to, accepting contributions as if the project had been developed in the open from a much more primitive state.

* Sometimes the dump literally just means "here's the code", and isn't an indication that the project is looking for significant or lasting contributions at all.

* Sometimes when companies open source their stuff what they're really doing is putting it out to pasture... but this isn't always apparent upon release.

* Often the project isn't hosted on a neutral platform, like Github or the company still works on v2 in a private fork.
JSXM, a model-based testing tool #testing #java #eclipse
(Disclaimer: I work for one of partner companies)

Odoo[1] (an all-in-one platform for companies) has been having plenty of success using the open source model. There's a community of partner companies which contributes bug reports, fixes and modules, and builds upon the base platform, and then when selling those solutions to other companies, those contracts often include an yearly support fee for Odoo (the company) itself.

Regardless of the technical merits of the platform (I think it's actually pretty decent, but some disagree), the business model has been working. Some of the clients using it for core business functions include companies with revenues in the hundreds of millions, as well as official organisms.

Odoo (the company) has also recently raised $10M from European VCs.

[1] https://www.odoo.com/
>Feminists have been fighting for the right to work in coal mines, and fight on battlefields, and everything else.

It's terrible because it doesn't fit the narrative you're trying to push. Paying occasional lip service isn't the same as "fighting for the right". Working in a coal mine or fighting in the battlefield isn't a "right". It's an obligation blue collar families fall into.
JSXM is a model-based testing tool. The tool is implemented in Java and allows the automated generation of test cases based on a model of the software to be tested. The model is expressed as a Stream X-machine (SXM). With the help of JSXM the specifed model can be used for: Model Animation, Test Generation and Test Transformation.
Perhaps the misunderstanding is due to many of us not understanding French...
Something interesting I found out whilst following these instructions: My version of linux has two different echo commands `echo` and `/bin/echo`.

The basic one cannot accept any flags and when I type `echo "\x01"` it prints `\x01`

The one in bin can accept flags, and requires the -e flag to interpret backslashes.

This changes the echo line of the program to this:

`/bin/echo -e "\x01"`

I found this out because it was changing the byte from 00 to 5C rather than 01, because 5C is the ASCII for \
Why winter storms and blizzards are so hard to predict
Low Rate Car Loan After Bankruptcy Interest
The best way that I learned algorithms was I looked at many different books about them. Here are some of the ones I used and you can contact me if you want any of them I have all the pdfs, I also want to say that I dont know if they are the best but they helped me to understand Algorithms and I really love them now, it is so interesting.

Intro to Algorithms, it was pretty tough at times but I really liked it.
The Algorithm design manual.
Algorithms in a nutshell.

I also was taking a course at Temple which helped but I really liked reading about them, than I thought a lot about the algorithm. I also have a lot of Data Structures books to go along with the Algorithm books too, let me know and they are all yours.
The most realistic solution to the problem => https://news.ycombinator.com/item?id=8937287
US measles outbreak blamed on parents who will not vaccinate
I'd be interested to see some stats on IV heroin use and rate of addiction if you've got some