skysight-inc/HackerNews huggingface dataset:
It seems like Shen is a successor to Qi, which if I remember right, had a type system that incorporated full-blown classical logic. If Shen follows in this tradition, then its type system would be significantly more expressive than standard functional type systems. It would allow not only arbitrary predicates on input and output, but also relationships between them. Needless to say, such a type system is Turing-complete, and therefore not guaranteed to terminate.

Systems like this are usually used as theorem-proving systems, not actual production languages. I think Qi was intended to be a practical language that allowed arbitrary proofs about the properties of its programs.

I have not been able to find any reference to this in a quick perusal of Shen's documentation.
Nous York Streaming
Wow, there really seams to be an addon for everything, even if they make a simple thing more complicated. Why don't you just copy your post before you hit the 'submit' button? Easier, faster, better?!

FWIW: Use Ditto if you don't want to lose the previous buffer content.
If it's Apple R&D, you can be sure they keep it under lock and key. Internal security and company secrecy is part of what they do. Hence products hidden under tarps, multiple security cards, etc etc...

That being said, I would say they've built both their CS and EE capabilities to the equal of any other company in the world. Custom silicon, compiler tech in llvm/clang/nitro, the whole OS related stuff, etc.
This article wildly overstates the case. Sure, iOS is a better game platform right now but there are plenty of commercial studios putting out quality games for Android too.

Unless games are your primary use case for your device I don't think it's a decisive difference the way it is for music production apps, for example.
NO PRESSURE.
I don't believe I referenced qualia. The problem of language is an emergent phenomenon just as the utility of language is. I don't believe in subjective essentialism either.
The Chomsky hierarchy while being but a small part of his work is undoubtedly a useful technical contribution, but I don't see it as particularly relevant for cognition and linguistics. As an example, for cognition memory constraints seem to be much more fundamental than the type of formal rules. It is also rather arbitrary: many kinds of formal languages don't fit into his hierarchy, there are many other ways to carve up the space of possible languages/grammars.

I think that his general linguistic theories might share the same fate as Freud's theories: large, complex theories for which there is simply not much empirical support, making it difficult for people to continue to work on them without their originator imbuing them with his authority.
Dear Elon Musk:

Want to make cars? Need a lot of workers? Space?

How about old car factories in an old car factory town. Come to Flint, Mi man, Change the world.
Social news sharing FTW! I love how we can help others get this news simply through our engagement.

Oh, and as for "editing your YC application in the application form" ...I wouldn't recommend it, either. Use something that doesn't require an internet connection, and save often. [Don't forget to actually fill out and submit your application, though. =]
I know it may not be the best sales pitch, but I love how incredibly nerdy and low-budget the video is. It's a refreshing break from the hyper-polished, artsy videos we tend to see on kickstarter. It's just four nerds looking for funding for something nerds think is awesome.
Senior Web Front-End Developer | Sunnyvale, CA (near Caltrain) | Full Time | H1B

Bracket Computing is a stealth-mode startup, focused on cloud computing technology. We've just raised a sizable Series A from three tier 1 venture capital firms.

We're looking for a senior web front-end developer... We already have awesome full-time user experience and graphic designers. The senior web front-end role is all about owning and driving the architecture and design of our web front-end. We are looking for a senior software engineer who is both passionate about web app development and can guide the front-end contributions of a team of 6 full-stack developers. We lean towards a modern, single-page web app with a RESTful API-based back-end, using a JavaScript-driven web app stack, e.g. Bootstrap/Backbone/Underscore/JQuery. This role offers substantial ownership of the company's product & vision.

Bracket's engineering team currently has less than 20 developers, mostly senior engineers from NetApp, IronPort, Data Domain, VMware, and Facebook. We're working on a very hard technology and problem space, and also like having fun at the same time. :-) As a well funded startup, we have great perks. We also have a dog friendly office and BBQ patio.

