skysight-inc/HackerNews huggingface dataset:
Honda's pioneering papers on session types (and on everything else for that matter) are always worth reading.

Yes, replicated input is !x(v1).P in pi-calculus, and Milner was directly inspired by linear logic's replication.

> Still, overall I think I'm more optimistic about the possibility of capturing most reasonable forms of concurrent programming in a deadlock & race-free manner.

I don't think you can, or indeed want to excise all forms of race condition from concurrent programs, for if you do that, there would be little concurrency left. You could only do deterministic concurrency, which is not what you want in many cases, e.g when you use concurrency to mask latency. For example how would you define a lock or mutex if all races are forbidden? You need race conditions, but you want them in homeopathic doses, you want them constrained and tightly controlled.

I also doubt that concurrent programming patterns like dynamic deadlock detection and removal are amenable to a type-theoretic analysis in linear-logic based systems such as Caires & Pfenning's.
There is a set list of topics that come up every year in these programming competitions, including:

* dynamic programming

* tries

* depth/breadth first traversal of a graph

* combinatorics

* graph colouring

* prime generation techniques

These topics are almost guaranteed to crop up every year, and the people who do well in these programming competitions learn all these techniques off by heart. They have their own library and macros which do all this stuff, and when they read the question they instantly see which technique they need to use and boom they're done. You have to remember that these people have been practising this stuff from a very early age, and that in many cases, spending hours and hours becoming good at this is their only way out of a crappy life (Eastern Europeans). However, being good at competitive programming has very little correlation with being a good software engineer (I think there is some analysis done by the likes of Google or Microsoft which proves this, I will try to find the link later).
Free State Project is establishing a Libertarian enclave in New Hampshire
What's the difference between companysucks.com and company.sucks?
Here's a longer history

http://design.osu.edu/carlson/history/PDFs/paint.pdf

My personal experience was there wasn't much software for truly manipulating photos on PCs or anything else a average non pro would have access too before photoshop.

Everything I'm aware of before photoshop in the PC space was basically a pixel editor. It might have had brushes like Deluxe Paint. It might have supported 24 bit images maybe possibly. But it didn't have any things I thought of as "photo" manipulation like adjusting hues, values, curves, blurring, burning, dodging, smudging, etc. etc. They just let you draw solid colors shapes, possibly gradients, and cut and paste, maybe rotate, scale, and warp.
Prediction of Autonomous Cars in 1956
middle would mean a reject, if y axis is # of startups. I hope not, but looks like it.
PracTutor Feedback – Awesome
Not to take anything away from your comment on this being a language that has been brewing for years, but people really should give Robert Griesemer more credit for his influence on the language design.

I know he's the least publically visible of the three, but IIRC godoc and gofmt are mostly his babies. After getting used to those I think I miss them more in other languages than I miss the concurrency.
Corel Draw http://thumbs.ebaystatic.com/d/l225/m/mXlR4L_BHlEPItY2XNywca.... It was advertised everywhere in computer magazines and catalogs.
Why Your Domain Registration Costs That Much
Apple in talks with musicians for exclusive streaming deals
Normally Yes but I have a short section of artificial rapids on the river next to my house where you can play in the waves, run the rapids, then walk back up. On wild rivers you normally drop a car at the bottom and drive back to where you started.
As always in these situations, finding an algorithm that works in every case you've tried is fairly straight-forward. Convincing yourself that it's going to work is not that hard.

That challenge is always to prove for definite that it will always work. The proof is in, well, the proof.
I won't give you long advice here...only want you to understand that there is such a thing as "spinning your wheels too much"...I am pretty sure that you have put the work, show the eagerness to reach your goals but if you are stuck in the sand spinning your wheels will just make you really tired and frustrated. Stop. Look down at your feet (metaphorically speaking) observe why you don't seem to get traction, pick any one thing you think should help and do it. Keep going from there. Do it for you and enjoy every moment.
I would pay a lot to be able to use ATOMIK as primary input again. Everything since has been strictly worse for me.
Is there some meta joke i don't know, with all that alliteration.
Evil Genius 101: The Hidden Power of JavaScript Object Prototype
Yes, and I got downvoted by this crowd last time I mentioned as much. Some random SF-specific project launches, and snags up yet another .com domain. It's not even something like "san_fran_project.com", it was even more generic.

