User Profile
Add Friend
Add Note
Track User
Send Message
Send V-Gift
Fly, fly, balloon man. Savor the Void!
Created on 2002-01-12 11:50:13 (#436805), last updated 2010-01-05
18,274 comments received, 9,481 comments posted
Permanent Account
5,237 Journal Entries, 610 Tags, 1 Memory, <10 ScrapBook Files, 0 Virtual Gifts, 22 Userpics
Basic Info| Name: | Jason |
|---|---|
| Birthdate: | 1980-10-14 |
| Location: | Philadelphia, Pennsylvania, United States |
| Website: | http://jcreed.org/ |
Contact:
jcreed+lj@andrew.cmu.edu BioSolomon Grundy,
Hacked on Monday,
Bugs on Tuesday,
Fixed on Wednesday,
Theorems on Thursday,
Thesis on Friday,
Published on Saturday,
Tenured on Sunday:
This is the CV Of Solomon Grundy.
Somewhat more seriously: Born and lived in Madison, WI for 18 years. Went to CMU for 4. Acquired BS in computer science and mathematics. Also learned how to BS proficiently in said topics. Decided I hadn't had enough pittsburgh-flavored punishment yet, and started the PhD program at the same institution, in CS. Finished that up right quick in a mere 7 years. Now I am here at a postdoc gig in Philadelphia, daydreaming about how to fix what ails the internet with Programming Languages magic.
Hacked on Monday,
Bugs on Tuesday,
Fixed on Wednesday,
Theorems on Thursday,
Thesis on Friday,
Published on Saturday,
Tenured on Sunday:
This is the CV Of Solomon Grundy.
Somewhat more seriously: Born and lived in Madison, WI for 18 years. Went to CMU for 4. Acquired BS in computer science and mathematics. Also learned how to BS proficiently in said topics. Decided I hadn't had enough pittsburgh-flavored punishment yet, and started the PhD program at the same institution, in CS. Finished that up right quick in a mere 7 years. Now I am here at a postdoc gig in Philadelphia, daydreaming about how to fix what ails the internet with Programming Languages magic.
ConnectInterests (84):
Γ⊢♥, achewood, adjoint functors, art, art nouveau, ben folds, ben folds five, book design, bookstores, carnegie mellon, cat and girl, category theory, cheese, classical logic, constructed languages, constructive logic, crap art, curry-howard isomorphism, dave brubeck, dependent types, diesel sweeties, domain theory, douglas hofstadter, esperanto, forcing, free software, french, functional programming, generatingfunctionology, guitar, having jcreed's children, humility, improvisation, intuitionistic logic, italo calvino, janis joplin, jazz, kurt goedel, lambda calculus, lf, linear logic, linguistics, logic, logic programming, logical frameworks, m4d typ3 th3ory c4sh, mathematics, modal logic, nanowrimo, non|whitespace|delimiters, oulipo, penny arcade, perl, pete and pete, philosophy, philosophy of language, piano, pittsburgh, printmaking, programming languages, proof irrelevance, proof theory, proof-carrying code, propositions-as-types, questionable content, raymond queneau, saul kripke, screenprinting, set theory, sml-nj, sobriety, standard ml, stanislaw lem, substructural logics, the beatles, theorems, topos theory, twelf, type theory, types, typography, umberto eco, wisconsin, ĉapelitaj literoj
External Services:
 | jcreed@livejournal.com | |
 | jcreedcmu |  |
Schools:
Eagle School - Madison, WI (1987 - 1994)Edgewood High School of the Sacred Heart - Madison, WI (1994 - 1995)
James Madison Memorial High School - Madison, WI (1995 - 1998)
Carnegie Mellon University - Pittsburgh, PA (1998 - 2009)
Friends [View Entries] Friends (223):
0436, 7a0, _tove, _wirehead_, absolution, adamch, agh, agrippa, aij, alanv, aleffert, algebraic_brain, allartburns, allwein, altamira16, amuzulo, angharad, anhem, annabuggs, annecognito, antoshakartosha, arh006, axelwolfin, azzil, bastetsguardian, beevek, betaphen, bhudson, blistex, bpr, buoren, carmiendo, catamorphism, catlyons, cdinwood, cdtwigg, chamois, chaoticcalamity, chrisamaphone, chrsjxn, combinator, compilerbitch, corporati, cozmic1, creidieki, csg87, dachte, daev, damion, dandyhighwoman, dankamongmen, deepakgarg, demoness101, denorae, djspoons, douglasperkins, dr4b, drquuxum, dvarin, dwindlehop, easwaran, ekorber, escargonaut, etopiei, etotheipi, eub, experiment666, extensionality, fancybred, fizzbang, gaspaheangea, genuinekfc, gf2e, godfreyb, gragathaz, grammarnerd, gregh1983, groen, gustavolacerda, gwillen, haydensphere, hopelarson, htowsner, hvincent, indrani_prime, infryq, iole200, jccw, jcreed, jegrasso, jernst, jgrafton, joannabgroovy, jra1279, jvittes, kahare, kaniea, katica, keithlard, kepod, kg4qxk, kitty_tape, klari, krasnoludek, lambdacalculus, lars_chan, leech, letters_in_sand, lingboy, litebrite3e8, lizah, lli, lordm, lordspaz, mad_and_crazy, madmadammim, martinivixen, marymcglo, mdinitz, mellowcupcake, meshach, metacontext, missytas, mmia, modularformsboy, monitress, moonndragn, mpnolan, mrhappypizza, mrpeck, mygrane, myhearttohold, nascent_theory, ndave, neelk, neonsunshine, neurochemistry, nibot, nickjong, nightspore, nolacoaster, nothings, nowpicnic, nwhitehe, ofsusan, ohhim, ombrage, oren, papertygre, pepperedjane, phoebus, physics_dude, platypuslord, pluralofplural, psifenix, puuj, qatar, qedragon, queen_elvis, r_transpose_p, raphaelflaherty, rbraun, rdore, redfranz, redglasses, rehana, relaxatorium, remington012, ringer9, rjmccall, rleidle, rmitz, robots_suck, roseandsigil, rupes, rweba, sackofbob, sageofminerva, sexcellence, shalifi, sheenaqotj, shobha, simrob, skamille, skt, skydiamonde, snowgrue, sorenlundi, spinooti, ssaiscps, stepleton, stulove, styger, subpar, susancalvin, t_moss, taoflaherty, techstep, teki, telemenar, theadana, thebenedictine, thousand, tonapah, trurl, twinofmunin, tyedie, vamp_pirate, vanango, vcruiser, virgi, vystrel, waffler, whitemage, williamallthing, wjl, x77303066, xornofxorn, ywong, zare_k, zml, zorblive, zra42
Mutual Friends (211):
0436, 7a0, _tove, _wirehead_, absolution, adamch, agh, agrippa, aij, alanv, aleffert, algebraic_brain, allartburns, allwein, altamira16, amuzulo, angharad, anhem, annabuggs, annecognito, antoshakartosha, arh006, axelwolfin, azzil, bastetsguardian, beevek, betaphen, bhudson, blistex, bpr, buoren, carmiendo, catlyons, cdinwood, cdtwigg, chamois, chaoticcalamity, chrisamaphone, chrsjxn, combinator, compilerbitch, corporati, creidieki, csg87, dachte, daev, damion, dandyhighwoman, dankamongmen, demoness101, denorae, djspoons, douglasperkins, dr4b, drquuxum, dvarin, dwindlehop, easwaran, ekorber, escargonaut, etopiei, etotheipi, eub, experiment666, extensionality, fancybred, fizzbang, gaspaheangea, genuinekfc, gf2e, godfreyb, gragathaz, grammarnerd, gregh1983, groen, gustavolacerda, gwillen, haydensphere, htowsner, hvincent, indrani_prime, infryq, iole200, jccw, jcreed, jegrasso, jernst, jgrafton, joannabgroovy, jra1279, jvittes, kahare, kaniea, katica, kepod, kg4qxk, kitty_tape, klari, krasnoludek, lars_chan, leech, letters_in_sand, litebrite3e8, lizah, lli, lordm, lordspaz, mad_and_crazy, madmadammim, martinivixen, marymcglo, mdinitz, mellowcupcake, meshach, metacontext, missytas, modularformsboy, monitress, moonndragn, mpnolan, mrhappypizza, mrpeck, mygrane, myhearttohold, nascent_theory, ndave, neelk, neonsunshine, neurochemistry, nibot, nickjong, nightspore, nolacoaster, nothings, nowpicnic, nwhitehe, ofsusan, ohhim, ombrage, oren, papertygre, pepperedjane, phoebus, physics_dude, platypuslord, pluralofplural, psifenix, puuj, qatar, qedragon, ...
Also Friend of (18):
Communities [View Entries] Watching (18):
cmu_tactics, cmukgb, cslounge, ephrenology, esperanto, gamewithaname, generalists, ljnomic, ljtextadventure, muziko, nanowrimopa, paidmembers, pantsketch, pghbookclub, philadelphia, pittkiddies, skibo, skribado
Member of (13):
Feeds [View Entries] Watching (13):