We are in stealth mode currently. Qualified candidates will meet with the founder/CTO for more details.

Please send resumes/CVs to jobs@brkt.com
Windows Phone 8 Supports Cocos2d-x Framework
I have a confession to make. I've been a Python (django+flask) guy for years, but I just recently jumped ship to Ruby and couldn't be happier. Within the last 60 days I've deployed 2 production websites, rebuilt my own personal blog, and am currently busting ass on my own project's API -- all of it in Rails. I still like Python, but I'm a HUGE fan of Ruby now. It's so much fun to write.

I'm excited to be a part of such an active community as well. It seems like every week there is an exciting event, release, or new project being announced.

Looking forward to building this locally, hopefully with these fast require patches applied: http://bugs.ruby-lang.org/issues/7158

self.woohoo!
Imagine if someone researched and sold exploits to anyone (“terrorists”, foreign governments, etc.) internationally which allowed illegal access to say, real-world bank vaults, nuclear military technology, or high security prisons. Theoretically, your same logic would be valid, but I'm fairly sure selling that kind of information on any one of those would be illegal. If not, than it should be!

It's an exaggerated example, but it seems to me that sometimes what is in the best interest of everyone as a whole outweighs the desire of some individuals to exploit the weaknesses of others for personal gain.
Thanks for this feedback! I love the "easy way to work with popular web APIs". We changed it ;)
Just a note: Don't use url shorteners here, link to the full url. You can edit your post and fix it.
Drones get dirt cheap GPS guided bombs
You mean don't grant new patents for "obvious ideas"?

One of the key points of the article is that "changing the criteria to prevent issuing more would not get rid of the existing ones."

How would you address this?
Corporate Burlesque
Sigh, not a 'good' development. Does anyone know how 'real' the comments about Law Enforcement looking to equip their drones with crowd control munitions?
I had a similar, yet worse experience compared to this, and had my account suspended (an account from 2006!!) for not paying (after listing) when I didn't get a proper payment page. The UX is totally confusing as well, and I paid $6 with hopes that my account would be reinstated, but to no avail.

Ebay is a dinosaur and deserves to die a horrible death, it doesn't do what it says - make it easier to sell & buy. Gumroad and others in this space are the future.
One.

I used to have 5 or 6, some related to different companies, some for junk, etc., but now I find it much easier to just use a single address for everything.
This is ridiculous. They tell you ahead of time it cost money to list the item. Then they charge a % of the sale. He still had an auction. Surely he knew it was at least possible to have an auction fail. I just sold my 4s when I got my 5 for 350 and had no problems at all. He got a bit unlucky, they refunded everything but the listing fee, and he gets really pissed at them over 2 bucks?

eBay has to balance buyer vs. seller needs and that is not easy. Without the buyers you wouldn't have the market to sell it. Take the refund and try again or sell it on Craigslist. I bet you have more scammers there. (I tried Craigslist first and then settled for eBay after being asked to mail the phone to an overseas cousin 5 times)
Autism Brain Scans Flawed?
I don't see the big deal about this. Visible emails on web pages are no different than a phone book. People get too worked up about this.

Post would be better if you left the code up there. I've been meaning to play around with nokogiri as well.
So your first account was hellbanned, and you created a new account a month ago so that you can continue being a prick?
When you refer to the process of evolving topic and focus as "pivoting", your entire industry has jumped the shark.
I'd like to propose another reason: sales tax.

Simply put, the Android Market (Google Play Store, whatever) is unusable for small independent developers. With iOS, Apple acts as the merchant for all transactions and just sends you royalties. But Google foists all the responsibility for collecting tax from each individual customer directly onto the developer.

