Shivaram Lingamneni

About me

I have graduated from Stanford, but I have this webspace and the associated e-mail address for life.

From July 2009 to March 2021, I was at Yelp in some capacity. Since July 2023, I am employed at Reddit.

My permanent e-mail address is some combination of the following strings: "cs.stanford.edu", "@", "slingamn".

I have several other e-mail addresses as well. If you're using an address at gmail.com, don't worry; it forwards to the same place. However, my addresses at stanford.edu (without the "cs"), berkeley.edu, and math.berkeley.edu have expired and shouldn't be used.

The GPG public key for the abovementioned permanent e-mail address is here.

I also have a Gravatar.

Work

My dissertation contains the most up-to-date version of my philosophical work on several topics: interpretations of probability, the implications of computational complexity theory for normative accounts of rationality, and the status of the continuum hypothesis. The last of these was published in Synthese, DOI 10.1007/s11229-017-1648-9.

I am the maintainer or co-maintainer of several open-source projects, including Ergo, a modern IRC implementation in Go. Other projects can be viewed on my GitHub profile page, @slingamn.

Teaching

I've written a couple of teaching handouts that may be of interest, since I intended them to fill perceived gaps in existing materials:

• Debugging Tactics. This was written for Stanford's CS 106A course (introductory programming in Java). It aims to teach exceptions and "printline debugging" to people (like me) who are confused by interactive debuggers.
• Some notes on limits. This was written for Berkeley's Math 1A course (single-variable calculus). It's inspired by formal logic: it tries to clarify the definition of limit by explicitly comparing it with its negation, then relates it to the formulation of the definition as an adversary game.