skysight-inc/HackerNews huggingface dataset:
Haskell's community is a bit more thoughtful and less prone to self-promotion. That combined with the fact that you're not a Haskeller, you're not familiar with what they've built.

Another issue is that Haskell is somewhat weighted towards finance and they're a bunch that tends to be somewhat proprietary about their IP. Some exceptions (Ermine) exist.

Some notable projects that come to mind include git-annex and Parsec. Parsec has been preeminent parser-combinator library since forever.

Also: pugs, pandoc, gitit, Darcs, xmonad, Idris (same person that did whitespace, haha)

Recently? Cryptol. That's pretty major.

I'm building stuff in Haskell, right now. Specifically, the easiest to use Elasticsearch client in the world.

One was needed. Badly. The ES API's data structures were never specced out properly, just documented on an ad-hoc basis. The Haskell library I'm working on will, if nothing else, mean that there's a reference for how the JSON is structured.

Anyway, empower thyself, learn some Haskell: https://gist.github.com/bitemyapp/8739525

Edit:

Ah, I thought I knew that username from somewhere. The negative-nancy is Timothy Baldridge, an employee of Rich Hickey's company Cognitect. Cognitect is "the" Clojure company and represents the inner-clique.
I think his idea of "programmer" is closer to "mathematician" --- and indeed if you think in that manner, functional programming looks perfectly natural and obvious. The problem is how many of the programmers - and by that, I mean anyone who writes instructions for a machine - actually do think like mathematicians; and in my experience, not as many as the ones who can easily grasp the sequential, imperative model of machine execution. Not to say that thinking of computation as a function that takes an input state and produces an output state is conceptually interesting, but I think that's a bit too abstract for a lot of people.
+1 for Plex. I almost gave up on the idea of a HTPC after the headache of correcting hundreds of mislabeled files in XBMC. Since I switched to Plex, the problem has all but disappeared (I can think of 3 or 4 things I've had to manually correct).
I agree, a properly blinded selection process is a very good idea.

This doesn’t really do anything about information asymmetries and existing networks. Also, it doesn’t change anything about that part of the selection process where you actually have to meet in person or at least talk.

Blinding can necessarily only ever be a tiny part of any any solution.

I would argue that specifically seeking out certain groups and advertising to them that a position is open and that they would be the perfect candidates would be a good idea. (Please note that I’m not arguing for ads in pink to specifically target women or some bullshit like that. If you already have ads they should already work irrespective of gender, race, etc.)

Often it’s a problem that people do not know that they can apply or they might think applying is not for them. They might also not be aware that someone is looking because they are not part of existing networks.

Despite all of that it will inevitably always be easier to hire people you know and those people will tend to be very similar to each other. This is not even intentionally sexist, but the consequences are icky.

This means that even targeted advertising for open positions and a completely blind selection process will not solve this. Both of those things would still be excellent if implemented, though.

(This is a common misunderstanding so I should address it right away: Please note that when I talk about targeted advertising I do not mean that the selection process itself should give an advantage to those who are targeted by the advertising. Sometimes even that might be worthwhile strategy, but I’m arguing that candidates, once they apply, should all be treated exactly the same and that the selection process should be blind to name, age, race insofar as that is possible. Targeted advertising is just the acknowledgement that the process by which potential candidates get to know about open positions right now is far from random and fair and it attempts to correct that.)
The 'Secret Sauce' That's Making Facebook More Addictive Than Ever
I'm not a lawyer, but I think you own the code you created by default. Though you should obviously try to get a legal contract and all.
How I Went From Zero to 380,000 Twitter Followers Without Spending a Dime
Just an observation, Erik was one of the lecturers in the coursera course "Introduction to reactive programming" co taught by Martin Odersky, creator of Scala. Erik was teaching reactive extensions to Scala (a port based of his work at Microsoft). Course is highly recommended by the way.
Cap'n Proto - Very fast data serialization at cloudflare
Interesting project, but potentially very dangerous. If you get the laser power wrong then you end up blinding everyone in the room.
All or most of those are available at http://dotfiles.github.io
Ask HN: What´s your teams stack, what´s missing?
How is your team working together, what the tools you use to collaborate, what´s the things that you are missing / you´ve build yourself?

---

Ours:

General Collaboration: Google Mail/Docs/Drive, Skype chats

Development: Github, Custom backlog/agile management

Customers/Sales: Intercom, Pipedrive, Custom

Accounting: Outsourced

Intranet/Wiki: Custom

Missing:

- A HR Tool that does´t suck.

- Managing permissions on Google Drive gets a bit messy as
teams grow.

- Better way to integrate tools.

- A better plattform to build custom tools
Fixed the 802.11 stack in some crusty old Palm handheld that a vendor had 1000's of in a warehouse - so they could sell them in China at < $200 for warehouse use scanning etc.
Everything was a teetering pile of barely-works - matching probe/response to the timing of their particular APs, recovering from unrecoverable errors by resetting the stack to a previous known state, roaming when their firmware didn't report enough AP info to really know where they were going.
I still have a box of those Chinese APs in a closet somewhere.
Another and not so pretty viewpoint to why AirBnB and Lyft are becoming more popular: http://nymag.com/daily/intelligencer/2014/04/sharing-economy...
You should check out Firespotting - A Hacker News For Ideas. http://firespotting.com
First, there's a fundamental difference between monetary and non-monetary exchange. This is, I believe, related to the idea of "revealed preferences" - that people spend differently than they say. There are people who are apparently deeply concerned with "equality" who live in gated communities.

The "easier to track it" part is more telling, though - most economists will cop to being "drunks looking for their keys under the streetlight because the light is better."
There is also the Sabbath number, with the same principle, but it's the distance musicians are from the band Black Sabbath, as they changed formation countless times. Together these three make up the Erdős Bacon Sabbath Number. Stephen Hawkin has the Erdős Bacon Sabbath Number of 8, one of the lowest known; he has the Erdős number of 4, Bacon number of 2 and Sabbath number of 2.

Source: this book http://www.amazon.co.uk/pracht-van-priemgetallen-eeuwenlange...
(not an affiliate link)

Edit: I didn't notice ColinWright's comment :)
> They can lower their prices (and thereby limit Uber/ArBnB) or they can do something else. Probably something less enjoyable and/or lower paying, or they would already be doing it.

