Now that's currently only online, but they're releasing a point of sale product soon too. But even with that, you connect to their card reader and receive a token that you can use.
1,298 karma · joined August 16, 2011
Now that's currently only online, but they're releasing a point of sale product soon too. But even with that, you connect to their card reader and receive a token that you can use.
> If you have a lot of subdomains, you may want to combine them into a single certificate, up to a limit of 100 Names per Certificate. Combined with the above limit, that means you can issue certificates containing up to 5,000 unique subdomains per week.
Commuting is considered one of the _most_ negative parts of a person's day, such that common advice is to seriously consider living closer to work at the expense of other amenities.
Huh? Enough people apparently knew JavaScript well enough that running it on a server was really useful. Why's that not a real problem? (Not being able to do so.)
That has not been my experience!
But, in practice, a lot of this stuff is being logged by things like proxies that could be several layers in front of the "web framework level".
> What ? How is that even possible...
I'm guessing they were referring to Google Voice.
Traffic on the Tor network itself is designed to evade tracking or interception but exit nodes are required for communications to reach outside Tor.
'Gravitational radiation' is, apparently, a thing; gravity waves basically. It's not _electromagnetic_ radiation tho, which is what I'm guessing what you meant.
I don't think it's crazy to think that gravity is propagated at the speed of light but that we can't, and likely won't ever be able to, measure any gravity waves smaller than those generated by extremely large-gravity systems.
But the general form of what you're describing isn't any more outlandish than a time capsule, i.e. 'transmitting information into the future'.
But no, sorry, you can't see the past with the paucity of black holes near the Earth (and ignoring all of the other impediments to such a thing happening).
There isn't a limit of URI length per the relevant 'specs'. There are generally limits imposed by _browsers_, and probably web servers too tho.
I don't think it's really the case that all branches of mathematics really have a 'common basis' as much as that they're all equivalent. It's pretty common to map one branch to another, e.g. arithmetic to set theory, but then once that's been done there's no real reason to write proofs in a particular branch in the formalism of another.
> The idea is that mechanising proof and making it more algorithmic will make it more like what the layman thought proof is , but it at the same time raises the question, what is this all for? Ie maths is what mathematicians do. I think it admits to no clearer a definition. So it’d probably make sense for mathematicians to decide, what precisely is the role of proof?
"A New Kind of Science" has some insights about this that I appreciate greatly. Mathematicians don't bother to enumerate everything that's formally ('mechanically') true, even tho there are some interesting truths to be discovered in that fashion. They instead explore the 'tree of truths' based on history, intuition, and even fashion.
Ultimately, even the most mechanical formal systems are, or can be, nebulous and 'philosophically strange'. Consider the axiom of choice as but one example – there are different set theories depending on whether one accepts that axiom as 'reasonable' (or 'true') or not!
And just giving homeless people a better place to live is only one, tho extremely important, dimension along which homeless people can be helped.
And then of course one should expect side-effects to any help one would give, e.g. increasing 'demand' for help for homeless people. I'd imagine one reason why there's so many homeless people in San Fransisco is that it's already one of the best places to be homeless.