skysight-inc/HackerNews huggingface dataset:
Dependently typed programming already rocks my world -- but not my job.

I enjoy Haskell.... as a hobby. Whenever I am playing with it -- I distinctly understand that "it" is the point. The focus is squarely on the language and the programmers. I absolutely think this has a place, and I am delighted it exists. I remember the ... purity of my first little chess engine I wrote in it -- how it itched the OCD spot in my brain so perfectly, it made me exceptionally happy.

That said, when I am programming "in the wild"... the language is almost never the point. The application is the point, the library is the point, the problem domain is the point, the user is the point. Cleverness matters little, often what needs to be done is obvious and tedious. The biggest problems tend to be maintenance in every sense of the word... how to you maintain this if you are successful (multiple data centers, dozens of employees). How do you avoid rewriting everything at each major growth spike.

This means I use boring dependable imperative languages for what I bet my business (start-up) and future on -- and I spend my hobby time using far sexy functional languages... but I don't confuse my love for them with thinking they are a good fit for my business.
It has been shown that accidents can occasionally hurt innocent people.
Oh look, yet another music classification system that lists twelve different genres of music invented after the CD player but has one genre labelled "Classical" to cover several centuries of wildly varying musical styles.
I have to agree with Alex here - I see no evidence of wrong doing and no evidence of making sure there is no evidence.

I mean she asked, she said no. Regulators are there primarily to prevent abuse, not to replace either vicious competition or political oversight. So it's going to be cozy.
Just use LaunchKey - https://launchkey.com or https://github.com/launchkey
Why's C your favorite language? It's mine too; it'd just be interesting to hear your thoughts on it.
Dart's DOM API is way nicer than the one from JavaScript since the Dart team had the ability to re-think naming & structure.

This article has a nice summary of the improvements https://www.dartlang.org/articles/improving-the-dom/
It's Tuesday, so I guess it's time for another "assume a public-key infrastructure" post - this time with OMG BITCOINZ sauce on top.

It still handwaves away the biggest problem: getting users to store a private key securely. If that was straightforward, we'd all be using GPG already...
database changes I think?
I agree. I don't see where this is significantly better. You can add data to signed certs as well, so you can get the SIN functionality that way if I'm not mistaken.

I also didn't see if this touched the blockchain at all. They made note about the SIN being public (then again, so is a Public Key), so I'm looking for the SIN to be in a blockchain somewhere.
I wonder what would the meeting be like if there was no anti-corruption rules and this was allowed.
Curious about the default response, which is that the company hires all of the people that work on the project. I'd be curious to see stats of the commits of employeers versus their time of employment. I understand that this is probably not available to a third party, but would be interesting data.
Show HN: My coworkers documentary App: The Human Story
Emerald Therapeutics Offers Research Lab in the Cloud
Mountain View
2 roles in Marketing
INTERN - Outreach (or junior full-time) and Director of Marketing
Both are our first hires to separate the sales role from the marketing/lead generation role.

These roles are:
- NOT Cold-Calling.
- NOT content marketing or advertising.
- NOT sales (though if you are in sales with experience handling 5 and 6-figure contracts, preferably with SaaS software, please do get in touch).

These roles are about identifying leads, nurturing the relationship, and handing off qualified leads to sales. It's about GROWTH.

We set targets, track progress, and work hard to achieve our goals.

Maybe you've built lead pipelines at a prior startup. Maybe you've read Predictable Revenue, SaaStr, or anything else by Jason Lemkin or Aaron Ross. Maybe you're looking to launch your own startup, but you want to learn what it takes to get users and customers to your door.

Customers include companies like Stripe, Sequoia Capital, and SurveyMonkey. If you like the idea of taking on industry giants who are "too big to succeed" then you should definitely get in touch.

We're a YC company (S2013) building a software platform for the General Counsel (or VP of Legal, Chief Legal Officer, Chief Compliance Officer) at mid to large companies. We're a small team with experienced leadership. We have paying customers today (product is well beyond "MVP"). We are roughly break-even and continue to sell to new customers to reach profitability. We're looking to grow and want some great, high-energy people to join our team.

