tag:blogger.com,1999:blog-122928432024-03-15T19:10:28.185-06:00William Cook's FusingsWilliam R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.comBlogger96125tag:blogger.com,1999:blog-12292843.post-17496974614428825872020-11-10T14:21:00.000-06:002020-11-10T14:21:20.872-06:00My Favorite Restaurant In New Orleans ... no longer in businessOver the years I've told many people about my experience at Jimmy Moran's Riverside Restaurant in New Orleans. Unfortunately, this place closed many years ago. But it had AMAZING Fettuccine Alfredo (yes, I had lots of Butter, Cream, and Parmesan over the years before I was weaned). He went to Italy to learn how to make it. He would come out to your table in the dining room with all the William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-9480833541319056732020-11-10T13:48:00.000-06:002020-11-10T13:48:04.869-06:00How to get text to look the right size on Laptop and Phone, and another trick I recently tried to publish some content and found the text to be WAY too small on cell phones. So I searched the web and found this <HEAD> content that fixes the problem. Just add this tag inside your HEAD block:<meta name='viewport' content='width=device-width initial-scale=1'/>I also noticed that they added a way to create nested tree views that open and close without and William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-13031005149823956492014-03-06T08:58:00.001-06:002014-03-06T08:58:12.897-06:00Wean Yourself
I am weaned. Like most adult mammals, I don't eat dairy products. When I quit, at age 23, my face cleared up. No more pimples. Then my nose cleared up. I could smell! Then my energy level went up. I started riding my bike from Providence to Boston. I was clearly onto something. But in the mid-80s in New England it was not so easy. Now it's easy.
Dairy is not really good for you. The places withWilliam R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com3tag:blogger.com,1999:blog-12292843.post-42457136416711098552013-05-03T08:00:00.004-06:002013-05-03T08:01:54.533-06:00Declarative versus Imperative
I responded to a recent discussion Declarative vs imperative programming on the Types mailing list, but my post was rejected because of a bad mail header. By the time I got around to fixing it, the discussion was old. But for what it's worth, here are my thoughts:
------
I have been thinking about the use of the words "declarative" and "imperative" for some time. This is my William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com16tag:blogger.com,1999:blog-12292843.post-23083139466567484332013-03-22T08:38:00.002-06:002013-03-22T08:38:33.378-06:00Advice for faculty candidates interviewing at UTCS
Everybody has heard the advice that job talks must be "accessible to a broad audience". Some people take this to mean that "all of the talk must be understandable by a broad CS audience". Unfortunately this leads the speaker to remove all the depth from their talk, for fear that somebody in the audience might not understand it. The resulting talks are underwhelming.
Keshav Pingali suggested William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-34471523976612150132012-07-19T11:24:00.000-06:002012-07-19T11:24:11.072-06:00Revised definitions of object and object-oriented
I revised my proposed definition of object based on feedback, to be more general. Please put comments on the original post. I'm very interested in getting more feedback on the definition.William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com5tag:blogger.com,1999:blog-12292843.post-43723207510721608232012-07-14T15:12:00.003-06:002012-07-18T06:52:27.375-06:00The Day Functional Programming Became Pure
The definition of "functional programming" changed slowly over the last 20 years, as expressed on the Wikipedia page on Functional Programming. Perhaps the process started even earlier with John Backus's famous Turing Award lecture Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs. [Note, I have revised this to put the William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com11tag:blogger.com,1999:blog-12292843.post-59052250937276150882012-07-11T14:12:00.001-06:002013-09-15T14:53:40.413-06:00A Proposal for Simplified, Modern Definitions of "Object" and "Object
Oriented"
In this note I propose simplified, modern definitions for "object"
and "object oriented". A modern definition is needed
because we have learned quite
a bit over the last 20 years since the last time there was a concerted
effort to define objects. Due to extensive experimentation, we can
distinguish what is absolutely essential from what is common and
useful. Eliminating the William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com90tag:blogger.com,1999:blog-12292843.post-3962045556852665922012-07-09T17:46:00.000-06:002012-07-09T17:48:17.684-06:00Interesting discussion on DSLs
Discussion of Domain Specific Languages (DSL) on Lambda-the-Ultimate. Originally the discussion was sparked by a Facebook status update by Erik Meijer. But not everybody is friends with Erik, so it was not public. Please put comments on the LtU page.William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.comtag:blogger.com,1999:blog-12292843.post-54926250025201844242012-07-08T10:41:00.003-06:002012-07-09T15:16:13.947-06:00Why do North Americans not like MODELS?
Why don't North Americans (US+CA) publish work at the MODELS conference? The conference is often outside the US, but even when it is located in the US (Denver), North Americans don't publish there in great numbers. Even then, there is a higher percentage of North American papers at ECOOP, which is never located in North America. We don't like AOSD very much either.
ConferenceLocationNorth William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com9tag:blogger.com,1999:blog-12292843.post-9891679581015509492012-06-22T17:18:00.001-06:002012-07-02T14:39:19.777-06:00UML is the worst thing to ever happen to MDE/MDD
I tweeted about the relationship between UML and MDD.
There was also some discussion on StackExchange.
It has since become clear to me that UML is perfectly reasonable for
its purpose: to describe OO designs. But UML is not appropriate for
doing serious Model-Driven Development. It was OMG that tried
to connect the two, in promoting MDA. That was a mistake.
I think that DSL research has many William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-80400252985504983172012-06-12T11:52:00.002-06:002012-06-12T12:00:14.492-06:00Ensō papers
Managed Data: Modular Strategies for Data Abstraction
Alex Loh, Tijs van der Storm, and William R. Cook
Object Grammars: Compositional & Bidirectional Mapping Between Text and Graphs
Tijs van der Storm, William R. Cook, Alex Loh
Comments welcome!
William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-49308339641055418172012-04-27T22:05:00.001-06:002012-04-27T22:05:57.668-06:00Skype UI Fail
Does anybody else think the new MacOS Skype 5.x user interface is terrible? The contact list takes up a huge amount of real estate, and if you try to make it smaller, the names of your friends are shortened to 2 characters and the rest of the window is unused space. GrrrrrWilliam R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com4tag:blogger.com,1999:blog-12292843.post-61989761874759023772012-03-22T08:12:00.005-06:002020-01-30T22:23:44.727-06:00"On Understanding Data Abstraction, Revisited" referenced
My essay On Understanding Data Abstraction, Revisited (PDF with corrected figure 8) is not likely to get many academic citations, but it is mentioned frequently on the web:
Lambda the Ultimate
Jonathan Aldrich's Classic Papers
Éric Tanter's Object-Oriented Programming Languages: Application and Interpretation
Kevlin Henney's It Is Possible to Do Object-Oriented Programming in Java
Guy Steele onWilliam R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com4tag:blogger.com,1999:blog-12292843.post-53610674833601108442012-03-04T13:00:00.004-06:002012-03-04T14:19:33.040-06:00Emails with Bob HarperI ran into Bob Harper at POPL in Philadelphia. We chatted briefly in the hallway. We invariably disagree on most topics when we talk, but the conversation was pleasant enough. I enjoy talking to Bob, since he has a strong world-view and is a very smart guy. When I got home, Bob wrote me a followup note. After a few emails I noticed that he had updated his draft book, Practical Foundations for William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com7tag:blogger.com,1999:blog-12292843.post-16128785441132446102012-02-20T20:46:00.011-06:002012-02-21T07:12:52.219-06:00Dell service call... slow, confused.. but gets the job doneThis is an automated email sent from Dell Chat. The following information is a log of your session. Please save the log for your records..nobrtable br { display: none } .nobrtable td { vertical-align: top} 04:05:15 Session Started with Agent04:05:22 William: "Hi"04:05:23 Agent: "Thank you for contacting Dell XPS Premium Support. My name is XXXX and my rep ID number is #####. How may I help William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com50tag:blogger.com,1999:blog-12292843.post-22417994074925597612012-01-21T11:44:00.003-06:002012-02-21T09:31:57.942-06:00Talk at MSR on BatchesI recently gave a talk on Batches at Microsoft Research. I think them for being nice enough to host my visit and record the talk. Batches are a new approach to relational database access, remote procedure calls, and web services.A Remote Batch statement combines remote and local execution: all the remote code is executed in a single round-trip to the server, where all data sent to the server and William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com3tag:blogger.com,1999:blog-12292843.post-5341433414831923822011-11-20T12:17:00.002-06:002011-11-20T12:22:55.592-06:00A few more messages about EnsōI have been telling people that we need to work on guided synthesis over verification. I believe that guided synthesis is the only way we are going to be able to create correct programs in practice. Verification is just too hard, because you have to write the actual program, write the specification, and then develop the verification proof. Maintenance is difficult, because if any of these parts William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com2tag:blogger.com,1999:blog-12292843.post-62123382236975968332011-11-16T12:35:00.003-06:002011-11-20T12:17:08.004-06:00SPLASH 2011 videosChannel 9 interviews from SPLASH 2011.I talked with Charles Torre of Channel 9.William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-37688381715462069812011-09-27T21:09:00.005-06:002011-09-28T07:42:56.407-06:00Form-based code and Airport boulevardI have always felt that zoning regulations are an insidious evil that have caused our communities to be built in ways that are impractical and, well, unpleasant. It doesn't make sense to completely separate uses, so that we end up with huge strip malls and housing developments without shops or sidewalks. That's why I'm excited to learn about a viable alternative, called form-based code. The idea William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com1tag:blogger.com,1999:blog-12292843.post-78163948974753222272011-09-18T08:21:00.006-06:002011-09-18T08:36:15.086-06:00The Irrationality of the American Home BuyerAustin recently started conversion of its old Mueller airport into a housing development. There are some things right about it: mixed use, public space. But the actual houses are crazy. Look at this photo:(Thanks Google!)Note that it has huge stand-alone houses that almost completely cover the available space. The alleys are a nice touch, but they aren't very efficient in terms of space. The William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com4tag:blogger.com,1999:blog-12292843.post-40455519538292967272011-09-09T07:53:00.007-06:002011-09-09T08:04:49.793-06:00How to Teach, Write, and Deploy a Partial Evaluator to a Million People in 24 HoursOn Tuesday I gave a tutorial on partial evaluation, called "Build your own partial evaluator in 90 minutes" at the working conference on domain specific languages (DSL 2011) in Bordeaux. The lecture notes benefited greatly by help from Ralf Lämmel. I've given this talk a few times before, but have not suggested that the audience actually implement a partial evaluator during the tutorial, as I didWilliam R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com2tag:blogger.com,1999:blog-12292843.post-41795785328228014722011-07-30T17:18:00.004-06:002011-07-30T17:23:40.096-06:00Facebook InsecurityI recently found out that Facebook is incredibly easy to hack. It allows you to access the reset password page without any email confirmation, and it also does not let you modify your security question. Facebook had better do something about this, especially given that Google+ is now going after them. Please go to this Facebook FAQ page and tell that that the answer is not helpful.Facebook FAQs William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com1tag:blogger.com,1999:blog-12292843.post-19573684785934125592011-06-28T08:06:00.001-06:002011-06-28T08:07:46.652-06:00Ensō GrammarsI posted a message recently to the Ensō blog about grammars.William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0tag:blogger.com,1999:blog-12292843.post-77471140461004908142011-05-21T07:43:00.003-06:002011-05-21T07:44:22.557-06:00Ensō DataI've been busy working on Ensō, but took time out to write something about what we are doing. This post introduces the Schema Schema. Next I'll talk about grammars...William R Cookhttp://www.blogger.com/profile/13627036863243572742noreply@blogger.com0