3 ms·
This looks to me like a standard logging toolchain where you just have programmatic access to the logs. This is like claiming you save and load a json object (
by dmichulke 9y ago
This looks to me like a standard logging toolchain where you just have programmatic access to the logs.
This is like claiming you save and load a json object (instead of its serialization) in some hashmap / DB for fast lookup.
Am I missing something?
- posterboy 9y agothis might seem normal but perhaps not in mathematics? There's the story about homotopy type theory that first had to be invented including a supporting programming language to formalize and automatically error check proofs, which is still a niche topic in maths (because it seems faster to think barely, I gather. Edit: and because of the problem of bootstrapping such a system and Not Invented Here syndrome).