We're http://www.simplelegal.com. My email address is my first name: Nathan
Pedestrian crossings in the UK are rather unusual compared to most other countries in the world, in my experience.

In most places, crossings work on a parallel/perpendicular system: parallel roads and pedestrian crossings are red or green[1] at the same time. This means that cars turning across a pedestrian crossing must give way (yield) to pedestrians.

The UK system, by contrast, isolates the pedestrian phase from traffic phases: when the green man (the WALK indicator) is displayed, no vehicles will approach the pedestrian crossing from any direction. The time between pedestrian crossing opportunities is longer, but there is no contention for the crossing from cars turning into the road.

The article describes the parallel/perpendicular system. In this scenario, a driver will see a parallel WALK light and a (vehicular) green light at the same time. As the pedestrian crossing typically goes red earlier (because people take longer to cross the road than cars take to cross the intersection), a car driver who watches the pedestrian crossing light or countdown timer gains advanced knowledge of the parallel traffic signal.

1. Or white in some places in the US!
What's new in Android L for developers
Scoring Ad Creatives with Neural Networks
As seen on Daring Fireball, my coworker is creating a documentary on how apps have shaped how people interact with computers and affected their lives.

He's reached nearly a 1/4 of his funding goal in just a few hours!
Almost, but we have made it better.

For instance, rather than use callbacks everywhere, most of our async APIs return Futures and Streams. All the "Array like objects", like NodeList, are actually lists in Dart. You can iterate over them and modify them list any other list. element.classses.add('foo') works, as well as some jQuery-isms like element.classes.toggle('foo', show). setInterval is replaced with the standard dart:async Timer class.

There is a ton of cleanup in the dart:html library that makes programming the DOM nice. I'd say there will never need to be a jQuery equivalent in Dart.
Six Fintech Startups That Wowed Bankers
I think they're read more than one realizes even if it doesn't gather upvotes
Who do you think the asshole drivers run into? According to the article, drivers who are just trying to be safe by not risking it and slowing down get hit by drivers behind them who speed up.
The UK has a regulator that would go after these companies. Any telco that was seen to be coluding with these dodgy companies (even by just ignoring some complaints) would face heavy duty regulation and large fines.
I accrued 188 points on my last account before it just stopped, like I was invisible...so I logged in with another account and couldn't even see my other posts.

I'm not saying that I want to downvote people...I'm saying that you haven't been downvoted into oblivion because you don't disagree with people.

Start commenting with a contrary opinion and you'll see what I'm talking about.

Also..."Your own biases are showing" might sounds like a reasonable and measured thing to say to someone, when you say it to yourself in your head, but its not. Somehow the rest of you have no bias?

And are you saying that I should ignore conservations that I disagree with to protect my votes...??? That's exactly what I was saying happens here. It's a self censorship that leads to this massive amount of consensus on everything from posts to comments.
It's so many levels of weird thinking. You have to be really far down the VC-istan rabbit hole if you're worried about your founders' genders and how that is perceived. None of Tinder's users care about the co-founders and the company's creation myth - they are worried about the perception among funders, and this is the same community that's always trumpeting about what a meritocracy it is.
"and to terminate"

That must be a neat trick - or you've constructed a non-Turing -complete language...
Well, I'm not sure I agree that not much harassment goes on in more established companies, but you're absolutely right that at least they're more likely to have procedures in place for dealing with it.

This is why I'm astonished to see such strenuous effort go into confecting explanations why there might not really be a problem in startup culture. You've got young, inexperienced founders and a tendency to dispense with formal HR practises in favour of "cultural fit" - the ingredients are all there for horrible abuses of power, and yet when said abuses inevitably surface, there's an almost desperate effort to hand-wave them away as isolated incidents. It's bewildering, it really is.

Model View Culture have been publishing some superb work in this area, most relevantly in this article:

