serious thoughts and empty ideas

serious thoughts and empty ideas

Home
Archive
About
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.
 • 
Jan-Paul Ramos
1
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…
 • 
Jan-Paul Ramos
Don't abbreviate Wikipedia as Wiki
Wikipe-tan tends to reprimand foul-mouthed Wikipedians.
 • 
Jan-Paul Ramos
Person D believes in Statehood, "A Puerto Rico Issue"
A mostly meaningless transcript with a large language model.
 • 
Jan-Paul Ramos
A Home for Intuitionistic Type Theory in Conceptual Engineering
Through the thick philosophical forest, comes a somewhat useful tool for a somewhat useful brain.
 • 
Jan-Paul Ramos
A Home for Plausibility in Modal Logic
Yet another one of these nonsense posts...
 • 
Jan-Paul Ramos
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.
 • 
Jan-Paul Ramos
© 2025 jp
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture