The Trihelical Square Tiling
This page serves as an ongoing collection of my explorations of the trihelical square tiling.
Hilly – A Toy Language for Learning Programming Language Theory
Hilly is a very simple programming language that serves to teach students about the basics of programming language theory, abstract syntax trees, functional programming, and interpreters. I recently hosted a workshop in which we walked through building the Hilly interpreter. The workshop is intended for high schoolers or early undergraduates… Read More »Hilly – A Toy Language for Learning Programming Language Theory
Tracks of Redemption, or: How I Learned to Stop Worrying and Love the B&M
A few months ago, I wrote a paper about my personal relationship with creativity and conformity in my lifelong hobby of roller coaster design. Completing the paper reinvigorated my passion for coaster design, which had been waning for some time. In the summer of 2022, I joined the official Discord… Read More »Tracks of Redemption, or: How I Learned to Stop Worrying and Love the B&M
On Creativity, Convention, and Coasters: An Introspective Endeavor
It was only a matter of time before I wrote a piece on roller coasters. I owe a lot to my professor at Stevens, John Horgan, for his guidance and mentorship in a lot of my writings over the last four years.
Commutativity Reasoning for the Heap (MS Thesis)
The publication of my thesis is available at https://www.proquest.com/docview/2681771819. I am proud to report that I have completed my thesis for my master’s in computer science at Stevens! You can see my presentation and paper below. Here’s a PDF of the slides, with some bonus slides at the end.
Foundational Principles of Computer Science
Each year, my former high school holds a computer science hackathon. I run workshops at these events, seeking to expose students to more advanced concepts in CS which I didn’t know about until college. Here’s the presentation for a workshop I did on core principles of theoretical CS which I’ve… Read More »Foundational Principles of Computer Science
The Cip System – A Formalization of Concept
Here’s a presentation I did a little while back on a proposed framework for a non-linear system of writing. Someday I’ll definitely explore these ideas further!
Autoextinction
The Fermi paradox asks why we have yet to identify any evidence of extraterrestrial civilizations despite the overwhelming likelihood that life exists in abundance across the universe. One hypothesis which reconciles this discrepancy is the Great Filter, which posits that intelligent beings are actually a rarity, because the billions-year journey… Read More »Autoextinction
A Grand Symptomatic Venn Diagram
Psychiatry occupies an amorphous place in medicine, somewhere between psychology, neuroscience, sociology, and philosophy. As our scientific understanding of the mind continues to lag behind that of the body, the diagnosis and treatment of mental illness lack the rigor one can expect in other medical disciplines which study various bodily… Read More »A Grand Symptomatic Venn Diagram
Axioms, Implications, and Detachment: Can We Really Know Anything?
There’s a rule fundamental to mathematical logic which states the following: Consider arbitrary statements P and Q which may each be either true or false. Suppose we know that 1) P being true implies that Q must be true, and 2) P is true. We may then conclude that Q… Read More »Axioms, Implications, and Detachment: Can We Really Know Anything?