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.
Uhhh help me finish the hurd kernel /s
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.
Removed by mod