Weekly edition Kernel Security Distributions Contact Us Search Archives Calendar Subscribe Write for LWN LWN.net FAQ Sponsors

# Microsoft's Man in Open Source: Sam Ramji on Redmond's Linux Strategy (Datamation)

## Microsoft's Man in Open Source: Sam Ramji on Redmond's Linux Strategy (Datamation)

Posted Sep 1, 2008 20:57 UTC (Mon) by Cardinal_Bill (guest, #23688)
Parent article: Microsoft's Man in Open Source: Sam Ramji on Redmond's Linux Strategy (Datamation)

Damn! MS has managed to hack into my machine and steal the random .signature file that was created recently!

bill@jumbo:~> cat .signature
Proof techniques #1: Proof by Induction.

This technique is used on equations with "n" in them. Induction
techniques are very popular, even the military used them.

SAMPLE: Proof of induction without proof of induction.

We know it's true for n equal to 1. Now assume that it's true
for every natural number less than n. N is arbitrary, so we can take n
as large as we want. If n is sufficiently large, the case of n+1 is
trivially equivalent, so the only important n are n less than n. We
can take n = n (from above), so it's true for n+1 because it's just