Archive
-
The Paradox of 1991: Economic Liberalization vs. Educational Empowerment
2026-08-09
economics, india, education, policy, history
-
Role of Semantics in Legal Reality
2026-07-24
law, logic, type-theory, semantics, epistemology, PL
-
Coherent Isolation: IndieAuth, Kubernetes, and the OSI Reality
2026-07-12
kubernetes, QEMU, nix, devops, networking, CI/CD, IndieAuth, microservices, rust, information-retrieval
-
A Hybrid Ranking System for Job Feeds
2026-05-02
rust, types, dsl, systems, information-retrieval, machine-learning, nlp, formal-methods
-
Why Mathematical Induction Fails in Physics — and What Mīmāṃsā Knew About It
2026-04-19
philosophy, indian-philosophy, physics, epistemology, mimamsa
-
Can Computers Actually Multiply?
2026-04-19
computability, Programming-languages, number-theory, FSM, algorithms
-
Diffing Program Semantics: Building a Runtime Trace Alignment Tool in Haskell
2026-04-18
haskell, semantics, program-analysis, differential-testing, pl, devops
-
High-Performance Python via Rust
2026-03-18
Python, Rust, Pyo3
-
Clocks, Turing Machines, and the Limits of Prediction
2025-06-25
computation, philosophy, mathematics, turing, godel, incomputability
