javra

5 ms·

1.
by javra 9y ago
Stray cats.
2.
by javra 9y ago
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
3.
by javra 9y ago
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.
4.
by javra 9y ago
There's also ground transportation by tram, no batteries needed.
5.
by javra 9y ago
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
6.
by javra 9y ago
How did Chomsky respond to these developments? Did he downplay them or encourage Maduro's authoritarian reaction to the protest?
7.
by javra 9y ago
As far was most mathematicians and computer scientists would go, ZF and predicate logic together with a fixed definition of turing machines.
8.
by javra 9y ago
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 tr
9.
by javra 9y ago
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
10.
by javra 9y ago
Did you actually read the description of the language?
11.
by javra 9y ago
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.
12.
by javra 10y ago
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.
13.
by javra 10y ago
I honestly can't tell if you're being sarcastic or not.
14.
by javra 10y ago
I don't think he says that people start paying for it but more people will help cover news that aren't covered now.
15.
by javra 11y ago
Well, normally one makes the thesis concrete by saying that lambda calculus and Turing machines yield an equivalent notion of computability.
16.
by javra 11y ago
This is the spirit. Why should there be anything for free?
17.
by javra 12y ago
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/
18.
by javra 12y ago
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?
19.
by javra 12y ago
That could be true, I won everytime I played the purple stones in Go.
20.
by javra 12y ago
> they all look like they're full of semi-corrupt liberals What? Sweden and Finland and the Baltic states?