Log in

Or connect using:

of syzygies and syzygies between syzygies

full stops and exclamation marks

Name:
chris
External Services:
  • chrisamaphone@livejournal.com
  • [ask for it] AIM status
Schools:
if i know that i know you, you can see my contact info.

if you don't know me, hello! i'm a grad student at cmu studying logics.

i also write stuff other places:
research blog
twitter

"sometimes I have the urge
to say something very important to someone, sometimes
it is right on my tongue and I feel like I could make their life better
just by uttering a few words because people have done this thing
for me and I want to give it back..." -- clay matthews, "tulips"
abstraction, algebraic datatypes, cogent exposition, computational heresy, constructive logic, decisiveness, drawing, enough coffee, enthusiasm, execution as proof search, existential joy, finding clues, first-class continuations, flavors, functions, getting strong, going fast, going outside, higher-order abstract syntax, humans, interactive fiction, ipa (beer and alphabet), learning how, linguistics, logic programming, m4d typ3 th3ory c4sh, making up rules, maps, mechanizing metatheory, omphaloskepsis, oontzy dancing, overcoming crippling social anxiety, people who make things, philosophy of math, prevalent use of groove, proofs as programs, retroetymology, science fact, science fiction, sigbovik, small press, snow engineering, stealing interests from chrisamaphone, strange loops, substructural logics, surface tension, syllepsis, syncopation, synthesizers, thought experiments, time lords & ladies, topology, wib-wib noises, writing code on paper, writing proofs on computers, wugs

Statistics

Welcome to the new LiveJournal

Some changes have been made to LiveJournal, and we hope you enjoy them! As we continue to improve the site on a daily basis to make your experience here better and faster, we would greatly appreciate your feedback about these changes. Please let us know what we can do for you!

Send feedback

Switch back to old version

LiveJournal Feedback

See a bug? Let us know! Here you can also share your thoughts and ideas about updates to LiveJournal

Your request has been filed. You can track the progress of your request at:
If you have any other questions or comments, you can add them to that request at any time.

Send another report Close feedback form

If you're a LiveJournal user, you will be logged in after submitting your request.

(optional, if you're a LiveJournal user only)

(optional, if you're a LiveJournal user only)

(not shown to the public)

If you have a billing inquiry, please go here to submit your question.

Provide a link to the page where you are experiencing the error

Do not include any sensitive information, such as your password or phone number. No HTML allowed.

If you can't pass the human test, email your inquiry to: support@livejournal.com

Welcome to LiveJournal

Create an account