skysight-inc/HackerNews huggingface dataset:
Location: Midwestern US, targeting Europe.

Remote: Potentially, but I'd probably just move to you if you're in a neat place.

Willing to relocate: If it involves crossing an ocean, yes, absolutely. Native English speaker, professional level Russian, delighted to have a reason to learn others.

Technologies: Perl, PHP, node/browser js, Go, Lua, rusty Python | MySQL, Nginx, Redis, Chef, Nagios, mild AWS, mild ElasticSearch

Resume: happy to send on request. work: https://github.com/kanatohodets

Email: benjamin.tyler+hn@gmail.com

I'm closing in on two years as a full-stack (emphasis backend) web developer/junior devops type, and I'm looking to mix it up a little bit: something in the direction of systems programming, tool development/more serious DevOps, or programmatic data crunching would be very exciting. That said, I'm open to all sorts of experiences, and look forward to hearing from you -- especially if you can land me overseas.

Some of my recent personal projects include:

* a special-purpose sshd for serving git traffic using go and the crypto/ssh package (no crypto code from my hands, honest)

* failure mode, a tool for burn-testing web apps against external conditions (latency, packet loss, etc. -- similar to the Simian Army at NetFlix)

* year seven as one of the lead developers of Spring: 1944, an open source RTS game.

* documentation for Perl 6

I can get into detail about $work projects if we end up chatting. Thanks!
New Snowden Docs Show How FISA Court Gave NSA Ridiculously Broad Spying Powers
I don't think the intent of the law is to prohibit all personal relationships between people in those roles. I think the CEO could reasonably believe that attending the party is fine under the intent of the law, but is concerned whether it violates the letter of the law.
I am hiring for frontend + node.js in the Bay Area. Drop me a note if you are interested.
My understanding of DbC in Eiffel is that checks are done at runtime, rather than having a proof at compile time that the behavior cannot occur.
I started hacking together a plugin based on sbt-purescript. I could make a repo on github if you're interested in working together.
My biggest stumbling blocks are that I don't know much about working with Dart and I've never made an sbt plugin before. :)
In defense of In Defense of Facebook
I really really really want to do a redesign of the client certificates UI for Firefox, but alas I'm not a UI person.

Client certificates certainly work, but most people wouldn't see them in their browser, let alone seek them out.
I love the last item in the FAQ,

> I am a frequentist. Can I still join Bayes Impact?
> Regulators and industry have always had somewhat of an incestuous relationship. Often the experts in fields like telecom have to come from industry and often times they have an eye on their future career.

It's kind of hard to see how it could work any other way. Suppose, for example, we want someone to head the FAA. It seems obvious you want someone with a vast knowledge of the aviation industry.

Are there really many people who have that vast knowledge and are NOT working in the aviation industry? We're basically supposed to look for someone whose career has nothing to do with aviation, but has somehow, perhaps as a hobby, become one of the country's top aviation industry experts?
I'd bet there is a stronger correlation between homelessness and incarceration rates. Incarceration in this country is very racially biased and it can be very difficult for ex-cons to find decent jobs that keep them off the streets. A lot of them end up with the choice to either be homeless or reoffend.
Well, for many programmers at least, the marginal value of time is not constant. An additional hour when I'm "in the zone" is massively more productive than my first hour of the day.
From Predictive Edge website:

Many thanks to you all for your feedback & support, and here's to a
new chapter!

