Forgot your password?
typodupeerror

Comment Re:What qualifies the government (Score 1) 58

I expect that there are groups in the government that have reasonable expertise in that area. But I see no evidence either of what they are (probably some folks in DoD and NSA might have relevant expertise) or reason to believe that they would be tasked with the review.

Comment Re: I'm I'm skeptical too. (Score 1) 86

I think a giant context is not going to be the answer. It's just got too many problems. Better will probably be parsing the context into connected pieces, and at a different level assembling the "lemmas" into "theorums". (Yeah, those aren't quite the right words, but I'm not sure the right words exist, and that's the analogy from math proofs. Code library isn't the right concept as the "lemma" will often be quite specific to the current task.)

Slashdot Top Deals

Natural laws have no pity.

Working...