I'm not really sure that the money-flow works the way you think it does. When I stayed in London last week at AirBnB instead of the hotel which was literally next door, the savings wasn't just hotel labor (which I mostly didn't need). It also meant money that could have gone to the hotel owners (capitalists with multi-million pound investments) instead went to a family which was spending time abroad on a cycle-tour through Germany.
The best thing I've read all day. Three days ago my wife have birth to our son, 3.5 weeks early. She's blaming the fact that we were in the middle of a house move for bringing the birth on early. While she wasn't lifting heavy things, the new flat is on the second floor, with no lift, so twenty steps needed to be negotiated regularly. I can now tell her we were simply working on enhanced brain development for our son.
No, CrossOver runs on both Linux and Mac.
The semantics of >>= do not depend on the laziness of the language. >>= behaves exactly the same in Scala (although it's called flatMap there) as it does in Haskell. >>= does not execute effects, it only composes them. So to correct the article:

The infix application function (ma>>=\a->f(a)), commonly called bind, composes two computations. When the resulting computation is executed, ma is executed first, f is called with its result and finally the computation returned by f is executed.
While some people are drawing lessons from this incident about HFT, I've seen no indication Knight was a major player in that, the summary says they were "*engaging in market making, electronic execution, and institutional sales and trading." I.e. those actions are on the behalf of others, plus stock exchange market makers have obligations to keep what they're responsible for liquid.
Nice idea. Does your comparisons take into account feedback from users ?
>For instance, in Haskell a value is a value. If I have a value of type Integer then it definitely exists;

x,y::Integer
x = x + 1
y = undefined
Especially without any agreements between the two of you. In absence of them, you own it. Your idea guy isn't that smart if he doesn't understand this.
A blogging platform with content delivered in interactive narrative way. Suppose, a user has a story with two possible versions depending on the decision made by the readers at some point of time in the middle of the content. Then provide him with such a platform to write a story in that format.
Atlanta peeps, there's a burger delivery service to launch in beta soon.
>because you just said "with better defined as has more static typing

No I did not. Haskell's type sistem is not "more static" than javas. It is more powerful. This makes it better. There are not varying degrees of "staticness". There are varying degrees of expressiveness. Haskell is on the "very expressive" end of that scale. So it makes sense to assume that haskell people consider more expressive type systems to be better.
Why are they not hosting it on the status.bitbucket.org server? Tt have never been down as far as I know!
This is probably not true.
There are a couple ways to approach it, depending on your level of trust in the Ivy League co-founder:
BRUTE FORCE APPROACH
1) stop working on the project -- at this point you have leverage because you have the code and the knowledge of the code, he does not.
2) make the code base unavailable
3) refuse to participate in fund raising, where he needs you (normally) as the tech cofounder to answer tech concerns raised by the investors

I'll stop there because there's a 'softer gentler' approach you can figure out by yourself.

I'm stopping there because he has already insinuated the following:

"I'm not convinced yet that I need you, software guy. It seemed easy enough to find a guy like you to code this up for me and I could probably do that again, especially once I raise funds and can actually pay someone to write code."

"If I was really willing to share the pie, I would have addressed your concern about "let's put the equity share in writing" but I sort of 'stone-walled' you on that because the risk of you bailing out now is minimal, you already provided me an MVP which I can show to investors to raise money."

