Show HN: Typed agent memory with corrections and history | Dark Hacker News