Creează un cont pentru a te abona la acest blog și a-i urmări articolele pe pagina Lectură.
Articole: 4
-
An experiment report on metaBuilder, a typed builder DSL we built to test whether ornaments are what relate heterogeneous build descriptions, and what held under test once we did.
-
nix-effects embeds a Martin-Löf Type Theory proof checker in pure Nix.
-
Nix has no loops and no tail-call optimization. builtins.genericClosure, the package dependency primitive, doubles as a general-purpose trampoline once you break the thunk chain.
-
AI agent sessions are distributed processes: private state, independent failure, concurrent access to shared resources.