On that note, I'm fully with the GP. This sort of thing should be enforced. It would help with everything from spam, to fake sites, to weird domain name pollution as discussed here.
First Hologram Protest in History Held Against Spain’s Gag Law
That's debatable. First, it's public information he used. Anyone could have analysed it themselves if they wanted to find suspicious people. Further, if someone discriminates against these people just because their names appear on a website alongside "we're not accusing them of anything", then that person may be doing something wrong. But that person probably discriminates against all sorts of people for trivial reasons anyway, and maybe we should think of ways to make them behave in a more socially tolerable way if we don't like it.
I got rejected too, for some reason I really believed I was going to make it.

It was the kind of things where you discover the existence 4 days before the deadline and you think : there has to be a reason why I discover it now.

Indeed, I think there was a reason, but this reason was not getting into YC as I thought. It helped me realize that there is no better time for me to launch my startup and that I am more than ready for that.

It was my first application and I don't think I'm ever going to apply to YC or this kind of big incubator again. God only knows, but that's clearly not my mindset today. It distracted me a lot from working on my product, so I imagine what it would have been if I had planned it for months and applied at several places. I'll focus my efforts on developping my product, and I'll work with local investors one step at a time.

Nice experience anyway, and congratulations to those that have been invited ! I hope we'll meet down the path of success - I'm not saying you'll be there first ; )

Cheers
I agree that there is a lot drivel, but I'd extend that to Bitcoin discussions also, where rarely economic underpinnings get discussed.

There is this notion of a contract. In a democracy a valid contract is an agreement (say between 2 parties) which is enforceable by courts and executive. Enforceable means that there is a cost of cheating. Even the most simple purchase contains a purchase agreement. If Alice walks into Bob's store and takes something without paying, then this is what we call theft (although the precise details of theft can be argued about ad infinitum).

