- Defense of OSR

- grad school writing sample

- a mathematical framework

- on proof and diagramming in math

- open problems in math and cs

- curry howard isomorphism

- considerations about the infinite

- about non-integered dimension quantities

- the world as [a] giant simulation and/or computer

- path deformation, univalent foundations, connection theory

- questioning counting dimensions using the naturals alone

- comments about logic and math

- comments about logic and math

- comments about connection theory

- inner semantics, semantically-closed languages, category theory

- thinking about Sophons and Trisolarians

- thinking about identity and relations

- thoughts on posthuman language and philosophy

- Handout notes on formal systems.

- A classical solution to the Liar Paradox

- Truth preservation across interpretations and logics

- Defense of OSR

- Proving theorems in LSPC

- Philosophical skepticism and warrant

- grad school writing sample

- single-value logics

- new view of semantics

- grad school notes

- for future publication and grad work

- truth, types, liskov

- some thoughts about hoare logic

- introducing logics that change

- remarks on constraint satisfaction and the liar

- dynamic sentence truth-value logic

- remarks on truth-grounding and the liar

- restrictionism and the cakuskoti

- thoughts about logical nihilism

- more remarks on thinking notation

- remarks on thinking notation

- regarding gödel's ontological proof

- thoughts about the unity of experience

- comments about logic and math

- comments about ancient forms and modern structuralism

- rebranding some ideas

- comments about logic and math

- cryptography and dimensional logics

- thinking about truth as a prosentential operator

- propositional depth, liar paradox, programming

- addressing metalogical justification and skepticism

- a few remarks

- explaining diagrams, visualization, and text apps

- axiom justification and recovering classical logic

- sketch of a new concept in logic

- conflating people and governments

- sketch of single-valued logic

- identifying a fallacy stemming from names

- thinking about identity and relations

- sketch of a spatial logic embedded into 3-space

- sketching out hdl

- additional thoughts on thinking notation

- Thinking Notation initial comments

- Thinking Notation #2 comments

- calculating right-action

- sketch of a comparative theory of truth

- is SVL reductive?

- a treatment of propositions between two logics

- summation of ideas

- Kurt Gödel's 14 posits

- Zero Order Quantum Logic

- Computer Science / Mixed algorithm(s)

- open problems in math and cs

- considerations about the infinite

- relational bundles and database design

- a general method to reduce time complexity to constant time #2

- the world as [a] giant simulation and/or computer

- Regarding the Simulation Argument

- pictorial programming

- engineering certificate

- 52 Problems Solved

- Top 2.22%

- Top 4% by reputation

- Top 80K

- 5 stars, more certs

- Guide to JavaServer Pages (JSP)

- some awesomely great sites

- relational bundles and database design

- common misconceptions about software

- Windows install notes

- useful git commands

- explaining diagrams, visualization, and text apps

- Mac install notes

- automating truth and proof

- Azure Ubuntu VM setup

- information, value, software

- HackerRank Role Certification