For a real business with an accountant, that's fine, but if you're one or two people in a basement who just want to develop and market a game, that's a nightmare. For that reason alone, developing for iOS is so much more attractive.
I completely agree. Finding just one theme on there was really disappointing. At least make a dozen or so yourself and post them up there if you can't find anyone else that wants to be one of the first posters.
You missed my point. When you're in a situation where you have authority and ability to rewrite anything, with a reasonable expectation of success, it's often more productive to just do anything that works, and then change it if it becomes too big a pain. It's surprising how often any extra effort / thought just isn't worth the time.
I suspect a big driving factor is that being forced to be around tons of low status guys all the time is literally worse than hitler for women.
Back in my younger days I lived in a large city with a lot of call centers. My broke friends would get desperate for cash and need to land a job FAST. A lot of these call centers would hand out jobs to everyone who walked in the door. You would show up expecting an interview, but instead you went straight into training. So, an interview by computer is probably more of an interview than a lot of these places would give.

How picky can these places be when hiring for positions which don't even pay enough to get by? It's telling that the article mentions reliable transportation as being one of the important indicators of someone being successful at the position. For sure, these places don't pay enough for someone to afford to buy reliable transportation other than bus passes.
did you read the article ...? Andorid developers are complaining about piracy and don't see that any effort to port their games will pay off. Your solution to the problem: let me just play games not developed for the platform distributed in a legal grey area.
Given enough time, a monkey can type out a Hamlet. But who can live that long to wait? I think that is why I tend to agree with Chomsky.
The workers required to make Teslas are no doubt different to the ones used to make cars the old way.

Would be interesting to see what the unions would say about Tesla workplace practices
The distortions that follow from price-gouging are (arguably) worse that the distortions that follow from making it illegal. Probaly in orders of magnitude. Thats the general point.

The logical flow of this argument, with respect to the HN thread is as follows:

1) Opportunistim is predictable and adverse, so it creates distortions, as resources are allocated ex-ante to mitigate its impact.

2) Laws exist to minimize opportunistic behaviour, to minimize the distrotions and resources allocated to minimizing its impact.

3) Per (2), the existence of these laws is incrementally efficient.

4) Anti-gouging rules (2) when observed empirically, are not evidence that the market is broken.

5) Rather, these laws are on the books to make markets work better. Directionally.

[(4) was the original claim, starting this sub-thread]

You're most interested in "correctly" specifying the parametric details of (4). But while this is a valid line of inquiry, its not central to my larger point (5). Good arguments exist that the less change there is the better. Also, the precision of the tools normally used begins to decline.

The analytical toolkit one needs take the debate further is beyond a basic (textbook) understanding of supply and demand. While "supply and demand remains meaningful", it does so in a certain place, under certain contraints and assumptions. All of which are now <edge case> variants. The pre-sumption of equilibrium becomes questionable, externalities dominant, etc.

To wit: The edge case of supply and demand is, classicaly, the boundary of the firm. Inside the firm, supply and demand does not apply. Resources are allocated more efficiently by fiat than by negotiation.

So, in the same way that internalizing resource allocation into a firm is not a problem during the normal course for firms, its not per-se problematic to temporarily suspend or modify market trading terms in an emergency, and even to do so under the (correct) rationale of "efficiency".
You raise some valid usability problems, and yet you're here commenting. So, evidently the value of the site to you outweighs your usability concerns. Meh, won't fix.
There's a simple explanation for it: a lot of kids who don't have smartphones own iPods, and kids love playing games. According to Horace Didieu, around half of all iOS devices sold to date are iPods.[1]

--

[1] http://www.asymco.com/2012/06/18/a-more-precise-measure-of-i...
I felt like my last Google phone screen was done this way.
Ostensibly, HN is a tool used to support YC's business. Though I believe that PG, et al. recognize it's importance to a broader community, it is not primarily an end in itself.

I suspect that the HN software does much more important but less obvious things which meet YC's goals than those you mention. I also suspect it does those things well.