In the real world when we enter agreements, we usually know to some extent who we are dealing with (Alice knows Bob's store). What would an arbitrary agreement over a network look like? That's hard to say. An analogon of a court is some arbitrary human decision, which can serve as an input. In Bitcoin there is no notion of an agreement, only cash transactions (and some limited facilities for escrow).

I believe that the concept of an oracle, and several other crypto-terms like Zero-knowledge proofs are an academic dead end. For my purposes I'm assuming that most people who want to use crypto systems don't understand or care about these things. There will be a great need for mapping abstract concepts to useful tools, such as an GUI operating system maps very abstract physical calculations and processes and makes them usable. I suspect 99% of Bitcoin users don't understand public-key cryptography, much less Elliptic curves and distributed systems. "Key", "signature" and "coins" are useful metaphors.

What is already happening are the first beginnings of joint stock ownership developing (DAC's) with mixtures of online formal agreements and informal agreements. Voting is not a panacea, but it helps. That's the kind of contract that can be developed in the short term.
I, for one, cannot remember any training, workshop or course that didn't have at least half an hour of obvious, blatant corporate agenda crap and here's-why-you-don't-need-any-technology-other-than-this-one. Some of them subtly painted, but generally that. In time, I simply stopped attending any. Whenever my employer needs me to learn something new, I end up suggesting buying me two books on the subject and letting me take three days off to study them. Cheaper and far more efficient.

I don't know what they're covering in the chapter about the Linux foundation, but the second chapter sounds extremely useful to me. A lot of people who come from a Windows or often an OS X background don't really grok:

* That you can -- and should -- chain program together, not rely on the feature set of a single one

* That, when in doubt, you can look at the source of the program if you can read it

* That there are other release models at work other than "One major version ever X years and $osnameUpdate in between", and you need to know what you can expect from each

* That the kernel and various bits of userspace are separately developed and packaged, which has repercussions over what practical systems look like.
http://www.quora.com/Did-Amazon-ever-open-source-any-of-its-...
Headline is misleading, that is only the case for one patent, not an entire class of patents.
Restoring a CNC Machine
Build your own dynamic DNS service with Golang
Immutability sure makes this stuff easy in Erlang.

EriPascal, an ancestor of Erlang, used runtime ownership for passing mutable binaries around. Once you send the binary in a message it is a runtime error to use it again afterwards.
Ask HN: Is Windows Phone underestimated?
Hello, I'm planning to buy my first smart phone (yes, it's true). Despite being a Windows user in my laptop (and IOS in my Ipad), I am not a 'fanboy' of Microsoft - very far from that - but I think their phones are better than the market 'says'. I was an early adopter of Chrome, as I saw a lot of potential in it, but they got their market share quite slow. I have the same 'feeling' with windows phone. What is HN opinion?

Disclaimer: I don't have any connection with Microsoft - It's just genuine curiosity. I write this because every time I make more specific questions, I read in the comments that I'm paid to ask them, last one was about Meteor.
nothing till now..anyone else in same situation..no email ? ( we were late submission)
So why not MemoizeMake? MakeMemoize? MemoStrace? MemoiStrace?
I do not think logic-based learning is dead. It just smells a bit funny.

In the vein of the papers "From machine learning to machine reasoning" and "Text understanding from scratch" I expect a "First-order logic understanding from scratch" to follow naturally.
I really don't like this, because I fear that from now on all these debates will be dominated by various interest groups hoping to get their petty little issues resolved.

This was never an issue that mattered and yet it dominated the debates every single time something on the frontpage had to do with react. For those of us who are actually interested in the technology this sucks.
About MVP’s and startup stepping stones
There's not THE resonant frequency of water, there are a lot of them, in different regions of the spectrum, and with different widths, all caused by different mechanism by which water-molecules can interact with electromagnetic waves.

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

And the one responsible for absorption in the ~1GHz region isn't even related to any resonance whatsoever, as it's caused by rearrangements of the unordered electrostatic bindings between the polarized water molecules.

There's even more detail at: http://www1.lsbu.ac.uk/water/microwave_water.html
How Babbage's Difference Engine No. 2 Works
Dashlane is perfect for this https://www.dashlane.com/teams
http://www.quora.com/Does-Amazon-actively-avoid-contributing...
"If it looks like a duck and quacks like a duck" - ferguson missouri PD operations manual (2012)
Amazon doesn't contribute much to the open source community. Most of their contributions happened around the XEN project which they use to power EC2.
I am sure that we could find some open source software that they use. Surely they have a website? That almost certainly use Jquery, right?
Because directory hierarchies go from top to bottom - /dir/subdir/file.ext - or, globally, //hostname/dir/subdir/file.ext, or protocol://hostname/dir/subdir/file.ext etc.

That the hostname part's components, as presented to users, goes from bottom-to-top in DNS when the rest goes from top-to-bottom is an accident of history, but one it's too late to change (in DNS). Not everything made that mistake however - Usenet didn't.

As for what you're typing in your 'awesome bar', when you start typing, your autocorrect is ranking your visited history: there's no reason it has to start at the beginning, especially when the beginning isn't the root, but there's also no reason that doesn't make sense.

In fact, drifting back to topic: GOOGLE. is in fact a TLD now. If DNS were the 'right' way round, you'd be going to //google.news - wouldn't that make more semantic sense?

Of course, in practice, we're stuck with DNS the way it is because .com is now firmly in the public consciousness. But it could easily have been different, and if I were designing something new, I'd pick the Usenet way round.
Linux 4.0 brings Skynet closer to existence, offers reboot-free kernel patching
same situation here..
Augmented Reality in OpenCL (2011)
I thought the offside rule was a hack because the natural, beautiful rules didn't end up working in real life.
Ask HN: Internet of Things job opportunities?
Hello everyone,

I am currently approaching the end in my PhD in micro-electronics (will be finishing in September). My research topic is design of ultra low power radios for internet of thing nodes. Since I will be soon searching for a job I would like to ask for some career advice from you.

The first question is regarding working as an integrated circuit designer for a small company. Since circuit design is a very high upkeep activity (money required for software licenses, technology access, clusters for simulations, runs, testing etc) I was wondering how do small companies deal with these expenses. Since at this point my career goal is to continue developing my skills as an IC designer, do you think that choosing to work for a small company might be a suboptimal decision?

The second question is if you know any smaller companies which are looking for people with my profile (in Europe or USA). Most people around me talk about the big semiconductor companies being involved in chip design for IoT stuff, but given the hype this domain is getting in the press, I figure that there must be smaller players involved as well.

Thanks!
It's really hard to guess at Amazon's code contributions; I don't know what weird corporate anti-pattern causes this, but I've received patches from Amazon in emails which say "here's a bug fix but don't tell anyone that this came from Amazon", and I know other people who have received similar contributions.

In a more financial sense, they have been generous in supporting my work on FreeBSD/EC2 -- not with cash, but lots of free EC2 usage for development and testing.
INALIDEPLT: That is not how it works - a termination of the licences means your license is no longer valid, much like you can have any other agreement terminate but that doesn't mean it wasn't valid in the past. It would essentially be the same as if you had a license that was purchased for X years - you can't use it more than X years, but that doesn't mean you can't use it during that period.
One of the first calculator apps for Apple Watch/iPhone – free this weekend
Also, as far as I know, not compatible with the GPL.
...or SLCs, "small lepton colliders" ;-)
A mobile game's non-intrusive monetization strategy
Its never too early to get advice
Isabella – a voice-computing assistant built in Ruby
Just published a Node.js module to convert JSON to CSV
I've been using Windows Phones for a while after using iPhones for a while. The (former) Nokia hardware are solid and the entry level devices are being given away. Check out Cricket -- they are on the AT&T network but can't advertise it.

