skysight-inc/HackerNews huggingface dataset:
It's probably difficult for we educated, generally well-off people who procrastinate by reading Hacker News to empathize with the homeless.

Perhaps you (I'm making assumptions here, but by you I really mean the streotypical reader of this site) know someone with drug issues or mental illness, but most likely, given the nature of the relations you're likely to have, they have a support system (health insurance that covers these things or family / friends with money) that provides access to treatment. We know people who have gotten fired or laid off, but they've been rich, connected, or skilled enough so that it can be overcome. Others are not so lucky and when those things happen, they end up on the streets. Once on the street, the potential barrier to getting off is not so easy to overcome.

We like to think it can't be us, and for lots of us, we're lucky enough that that's true. There probably aren't too many homeless people on Hacker News to give the alternative perspective.
XMPP, as a standard, was too slow to adopt mobile, so the cool apps had to invent their own messaging protocol (perhaps on top of XMPP) to get push notifications and such.
I've been using textsecure for a long time now: so far I haven't had any issues messaging new iOS users including mixed groups. In my experience, there might be some mms edge cases when mixing with other messaging apps, but not too many and bug reports are monitored regularly on github.
I want to make sure I understand correctly. :)

I am right on the fact that rewriting Wile's proof in a machine-checkable language is a problem in itself? But I'm wrong when I suggest it is theoretical issue, when it's actually practical issue?

I've read that "the theory behind Coq is generally admitted to be consistent with regard to Zermelo-Fraenkel set theory + inaccessible cardinals". [1] I also read that some statements are undecidable in Zermelo–Fraenkel set theory [2]. It follows from this that it must exist some statements that are undecidable in Coq, correct? But I understand that this is theoretical issue, not a practical one, because "Zermelo–Fraenkel set theory, combined with first-order logic, gives a satisfactory and generally accepted formalism for essentially all current mathematics". Is it the reason why my comment was wrong?

On this topic, I've read an article titled "Computer verification of Wiles' proof of Fermat's Last Theorem" which explains that Wile's proof could probably be verified with a tool like Coq, but that would be a massive challenge:

> The mathematics used in Wiles' proof of Fermat's Last Theorem is very complicated. [...] I do not know the provers Coq and Mizar good enough, but I think they are adequate to express the mathematics.

> On the other hand, I do think that the challenge is doable, and that it will be done in the coming fifty years. It is definitely not within reach. The project will have to cover large parts of current pure mathematics. Its scope is comparable with the Bourbaki project, where between 1950 and 1970 almost all of pure mathematics got a new foundation by the efforts of an originally French group of mathematicians who published some 20 books under the pseudonym N. Bourbaki.

[1] https://coq.inria.fr/faq
[2] http://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_th...
[3] http://en.wikipedia.org/wiki/Hilbert%27s_program
[4] http://www.cs.rug.nl/~wim/fermat/wilesEnglish.html
Fair enough. I've been an Apple fan for a LONG time, and have always felt it was the alternative, and never the main player. For a long time it seemed like it was just a few bad quarters from selling to IBM. It seems like the "It" companies were the ones that owned their markets.

In defense of your positions, in the early 90s, many of the most talented engineers that I knew flocked to Apple. They left later in the decade, and then returned post-bubble.
40 watts while idle = 28.8 kwh a month so 13.5 cents per kwh = $3.88 / month to run. Rasberry Pi B+ uses 1.21 watts while idle so about 11 cents /month. So a Rasberry Pi will pay for itself in about 10 months.
How Autocomplete was built into Chinese typewriters
> succumbing to the ethical and moralistic brainwashing

Ugh. "brainwashing"? A bankruptcy for a low- or middle income earner would be much more disruptive than it would be to a high-income earner. Your opinion (or how I am reading it) is elitist at the very least.
News: Clay Fighter Remastered Is Re-Birthed Only for PC
That's a pretty interesting way to think of it. The only other platforms (AFAIK) that come close would be the JVM and Mono/CLR.

But the browser is more like a user-facing, interactive JVM/etc.
empathy fail
I've been having increasing problems even having messages properly make it through between XMPP and Hangouts clients lately. Sometimes I have to open up hangouts on my phone so my gtalk messages actually go through to another user.

