# Solving Sudoku via SAT with Mathematica

Introduction A popular problem to write a program for is a Sudoku puzzle solver.  Sudoku puzzles are relatively simple timewasters that many of us have solved on airplanes on paper and pencil (or pen if one is brave).  The basic concept of a Sudoku puzzle is that one has a 9x9 grid that is broken … Continue reading Solving Sudoku via SAT with Mathematica

# Comparing trees, functionally

In searching for ideas to write about for the F# advent calendar this year, it dawned on me that it was appropriate to write something about trees given the time of year. One of the big attractions to functional programming for me is the clear conceptual mapping from abstract algorithm to code I personally find … Continue reading Comparing trees, functionally

# Satellite trail identification in GalaxyZoo images

Last year I attended the .dotastro 5 conference in Boston (and I will be at the successor, .dostastro 6 this year in Chicago). It was a really fun conference to attend, since astronomy is a field I'm trying to eventually be able to contribute to in a non-amateurish way. Coming from the computational side of … Continue reading Satellite trail identification in GalaxyZoo images

# Basic astronomy databases with FSharp

This is a short post about a small experiment migrating some Python code for working with astronomical databases to FSharp.  The basic task that I want to perform is to take an object identifier for an object from the Sloan Digital Sky Survey (SDSS) DR10 and look up what it is known to be. For … Continue reading Basic astronomy databases with FSharp

# How do programs change over time?

Jason Dagit and I recently wrote a paper that got accepted at the "DChanges 2013" workshop in Florence, Italy this September.  Alas, I didn't get to attend since I had to be at another conference at the same time.  Jason had to endure a trip to Italy solo - which, I'm sure was a huge … Continue reading How do programs change over time?

# Finding dents in a blobby shape

Recently someone on a forum I read on researchgate.net posted a question: given some blobby shapes like: How do we find the number of indentations in each shape?  A few years ago I was doing work with microscope slide images looking at cells in tissue, and similar shape analysis problems arose when trying to reason … Continue reading Finding dents in a blobby shape

# Updates coming for out-of-date public code

For anyone who has read any of my blog posts from the last couple years and tried to run the code unsuccessfully, this is my fault.  I didn't include proper cabal files with each program to ensure that you had the right versions of the libraries they depend on when you try to build them. … Continue reading Updates coming for out-of-date public code