Anurag Mishra
Drawn to the “why” behind the “how.” This space documents my learning at the intersection of mathematical reasoning and modern software engineering.
The Philosophy of Formal Syntax
I believe that the best software isn’t just “written”—it is proven.
Modern web development often moves too fast, sacrificing fundamental understanding for temporary convenience. Formal Syntax is my attempt to slow down and document the mathematical foundations of technology. To me, Syntax is the structure, and Formal is the rigor.
What I’m Learning & Building
I treat this site as a public notebook—a place to think in writing and keep track of how my understanding evolves over time. What I write here reflects what I’m currently exploring, questioning, and slowly making sense of.
My interests tend to cluster around a few recurring themes:
- Logic & Algorithms: Using mathematical reasoning and algorithmic thinking to understand why systems behave the way they do.
- Web & Software Engineering: Learning how the web actually works—browsers, runtimes, networks, and the abstractions built on top of them.
- Systems & Human Thinking: Looking at technology through a systems lens, sometimes borrowing ideas from psychology to better understand trade-offs, behavior, and design decisions.
- Personal Notes: Occasional reflections from building, breaking, and learning—things that don’t fit neatly into a category but feel worth remembering.
“Talk is cheap. Show me the code.” — Linus Torvalds
Connect & Collaborate
If you value technical rigor and mathematical clarity, let’s connect.