1872 index index.xml The Rabbit Hole CAIMEO 1250caimeocaimeo.xmlCAIMEOPersonStudenthttps://github.com/CAIMEOXA student interested in math, physics and computer science.Learning Programming Language Theory and Type Theory Attend in writing articles about String Theory Reading Type Theory and Formal Proof and Homotopy Type Theory Working on CommandLisp 1251aboutabout.xmlRabbit HoleAbout i\hbar \frac {\partial }{\partial t} \Psi (x, t) = \hat {H} \Psi (x, t) 1172#389unstable-389.xml What is this website about? This website is a collection of my notes and posts on various topics in computer science, mathematics, physics, and programming language theory. It is a place where I can organize my thoughts and share my understanding of these topics. I hope it can be helpful to others who are interested in these subjects. 1173#390unstable-390.xml What is the meaning of "Rabbit Hole"? The name of this website "Rabbit Hole" carries a metaphorical significance inspired by Lewis Carroll's Alice's Adventures in Wonderland, meaning to delve into a topic or pursue a line of thought that leads to unexpected or complex places. It can refer to getting deeply involved in researching a subject, exploring a particular interest, or going through a series of trees in the forest that leads to a chain of related topics. 1174#391unstable-391.xml How to navigate? This website is a “forest” created using the Forester tool. To navigate my forest, press Ctrl-K to search for specific topics or definitions. Or click the nodes to expand the trees of various subjects. A tree in Forester is associated to an unique address of the form xxx-NNNN, where xxx is the namespace and NNNN is the ID (A base-36 number of 4 digits) of the tree. The namespace implies the category of the tree node, for instance, tt for Type Theory and math for Mathematics. 1252#241unstable-241.xmlPostsCAIMEOClick to navigate my blog posts. 1254#242unstable-242.xmlNotesCAIMEONotes are usually excerpts from some books/papers I read. I try to make it as self-contained as possible. 1256projectsprojects.xmlProjectsThe programming projects I've worked on.1257proj-0001proj-0001.xmlCommand LispProjectCommand Lisp is a simplified language designed for Minecraft Bedrock Command System, characterized by a very high level of abstraction, which is also a dialect of Lisp.1258proj-0002proj-0002.xmlPure EvalProjectPure Eval was created for the VoxelGeometry project, aiming to build a compact yet powerful JavaScript functional utility toolkit.1259proj-0003proj-0003.xmlVoxel GeometryProjectVoxel Geometry is voxel geometry library which is used to construct Space (A collection of 3-dimension Vectors) and perform transformation between Spaces.1260proj-0004proj-0004.xmlMinecraft ScriptAPI wrapperProjectThese projects create Minecraft Script API wrapper for foreign language that compiles to JavaScript.ReScript PureScript Idris21261proj-0005proj-0005.xmlMoonBit CoreProjectMoonBit Core is the standard library of the MoonBit language.