My basic take is that, so long as you don't have a big interest in Apps, it is a better device. It makes full use of the real estate and feels more like an integrated platform than a collection of functions.

But the App situation is still a mess -- no one builds for it. If you have anything you really want, check in advance.
On the other hand, the city did sell the medallion under the promise of keeping competition out. Aren't they scamming the medallion owners by not doing so? Even if we think the medallion system is corrupt and/or unjust, why should the buyers be the ones left hanging, while the city which created the system walks away with the money from its sale?
Very curious to know

1. Where you learnt PGMs
2. How you made it part of your 'personal everyday' toolkit

Always interested in improving my thought processes...
Especially since they are liable to be sued in the UK, who have a very strict libel law.
Yeah there's a weird internal thing where Amazon employees are not supposed to publicly contribute to open source projects but I don't know the reasoning behind that...
I created a similar "rent anything" marketplace in 2013.

http://www.streetlend.com/

It has some limited traction in London but a very limited number of transactions. One a month, perhaps. The problem with creating this kind of site is that seeding two-sided marketplaces is hard. And also, I relied on an ideal-world culture that sadly doesn't seem to exist in practise. People love the idea, but when it comes to it they rarely use the product. It's just too cheap and easy to buy stuff these days.

I spent a lot of time marketing StreetLend locally - flyer and poster campaigns, local blogs, forums etc. Organic growth won't work. To really get off the ground you'll need a serious advertising budget.

I wish you the best of luck. It's a product I want to see and use myself.
Sure, but the organization that sold the product was also the one which changed the rules. Isn't this similar to Goldman Sachs shorting the securities that themselves were selling to their clients?
You don't need to know in advance. Generate a big r from 0 <= r < s. When calling randint(n), return r mod n and update (r, s) = (r/n, s/n), unless r >= s - (s mod n) in which case reset s and regenerate r.
Texts Rasterization Exposures (2007)
GP seems to mean this:

