Britt Blog

Welcome to yet another Britt Blog. You can find some of my academic work in the Publications section and a bit about me as well as some of my recent thoughts in the Older Posts section below.

1. Recent Posts

1.1. Interested in a weird graduate student project?

Date: <2024-10-29 Tue> Author: Britt Anderson

The question is can we bring the language of category theory and verifiable programs to the world of cognitive modeling? To be honest, I rather doubt it, at least in the near term, but I am going to try, and I would love to have some help on this quest, but anyone contemplating it should think long and hard about the trade-offs. It will be an adventure of exploration, fun to be sure, but a risky foundation for a career. The surer path to academic stability will be to grind away in a lab that is exploiting known science to accumulate incrementally new knowledge on a socially important topic.

read full entry

1.2. Lean 4, Emacs, and Archlinux

Date: <2024-08-22 Thu> Author: Britt Anderson

1.2.1. Formalizing Cognitive Science

This is the clear goal. The path remains murky. But, inspired by the recent Topos Institute Colloquium by Will Crichton, I decided to download Lean to my computer to see if I could begin to explore it as yet another tool I will only use intermittently, if at all, in my pursuit of the "clear goal" via the process of iterative preparation.

read full entry

1.3. Haskell, Eglot, Language Servers, and Emacs

Date: <2024-04-19 Fri> Author: Britt Anderson

1.3.1. Haskell Coding in Emacs

Haskell is a programming language where the rate of development and the evolution of its tooling can make it challenging to love. But love it I do, even though in many ways it is the antithesis of Common Lisp. If the latter is a forever language it sometimes feels as if Haskell is a never language, because I spend so much time trying to figure out how to get it working (admittedly I am only an intermittent user) that by the time I am done, I never write any code.

read full entry

1.4. Use fdm to make your emacs-org-mode email workflow smoother

Date: <2024-01-22 Mon> Author: Britt Anderson

1.4.1. FDM: a tool to make an emacs email workflow smoother

2. Older Posts

3. RSS

Date: 2024-01-22 Mon 00:00

Author: Britt Anderson

Created: 2024-11-06 Wed 10:32

Validate