Archive
-
Causal Authorship and the Verification Ceiling
2026-05-03
epistemology, ai, trust, foss, systems, dsl, credibility, licensing
-
A DSL for Job Feeds
2026-05-02
rust, types, dsl, systems, information-retrieval
-
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
-
Tale of a GitLab Job Pipeline
2026-03-25
atticd, cachix, NixOS, GitLab, devops
-
rust python interops
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