> I’m glad (Facebook fixed this). I’m glad (solely for the fact that […]).

You seem to have read this:

> I’m glad (Facebook fixed this solely for the fact that […]).
Front-end editing is one of those features that sounds like a good idea, and makes for good demo, but has some fundamental failings.

1) It sets up an expectation for the user that they are editing content on a page, as if they were editing a Word document. But they're not doing that. They're editing content in a system that then happens to be output on that page. It might also be output in other places on the site, maybe in different presentations. This causes weird spookiness-at-a-distance issues where making a change in one places has unintended consequences in another. Essentially you're presenting a metaphor of editing content on a page, but the metaphor is a lie.

2) It encourages the user to think about how the content _looks_ not what the content _says_. This is the same fundamental issue with WYSIWYG editors, where the user wants to make things big and red and underlined. And blinking. The role of a CMS user is to create content. The role of the web designer is to set up the system to publish that content in a way that communicates best according to the site's objectives.

3) The way the page looks when someone is editing on a big screen isn't necessarily how it looks to all visitors to the site. Even saying "this is what your site looks like" is a massive oversimplification. It's not even straightforward to define what a 'page' is on a modern site, and that's only going to get more complex as the web evolves. Trying to tangle your editing interface in with an ever increasingly complex presentation layer is setting the user up for a world of hurt. And lies. Hurt and lies.

It's simply not sustainable, nor a good idea to try to combine your content management and your presentation layer.
I added facebook "friends of friends" features to StreetLend. A nice Neo4J graph DB powers this. Unfortunately it didn't save the site from the other issues described in my earlier comment
Skyscanner devises mathematical formula to guarantee perfect flight
A Basic Guide on Customizing WordPress Theme Using CSS
Google X is working to build better batteries
SEEKING WORK - remote / Rio de Janeiro / Brazil

Technologies: PHP, MySQL, JavaScript, jQuery, HTML, CSS, social networks APIs, basic video and audio editing.

Languages: Portuguese, english and spanish (advanced).

Résumé/CV: http://paulomanrique.com/cv

Email: paulo.manrique at icloud.com
Feel free to make comments on the module usability or the code =)

Thanks!
Come on, are you freaking kidding me? They should do one about C way before even mentioning COBOL. 43 years old and still rocking!
> It makes full use of the real estate and feels more like an integrated platform than a collection of functions.

I think you nailed it. These (and price) are the reasons that are making me consider it: I like small phones but I want them to be easy to interact with (large buttons).

> But the App situation is still a mess -- no one builds for it.

I don't have interest in apps - for that I have an Ipad - I will use it almost as an old mobile phone. Anyway Windows 10 might be a game changer on this.
So they're basically another IOC?
That is, the article writes about this paper but poorly and with the totally wrong title:

http://arxiv.org/abs/1504.02165

Because:

"Now that the peryton source has been identified, we furthermore demonstrate that the microwaves on site could not have caused FRB 010724. This and other distinct observational differences show that FRBs are excellent candidates for genuine extragalactic transients."

Better changing the HN link to the Arxiv paper and the title too.
Location: Rio de Janeiro / Brazil

Remote: Yes

Willing to relocate: Yes! I have no visa.

Technologies: PHP, MySQL, JavaScript, jQuery, HTML, CSS, social networks APIs, Silverpop, basic video and audio editing.

Languages: Portuguese, english and spanish (advanced).

Résumé/CV: http://paulomanrique.com/cv

Email: paulo.manrique at icloud.com
The Covox Speech Thing it was called. At least the official product. But the design was so simple and the parts so cheap people started building them themselves.
Amazon has assume the Linux Kernel developers (~20) from AMD in Dresden/Germany a few Yeats ago and is still hiring Kernel Developers in Germany.
Might be easier to make a list about what isn't corrupt.

1. sometimes they sleep
Twitter Ends Its Partnership with DataSift – Firehose Access Expires on Aug 13
MODedit didn't work on machines that slow.
React and Angular team to work together on common issues