serious thoughts and empty ideas
Subscribe
Sign in
Home
Archive
About
New
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
•
Jan-Paul Ramos
1
Share this post
A Home for Intuitionistic Type Theory in Conceptual Engineering
stei.substack.com
Copy link
Facebook
Email
Notes
Other
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
Share this post
Genderizing pets and the dangers of personal → ontological relatability
stei.substack.com
Copy link
Facebook
Email
Notes
Other
Don't abbreviate Wikipedia as Wiki
Wikipe-tan tends to reprimand foul-mouthed Wikipedians.
Dec 31, 2022
•
Jan-Paul Ramos
2
Share this post
Don't abbreviate Wikipedia as Wiki
stei.substack.com
Copy link
Facebook
Email
Notes
Other
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
Share this post
A brief explanation of GraphMat and Graphicionado
stei.substack.com
Copy link
Facebook
Email
Notes
Other
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
Share this post
What is Gradual Verification?
stei.substack.com
Copy link
Facebook
Email
Notes
Other
1
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
