serious thoughts and empty ideas | Jan-Paul Ramos | Substack

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 •

Don't abbreviate Wikipedia as Wiki

Wikipe-tan tends to reprimand foul-mouthed Wikipedians.

Dec 31, 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 •

Most Popular

What is Gradual Verification?

Dec 31, 2022 • Jan-Paul Ramos

Genderizing pets and the dangers of personal → ontological relatability

Dec 31, 2022 • Jan-Paul Ramos

Don't abbreviate Wikipedia as Wiki

Dec 31, 2022 • Jan-Paul Ramos

A brief explanation of GraphMat and Graphicionado

Dec 31, 2022 • Jan-Paul Ramos

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 •

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 •

serious thoughts and empty ideas

serious thoughts and empty ideas

meaningless philosophical undertakings

Recommendations

Astral Codex Ten

Scott Alexander

Bonnell's Thoughts

Steven Bonnell II

serious thoughts and empty ideas

About Archive Recommendations

#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