As for page expirations, well, they aren't a deal breaker for me.
What do we know about how people learn which this is disregarding? Working in the CS education field for several years, this is very in line with my observations.
The secure way of acquiring the Software is via CD.
This is the part where you put your money where your mouth is and make a better HN in your favourite language. It isn't rocket science, after all. Right?
An infinite number. Gmail has tricks which allow for disposable email addresses and my domain email addresses are setup with wildcards, so I just create whatever email addresses I want on the fly. All email goes through the same pipes, but I can filter them based on what's on the left side of the @ symbol.
It's skyhooking. Given enough time and enough compute power, we should be able to completely simulate it. It may not be economically feasible, and it may take a long time.
How To Get Surveys Filled Out
Hey guys, how can you get a short survey filled out for very little or no cost?

P.S. If interested, here's the survey on how you use email: goo.gl/wecB6
Far from ideal, but at least an actionable, smooth solution that the major players can adopt.
Marketing Specialist Wanted at OrderAhead
At OrderAhead, we are rethinking the way the world shops for local goods and services.

We are rapidly expanding our footprint and we need an ambitious go-getter to help drive our marketing efforts.

In this role, you will have real ownership. You will work closely with the product, sales and operations teams. And you will be expected to produce results.

Requirements:

+ Hustle: You must be able to hustle your way into meetings and interviews

+ Creative: You must be creative enough to generate good ideas on your own

+ Analytical: You must be analytical enough to know what to measure and how to draw the right conclusions using our data

OrderAhead Press:

+ TechCrunch: http://tcrn.ch/MvaV02

+ NYT: http://nyti.ms/TCvfwS

Please email us at jobs@orderaheadapp.com
Developers (and users) weren't exactly clamoring for this feature. Reliable, Documented, Predictable, Secure.

OpenBSD has never been about performance. If anything, I'm wondering why they are destabilizing their product with multi-core threading.
Yea, they sell protection against the same exploits too:

http://www.vupen.com/english/services/tpp-index.php
I agree ... still I have the problem that the Android development chain on my Mac breaks from time to time.
Disclaimer: I'm developing for iOS and I'm quite new to Android (playing with some code from time to time).