From Our Incredible Journey (http://ourincrediblejourney.tumblr.com/):

An incredible journey is:

One company buying another and closing its services down. This is a
purchase of the second company’s staff, rather than their product. An
acquihire.

If you look through the archives this is what all the incredible
journeys have in common. A company gets bought, its staff are excited
(publicly, anyway) about their new home, but sorry that the service
which brought them to the attention of their new bosses will have to be
closed. “But thanks for joining us on our incredible journey!”

This is what is galling. A company that can afford to pay millions for
some new staff but not for what those staff built. The people who used
the service, and invested their belief and time in uploading photos, or
forming friendships, or logging data, are left to find new virtual homes
while their former hosts enjoy a nice (if possibly delayed) payday.

This repeated pattern only encourages more people to create flashy
services that have no hope of being sustainable businesses in their own
right, but may survive long enough, with VC funding, to attract the
attention of a large company eager for new ideas and staff.

It’s one thing for companies to go bust, or to close their service
after failing to make it work. This is business. It’s capitalism. But
starting services only to close them a couple of years later when payday
arrives is a vicious way to treat people.
People don't (usually) pick a city to live in because of the cost of living, it is simply a good/bad side effect. Family/friends/job opportunities are what really affects the decision to go live somewhere. From that perspective it makes sense as an employer to try and give all your employees a chance of the same living standard, regardless of city choice.

Also, from a employees perspective if you feel you're getting a lower wage than someone who is of less value to the company, you can always try and renegotiate your salary.
Maybe the correct way to look at it is that you can't have a functioning market without market makers (as this article suggests), so once you've accepted the need for them, the natural question to ask is 'who gets to be the market maker?' - whoever can respond/execute the fastest and most effectively. So the question of super fast trading becomes not one of liquidity provision for investors (for whom millisecond timescales are irrelevant), but rather one of competition (and interaction) between market makers. Since spreads have gone down in the HFT era, I suppose the 'cost to the system' in aggregate must be lower than before, unless I'm overlooking something.

I'm not saying any of this with certainty, just sharing my thoughts.
That would make it non-Turing complete. Of course there probably aren't many interesting programs that are ruled out by that restriction.
Is this something that can be used in Rust? Or is it a feature that will be implemented later?
Today's match!
Thank you for this clarification. I'm fairly certain I was under that impression due to a misinterpreted description of this system. This does support my point, though, that more people need to discuss this topic. Instead of "generics", "versioning" needs to be the most popular complaint with the language, because it's something that can be standardized in the community.
Huh, I was asked that very same tree traversal question at an interview recently.
You are right, what I should have said "doesn't restrict you in any way on how you can run your fork"
Well you can do audits for backdoors and malware without having the source code. It is a common misconception in open source communities that you cannot do these without the source. If you check the pro security guys, they do not care about source code too much, it makes exploitation a bit easier but that is it. On the top of that, having the source code does not guarantee that you will find the security bugs either. See OpenBSD weakened crypto.
Huh, this is what I see: https://i.imgur.com/fcNfpM3.png

It seems that some of the stylesheets are broken for HTTPS. Note that this is not https-everywhere breaking the site; simply switch the URL to https://, and you will see what I see.
I am sure this has changed since 2012...
http://www.youtube.com/watch?v=hsr-QfgFRh8#t=50
"Pure functional programming has no side effects."

Well... every program has side effects when you run it - I don't yet know a language with a type system that reifies CPU temperature.

I think it might be correct to say that idealized pure functional programming doesn't rely on side effects for correctness?
I've heard two explanations for this. The first is that the longer wavelength "red"-ish receptors in our eyes are also excited by the frequencies of light at the other end of the visible spectrum, so shorter wavelengths than blue start to appear red again. Unfortunately the graph produced to back this up is usually that of the CIE colour matching functions, which do indeed have an obvious lump around purple, but are not derived from measurements. That lump was added to create a three-primary space which didn't require negative numbers to encode completely pure single-wavelength colours. That's a problem which otherwise crops up when you use three primaries based directly on measurements of the eye, because the three pigments in our eyes are not selective enough that a single wavelength only activates one receptor. Real measurements of the pigments don't really back up the idea of extra sensitivity to purple in the long-wavelength cones.

The second explanation (or suggestion, at least) is more psychological. In the distant past our eyes had only two colour receptors, and our brains measured the relative difference between the two, so we percieved colour on a one-dimensional line - e.g. more "warm" long wavelengths or more "cool" short wavelengths. At some point we evolved a third receptor, and our brains began processing this extra input as another perceptual axis orthogonal to the existing one, which could be described as purple/green against the original red/blue. Exploring this new 2D space results in a continuous rainbow around the edges.
A passive observer that is as big as NSA/GCHQ etc. can correlate traffic to de-anonomise some traffic, some very small amount of the time. It is extremely unlikely that a single ISP would ever have enough information to do that though.
Hmm, I don't believe so. My prof went on about a group at Penn using dependent types to prove the security of server applications. But that is definitely an interesting paper too. Thanks for sharing!
I'm always confused by this mentality people have that teams aren't entitled to disband, or at least they're not entitled to do it for money. Who at this point can claim not to know how startups work? Who's getting the rug pulled out from under them?

It's a job. It's not a moral crusade.

Are you worried that some service you use and adore might get snatched up by Dropbox? Here's a good rule of thumb: if they're blowing the doors off the market, they're probably not going anywhere. If not: they're eventually going to get picked off by a bigger team that can make more money from the talent.
If you look into that wave of great central european composers most of them were third generation successful musicians/composers from big families. Natural selection in action. I'm sure genes played into it.
Just not indented properly. :-) The paragraph that followed that is quoted from the article.
Async in Dart
>'This is a really relevant piece, if I'm interviewing you I'm going to wonder if you're not asking any questions about the company.'

