r0naa

If you are interested in knowing why:

- I personally find it a little bit irritating that Github wants to promote "open-source/free-software", but haven't open sourced their own tools/product.

- I was disappointed by the way Github handled some internal problems

- I don't trust Github anymore; I want to be in control of my data.

(1) You want all your nodes to have the exact same replica of the database i.e consistency across your cluster.

You would need to reach consensus before any node actually adds anything to its local database to make sure that property (1) is fulfilled.

== Linearizability is just a consistency model i.e a variant of property 1 with stronger/weaker constraints.

Well done!

edit: to provide some context

- Raft is a distributed consensus algorithm that is seen by many as a viable alternative to *-Paxos because of its relative simplicity. It was created by D. Ongaro and J. Ousterhout (Tcl/Tk!)

- D. Ongaro's dissertation includes a TLA+ specifications of Raft; TLA+ is a model checker (see ) for a more detailed explanation of what is a model checker/theorem prover's job

- TLA+ is a model checker; Coq is a proof assistant. See https://stackoverflow.com/questions/22418448/can-coq-be-used... for a more detailed explanation.

- Verdi is a Coq framework to make formal proof about distributed systems.

- Doug Woos and James Wilcox, made a proof of Raft using Verdi; Verdi helps you figure whether your implementation of X (in this case X=Raft) meets the specifications (Leader Safety, strong consistency etc..)

Link to the Verdi website: http://verdi.uwplse.org/

edit: as noted by ahelwer, TLA+ is not a model checker but a language to describe a distributed system's specifications. I was referring to TLC which can work with TLA+.

One of the highest voted customer feedback on their official forum.

For example, there have been a really big demand for NixOS for two years now but still no announcement whatsoever.

Again, basic knowledge of the current public opinions of either countries on the subject strongly indicates the contrary.

I do not have the background required to have an informed opinion about the economical consequences of such situation.

Just stating the obvious from a pure political standpoint IMHO.

Leverage better terms? I don't think you have any idea how much Tsipras has alienated France and Germany's public opinions. Now that supporting Greece has become synonym of political suicide, I believe that Greece has effectively very little leverage.

After Tsipras' call to vote No, I would be surprised to see any negotiation happen in the near future.

> Why? Because Germany /didn't/ start the war. It just ended up as one of the losers.

It also didn't blame Germany for starting the war but for the damage caused by German troops.

https://en.wikipedia.org/wiki/Article_231_of_the_Treaty_of_V...

And drinking Club Mate :-)

The Camp take place on a former soviet military base and attracts technologists, hackers and engineers from around the world. It has a very strong hippie culture, but there is a mix of everyone and the atmosphere is great really.

Most talks are engineering, art or sociology related with a emphasis on security and privacy in the 21st century. I learned a ton, it was a very intellectually gratifying experience.

At night the camp becomes a very special place: https://upload.wikimedia.org/wikipedia/commons/b/bc/CCCamp11... with some crazy and magical light and music shows.

A truly amazing event.

Class segregation isn't the same thing as racism.

> Twitters API for use on a Twitter clone service, not fine.

That's precisely what's bothering me the most. This is completely contingent on your definition of what is an API.

The judgement is setting a precedent in defining an API by its routes and not by what or how it processes data. To the court, it does not matter if you are doing data intensive computations or just stripping html from a string... if the route is the same you are screwed.

HTTP/1.1 GET /v1/news/latest_updates becomes intellectual property of Company Inc.

Imagine the amount of patent trolling wars that are going to be waged because of that ruling, what a freaking nightmare.

PS: The parent comment should not be downvoted.

- I come to HN to hear people's opinions and learn from them, even if they are dissenting. It's fine to disagree, but do not silence people for thinking differently. Every constructive contribution should be part of the discussion.

You can't trust anyone until they actually show you proof that they are:

- Trustworthy - Safe.

Both conditions require complete transparency on their infrastructure, protocols and first and foremost data retention policy.

If any country can default their debt without consequences I leave it to you to imagine the new crazy interest that a EU country will have to pay given the "risk" of a default. That's pretty bad for the three country mentioned above.

The referendum is planned for July 5th while Greece's obligations to pay their debts are on June 30th.

It's clear in the eyes of everyone that it's a political move. Tsipras has been feeding lies to the Greek people. He is a populist.

The following scenario is likely to happen on June 30th: - The European Central Bank will maintain ELAs to their current level, it means that Greek banks will have to default.

- The Greek government will have to refill their bank and nationalize them. Since they have no power over the euro, they will start printing their own money which will be worth very little.

OP is challenging a commonly accepted belief that employees should keep some independence from their employers. While this is something I agree with wholeheartedly I think it's a good thing that some people on HN question the status-quo, especially if that's sparks an interesting discussion.

Focus on delivering a polished products that can deliver, I will try your product only once and if your product's quality convince me that there is an opportuntity to improve my speaking skills I will literally throw money at you.

Wholeheartedly agree with you comment, Facebook's engineering blog is truly humbling.

There is not a day where I do not try to think of something that would both make the Internet more decentralized, anonymous and secure while being extremely profitable. The latter is crucial because capitalism would make the change viral and being profitable would let me attract talent.

In short, make something that people want AND that promotes values I believe in.

Thank you for sharing!

I often wonder what are some good usecases for Elixir? What kind of problem do you solve using Elixir?