Bou.lt

Projects
Notes
Logic, the natural numbers and computability Algebra including linear algebra Real analysis, variational calculus and functionals Complex analysis Abstract algebra Analytic geometry and Euclidian space Topology
Newtonian gravity and electrostatics Special relativity, electromagnetism and general relativity Rigid body physics
Computer science, integer RISC instructions (RV64I) and building a hex and macro assembler Simple algorithms with integer addition and subtraction and arrays, decision problems, other problems, lossless compression Algorithms for integer multiplication and division, and floating point arithmetic Freestanding C, and building a C compiler in assembly then C Data structures and algorithms
Univariate probability Multivariate probability Multivariate discriminative probability including machine learning Fully-connected neural networks Univariate time series Multivariate time series Multivariate probability inference Probabilistic Turing machines and algorithms, and encryption
Statistical mechanics Quantum mechanics and quantum computing Chemistry and geology Biology Engineering Electronics Non-volatile storage: computer storage including magnetic memory (magnetic core memory, magnetic tape, floppy disks, hard drives), Semiconductor memory incuding SSD (EPROM/EEPROM/flash memory), optical memory (CD/DVD etc), FAT32
CPUs and instruction sets 2D and 3D graphics, and audio Networks Multithreading and multi-core CPUs (RV64IMFDQVA_Zicsr_Zifencei aka RV64GQV) and GPU/TPU/NPUs
RV64GQV_S, dynamic libraries, Memory Mapping Units (MMUs), Address Generation Units (AGUs), protection rings, CPU interrupts and GNU/Linux/Systemd Hosted C, compiling C code with Linux, and Basic Linear Algebra Subprograms (BLAS)Securing the system and boot process: Including encrypting systems, Logical Volume Management (LVM), trusted execution environment, secure enclave, Supervisor Mode Access Prevention, Intel Management Engine (ME) and AMD Platform Security Processor (PSP)Networks on Linux Audio and video output in Linux, and sandboxing applications Serialisation, single-node databases, Structured Query Language (SQL) and Extract-Transform-Load/Extract-Load-Transform
C++, objects, generic programming, functional programming and clang/LLVM, and transpilers JavaScript and web development Python Rust R
Other imperative languages: Fortran, Algol, Pascal Other C-family languages: Zig Scheme and Common Lisp (compiled natively), and dynamic typing Functional languages: Meta Language (ML), Caml, OCaml and Haskell Other compiled languages with runtime systems: Objective-C, Nim, Forth, COBOL, Smalltalk and Simula Communicating Sequential Processes (CSP) and actor model concurrent languages: Swift, Go C#, F#, VB.NET and mono Java, garbage collection, process virtual machines and Kotlin Other Lisp-family languages, and compiling them to VM: Racket, Clojure and Scala Communicating Sequential Processes (CSP) and actor model concurrent languages with virual machines: The BEAM VM and Erlang, Elixer, Dart (other concurrency model?)Other interpreted languages: Lua, Perl, Ruby, Julia, Octave, PHP and FreeBASIC Validating code and compilers: Coq (ocaml), compcert, hol (ocaml), isabelle, agda (haskell)Logical programming languages including ada and prolog
Reverse engineering hardware, backing up ROMs, hardware emulation including use of JIT and dynamic recompilers, and emulation of retro video game systems Reverse engineering software
Natural Language Processing (NLP) of just text, including transformers and Large Language Models (LLMs)Natural Language Processing (NLP) with text and audio Computer vision
Specific Linux distributions, system virtual machines, RV64GQVH_S, hardware-assisted virtualisation and OS-level virtualisation with Docker Distributed computing Integrated Development Environments (IDEs)Android Microsoft Disk Operating System (MS-DOS) and other non-multitasking operating systems including ZX BASIC, Classic MacOS, PC88, PC98, MSX, Machine Operating System for BBC Micro, Commadore 64
Decision and game theory General equilibrium Accounting Industrial organisation Money, banking and finance and international trade Microeconomics including information asymmetry, labour markets, externalities, public goods and subscription-based services Business Macroeconomics Public choice and government production of goods Cryptocurrencies Specific legislation and regulation Languages and packages for economics: Dynare for Octave, QuantEcon for Python/Julia, NetLogo; Mesa for Python
History Epistemology and ontology Political science and philosophy

GitHub
LinkedIn

General equilibrium

Exchange economies

Edgeworth boxes

Commodity markets

Consumer choice in one period

Consumer choice under uncertainty

Intertemporal consumer theory

Saving, stockpiling and risk-free debt

Intertemporal consumer choice

Derivative markets

Producer theory

Production and intermediate goods

The Robinson Crusoe model

Basic general equilibrium

Welfare economics

Welfare economics

SORT

Please select a chapter from the left.

Preface

This is a live document, and is full of gaps, mistakes, typos etc.