Viewing profile — javra

Stray cats.

Working in the field I rather have the feeling that it is slowly but surely falling asleep. One of Voevodsky's views was that all the foundation for a dependently typed formalizati…

Let's say you're on Hartz IV. The $10 have to be accounted for at the social security system, and if you earn to many of them $10's, you don't get to keep them.

There's also ground transportation by tram, no batteries needed.

I think volume is the key here... The hackers induced harmonics in the audible range but at a volume that was only perceivable by the microphone and not by the bystanders. So to me…

How did Chomsky respond to these developments? Did he downplay them or encourage Maduro's authoritarian reaction to the protest?

As far was most mathematicians and computer scientists would go, ZF and predicate logic together with a fixed definition of turing machines.

I think for some parts the problem is not really specific to tech people. It's just very difficult to integrate milieus that differ that much in income. People living on six figure…

Wow, this article really doesn't even at least mention some of the problems this new boom bring. Maybe ask long time residents of neighborhoods like East Liberty, Bloomfield, or La…

Did you actually read the description of the language?

No but they could if they wanted to. Maybe I don't even like their power, even without thinking that it's realistic that they'd do it.

But freedom of speech is a political concept which only makes sense for states. Any smaller community can add rules to the ones that hold by law. Be it you bowling team or software…

I honestly can't tell if you're being sarcastic or not.

I don't think he says that people start paying for it but more people will help cover news that aren't covered now.

Well, normally one makes the thesis concrete by saying that lambda calculus and Turing machines yield an equivalent notion of computability.

This is the spirit. Why should there be anything for free?

One of the main devs of Z3, Leonardo de Moura, is acutally working on a new, dependently typed, theorem prover called "Lean": http://leanprover.github.io/

Am I the only one who is bothered by the fact that they used double quotation marks for "uh" and single quotation marks of "um" in the headline?

That could be true, I won everytime I played the purple stones in Go.

> they all look like they're full of semi-corrupt liberals What? Sweden and Finland and the Baltic states?