User Profile
Add Friend
Track User
Send V-Gift
Fly, fly, balloon man. Savor the Void!
Created on 2002-01-12 11:50:13 (#436805), last updated 2009-07-11
16,672 comments received, 8,806 comments posted
Permanent Account
4,981 Journal Entries, 542 Tags, 1 Memory, <10 ScrapBook Files, 0 Virtual Gifts, 22 Userpics
| Name: | Jason |
|---|---|
| Birthdate: | 1980-10-14 |
| Location: | Pittsburgh, Pennsylvania, United States |
| Website: | http://jcreed.org/ |
Contact:
jcreed+lj@andrew.cmu.eduSolomon 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. Now all is a blur of type theory and meat.
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. Now all is a blur of type theory and meat.
Interests (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
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 - present)
Friends [View Entries]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
0436, 7a0, _tove, _wirehead_, absolution, adamch, agh, agrippa, aij, alanv, aleffert, algebraic_brain, allartburns, allwein, 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, lingboy, 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, ...
Communities [View Entries]cmu_tactics, cmukgb, cslounge, ephrenology, esperanto, gamewithaname, generalists, ljnomic, ljtextadventure, muziko, nanowrimopa, paidmembers, pantsketch, pghbookclub, pittkiddies, pittsburgh, skibo, skribado
Feeds [View Entries]