Honest question, can you give some examples of good questions that the typical interviewer would be able to answer?
DC blocks Instacart, other startups from delivering alcohol
Hi Shoyer, one of the founders here! For our fall fellowship, support will likely be in the range of $4,000-6,000 per month based on experience. We also provide a fellowship house in San Francisco for our fellows to live in.
Can anyone outline a solution? The only ones I can come up with off the top of my head involve using a stack.
> I don't get this example. If the function is f = t, where t is time, then f will give different results on Wed and Fri.

I assume you meant something like f(t) = t?

If so, then right, if you pass in the current time as a parameter to the function, then the result can depend on it. But in Python, you don't pass in the current time. That's because "function" means something entirely different in Python.

In math, at the simplest possible level [1], a function is a set of ordered pairs, with the property that no two different ordered pairs have the same first element. That's all there is to it. So when I write f(x) = 3x - 5, that's just shorthand for saying that f is the infinite set { (0, -5), (1, -2), (2, 1), (1/2, -7/2), ...}. That's all there is to it. There's no sequences of operations, no process, etc. It's just a set of ordered pairs.

Python's functions, on the other hand, are at their core a sequence of instructions. Some of those instructions (like loops or conditionals) have other sequences of instructions as components. They share an environment, which consists of storage locations called local variables. A Python function is actually a pretty complex thing, when you get down to it.

You could model Python's functions using standard mathematics, if you play some tricks: add hidden parameters, give interpretations to the results in terms of physical effects, etc. But this just tells you that math is powerful enough to model Python functions (and, well, anything else) in terms of its much simpler ideas. It doesn't mean that those ideas are the same as the things in Python that go by the same name.

> For example, I can build a graph of a parabola in Python. The way my code does it is pretty much the same as if I did it by hand with a pencil: I assign multiple values to x, and find corresponding values for y.

Okay, but you're describing the process of drawing the parabola. In math, f(x) = 3x^2 + 2x + 1 isn't a process for drawing a parabola. It is a parabola. So f, here, is itself the set of ordered pairs, which make up a parabola if you treat them as points on the coordinate place. That's the basic difference.

[1] Okay, for the pedants out there, this depends on your choice of foundations. I'm assuming the standard interpretation using ZFC, but a similar point would apply if you prefer a different foundational theory.
Congress Quietly Deletes Key Disclosure of Free Trips Lawmakers Take
Ask HN: What resources are available to make a biotech startup?
Lovin discojaguar! Perfect for those long programming sessions.
People forget to mention that Messi had a growth hormone disorder
http://en.wikipedia.org/wiki/Lionel_Messi#Early_life