I've been down this road before. Unless you have very unique technical know-how, you can be replaced by almost any other coder. And if you provide the work with no 'sharing agreement' you risk discovering that your non-technical co-founder shows he is not motivated -- by anything -- to later cut you in for a piece of the pie.

Let me say that another way. Put together an equity share paper. Put it in your own words and/or using equity share statements from the web. If he refuses to sign even that, you know where you stand, he's probably put you on his "expendable" list.

After the tech world saw Zuckerberg become a billionaire by absconding with 'not his idea', ethics and respectable business behavior is much less common, unfortunately.
Bitbucket's downtime is pretty much the same as Github's.

I use it at work and my team pushes to it approximately 40-50 times a day. In the last year the total amount of downtime I've experienced has been 4-8 hours. I pointed out the lack of downtime history to one of the guys when they asked if we could move to stash because we experienced 15 minutes down time twice in two days. (Also should point out we've experienced 10-24 hours downtime on our internal Jenkins so far this year)

It's just when you do experience downtime it feels really bad.
I don't think it's possible to roll back the clock like that. Nokia's Windows phones weren't that bad. Very well built, as far as I know. Yet no one bought them, so clearly there's a limit to what the brand alone could carry.
Wild stab from an idiot: it depends on what you're trying to do. Generally speaking, if you want to advance a field, or just do top-of-the-line work, you need to be an expert; but if you spot an ignored or underserved group of potential customers who could benefit greatly from a more basic implementation which the experts might find pedestrian and uninteresting, you might be on to something. In that case, your lack of expertise could even be a strength; you might understand you target group's difficulties better than the experts.
If you are pushing new configuration at 6am on a Sunday, and things immediately stop working, you revert the configuration change.
It's not Mac only: http://www.codeweavers.com/products/crossover-linux/
You should definitely sign a founder agreement right now, even if incorporation is still a few weeks/months away. For my own startup we used a custom version of this template: http://www.docracy.com/103/founder-collaboration-agreement Did you guys already agree on equity split?
status.bitbucket.org is hosted on Statuspage.io.

It would be rather silly to host your status page on your main production infrastructure since if it goes down so does your status page.

Personally unless you're a major player I think you should always outsource your status page.
It's not possible for anyone to build complex software in a unityped language while having a full, complete, and verifiable understanding of their own system invariants at any given moment.

Claims otherwise are the literal equivalent of making complex mathematical assertions without a single condensed proof.

This isn't opinion, any more than a formal proof is opinion.
Got a spec for a processor chip plus a survey form from Intel rep asking what else we wanted in it (80386?) - we were their largest single processor chip consumer at that point (Convergent Tech). Scribbled down "realtime counter register for code analysis etc; bus-condition-match registers that trigger an NMI so I can throw away my Blue Box; bus-independent move instruction that optimizes for whatever bus/cache topology is present" and some other stuff. They only put in the first two, and I really wanted a constant-clock timer register not a cpu-clock register, and I really, really wanted it to be in user mode not kernel mode! Anyway they're still there to this day in Intel processor chips.
Errors do not make a discipline unscientific …
I agree whole heartedly, people write some pretty impressive shared state concurrent programs in haskell, precisely because they know how much state is shared.
Paging grellas.
Any specific one you recommend? I've reviewed a few but didn't manage to find one that met my criteria.
I've only used DDG a few times in the past. Could you refer me to a link with some more information on this? Thank you.
Supposing we have robot cars in a few decades, it wouldn't be unimaginable to think of a family getting a robot car for their own routine use on a commute, then hooking it up to the new Uber-R robo-car pickup network with a snazzy piece of software. Then it could be used on the network while the family is away on vacations, or asleep at night, or whatever.
A Yelp like review app for colleges. Currently the best way for prospective students to get the best idea of what a school will be like before attending, is to head to the schools cafeteria or quad and ask a student how they like the school. The current students and/or alumni are most honest about their experience with the school. Make an application that requires some proof of enrollment to rate and review a given college, and allow for the most honest reviews of the school.
Surely its not about outsourcing a status page but just making sure that it is on completely different infrastructure?
Why Do We Want To Squeeze Cute Things?
There are LOTS of things you can do with type classes, and they are super sexy. Let me try to enumerate them.

One commenter already noted higher-kinded type classes, which is the basis of Haskell's libraries and do-notation for monads. That's HUGE.

But besides higher-kinded type classes, there are others:

* Factories and constants in your interfaces. Type classes allow you to put a type variable in the return argument of a method. This lets you put factories and constants in your type classes. For example, if you look at the monoid type class:

class Monoid a where
mappend: a -> a -> a
mzero: a

And I can implement this

instance Monoid String where
mappend x y = AppendStrings x y
mzero = ""

