Mgreenbe

This user is a native speaker of the English language.

λ

This user is fluent in Lambda calculus.

משתמש זה יכול לתרום ברמה מתקדמת של עברית.‏

האי מיתהנא משתעי בארמאה דתלמוד בבלי בדרגא מציעתא.

Этот участник владеет русским языком на начальном уровне.

Hic usor media latinitate contribuere potest.

Αυτός ο χρήστης μπορεί να συνεισφέρει σε βασικού επιπέδου ελληνικά.

This user contributes using Firefox.

This user contributes using Linux.

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

People edit

Quick note: these aren't sockpuppets, they're friends.