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:
Author: Britt AndersonThe 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.
1.2. Lean 4, Emacs, and Archlinux
Date:
Author: Britt Anderson1.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.
1.3. Haskell, Eglot, Language Servers, and Emacs
Date:
Author: Britt Anderson1.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.
1.4. Use fdm
to make your emacs-org-mode email workflow smoother
Date:
Author: Britt Anderson