Skip to content

{ Category Archives } Uncategorized

Provable Optimization with Microsoft Z3

A few months ago, some coworkers sent around a Ruby challenge. It appears simple, but we can sometimes learn a lot from simple problems.
Write a Ruby program that determines the smallest three digit number such that when said number is divided by the sum of its digits the answer is 20.
In case that’s not clear, [...]

Tagged , , ,

What Is the Name of This Function?

There is a function I need. I know how to write it, but I don’t know if it has a standard name (like map, fold, etc.). It takes one argument — a list of something — and returns a list of 2-tuples of equal length. Each tuple contains one item from the list and the [...]

Tagged , , ,

"Test-Only Development" with the Z3 Theorem Prover

In this post I’ll introduce a style of programming which may be totally unfamiliar and perhaps a bit magical to many readers. What if you could write a unit test for a problem and have your compiler automatically return a correct implementation? Call it "test only" instead of "test first." I’m going to translate the [...]

Emerging Languages Camp Part 4: Nimrod and Dao

This is the fourth post of my notes from Emerging Languages Camp last year. If you haven’t seen it already, you might want to read the Introduction to this series.
Nimrod: A new approach to meta programming
Andreas Rumpf
Homepage · Slides · Presentation
Nimrod’s creator, Andreas Rumpf, describes the language as a statically typed, systems programming language with [...]

Tagged , , , ,

Strange Loop Crossword

I wrote a 15*15, NYT-style crossword puzzle for Strange Loop. On the NYT difficulty scale, it’s roughly a Wednesday-level puzzle. However, it was written for Strange Loop and thus does presume familiarity with functional programming and math, and has a few "inside jokes."
You can find the puzzle and the solution on the Strange Loop wiki.
Share [...]

Tagged , , ,

Delphi Developers: Go Buy CodeHealer

If you’re doing commercial Delphi development and you’re not already doing static analysis in your automated build, go buy CodeHealer now. Nick Hodges has arranged a 1/2 price special offer.
There is no good reason not to use static analysis. If you are the sort of person who doesn’t allow hints and warnings in your code, [...]

Kahn Racing Again

Philippe Kahn is once again competing in the Transpac (sailboat) Ocean race.
Share This | Email this page to a friend

Tagged ,

Columbus Give Camp

If you’re a geek in the Central Ohio area, please consider volunteering for Columbus Give Camp, if your schedule permits.
Share This | Email this page to a friend

Tagged , ,

Using jqGrid with ASP.NET MVC: Finally, A Solution

Having introduced jqGrid and written LINQ extension methods to make supplying data to the grid easy, we’re now ready to put together a demo application. The solution I’m going to build demonstrates sorting and paging. In a future post, I will enhance it to demonstrate search, formatting, and editing data. I’ve made the demo application [...]

Tagged , ,

URIs Should Be Persistent

When you are creating a new URI for a site you are building, give it a lot of thought. You should aim to design a URI which can last forever. Of course, this is not news. Jakob Nielsen said it 10 years ago. But in the intervening 10 years, we’ve gone from URIs which typically [...]

Tagged , , ,

Bad Behavior has blocked 713 access attempts in the last 7 days.