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.
- Apologia on various random conventional choices I've been forced to make
- Numerical Analysis (topics) for all my computational needs
- Literate Programming is one method to programming, as espoused by Donald Knuth
- Lisp (topics) the second-oldest language around, is my preferred language
for programming most things
- Lisp Machine lore (topics), partial history, sketchy and incomplete specifications
- Multiple Dispatch for multimethods, which can be implemented in various different ways
- Generic Arithmetic using multimethods for overloading operators
- Making a Lisp - Preliminaries with implementing the base types
- Scheme (topics) dialect of Lisp
- Raspberry Pi log - just documenting what I've done to my RPi
- TeX and LaTeX notes
- Computer Algebra
- Geography on a computer discussing how to encode a planet's geography on the computer
- Blub languages
- FORTRAN (topics) the language used for scientific computing and numerical analysis
- C Programming Language
- Julia a curious language
Adjuncts to "Making a Lisp"
- JVM notes
- Garbage Collectors
- NaN-Boxing for storing pointers in a
NaN - Assembly Language
Theorem Provers
Theorem provers are a fascinating topic, which I love, so here's random notes.
- Abstract Machines (topics) as virtual machines for functional programming
languages, began originally as pen-and-paper models of computer hardware
- SECD Machine the primordial abstract machine which started it all
- Categorical Abstract Machine
- Functional languages
- Standard ML (topics) the first "real" statically-typed functional programming language
- Haskell, the self-proclaimed purely functional programming language
- On Theorem Provers (topics)
Web Programming
- Mithril.js for SPA