posted on 2010-07-18 01:56:03It's bedtime here but I couldn't help but post this quote by kragensitaker from reddit. I've always meant to get around to writing an explanation of why I think Computer Science is a lovely discipline. This addresses it in a very different way than I was hoping to but absolutely merits posting here.
Well, a thousand years ago, geometry was the field holding those special secrets. Computers are just the automation and generalization of geometry. Everything except that generalization of geometry (now known as "mathematics") is contingent on the physical universe we happen to inhabit.
The most remarkable thing about all of this is that apparently that physical universe can be simulated, analyzed, and even predicted with mathematics. So, too, with all the universes we can imagine. And of course this is much easier to do with automated mathematics.
So a computer is not just a machine; it's not just a machine that imitates other machines; it's not just a machine with a universe in it; it's a machine with all possible universes in it.
Of course, this is not somehow discontinuous with the multi-millennium discipline of geometry, or for that matter writing and arithmetic. It's merely the current step.
That's part of what makes it such an extraordinary field, to me, and makes the bullshit worthwhile.
There's also, though, the human side. Computers are not merely simulators; they are also communicators, through which we can diffuse universal access to human knowledge. This is an educational and liberal achievement unparalleled in human history. The dream of Diderot is less and less a dream and more and more a reality. And thus even PHP is forgiven.
posted on 2010-07-01 06:06:01At over 5 weeks, this may be a new record for time without posting to this blog. That's okay though. I've had more important things to do lately.
On a cold night
We lay down
Spend our whole life
Til the last time,
This blog covers consumption, XKCD, programming, linux, Xmas, Education, injustice, Quotes, metapost, milosz, Webcomic, 2015, Uncategorized, creation, Lessig, Discrete Math, Operating Systems, ragequit, Milosz, Gapingvoid, C, Pics, Poetry, Lists, Neruda, recreation, Erlang, work, careers, Programming, poetry, apple, Project Euler, Lecture, Open Source, Books, LISP, melee, Music, Essay, goals, strangeloop, Gaming, fqa, IP Law, Butler, HTDP, Personal, Linkpost, games, heroes, rip, \"Real World\", Hardware, adulthood, Displays, MPAA, personal, Self-Learning, Linux, Programming Languages, Dad, math, Reddit, SICP, lisp, coleslaw
View content from 2007-06, 2013-06, 2015-05, 2011-07, 2010-04, 2010-09, 2009-04, 2008-04, 2009-07, 2009-09, 2008-01, 2007-12, 2012-10, 2007-08, 2008-10, 2012-01, 2011-01, 2009-11, 2008-02, 2014-01, 2009-10, 2009-05, 2015-03, 2010-01, 2013-04, 2007-10, 2011-04, 2008-07, 2010-07, 2007-11, 2008-03, 2009-06, 2011-02, 2008-11, 2013-05, 2009-08, 2015-02, 2011-09, 2008-12, 2013-03, 2011-05, 2012-04, 2012-05, 2009-12, 2009-03, 2013-01, 2012-03, 2008-06, 2007-05, 2011-08, 2014-09, 2013-09, 2012-09, 2010-10, 2009-01, 2008-05, 2009-02, 2007-07, 2010-03, 2012-08, 2010-02, 2014-07, 2012-12, 2007-09, 2012-06, 2013-07, 2008-08, 2014-11, 2011-10, 2010-05, 2010-11, 2015-01, 2013-10, 2014-05, 2011-06, 2015-09, 2008-09, 2010-08