instance Monoid Integer where
mappend x y = x + y
mzero = 0

So now I can write generic code where I can get the "zero constant" of a type without knowing what type that is. I could just have a genericMonoid : T where T is a type variable, and all I know about it is that it belongs to class Monoid (maybe it's an integer, maybe it's a string, maybe it's something else). I can now get the zero value of whatever that type is. In fact, my method doesn't have to be dispatched on the type of some input argument. I can dispatch on the return value. Something like

multiplyByZero : [Monoid T] int -> T
multiplyByZero 0 = mzero
multiplyByZero n = mplus mzero (multiplyByZero (n-1))

(Forgive my crappy Haskell pseudo syntax, I haven't written it in a while). Not that multiply by zero is useful.

* Operators of greater arity than 1. So I hinted at this above. With "method syntax" arity is always 1. I have one "this". I can operate on it. For all other arguments to my method, I cannot actually constrain them to have the same type as "this". At best, with OOP, my method belongs to some base class, and I can insist that the non-this arguments are of base class type, but I cannot constrain them to have "this" type. This is illustrated in the monoid example above, or in the Eq example I gave, where it can be guaranteed that the two operands to == are always of the same type. In Java, the equals method has to take one argument of type "Object", while the "this" argument has the class's type.

* Multiparameter type classes. (This is behind a flag in the Haskell compiler). You can do something like this:

class Eating E F where
eat :: E -> F -> Meal

# E is short for Eater
# F is short for Food

so now I can type check to make sure that eaters eat the right type of food.

instance Carnivore Meat where
eat = # specialized implementation for eating meat

instance Carnivore Vegetables where
eat = # specialized implementation for eating vegetables

instance Vegeterian Vegetables where
eat = # specialized implementation for vegeterian food
Its not about beauty, its about buggy software.

Right. But until we have a comparable body of production software written in pure functional code -- and by comparable, I mean closer to the volume of code written in today's mainstream languages and by average developers, not a few applications written by elite developers -- we can't say for sure whether the pure functional approach does in fact prevent buggy software, or whether it simply leads to different kinds of bugs.

A lot of advocacy for functional programming and languages like Haskell makes claims about being safer because certain types of programmer error are prevented. However, relatively little commentary also highlights downsides like the need for accumulating parameters and strictness annotations just to achieve acceptable performance, or the maintenance hazards of having both monadic and non-monadic implementations of algorithms. Until someone finds a way to prove that a large-scale lazy functional program can't exceed the available system resources with an explosion of thunks, any claim that this approach is inherently safe seems rather premature.
That still sounds a little weak, but even under that definition, how does Haskell qualify? Do-notation may make things look like statements, but they are still expressions!
LOL! I didn't know this about US-International. I was always wondering why the hell I need to type two quotes and then delete the second just to enter a single one. Obviously " and space does the job, but I didn't thought about this, so I switched to US layout :)

Now I've tested with your layout and it turns out that you can type it as you say by just omitting the space (except for the letters that can be accented) or otherwise just use my method by entering ' twice and deleting the second one (maybe at the expense of greater error rate).
I suspect users of these sites are fully aware what kind of a bad deal these websites are. If you are in a situation where you cannot be fully employed or start your own business, they seem like your best hope. These websites are exploitative because they can hold the livelihood of people on already shaky ground hostage. Since the clients on these websites know that the users may be somewhat desperate, they can drive prices down - it becomes a race to the bottom.

What can the OP do, short of creating publicity of Freelancer's behaviour? There does not seem to be any protections ensuring that the author gets paid. He'll be held to the 'terms of service' - which will always be in the client or Freelancer's favour - this is not enough.

They make me think of the rent seeking nature of the 'sharing economy' which just weakens the market and distorts it because it takes advantage of people who do not have an escape. Like if you're uncertain whether you're going to have a place to sleep or eat in the next month.

http://tomslee.net/2013/08/why-the-sharing-economy-isnt.html
I don't like meta-talking about what is good or bad for HN generally, but when I saw dang had chimed in, I felt obligated to leave an opinion. Like the top comment, I was both amused and happy to find this content on HN.

Given Adventure Time's regular toying with ideas like SCIENCE vs. MAGIC, boundaries of morally responsible science, D&D meta-geekery (character alignments), machine sentience (BMO), and all of the games it plays in gender & identity roles and other existential weirdness, I always assumed it's adult audience would be strongly represented on HN.

Not only was the article the most in-depth analysis of the show I've ever come across, but the comments here contain intelligent discussion and observation that lead me to similar analyses and content like Adventure Time.

This was a perfect article for HN, as I use it; identify things tangentially interesting to the 'hacker' mind, in all it's different forms, and provide intellectual discussion on it.

Thanks to OP for finding it and you (dang) for allowing the discussion to remain. Glad to have seen it.

EDIT: for clarity