http://modelviewculture.com/pieces/hr-antipatterns-at-startu...
I have never written a line of Go, and have only a casual acquaintance with Haskell. I'm not a Microsoft fan but spend approximately zero HN time bashing them. I would not attempt to write any sort of crypto anything in Javascript. I am not a libertarian. I am slightly interested in crypto-currency but have never owned any. I think Hayek is way overrated.

My karma score is approaching 8000, and I promise it's enough to downvote other people.

I dare say there is some groupthink on HN. There is groupthink everywhere where like-minded people congregate. But I've seen a very wide range of ideas treated with respect here, and pretty much the same very wide range of ideas treated with contempt, depending on who happens to be reading and responding.
Crazy Dog smoking weed, pissing on homeless and sniffing coke
Even when the intersection doesn't have the countdown timer, I memorize the number of "hand flashes" before the light changes and use that to figure out if I need to speed up to get through. This is on a bike, though, so hardly life threatening. The timers are actually very convenient, especially in New York with long yellows and long 4-way reds. 1 second? More than long enough.
What are you suggesting as an alternative classification system?
You're missing that this person is trying to satisfy the letter of the law, instead of the intent.

Basically, if your reaction to such an invitation is to ask legal "how can I go to this rad absolutely not work related party without giving the impression of impropriety?" instead of telling the other person "this is unacceptable and you know it".. you're not out for the publics best interest.
Hacker News 2 allowed you to leave comments; unfortunately, the author disabled them in the last version due to some HN change, but I'm hopeful they'll be re-enabled soon.
It's already been done.
https://what-if.xkcd.com/26/
Well...of course. Heroin dealers don't take Visa cards, so you wouldn't see a line item for drugs on a Visa bill. You also wouldn't see that the prepaid card had been exchanged for cash at a discount to someone that actually wanted food.
Just Open a Socket - Connecting Applications to Distributed Systems is a great talk to watch:

https://www.youtube.com/watch?v=jytJXjI0oQU
https://speakerdeck.com/seancribbs/just-open-a-socket-connec...

Other talks from ricon.io and the various Erlang conferences are great too, but those are more about distributed systems and not primarily network programming. But since you mentioned the ZeroMQ patterns that should be just what you want.

http://thinkdistributed.io/
http://ricon.io/
https://www.youtube.com/user/ErlangSolutions/videos
I think an even better example would be Nadal v Djokovic on the 2012 Australian Open final. According to Nadal the best game he ever played and consolidated Djokovic as one of the greats. And you could see how one lifted the other up to do better and be better. Such an amazing game.

http://en.wikipedia.org/wiki/2012_Australian_Open_%E2%80%93_...
Chef is licensed under the Apache license. That makes it open source.

Chef, however, is not really a community project. There are many open source projects managed like this.

I don't think this is a pedantic difference: Chef respects the four freedoms, even if they don't incorporate these changes back to the root.

That said, I wouldn't be in a hurry to put through a pull request in most cases myself. I wouldn't feel too invested in this tool. But it's not proprietary.
Ever considered that it might be listener-driven?
And so now i'm being downvoted, because you know...disagreement isn't cool.

How can I save this...Who wants to talk about Rust? Huh? Anybody? Bitcoin? That god damn NSA? Amirite?
So the problem is not aggressive driving, but tentative driving? Wow.

Actually drivers have a duty to stop for vehicles ahead of them at any time. So the rear-ender, not the rear-ended, is at fault, even if the rear-ended was doing something dumb like looking at pedestrian signals.
This.

I use HN only for the front page and I occasionally upvote or downvote comments. I'd be totally willing to have one link from the /newest in a different color on the front-page and if it's good I would upvote it. The action could be a bit more explicit [Keep on front-page?]
Fair enough, that's good to know :)
The CEO of Comcast plays golf with the President. How much cozier can you get exactly?

http://www.politico.com/blogs/media/2013/08/obama-golfs-with...
Isn't the first GB of your account traffic free with AWS vs DO giving you 1 TB per droplet?

