Archive - serious thoughts and empty ideas

May 2023

A Home for Intuitionistic Type Theory in Conceptual Engineering

Through the thick philosophical forest, comes a somewhat useful tool for a somewhat useful brain.

May 23, 2023 •

December 2022

Genderizing pets and the dangers of personal → ontological relatability

Is it safe to refer to our animals as "he/she"? I am not an expert in Gender studies nor Psychology nor Animal rights nor anything. Just a humble…

Dec 31, 2022 •

Don't abbreviate Wikipedia as Wiki

Wikipe-tan tends to reprimand foul-mouthed Wikipedians.

Dec 31, 2022 •

A brief explanation of GraphMat and Graphicionado

This post was copy pasted from my previous site, apologies for any inconsistency in formatting, but we all have to start somewhere.

Dec 31, 2022 •

What is Gradual Verification?

This post was copy pasted from my previous site, apologies for any inconsistency in formatting, but we all have to start somewhere.

Dec 31, 2022 •

#nojs-banner { position: fixed; bottom: 0; left: 0; padding: 16px 16px 16px 32px; width: 100%; box-sizing: border-box; background: red; color: white; font-family: -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol"; font-size: 13px; line-height: 13px; } #nojs-banner a { color: inherit; text-decoration: underline; } This site requires JavaScript to run correctly. Please turn on JavaScript or unblock scripts