tag:blogger.com,1999:blog-8245480Fri, 16 Oct 2009 14:30:40 +0000Random notes and stuffhttp://www.sdowney.org/noreply@blogger.com (Steve Downey)Blogger50125tag:blogger.com,1999:blog-8245480.post-1821400097221001674Thu, 15 Oct 2009 22:06:00 +00002009-10-16T10:30:40.225-04:00These are the exercises from chapter 3 ofReal World Haskellby Bryan O'Sullivan, Don Stewart, and John Goerzen> module RWHChapter3 where{-# OPTIONS_GHC -XMagicHash #-}Some useful things to check my work:> import Test.QuickCheck> import Data.List> import GHC.Prim> import GHC.Base1) Write a function that computes the number of elements in a list. To test it, ensure that it gives the same answers as http://www.sdowney.org/2009/10/these-are-exercises-from-chapter-3-of.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-2182762123769090179Thu, 01 Oct 2009 02:21:00 +00002009-09-30T22:24:38.519-04:00If I set the up correctly, I can now embed mathematical formulas in my blog:\int_{0}^{1}\frac{x^{4}\left(1-x\right)^{4}}{1+x^{2}}dx=\frac{22}{7}-\pihttp://www.sdowney.org/2009/09/testing-embedded-tex.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-6329911471280093865Thu, 02 Jul 2009 23:55:00 +00002009-07-02T19:55:15.593-04:00http://www.sdowney.org/2009/07/oops.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-6956034111805870232Thu, 30 Apr 2009 23:17:00 +00002009-04-30T19:26:02.257-04:00 A D A E A ------10-8---------10-8--------10-8--------10-7--------10-8--------8------10----8------11---8------10---7------10---8------10---9-----------10-----------9-----------9-----------9----------------------------------------------------------------------------------------------------------------------------------------------------------------http://www.sdowney.org/2009/04/tabbed-working-notes.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-4916265101978830115Tue, 04 Nov 2008 22:37:00 +00002008-11-04T17:49:21.564-05:007:00 PM         Georgia         157:00 PM        Indiana        117:00 PM        Kentucky 87:00 PM        South Carolina 87:00 PM         Vermont        37:00 PM        Virginia 137:30 PM        North Carolina 157:30 PM        Ohio        207:30 PM        West Virginia 58:00 PM        Alabama        98:00 PM        Connecticut 78:00 PM        Delaware 38:00 PM        Floridahttp://www.sdowney.org/2008/11/electoral-votes-and-poll-closing-times.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-2628071920819098954Thu, 18 Sep 2008 22:13:00 +00002008-09-18T18:16:13.318-04:00Take a picture of yourself right now.don't change your clothes, don't fix your hair...just take a picture.post that picture with NO editing.post these instructions with your picture.'Trying to operatate an iPhone backwards makes me frown.http://www.sdowney.org/2008/09/eeeep.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-850838731191556869Fri, 01 Feb 2008 03:19:00 +00002008-01-31T22:20:01.315-05:00http://www.sdowney.org/2008/01/email-check.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-5410866798530835005Tue, 18 Dec 2007 04:05:00 +00002007-12-17T23:30:04.135-05:00This is the shelter we stayed in. The high pitched roof helps keep the heat in, and the rain out. And the snow, although that mostly melted.This was the point of the whole trip. A garbage can cooked turkey to share with friends and family. The can acts as an oven, with the charcoal providing way more than enough heat to cook the bird, which is impaled on a stake, holding it vertically in the http://www.sdowney.org/2007/12/camping-this-last-weekend-at-west-hills.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-7632177221618464680Mon, 26 Nov 2007 16:52:00 +00002007-11-26T15:18:23.830-05:00"my office looks like a bookstore exploded in it, and then an electronics store was dropped on it to smother the flames." - J.Scalzihttp://scalzi.com/whatever/?p=152The books are all triple stacked, and there are several more shelves surrounding the room....http://www.sdowney.org/2007/11/office-1-me-0.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-4028064186532329486Thu, 19 Apr 2007 07:01:00 +00002007-04-19T03:02:35.752-04:00http://www.sdowney.org/2007/04/i-win.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-9185080022711669491Wed, 18 Apr 2007 01:21:00 +00002007-04-17T23:35:39.772-04:00So I bought it. And there was at least one more face out copy, besides the one you see here.And this is where I bought it:Penn Books on the LIRR Level of Penn Station. Small store, but many shelves of SF, particularly if you know to look under the display table across from the main set of shelves. The staff are outstanding. I got the first recommendation for Vinge's Rainbows (sic) End there. http://www.sdowney.org/2007/04/this-is-where-i-bought-it.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-8380379868899993486Mon, 19 Feb 2007 03:22:00 +00002007-02-18T22:23:08.512-05:00 Using the Standard C++ Library in a Functional style. The standard C++ library offers a number of algorithms that have nearly exact analogues in functional languages, and are used in almost the same way. In particular std::accumulate and std::transform are powerful, and very general, algorithms. In functional programming literature, accumulate is usually referred to as fold, or foldl, and http://www.sdowney.org/2007/02/using-standard-c-library-in-functional.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-3516372964314343704Wed, 07 Feb 2007 03:19:00 +00002007-02-07T01:58:54.592-05:00Since it really is an aha! moment, the best I can do is tell you what led me to it, and hope that helps.There is a difference between partial application and currying that most experts ignore, because they already understand, but they lie in wait ready to tell you that you have it all wrong.And you won't understand because the concepts are >that<>I'll start with Haskell syntax for the type of a http://www.sdowney.org/2007/02/what-is-currying-aha-moment.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-6926388774737388595Fri, 02 Feb 2007 05:17:00 +00002007-02-18T21:53:02.404-05:00IntroductionC++ is known to be a multi-paradigmed language. This is often construedto mean you can program in both a procedural and and object orientedstyle. This is too limiting a view. C++, particularly with modernlibrary support, is more than capable of supporting programming inthe functional style. Even without modern libraries like boost, orstd::tr1, the Standard Template Library embodies http://www.sdowney.org/2007/02/functional-programming-in-c-part-1.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-6324510139016716043Wed, 24 Jan 2007 04:08:00 +00002007-02-02T00:17:30.865-05:00OK, with that title, I'm sure to please almost no one. If you want to know how to do REST-ful programming in Haskell, or tie REST to C++, move along, there's nothing to see here. The connection isn't at the implementation level. Which is the whole point.So what do REST, Monads and (successful) Template Metaprogramming have in common?Strict maintenance of levels of abstraction, and extremely http://www.sdowney.org/2007/01/monads-rest-and-c-template.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-180859734303962906Sat, 20 Jan 2007 05:29:00 +00002007-01-20T00:29:14.347-05:00ohyesof coursei had forgottenmy god, it's full of starshttp://www.sdowney.org/2007/01/rest-in-peace-robert-anton-wilson.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-114352108032341322Tue, 28 Mar 2006 04:31:00 +00002006-04-10T00:37:56.793-04:00I'm working through Types and Programming Languages, by Benjamin Pierce.I'm up to somewhere around chapter 13, References, but it's starting not to make sense. Which means it's time to back up and do more of the work, instead of just nodding as though I really understand it.One of the things he does is build typecheckers for the languages he describes, in the language ocaml, or Objective Caml, a http://www.sdowney.org/2006/03/types-and-programming-languages.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-114288872015458034Mon, 20 Mar 2006 20:42:00 +00002006-03-20T18:48:44.550-05:00This weekend's tech project was getting an old Sun Ultra 5 up and running with a new version of Solaris, in this case Solaris Nevada b33, so I can play with toys like opensolaris, dtrace, zfs,etc.This particular machine doesn't have a cdrom, so in order to get things working I had to do a network install. Or I could have installed a cdrom, since it's an IDE based machine, but that wouldn't have http://www.sdowney.org/2006/03/solaris-network-install-using-linux.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-114048517825971538Tue, 21 Feb 2006 01:13:00 +00002006-02-20T20:26:18.303-05:00Brewer: Steve Downey - Beer: February Ale Style: American Amber Ale Type: All grain Size: 5.5 gallons Color: 13 HCU (~9 SRM) Bitterness: 38 IBU OG: 1.052 FG: (Est) 1.012 Alcohol: 5.2% v/v (4.1% w/w) (Estimated) Grain: 2 lb. Weyermann Dark Wheat10 lb. Weyermann Vienna1 lb. Weyermann Cara Amber Mash: 60% efficiencyhttp://www.sdowney.org/2006/02/brew-day.htmlnoreply@blogger.com (Steve Downey)2tag:blogger.com,1999:blog-8245480.post-113985586595708628Mon, 13 Feb 2006 18:37:00 +00002006-02-13T19:56:20.833-05:00Bill de hÓra: I think I figured out the list comprehensions thing...I've been trying to understand this stuff myself, and Bill de hÓra's post has prodded me to write this down so I won't forget it again.List comprehensions are really just syntatic sugar. And too much syntatic sugar can cause truth decay.List comprehensions are forms in functional and related languages that allow you to generate http://www.sdowney.org/2006/02/bill-de-hra-i-think-i-figured-out-list.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-113875389070530712Wed, 01 Feb 2006 00:31:00 +00002006-01-31T19:33:29.816-05:00This is me at the end of the day, playing with Blogger's new mobile posting feature, and my new cell phone camera.http://www.sdowney.org/2006/01/picture-of-me-at-end-of-day.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-113875250149230345Wed, 01 Feb 2006 00:08:00 +00002006-01-31T19:08:21.493-05:00OktAle / NovemberfestI finished up the keg this week. That was pretty fast, for me. I usually end up with a few stray bottles of a brew hanging on forever. But, since the keg is really all or nothing, I just finished it up. The only down side is that I don't have another brewing at the moment. I'll have to get to work on that this weekend. Probably a basic Pale Ale, consisting of whatever they http://www.sdowney.org/2006/01/oktale-novemberfest.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-113863835340234386Mon, 30 Jan 2006 16:25:00 +00002006-01-31T19:02:35.050-05:00Waterfall 2006 - International Conference on Sequential DevelopmentJust what we need. A solid return to the successful development practices of the early 80's. The Waterfall development model, with emphasis on design up front, deliberate handoff between phases, a separate QA team, and producing extensive documentation at all times, is ripe for a comeback.http://www.sdowney.org/2006/01/waterfall-2006-international.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-113825297610694012Thu, 26 Jan 2006 05:22:00 +00002006-01-26T00:22:56.146-05:00template metaprogramming - Google Searchgoddamnit - there ought to be more people who know more about template metaprogramming than I do by now. And Todd Veldhuizen was someone I cribbed notes from when I wrote that article. The Boost MPL stuff is excellent. Why aren't there another dozen links talking about it?http://www.sdowney.org/2006/01/template-metaprogramming-google-search.htmlnoreply@blogger.com (Steve Downey)0tag:blogger.com,1999:blog-8245480.post-113806492575485389Tue, 24 Jan 2006 01:08:00 +00002006-01-23T20:08:45.800-05:00Google Mobile - Personalized HomeWay cool. More neat stuff on my mobile phone.http://www.sdowney.org/2006/01/google-mobile-personalized-home.htmlnoreply@blogger.com (Steve Downey)0