Fortunately barca was willing to pay him and take him in as well.
Apple's First Responsive Design Email: Back to School 2014
I always do this, but I play it subtle. My primary test of your ability as a manager is your hiring process, because if you get hiring right then all other problems are solvable. The question I am always asking myself is: do I want to work with the worst person who can pass this interview?
Sorry, I meant rendered from javascript templates in the browser.
I suggested[0] the same thing a few months ago with a visual example of what I had in mind. Here it is again as a reminder: https://i.imgur.com/ZNQTn7q.png (I still think it's a great idea!).

[0] https://news.ycombinator.com/item?id=7612737
That point of view is in conflict with the Open Source Initiative's definition of "Open Source"[0]

[0] http://opensource.org/osd-annotated
Ask HN: What novels or other fictional works have Linux in a significant role?
It's summer and time to put together a reading list. My suggestion is Neal Stephenson's Cryptonomicon. And thanks to dragonwriter for the assist in wording the question correctly.
I'm quite happy to see this, from a Google Music user perspective.

I was getting quite antsy with the lack of music related features. Google Music was feeling so.. lacking. I was close to switching back to Spotify, or trying something new.

Glad to see something is still being worked on heh
No More Captchas
That's Roberto Carlos who plays midfield

I think you wanted this https://www.youtube.com/watch?v=m8bZhNBQktQ
Location: San Francisco

Remote: No

Willing to relocate: No

Technologies: Ruby, Ruby on Rails, JavaScript, Backbone.js, jQuery, SQL, RSpec, HTML and CSS

Resume: www.bryanphillips.me

Email: bdphilly [at] gmail [dot] com

Interested in full stack, front-end, or back-end positions. Are you located in the Bay Area? Let’s talk!
I think this is something of a continuum from actively hostile to external audit (proprietary EULAs and legal threats; binary code obfuscation) to actively welcoming of it (an open source project like Tor that will give advice to researchers who are studying or reviewing it, or other projects that try to encourage audits in other ways).

I agree that it's much more feasible to read binaries than we tend to think, and that they're intelligible artifacts that many people do make a habit of studying.
Amazon, sorry, but unless you're paying his salary to sit at home, you're just whining because Google offered a better job.

You could have kept the guy, if he was so important to your business.

I'm not a happy Amazon Prime customer today.
> Even this is biased toward recency, and reflects my own lack of knowledge of pre-baroque music.

This is random, but one of the things I love about Civilization IV is that when you enter a new era, it plays music from that era, to really give you the sense of moving through time.

Except that when you enter the "Medieval" era, it plays this:

https://www.youtube.com/watch?v=7g7jOKLUus8

A brilliant piece of music, and a great credit to them that they would have chosen this piece and this recording of it. An absolute masterpiece. Of the High Renaissance, that is. Sheppard was born c. 1515, and the Renaissance in music is usually dated to begin somewhere around 1400.

I guess I'm saying you're not the only one. :)
SwiftStack - http://swiftstack.com/jobs - San Francisco, CA (preferred, will relocate)

We're a storage company focused on solving a lot of the hard problems around deploying and managing scalable storage systems. We build a management controller [0] around the OpenStack Swift [1] storage engine, and we sell that controller to customers. Some of our customers include eBay, PAC-12, and HP [2]. Our focus is on ensuring that the OpenStack Swift storage engine is well integrated into enterprise IT infrastructure and processes. This means we spend a lot of time automating day-to-day operations tasks, providing good visualization of monitoring data, integrating with auth systems, selecting hardware, building utilization tools, and on and on.

But we also get to build against new technologies[3], actively contribute to open source[4], and partner with major companies to build cool new features into Swift[5].

Interested? Send us an email at jobs+hn@swiftstack.com. Tell us who you are, why you're interested in SwiftStack, and why we'll be interested in you. We'll get in touch with you shortly to continue the conversation.

[0] https://www.youtube.com/watch?v=7Aue0eoMGCA

[1] https://wiki.openstack.org/wiki/Swift

[2] https://swiftstack.com/blog/2014/06/25/ebay-pac12-and-hp-hel...

[3] https://swiftstack.com/blog/2013/10/22/kinetic-for-openstack...

[4] http://stackalytics.com/?release=all&company=swiftstack