Yet, debugging with a galaxy nexus on usb is buggy for me (sometimes it works sometimes it won't). reboot might help ...
I just love instruments in xcode.

As code editor I use MacVim (faster and a much cleaner look for me compared to IntelliJ as it's a coca citizen and not a Java GUI app ... ).
Moovweb (moovweb.com)

San Francisco, CA | Full Time | Rails Engineer

TL;DR: Moovweb transforms existing websites into mobile websites.
Be a part of Hampton Catlin's (sass/haml) newest technology.
We are working on getting our technology into the hands of everyone.

Skills:

- 3+ years rails experience / 1+ year and extra tenacious
- front end (UX/UI) specialist or rails generalist
- Bonus points for experience with:
- background processing libraries (sidekiq)
- analytics (mixpanel)
- business integration libraries (marketto / etc)
- steering the product / app as a whole

Email jobs@moovweb.com
Gangnam Style: More than just a snappy jingle
This is basically exactly what Google Wallet does as of a week or two ago..
Your post somewhat strikes a chord with me in a way.

Where I come from, most guys at around 20(after junior college) would have to serve the army for 2.5 years. I felt that, that part of my life was seriously wasted since many of my friends who didn't have to serve were doing so many different and interesting things with their life. I felt kinda robbed. Robbed of the prime time of my life. After serving time there, I decided to find a job and started working.

I spent most of my waking hours on computers(programming) and not much on developing personal relationships. At that time, I thought that was the right thing to do, going by social norms.

Had a career so to speak and a girlfriend and I was ready to settle down. But things fell apart and in hindsight, I'm glad that it happened. Like you, I feel that I have not grown emotionally and I'm saying this as someone who just reached 30.

I am in love with the idea of just leaving everything now and try to fix whatever damage I have mentally. Take some time off to travel by myself. I have the time and the resources but I just couldn't bring myself to do it(mental block, fear and uncertainty of travelling alone).

If I could do it all over again, I would have moved somewhere else(if it means being apart from family) and try to find out what I really wanted to do in life and basically just having fun while at it and not worry about having a 'proper career'.

Sorry about going off on a tangent, I didn't think it would be this many lines when I first started typing this.
Really? The only argument? How about my family lives 575 miles away from me, and even with the ideal 250 mile range of a $100k Model S I would still need to add at least an hour and a half to my already 10 hour one-way trip when I visit them a few times per year? Meanwhile my $5,000, 14-year-old Toyota might only get 20mpg, but the tank holds 350 miles of fuel and I only need to refill once (rather than thrice) during the trip, costing me literally minutes of time.

Finding a place to recharge overnight is a problem. But let's not pretend it's the only real problem. I already have enough problems charging my phone every night when I'm staying over at someone's house. Asking them to install an outlet so I can charge my car is asking a bit more than many people will stand.
I'm curious, does the use of continuations prevent HN from running multiple processes & from being load-balanced?
Agree with the others that say you should get some more themes in the system. I just submitted a theme based on my site to help out!
A valid (but unchecked) point made in the comments from that post -

>... if you had actually sold it there, you’d have to pay the Ebay final value fee of like 5%. Then the Paypal transaction fee of like 7%. Then if you want the money the Paypal withdrawal fee of another like 6%. Wait, why am I paying the same company 3 times for 1 transaction?
>So I'll have one credit card to carry around that will just pass through the charge to another card I'm carrying around, because none of this stuff is yet reliable enough to abandon my wallet entirely.

Or maybe it has to do with a completely backward aged industry that uses an insecure standard? There are NFC readers all over here and they're all disabled because the implementation on plastic cards is shit and insecure so they turn the whole reader off. This prohibits something like the Nexus 4 from being able to auth payments which could easily be done in a manner far more secure.

The sad thing is, Google is so far ahead that no one else is close enough to be compatible so this is the shim they have to implement.

This comment is so incredibly pessimistic, I'd hate to have this attitude towards something new that is challenged by virtue of its newness.
The idea that meaning consists of associations is extremely primitive. It works for concrete nouns and verbs but it quickly fails as things get more complex. Language is used to refer to refer to abstract things, imaginary things, counterfactual situations, etc. And even if you do arrive at a series of concepts using associations, you have to understand how they are supposed to combine, even for completely novel sentences. In all these cases, there's arguably nothing there to associate with. I can't answer your question (I think no one can), but we can conclude that meaning is more than associations.
So we know who the anti-Google-at-all-costs is in this particular thread. Why don't you stop spreading misinformation about it when you clearly don't understand the current Wallet offering or the vision for it?
A bit off topic, but if you are interested in maximizing rewards, check out http://www.walla.by/ (I have no connection).
Pretty sure the most efficient way of handling it would be to port the site to something that wasn't Arc. These problems exist because Hacker News is half science project, half production site.
Even if that's true, consider how long it takes to type the command to reboot a server. Let's say pg reboots it 70 times a year. So, maybe he spends 1 hour to 1.5 hours a year rebooting HN. That's a better use of time than spending 2+ hours to make the site more scalable. There's no one he's interested in (i.e. deal flow) who's going to stop using HN or applying to YC because the site goes down every 5-6 days.

There may be all kinds of other reasons to update the code, but that comes down to available time, experimentation, and enthusiasm, not productivity.
Handy-dandy one-liner to install it with rbenv (provided you have ruby-build installed).

curl https://raw.github.com/gist/3998200/a09c4eb21256ad17880f7d8d... | sh
The iPhone Revolution
I get it. And like most cute little sayings designed to make the speaker sound like they're dispensing sage advice, it's almost worthless as a heuristic. It tells you virtually nothing about the credibility of the person speaking, or the strength of their position.
what are the differences that make it more fun?
At very least the process(es) running the site would be restarted.
how about: 'spend your thirties fixing all the mistakes you made in your twenties'

there, now that sounds fun