serious thoughts and empty ideas

serious thoughts and empty ideas

Home
Archive
About
A Home for Plausibility in Modal Logic
Yet another one of these nonsense posts...
Mar 3, 2024 • 
Jan-Paul Ramos
1
Person D believes in Statehood, "A Puerto Rico Issue"
A mostly meaningless transcript with a large language model.
Mar 3, 2024 • 
Jan-Paul Ramos
1

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 • 
Jan-Paul Ramos
1

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 • 
Jan-Paul Ramos
2
Don't abbreviate Wikipedia as Wiki
Wikipe-tan tends to reprimand foul-mouthed Wikipedians.
Dec 31, 2022 • 
Jan-Paul Ramos
2
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 • 
Jan-Paul Ramos
1
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 • 
Jan-Paul Ramos
3
1
© 2025 jp
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture