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 formalization of maths is already there, and that it mainly needs to be organized in a better way (cf his unimath project).

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 it seems that it's possible to prevent this by require a higher threshold of volume to activate.

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 annual income just have different needs than people trying to get by with magnitudes less.

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 Lawrenceville how happy they are that they got driven out by rising rents due to rich techies? The "revitalization" of Pittsburgh might benefit some, most of them relatively new to the city, but gentrification will hurt lots of its populace who will then be forced to live in the sprawl ghettos around the city where crime is already a big problem.

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 company. That's why clubs have by-laws/charters.

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?