- Stochastic Music with Band-Pass Filters, 3: Hydrogen Emission Spectra
Mar 20, 2023

- Stochastic Music with Band-Pass Filters, 2: Resonance Acoustics
Mar 20, 2023

- Stochastic Music with Band-Pass Filters, 1: Ideas
Mar 18, 2023

- Entropy, Information, Dynamical System and Non-Standard Analysis
Mar 13, 2023

- D. A. Lavis, the Concept of Probability in Statistical Mechanics
Mar 11, 2023

- Thermodynamics and Information Theory
Mar 11, 2023

- Cleaning up confusions in logic and formal theories
Mar 10, 2023

- PLFA: Equality
Mar 9, 2023

- PLFA: Relations
Mar 3, 2023

- PLFA: Induction
Mar 2, 2023

- PLFA: Naturals
Mar 2, 2023

- Leisure Readings
Mar 6, 2023

- Lawvere, Adjointness in Foundations
Feb 17, 2023

- The Early Universe
Mar 13, 2023

- Equalities in Type Theory
Feb 14, 2023

- Short Notes on Various Papers, 2023
Mar 11, 2023

- Grand Cosmic and Natural History
Feb 15, 2023

- Rendering $E_8$-Root Polytope
Feb 11, 2023

- Resources on Agda
Mar 2, 2023

- Axiom of Choice
Jan 28, 2023

- Language, Logic and Theories of Meaning
Feb 15, 2023

- Messin' around Monad
Feb 22, 2023

- Remarks on Categorical Logic
Feb 12, 2023

- Gap-fillings for some theorems in mathematics textbooks
Feb 7, 2023

- Old Quantum Theory 3: Atomic Spectra
Dec 12, 2022

- Old Quantum Theory, Special: Algebra of observables from convolution
Dec 9, 2022

- Mathematica: Time Dependent Navier-Stokes
Dec 9, 2022

- Old Quantum Theory 2: Light Quanta
Dec 8, 2022

- Mathematica: Special Functions Visualization
Dec 8, 2022

- Index Theory 0: Overview
Dec 7, 2022

- Old Quantum Theory 1: The Black Body Radiation Law
Dec 6, 2022

- Mathematica: Nonlinear Oscillation of a Pendulum
Dec 6, 2022

- Cybernetics, Consciousness and Metasystem Transition
Dec 12, 2022

- Readings on William Lawvere's Work
Nov 9, 2022

- Readings on Per Martin Loef's Work
Nov 9, 2022

- Short Notes on Various Papers, 2022
Nov 12, 2022

- Quantifier as Adjoints
Jul 21, 2022

- Notes and comments on 'Axiomatic Methods and Category Theory' by Andrei Rodin
Jul 21, 2022

- Against Realism
Jul 21, 2022

- Personal Recommendation Library
Jul 21, 2022

- Intuitionism
Jul 21, 2022

- Short Reviews
Feb 24, 2023