describable

> Algorithm patents do not patent math, they patent processes that are describable with math.

Algorithm patents do not patent math, they patent processes that are describable with math.

Downside, while great for geometry describable by distance fields, it's quite useless with polygonal assets...

Any two things can be sufficiently generalized to being describable using a single term.

I think the guy who'll be interested in Datomic isn't going to be looking for a data store describable in a few sentences, like "NoSQL with feature X".

I think the problem with 'typing' Exceptions is that it means you are using it to record and pass describable\known state similar to return, instead of being reserved for unknown state.

I think the problem with 'typing' Exceptions is that it means you are using it to record and pass describable\\known state similar to return, instead of being reserved for unknown state.

In order for a natural language to be useful for programming computers the language must be completely describable in mathematical terms.

So while aspects of computer science are more engineering or science than math, I can look at the whole system of doing computer science in an engineer like function as mathematically describable.

It's a luxury to have your build environment be describable by a few text files whose location are known rather than bundled up in binaries, Windows Registry entries, and cargo-culted tribal knowledge.

I don't think that's "impossible" either--obviously, Mathematicians are performing some describable algorithm in their heads to come up with novel proofs--but it's likely a Big Data problem in the same way most AI problems have turned out to be; not something you can ask your workstation to do.

Laws limiting the radius of his free activity multiply year by year: It is now practically impossible for him to exhibit anything describable as genuine individuality, either in action or in thought, without running afoul of some harsh and unintelligible penalty.

If our languages and proto-languages are in some sense Gdel-complete and can describe anything which is describable, then linguistic evolution just consists of building new language constructs which can more efficiently describe the new technologies -- and these in turn help us in thinking about our new technologies and making even newer technologies.