Mgreenbe

Wikipedia:Babel
en This user is a native speaker of the English language. λ This user is fluent in Lambda calculus. he-3 משתמש זה יכול לתרום ברמה מתקדמת של עברית.‏ tmr-2 האי מיתהנא משתעי בארמאה דתלמוד בבלי בדרגא מציעתא. ru-1 Этот участник владеет русским языком на начальном уровне. la-2 Hic usor media latinitate contribuere potest. el-1 Αυτός ο χρήστης μπορεί να συνεισφέρει σε βασικού επιπέδου ελληνικά. This user contributes using Firefox. This user contributes using Linux.
Search user languages

My name is Michael Greenberg. I am a white Jew born in Ithaca, NY. I am an atheist, a liberal, and a humanist.

• Pointer, smart pointer, and reference (computer science) need to be organized; handle (computer science) might have to go in as its own article
• CTL* (and CTL and LTL could bear with touching up)
• More detail on Robert Floyd's predecessor to Hoare logic for proofs over flowcharts
• Factory object needs an example