While 1 EC2 instance may not use more then 1 GB (which is a very low quota unless your CDNing everything), if you have a couple of instances your almost certainly going over that.
>Yes, in the literal sense the code is open for viewing and modification, but the open source ethos is more than just that. It is about communities building software together.

Tons of open source software is mostly controlled by one company.

If it's available by the open source rules it's good enough for me.

If there was a big enough pool of people interested in having a community about it, they'd fork the project anyway -- as it happened with MySQL etc.
SF [not remote] - Angaza - http://www.angazadesign.com/

Angaza is tackling both global poverty and climate change through a single focus: building a new energy economy for the billion+ people in off-grid markets. These markets are leapfrogging conventional centralized energy generation, becoming the center of development for the distributed renewable systems that will replace it. Software for integrated metering, finance, and payments makes this development possible.

Angaza is hiring a software engineer to join our team in San Francisco. Your challenges may include extending and scaling our backend platform for payments and analytics; taking our HTML5+JS frontend to the next level; designing synchronization protocols for highly constrained channels; squeezing DSP code into fewer bytes than this paragraph; and traveling occasionally to field sites across the world.

If hired, you will become part of a small team creating a new approach to energy in emerging markets. You will receive both a salary and an equity stake in the company. See http://www.angazadesign.com/jobs/software-engineer/ and contact us at careers@angazadesign.com.
OK, I'll be the obligatory critic: I don't see how this solves any problems that TLS client certificates don't. The introduction says BitPay considered client certificates, but doesn't say why they rejected them. And "easy to implement wherever TLS is implemented" sounds like more of a selling point than "easy to implement wherever the Bitcoin protocol is implemented."

Also, it seems a little questionable to claim "passwords may travel over plaintext" as a benefit of BitAuth over password authentication. My initial impression is that when not using HTTPS, BitAuth is more secure than password authentication against a passive adversary, but that both are equally vulnerable to MITM attacks.
...drivers who are just trying to be safe...

If their idea of safety is paying attention to pedestrian signals rather than automotive signals, we'd rather they not bother.
This is obviously kind of delicate, but as someone who has referred to young-ish women as girls before, I'll at least attempt to explain my confusion.

Men are often called "guys" - and the connotation to me is just a more informal way of saying "men".

What is the female equivalent of "guy"? Is it chick? Chick certainly doesn't seem right and (to me) kind of has different meaning associated with it as compared to any extra meaning "guy" has when compared to "man".

"Woman" usually seems very formal to me in the same way that "Man" does. So...what do I use instead? Sometimes I do use girl in its place because it seems less formal but (I thought) not offensive.

If someone says "do you know who John Doe is" in a work context, I will probably say something like "oh he's a guy working on XYZ"

If someone asks "do you know who Jane Doe is" in a work context, I will sometimes say "oh she's a girl working on XYZ". I admit there is some extra thought process in choosing the pronoun:

---1. Who am I speaking to?

---2. How old is the person they are referring to?

IDK. Kind of just a brain dump, but just wanted to explain where I come from. But I'll internalize the fact that this may actually be irritating to the women I'm referring to. And that was never my intent.

Edit: I just realized that even in your comment you used "Guys" and not "Men". Basically case in point as to the 'conflict'. Why didn't you type Men? it just feels kinda formal, right? But maybe I should just bite the bullet and go the formal route if my attempt to be less formal just ends up being offensive...
(EDIT) - Whoops! was looking at the old site still!

Nice improvement! Much better than the old site! ;-)
But you're still emphasizing a personal decision that I choose to make. Don't worry about what I do outside of work or where I live.

Worry about the quality of the work I produce for you and then pay me for it.

I completely agree with you in regards to a dollar being very different in SF as compared to KC, but that should have no relevance to how much I get paid.

> Your pay is actually not "going down"

Yes my pay actually is going down. I would literally be brining in less money. What I choose to do with that money should not matter to my employer.
I do need to dig into SIN for that same reason - it makes sense - I think a lot of government identity and records schemes would get vastly simpler if I put my public key online and encrypted my own records

