Weekly Report: 2025-12-12
- Got resource logging working end-to-end in
immdb-server: the server now periodically polls and traces GHC RTS stats (commit dc2b60f). - Cleaned up unused definitions and pragmas (commit c48d363).
- Simplified RTS stats polling so the resource thread’s first action can be the first stats poll, removing unnecessary initial delays (commit 2aa2ac5).