Archive for November 19, 2002
The Point of (Any) Semantics
Lambda links to a posting by Schemer Matthias Felleisen about the usefulness of formal semantics in building programming language systems. As an aside, The Types Forum looks like a great resource. It’s moderated by the author of what I’ve heard is an excellent new types book.The Evil That Is the DMCA
Adam Engst writes about the Digital Millennium Copyright Act for TidBITS:
What we’re seeing here is how the DMCA in essence props up the status quo, denying that legitimate research could be done outside the halls of academia or a company’s R&D department. Left on the outside are the crazy ones, the misfits, the rebels, the troublemakers... oh hell, go read the rest of “Here’s to the crazy ones” from Apple’s Think Different ad campaign for yourself. Whether we’re talking about Apple’s target audience or the open source community that has had Microsoft running scared is immaterial. The point is that the DMCA, supported by this court ruling, prevents that sort of person from doing anything that’s not sanctioned.