I discussed it with a govt architect who wanted to get rid of the "bloody database at centre of every application that thinks it needs to store citizens data"

It's a powerful idea
I've yet to have someone remotely steal money out of my wallet.
You're not getting the point. Or I'm not able to transmit the point. I think a bit of both. Coding is an art form if to you code is art.
Seriously, if you can fork it, it is open source.
Well congratulations on that, and I swear I'm not trying to be snide here, but you've been on HN for 6 years.

If you are a new user and you actually want to communicate with people...and hold a minority opinion...you will be downvoted out of visibility.
If You’re Connected to the Internet, the NSA Always Has Ways of Spying On You
You would actually expect to still see it climbing week over week though with the odd spike.
Printer tracking dots aren't some super high-tech CSI stuff.

https://www.eff.org/pages/list-printers-which-do-or-do-not-d...
I think he means that there should be a sublist for classical music. See the table to the right: http://en.wikipedia.org/wiki/Classical_music#History
Just do not accept a pay cut. Really, if a company needs someone they will pay what makes sense. They may want to pay you less because reasons, but if your their man you can get the pay you seek or just look on.
Sometimes. The potential employee is not always in a privileged position. I think with most new grads this is the case (some with significant relevant experience are excepted).

If I were interviewing a new grad or someone that didn't have a recommendation (basically someone I didn't have any context for) and they asked me to solve a technical problem, I don't think I would do it. I would not want to waste what little time we had allotted trying to solve that.

If we did want to make a good technical match I think it would be great to sit down and work on a low hanging fruit bug together.
No it proves they are great at cash like transactions for buyers and awful for sellers.
Dynamic port forwarding with ssh is a life saver!

Not on this web page???

-D #### (Whatever port not being used) and then I just use a proxy extension on my web client and instant privacy.
You do realize that you're confirming his point. Basically the drivers and low level components are reasonable pieces of open source, and everything else is unusable by people who want to build a complete system.

If a usable open Android existed, those alternatives would be redundant.
The article claims that it reduced pedestrian injuries (accidents?), but the asshole drivers run into the cars in front of them, the ones that are stopping for the intersection.
Digital signatures were not invented with Bitcoin.

TLS supports client certificates perfectly well, and your browser probably supports them.

This scheme also has a lot of beginner-level oversights, IMO. It doesn't delimit the URI from the body, and it doesn't protect the HTTP method itself nor any potentially important headers. This makes me suspect that no cryptographers laid their eyes on this before the announcement.
Posted :-)
Non-Turing-complete is not a bad way to go. You pretty much have to already be a researcher in dependent type systems (or maybe set theory) to invent functions that always terminate but can't be written in non-Turing-complete languages like Coq (an evaluator for programs in an at-least-as-powerful dependently typed language is the only remotely natural example I know of).
Also, writing a program that proves some programs terminate is way easier than proving a program that correctly proves any terminating program terminates, if you are confusing the two. If it's not too common, "I didn't manage to prove this terminates" sounds like a reasonable compiler error.
Xerox - Web Developer (FTE onsite) - Wilsonville (near Portland), OR and Rochester, New York

We have an open web developer position in the Global Digital Marketing group’s agile software development team.

The Global Digital Marketing group manages Xerox’s digital communication through the xerox.com and other websites and various social media networks.

Join us if you want to work with smart people who are pushing the technical envelope on how marketing can be done on the web.

Responsibilities:

Write frontend and backend software for the xerox.com customer facing marketing websites.
Develop technical recommendations.
Create and update unit or integration tests.
Document software features.

Qualifications

Required Skills:

Ability to communicate ideas effectively with technical and non-technical staff.
Intermediate to advanced knowledge of Perl, JavaScript, jQuery, HTML and CSS.
Knowledge of version control software (e.g. git or subversion).
Comfortable with UNIX.

Desired Skills:

Adobe SiteCatalyst or Google analytics
SQL and NoSQL databases

Apply at https://searchjobs.external.xerox.com/careersection/xerox_ex...