Freako’s Folley

We`ve relocated to the Berkshires.

2023-04-22T17:29:00+00:00

Wendy & I have relocated to the Berkshires. Specifically, we’ve landed in Lenox, MA. And we love it! The town’s motto is: Where city culture meets country living. And it couldn’t be more apt. It’s a wonderfully sleepy town of 5,000 people, but sporting several upscale restaurants, botiques, coffee houses, and even a French patisserie!

We see the sun set over the Berkshires from our living room window and it’s beautiful!

You should really come visit. :)

Chess game written in Haskell.

2023-04-21T17:49:00+00:00

I needed a short distraction and was jonezing to write some Haskell again. So, I wrote a simple (and not very good) Chess program.

I’d love to hear thoughts on how to make the board evaluation heuristics more performant. I’ve gone through several rounds of profiling/improving the code, now, but can’t seem to get useful performance beyond 3 move look-ahead. :(

Getting back on the Agda horse.

2022-02-23T02:05:00+00:00

I recently reengaged w/ a wonderful band of hackworthy humans doing some very cool things in Agda. I needed to dust off my Agda coding skills and remember how to interact w/ its proof assistant and needed a focal point. Just before leaving my last job, we’d been reading Conal Elliott’s The Simple Essence of Automatic Differentiation. So, I decided that I’d try proving some of the isomorphisms Conal reveals in that paper, in Agda.

You can view my work here: Agda Proofs.