main is usually a function

char* main = "usually a programming blog";

Tuesday, September 28, 2010

yices-easy: Simple SAT / SMT solving for Haskell

›
NP is the new P In school I learned that NP-complete problems are intractably hard, chief among them Boolean satisfiability (SAT). My mind...
28 comments:
Sunday, September 26, 2010

View patterns for validation

›
GHC's ViewPatterns extension has a lot of unexpected uses. One that I've found recently is input validation. {-# LANGUAGE ViewPatt...
14 comments:
Saturday, September 25, 2010

GHCi and Cabal

›
Maybe I'm the only one who didn't already know this, but I'd like to describe how to use GHCi within a Cabal project under devel...
8 comments:
Friday, September 24, 2010

clogparse: parsing #haskell IRC logs

›
The #haskell IRC channel on Freenode has archived logs going back to late 2001. That's a lot of data: over 10 million lines, almost 7...
12 comments:
Thursday, September 23, 2010

Executing a ByteString

›
Why not! {-# LANGUAGE ForeignFunctionInterface #-} import Foreign ( FunPtr, withForeignPtr, castPtrToFunPtr ) import System ( getArgs ) i...
19 comments:
Tuesday, September 21, 2010

crystalfontz 0.1

›
I've uploaded a Haskell library for talking to Crystalfontz LCD displays -- specifically, the one model that I own. If you have a diff...
23 comments:

jspath 0.1

›
I've uploaded the first version of jspath , a small library which traverses JSON structures to extract substructures matching a path.
16 comments:
‹
›
Home
View web version

About Me

keegan
View my complete profile
Powered by Blogger.