serious thoughts and empty ideas
Subscribe
Sign in
Home
Archive
About
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
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
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
Most Popular
View all
What is Gradual Verification?
Dec 31, 2022
•
Jan-Paul Ramos
3
Share this post
What is Gradual Verification?
stei.substack.com
Copy link
Facebook
Email
Notes
Other
1
Genderizing pets and the dangers of personal → ontological relatability
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
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
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
New
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
serious thoughts and empty ideas
meaningless philosophical undertakings
Subscribe
Recommendations
Astral Codex Ten
Scott Alexander
B
Bonnell's Thoughts
Steven Bonnell II
Fountainhead
Homepage
Tokuhiro Kawai
Great Triambic Icosidodecahedron
Go-To News Sources
ACM Proceedings
Science
Nature
NPR
PBS NewsHour
Financial Times
The New York Times
Al Jazeera
El País
La Repubblica
Le Monde
The Chosun Ilbo
The Nihon Keizai Shimbun
Socials
Email
LinkedIn
GitHub
LessWrong
EffectiveAltruism
Twitter
Bandcamp
Letterboxd
MyAnimeList
Last.fm
Degeneracy
Manifold.Markets
serious thoughts and empty ideas
Subscribe
About
Archive
Recommendations
Share this publication
serious thoughts and empty ideas
stei.substack.com
Copy link
Facebook
Email
Notes
Other
serious thoughts and empty ideas
meaningless philosophical undertakings
By Jan-Paul Ramos
· Launched 9 months ago
Subscribe
No thanks
By registering you agree to Substack's
Terms of Service
, our
Privacy Policy
, and our
Information Collection Notice
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
