serious thoughts and empty ideas
Subscribe
Sign in
Home
Archive
About
Share this publication
serious thoughts and empty ideas
stei.substack.com
Copy link
Twitter
Facebook
Email
serious thoughts and empty ideas
meaningless philosophical undertakings
By jp
· Launched a month ago
Subscribe
No thanks
By registering you agree to Substack's
Terms of Service
, our
Privacy Policy
, and our
Information Collection Notice
New
Don't abbreviate Wikipedia as Wiki
Wikipe-tan tends to reprimand foul-mouthed Wikipedians.
Dec 31, 2022
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…
Dec 31, 2022
1
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
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
1
Most popular
Genderizing pets and the dangers of personal → ontological relatability
1
What is Gradual Verification?
1
A brief explanation of GraphMat and Graphicionado
1
Don't abbreviate Wikipedia as Wiki
1
See all popular
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
Publications
POPL '23 SRC
Evaluating Soundness of a Gradual Verifier with Property Based Testing
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
Degeneracy
Manifold.Markets
serious thoughts and empty ideas
Subscribe
About
Archive
Recommendations
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts