Posts

August 6, 2024 A Basic Inductive Type Comparison: Rust, Lean, C, C++
June 24, 2024 Embedding, Jai, and Joy (Jai Part 2)
June 23, 2024 Simplicity, Jai, and Joy (Jai Part 1)
June 11, 2024 Inference Rules in Peirce's Alpha Existential Graphs (Part 2)
April 11, 2024 Formalizing The Singularizing Properties Problem
March 29, 2024 The Law of Excluded Middle Does Not Imply the Axiom of Choice
March 18, 2024 Golfing Rozek's Lean4 Tutorial
February 18, 2024 Proving the Correctness of Insertion Sort in Lean4
January 4, 2024 Worldbuilding Formal and Aesthetic Magic Systems: A Logicist Mage’s Manifesto
November 3, 2023 Anticode: A Good Minimalist Code Of Conduct for Small Open Source Projects
October 30, 2023 Inference Rules in Peirce's Alpha Existential Graphs (Part 1)
October 3, 2023 A First Look at a Formal Notion for AEG Subgraphs
August 20, 2023 Basic Properties of Peirce's Alpha Existential Graphs
July 31, 2023 Propositional Logic in Peirce's Alpha Existential Graphs