Archive
-
Causal Authorship and the Verification Ceiling
2026-05-03
epistemology, ai, trust, foss, systems, dsl, credibility, licensing
-
A Hybrid Ranking System for Job Feeds
2026-05-02
rust, types, dsl, systems, information-retrieval, machine-learning, nlp
-
Use case of Mastodon OAuth vs IndieAuth for comments in Hakyll sites
2026-04-19
Haskell, Rust, Mastodon, IndieAuth, OAuth, Hakyll, Web-Development, tailscale
-
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
-
Designing an EDSL in Haskell: From FFI Glue to a Typed Language
2026-04-18
Haskell, DSL, GADTs, Cardano, Type-Theory, Semantics
-
From Fragile CI Scripts to Coherent Deployment Infrastructure
2026-03-25
NixOS, GitLab, CI/CD, reproducibility, orchestration, caching, infrastructure
-
High-Performance Python via Rust
2026-03-18
Python, Rust, Pyo3
-
Using isolation models for compliance as a property of infra
2026-01-19
kubernetes, QEMU, containers, nix, wasm, Linux, microservices, cloud, devops, Compliance, Orchestration, policy engines, filesystems