So I'm not sure it's clear that even the days of that interop aren't numbered as well.
Front End Developer - Internship - Paris, France

OpenDataSoft is searching for a new front-end intern to join its 9-people team (including 5 R&D people).
We are looking for someone to join our R&D team to work on our product (in short, a SaaS platform dedicated to helping companies and cities share their data in a usable and understandable way). This includes working a lot with AngularJS, Python (Django), and dealing with data in various ways, especially datavisualization.

We have a good history when it comes to interns and you'd be our third front-end intern in more than 3 years of existence.

You can find a much more detailed description here, including how to apply (in french): https://gist.github.com/richterb/f9415f8c31ab84fcd111

If you're around on March 28th, we'll have a stand in the Paris Startup Job Fair: http://jobfair.rudebaguette.com/
I'm curious to hear what others think about the trend of sending data over-the-wire and rendering HTML on the client.

Twitter did this for a while. They still do, but they switched back from a 100% API-driven model to a serverside first render, subsequent API-driven model. That allows them to render the page as quickly as possible (you don't have to wait for the DOM to be ready) while still allowing later partial renders.
Sure. I'm on Smile Tanzania atm, a 4G carrier (though slower than 4G in the US or Europe). This isn't the carrier I'll use for web app tests.

http://dpaste.com/129AKD2
http://dpaste.com/37YE2VY
If they can only be distributed via the Windows app store, I don't really see universal apps taking off.

Which segment of Windows users want the OS to be turned into a walled garden like iOS? Personally, I will never make or use universal apps and I am a developer who actually like Windows.
yeah, figured as much, but didn't want to make claims about lines I hadn't used enough to know for sure.
Show HN: Create your personalized coding game plan
You can simply encrypt the phone yourself (there's a simple button in the settings menu).
Yes, and a nasty derivatives position [0] if memory serves. Buffett also had to get involved after Solomon Brothers [1] had some regulatory improprieties.

[0] http://www.forbes.com/2003/05/09/cx_aw_0509derivatives.html

[1] http://dealbook.nytimes.com/2008/09/24/warren-buffett-and-th...
Beats me. When were the projectors purchased? Lots of legacy crap around because people are slow to adopt standards that are a decade old. That kind of equipment will linger for years.

The warning has been going out for quite some time:

http://www.thinkoutsidetheslide.com/issue287may282013

You're wasting your money if you buy a PC with a VGA port and no HDMI port.
Unfortunately, your average non-technical person probably won't understand the privacy implications of an ISP offering a service discount in exchange for the ability to provide them with "relevant" and/or "targeted" advertising (typical weasel words used to avoid plainly stating your ISP is spying on you).
you asked..
> 4. Why do I care about a repo that is 1-2 gigabytes? I have a 4 terabyte disk.
The Truth Behind the Smile and Other Myths – When Body Language Lies
This is the main menu for Super Smash Bros. for Wii U:
http://i.imgur.com/04qZmg4.jpg

The menu items on that screen are not touchable via the Wii U gamepad touchscreen. You're required to use the control stick to awkwardly select menu items in a non-standard grid that appears to be designed for a touchscreen.

Nintendo's latest blockbuster game for the Wii U, on their touchscreen tablet console, does not have touch controls on a screen that clearly looks like it was designed for a tablet touchscreen. That is what is so frustrating with today's Nintendo in a nutshell.
I'm asking because I remember people saying xmpp would stop a year ago and obihai wouldn't work, which didn't happen. (example: http://blog.obihai.com/2013/10/important-message-about-googl...).
> you can almost translate that with an emacs macro

If I knew Haskell, I expect I could. However I am currently learning Haskell, which is why I'd be interested in a repository of example language implementations in Haskell.

> some OCaml specific parser generator

Which looks quite nice, and is evidently modelled on yacc/lex. People rave about Haskell's Parsec but TBH I'm finding it a bit unintuitive.
A whole reference server implementation licensed under Apache license or is there something I didn't catch?
The Windows license will cost more than the PC. Unless you want to run a cracked version, it isn't worth it.
Streak - Downtown SF, CA. Streak is an email company with a (profitable) CRM component. We're also working on a <stealth project> we'd be very excited to share with you in person. We move quickly, work with no bureaucracy, and put engineering first. (https://www.streak.com/careers)

* Head of Mobile: Build from the ground up (not a port) our Android app. Our users are begging - develop the primary email app for tens of thousands of android users. Define our mobile strategy, build a team, and give the existing iOS offering some TLC.

* Senior Front End: Build on Gmail. Create features to make email better for the ~Billion active users of Gmail. And, help us build out <stealth project>.

* Senior Back End: We've scaled to 100s of thousands of users with 1 backend engineer. Help us continue to scale. Ideally, you've worked with Google App Engine. You'll help us build tools to make internal and external users more efficient, improve our machine learning, and efficiently manage our database.

Streak is still <10 people, but profitable and growing fast. We're looking for a few core hires to own huge chunks of product.
I don't know about ZERO programming. If you look at RayCast vs RayTrace here https://docs.unrealengine.com/latest/INT/GettingStarted/From... building anything complicated with Blueprint creates a massive amount of visual clutter. It looks clearer in C++. Maybe it's easier for a novice as they're building it since the autocomplete and component system hold your hand, but reading it after is a nightmare of following lines and looking at a lot of essentially commented out code.

And talking about Blueprint code is done through screenshots https://forums.unrealengine.com/showthread.php?60637-Unable-... I guess there is still no auto generated text representation you could copy paste.
IMO the cutoff needs to be Core 2 Duo tech (even Celeron versions) or any AMD64 chip.

Pentium 4 Prescotts, which their spec implies could be used, are awful and inefficient chips. (Heck, I told people not to buy them when they were new!)
No, he's saying that high-income people appear to be worse credit risks because they're educated and know that they don't have to "go down with the ship" of untenable debt loads, while low-income people tend to do exactly that; in other words, he's saying it's not a good thing (for the homeowners) that Clayton's low-income home borrowers are better credit risks, but rather a "tell" that Clayton is exploiting those low-income people.
I would be surprised if humans are getting smarter. Show me the selective pressure on intelligence in the modern world, because I don't see it. You don't have to be smart to be evolutionarily fit. Not even close. I'd be very surprised if humans were changing much as far as cognitive capability is concerned, animals that become domesticated almost universally have smaller brains than their wild counterparts.
> Her time at Google was not spent working on any projects that produced notable success or revenue.

Her CV begs to differ: she was VP of Search Products and User Experience, and then held key roles in Google Search, Google Images, Google News, Google Maps, Google Books, Google Product Search, Google Toolbar, iGoogle, and Gmail.
Or be like Paulie from Goodfellas and have underlings make your calls for you: http://www.hark.com/clips/rytptybypc-paulie-hated-phones
Given that the Raspberry Pi costs half as much to start, even adding a case, you're ahead on day 1.
> At the company level, in terms of having a "category killer" product, they never had one.

Yahoo's Directory and Search offerings were category-defining once upon a time, weren't they?
Has anyone played with Atom NeoVim? That looked like the most promising gui based approach. I'm sticking with macVim in the near term, but I'd love to play with Atom.

https://www.youtube.com/watch?v=lH_zb7X6mZw
Results will be shared in this thread
These are the first official Firefox builds from Mozilla other than Nightlies. Before this, Mozilla didn't feel the 64-bit code was stable enough. Waterfox took the existing code and compiled it for 64-bit, but all the existing issues and bugs were present.
Does your school have a good alumni directory?
The old-school tie a good way to connect and start building a professional network even with strangers. Start identifying well placed graduates. Reach out, ask them for advice and specifically, ask them if they know anyone looking junior/entry-level hires. Incidentally, Linkedin is also a good place to find new contacts.

Here's a solid overview by Ramit Sethi on networking> http://www.youtube.com/watch?v=Yb03mTqI2Io
Nice work, this is great stuff.
What's the difference between this and Telegram? I'm starting to feel a bit overwhelmed with what messaging app I'm supposed to use. Also, why is ios8 required?
Yes. Very relevant: http://xkcd.com/603/
A measly 1,826,163% since 1964. SELL.
Really interesting story
There are many 8051 clones available.. it's one of the cheapest microcontrollers you can buy, but popular no doubt due to installed base plus tools from Keil.

But it's certainly not the only Harvard architecture processor still in use. Microchip's PIC is the other big one- in fact it predates the 8051, having been available from General Instruments since 1976.
Exotic underclass. No mention that companies like Verizon in the core would rather sell expensive LTE rather than cheap fiber.
Show HN: Released Om-i, a perf instrumentation tool for Om apps
5 Marketing Podcasts I Love
HP gets current with Voltage
Socializing in close quarters (civilization) provides pressure to compete in more technical ways than brute force. Rule-lawyering, arguing, backstabbing etc. You might call that 'cleverer'.
Net Party
Bamboo Talent (www.bambootalent.com) - New York, NY

We are a talent search firm, working closely with NYC's tech community, acting as a true business partner to growing organizations looking to scale their engineering teams. We care about customer service and operate with respect, honesty and integrity in every communication.

As many organizations in this space are competing for the best engineering talent, we help to accurately represent both company and opportunity to the potential candidate. We meet every client we represent, to ensure our ability to answer your questions. We focus on understanding our clients’ needs, and thus allowing you to make an informed decision on whether or not it makes sense to speak with them.

Our clients' needs span Golang, Python, C/C++, Java, Ruby, PHP, Android (Core Java), iOS (Objective-C) and Javascript (Vanilla, AngularJS, D3.js, ReactJS, Backbone.js). Specific positions include Infrastructure Engineer, Front End Engineer, Back End Engineer, Site Reliability Engineer, Mobile Engineer, Full Stack Engineer and Product Manager. We work with a unique client pool which are primarily venture capital-backed startups, but which also includes several pre and post-IPO companies.

Please get in touch to learn further details on these and other companies/roles we are representing.

email: jon@bambootalent.com
All other critiques aside, it's telling that any users are coming to this conclusion because for me, a huge part of moving to GTalk/Hangouts back in 2006 or so was that I didn't need to install another IM app. I typically kept/keep Gmail open in a tab whenever I'm at my computer and it was great to not worry about Trillian or ICQ or AIM or any of those. When I was working at low-level jobs right out of college it wasn't always permitted or feasible to install applications like that on shared computers anyway. In-browser chat was a godsend and I liked how I could add my AIM account back when that seemed to be one of the more popular IM options among my non-techie friends.

Honestly I think Gmail/GTalk owe a lot to AOL for allowing that interoperability. Sites like Facebook would never allow you to connect with Google+ and use a competitor's site to access their platform. It takes away their biggest advantages (critical mass and inertia).

But it's right after lunch and I'm getting off topic. Personally I still use Hangouts as my primary IM/chat platform because it doesn't seem to give my systems much of a performance hit and it lets me carry conversations between machines and my phone without having to install apps all over. I use Pidgin at work but for everything else, Hangouts is still my default. Doesn't mean I'd mind performance improvements though.
Signal does voice calling too.
I'm not a newbie, this isn't my first account. In the spirit of civility you might want to spell out why it's not a good idea to "try and piss-off a Marine" instead of resorting to implying things. I'm also quite sure that the Marines can speak for themselves.

I'm being fairly civil, I don't appreciate people telling me that I don't know what I'm talking about. Especially when they in their previous statements have recognized their own bias in the form of "psychological conditioning".
Well, ship them North (South) - somewhere with electric heating (regulated by a thermostat). Then the 40 watts become a non-issue. Anywhere you need air-conditioning, things are a bit different.
Best source for knowledge﻿
There is a 16-bit version of the 6502: the 65816. It would have been cool if the 65816 was an implementation of the Sweet16.
Looks like your provider is traversing through TATA Communications (AS6453) on both of those.

Wonder what your latency would be with a SEACOM(AS37100) traversal, http://en.wikipedia.org/wiki/Telecommunications_in_Tanzania

Here are your downstream carrier options :
http://www.cidr-report.org/cgi-bin/as-report?as=AS37100&v=4&...
Which you can only do in the US.
It's unfortunate that such backwards thinking persists. At some point you'd think they'd realize that datasheets are also a map to creating register- and pin-compatible designs.
Very very interesting. I have a whole family that suffers from the same, five siblings. Now we need to try that. Do you have a photograph of the contraption you made?
> It follows from this that it must exist some statements that are undecidable in Coq, correct?

Yes, but only those that are undecidable in ordinary mathematics. If you're not using Coq, you have exactly the same problem. (And this concern doesn't apply if we already have the proof and just want to check it).
From West Wing to West Hollywood
Break-In at Y-12
Step Four: Bro Down!
While I was a little sad about the API too, what would you propose that's better? Connection-less network IO seems like it'd very easily devolve to a "giant options object", and this lets you at least incrementally build that options object on the path from your code to this API.
You Guys Realize the Apple Watch Is Going to Flop, Right?
Competion is a wonderful thing.

I can't build a decent car for less than the cost of a low end BMW. But, there are plenty of other companies than can.

So, the real question is what are the other options out there and I suspect there are few engines that can come close.
Live Blogging Startup Launch Festival 2015
Could IBM’s brain-inspired chip change the way computers are built?
Firefox has been available both as 32-bit and 64-bit on Linux for a long time.

Quoting myself (https://news.ycombinator.com/item?id=8629233):

----

From what I have read, for software which wasn't originally developed for Windows, especially if the code base is old enough, porting to 64-bit is harder on Windows than on other systems.

The problem is that, while the Unix-based world went the LP64 way (int is 32-bit, long and pointers are 64-bit), Windows went the LLP64 way (int and long are 32-bit, pointers are 64-bit). A lot of Unix programmers tended to behave as if "long" was the largest native type ("long long" on 32-bit uses a pair of registers). They have to scrub their whole code base for things like assuming an object's size or array index will always fit on a "long".

----

For Firefox, there's the additional problem of plugins. For a long time, plugins on Windows have been 32-bit, and also for a long time, plugins for Firefox on Windows (and other operating systems) were in-process, so it wasn't possible to use a 32-bit plugin with a 64-bit browser.

Nowadays, not only can Firefox use a separate process for plugins, but also the whole idea of browser plugins seems to be dying, so it's less of a problem.
GitHub doesn't allow private forks of public repositories. If you read the licensing terms, you aren't allowed to distribute modifications of the UE4 source to anyone who isn't already licensed. In addition, a lot of users of UE4 would not want to make their changes public.

Also, they would be required to allow GitHub users who weren't UE4 subscribers to create forks, which is a violation of their licensing terms.

Public GitHub repos just aren't really suited for projects that aren't open source.
I think there's a better chance to realize they're giving something up if they're saving money by doing so.

Then again maybe I'm just being too optimistic on this point (hey, I need at least one).
very nice. would love to see an SSD option for slightly more, which would decrease the size, power & shipping weight and speed up the overall benchmark.
I always thought that 8.8.8.8 was routed by anycast, thus pointing to the closest server.
50 shades of entrepreneurship
According to my very fresh reading on this topic, you are right, but your comment give the impression that writing Wile's proof in a machine-checkable language is not very different from writing it in a human language.

According to this article, I understand it is a lot more difficult to write a proof in a machine-checkable language, in the current state of the art:

http://www.cs.rug.nl/~wim/fermat/wilesEnglish.html

I read a lot of comments on Hacker News and Lobsters saying "you could have avoided this bug by writing your program in Idris, Coq, Haskell, etc. and enjoying the benefits of the Curry-Howard Isomorphism". But I'm under the impression that most of this comments undervalue the effort in "feeding" the type/proof checker with the necessary formalism.

I'm not saying that establishing a proof is worthless. Of course there is a lot of value in having a formal proof. I'm just saying that even for full-time professional mathematicians, machine-checkable formal proofs are still the exception, not the norm. This suggests the cost of building these proofs is still high, and it may explain why the practice is still limited in the field of computer science.
Signal/TextSecure is Free Open Source Software. There is no company behind the development of the App. It is the Software with the best security model so far. The cryptography behind Telegram is not what you would expect of todays crypto standards. A lot of security researcher have commented on this already.