imh
Joined 12 years ago
Joined 12 years ago
It feels easier to ditch some of my biases generating a sequence this way.
Three of the edges of SF are water.
This like makes me frustrated. It shouldn't be everyone's responsibility to go on twitter or wherever and be loud. Maybe politicians should put in real effort to learn about who they represent. They could engage in the same kind of polling they do during election season, rather than just paying attention to whoever is loudest.
Obama talked about it this afternoon. He said "This is bad, blah blah oh no." Of course, you don't believe me because I made this up. That doesn't preclude you from believing written quotes, given the right chain of trust. It's been great to have formats like video that didn't require the chain of trust for a while, but if that time has passed, there's nothing we can do. It is hard, but in the context of text where quotes have been easy to fake for ages, we have dealt with it. It's good for everyone to be on the same page.
I'm imagining the difference between a system that can show "P(n)" for any n, rather than a system that can show "P(n) for any n."
It seems like the former must come with a proof about the system. The quantifiers "for any n" have to come somewhere. If they aren't embedded within the system, do we still end up with a system that must be able to express "This sentence is not provable?"
This seems really misleading. If I can view it, I can save it. Enough people take data dumps from reddit that even if reddit decided to follow the same policy, it wouldn't mean "no one can stalk your decade’s worth of Reddit history and figure out where you sleep."