[5] https://swiftstack.com/blog/2013/07/17/erasure-codes-with-op...
http://dl.acm.org/citation.cfm?id=2516651

Full article is at : http://web.elastic.org/~fche/mirrors/www.jya.com/2013/09/tor...

And i've read other work that talks about using machine leanring to create realistic attacks, and another by a guy that even deanonimized some anonymous remailers. And let's not forget most implemented protocols like tls have bugs.

A somewhat pessimistic view would probably say that the only protection you get is that the nsa doesn't use this capability too often, because it doesn't want to expose it.
> The people who used the service, and invested their belief and time in uploading photos, or forming friendships, or logging data, are left to find new virtual homes while their former hosts enjoy a nice (if possibly delayed) payday.

In a startup acquisition that would garner the approval of the author of the blog (and many others), the founders would, at the very least, find a way to slowly unwind the service. It wouldn't be an abrupt shutdown, leaving customers in the lurch. IT would be carefully planned.

At the very least, the founders should care enough about their users to make sure the service runs for a reasonable amount of time.
Exactly right. The best way to keep your talent from working for the competition is to keep them working for you.
Related: I know a guy who, after working on reputable micro-credit schemes overseas, tried to replicate the program in Detroit (where he is from).

When he handed out the micro-loans in Detroit (adjusted for local purchasing-power), people just pocketed it and walked without any consideration of paying back the loan. Hopefully, like in the article, they spent it mostly on useful things for themselves, like food or toothpaste.

He had several possible explanations for why they didn't keep with the program. One was cultural differences in entrepreneurship between the poor communities in the developing world vs those in the US.

But a more interesting reason I thought of is that there may not be much room for micro-financeable cottage industries in the US (like raising chickens for egg distribution, etc).

Mass produced (and lower quality) food and other goods are so cheap here that it's not clear how a micro-financed business could compete at the low end of the market like they potentially can overseas in a less developed society.

In fact, I think most cottage industries I've seen exclusively cater to the high end (maca root chocolate truffles made in handmade in Marin county, anyone?)

EDIT: wording
Always glad to see these skills put to uses besides selling products and eyeballs!

Here's another fellowship using data science towards non-commercial goals (global health research): http://www.healthdata.org/get-involved/fellowships

Full disclosure: I participated in the fellowship in 2008.
I always interview the company interviewing me. The closer I've mimicked Peter Gibbons from Office Space the quicker the job offer arrived, provided I passed their tech tests.
a) http://www.washingtonpost.com/blogs/the-switch/wp/2013/10/04...

> "With manual analysis we can de-anonymize a very small fraction of Tor users."

> "We will never be able to de-anonymize all Tor users all the time"

b) https://www.schneier.com/blog/archives/2013/10/how_the_nsa_a...

> Tor is a well-designed and robust anonymity tool, and successfully attacking it is difficult. The NSA attacks we found individually target Tor users by exploiting vulnerabilities in their Firefox browsers, and not the Tor application directly.
That's Roberto Carlos
Still waiting. Fingers crossed. Although it's still only 5:20 if it's being managed from the west coast.
I'm not developing the co-op based on the assumption that domain validation can be wholly automated -- but it can be automated for the 99+% of domains that don't try to phish people. I'd say the degree of phishing certificate requests made via the co-op will be lower than the "general population", simply because only members can request certificates. That isn't to say that the CA's policies will be any less stringent because of that, but I don't expect to be spending all of my day clicking "reject" on shady CSRs.
In my experience building two very large CMS systems, it's been a perfect use case. Specifically, when you look at the variety of fields for a given article (say one article has a chart, another has an executive profile, etc).
Anyone want to buy rdio.com?
Silicon Valley's "social" Cryptocurrency Trending on BitcoinTalk.org
Thirteen bits suspicious.
نتيجة الثانوية العامة 2014 موقع الوطن elwatannews.com برقم الجلوس
Oh, you're referring to Posthaven's styles.
the blog post links to a solution https://web.archive.org/web/20110504151340/http://sites.goog...