We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
User:Ukeharu
Introduction
Heyo! I'm Haruka (just call me Haru) :D
I'm currently reading a double degree in Pure Mathematics and Philosophy (interrupted by conscription). I'm interested in mathematical and philosophical logic, formal semantics, epistemology, theories of meaning, ontology of objects, logical metaphysics, and philosophy of mathematics.
My Esolangs
Splaytime: a Turing-complete esolang using splay trees and loosely based on Brainfuck.
Contact and Websites
(Academic links have my deadname)
Discord: @shouharuka
Youtube: https://www.youtube.com/@shouharuka
ORCID: https://orcid.org/0009-0004-9227-796X
ResearchGate: https://www.researchgate.net/profile/[deadname]-49
PhilPeople: https://philpeople.org/profiles/[deadname]