javra | 8 years ago | on: CryptoKitties: breedable cats on the blockchain – ETHWaterloo winner
Stray cats.
javra's comments
javra | 8 years ago | on: Vladimir Voevodsky has died
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).
javra | 8 years ago | on: Germany’s hidden hunger
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.
javra | 8 years ago | on: Angela Merkel’s record on environmental policy has been a disaster
There's also ground transportation by tram, no batteries needed.
javra | 8 years ago | on: Hackers send silent commands to speech recognition systems with ultrasound
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.
javra | 8 years ago | on: Noam Chomsky Joins Faculty at University of Arizona
How did Chomsky respond to these developments? Did he downplay them or encourage Maduro's authoritarian reaction to the protest?
javra | 8 years ago | on: A Solution of the P versus NP Problem?
As far was most mathematicians and computer scientists would go, ZF and predicate logic together with a fixed definition of turing machines.
javra | 8 years ago | on: Pittsburgh Gets a Tech Makeover
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.
javra | 8 years ago | on: Pittsburgh Gets a Tech Makeover
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.
javra | 8 years ago | on: Funciton – A graphical programming language
Did you actually read the description of the language?
javra | 9 years ago | on: A Closer Look at North Korea’s Ullim Tablet
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.
javra | 9 years ago | on: Announcing Open Source Guides
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.
javra | 9 years ago | on: Facebook is terrifying
I honestly can't tell if you're being sarcastic or not.
javra | 10 years ago | on: 9-year-old reporter breaks crime news, posts videos, fires back at critics
I don't think he says that people start paying for it but more people will help cover news that aren't covered now.
javra | 10 years ago | on: A first for physics: Fundamental quantum physics problem proved unsolvable
Well, normally one makes the thesis concrete by saying that lambda calculus and Turing machines yield an equivalent notion of computability.
javra | 11 years ago | on: ChineseSkill – teach yourself mandarin with ease
This is the spirit. Why should there be anything for free?
javra | 11 years ago | on: The Z3 Theorem Prover released under MIT license
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/
javra | 11 years ago | on: Why we are saying “uh” less and 'um' more
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?
javra | 11 years ago | on: Automata: Like the Game of Life, but with violence
That could be true, I won everytime I played the purple stones in Go.
javra | 11 years ago | on: AWS Frankfurt, Germany Region
> they all look like they're full of semi-corrupt liberals
What? Sweden and Finland and the Baltic states?
page 1