No, I've thought about it though. I took a decent amount of OS, and took a grad course in formal verification of software systems. Mainly though I do cryptography and cs theory, gonna start a MS this semester. If anything the only software project I should really be contributing to is verification or crypto libraries.
Sorry, but that doesn't count as Linux help.
BTW do you actually work on Hurd?
No, I've thought about it though. I took a decent amount of OS, and took a grad course in formal verification of software systems. Mainly though I do cryptography and cs theory, gonna start a MS this semester. If anything the only software project I should really be contributing to is verification or crypto libraries.