\( \DeclareMathOperator{\tr}{tr} \newcommand\D{\mathrm{d}} \newcommand\E{\mathrm{e}} \newcommand\I{\mathrm{i}} \newcommand\bigOh{\mathcal{O}} \newcommand{\cat}[1]{\mathbf{#1}} \newcommand\curl{\vec{\nabla}\times} \newcommand{\CC}{\mathbb{C}} \newcommand{\NN}{\mathbb{N}} \newcommand{\QQ}{\mathbb{Q}} \newcommand{\RR}{\mathbb{R}} \newcommand{\ZZ}{\mathbb{Z}} % For +---- metric \newcommand{\BDpos}{} \newcommand{\BDneg}{-} \newcommand{\BDposs}{\phantom{-}} \newcommand{\BDnegg}{-} \newcommand{\BDplus}{+} \newcommand{\BDminus}{-} % For -+++ metric \newcommand{\BDpos}{-} \newcommand{\BDposs}{-} \newcommand{\BDneg}{} \newcommand{\BDnegg}{\phantom{-}} \newcommand{\BDplus}{-} \newcommand{\BDminus}{+} \)
UP | HOME

Computer Science

Overview

Computer science has emerged into a sprawling field. Although I am trying to focus on numerical analysis (to think further about solving math and physics problems), the entire domain of programming and computer science are rather fascinating.

Right now, I am working my way through the scmutils library used in The Structure and Interpretation of Classical Mechanics. As I read through it, I'm thinking about how to implement the algorithms in Common Lisp.

Adjuncts to "Making a Lisp"

Theorem Provers

Theorem provers are a fascinating topic, which I love, so here's random notes.

Web Programming

Last Updated: Tue, 5 Nov 2024 09:01:07 -0800