Caught a cold these days.
Still keeping up with work and reading.
Spent some time exploring new security tools,
and digging into model-checking related research.
They may help reduce false positives in checkers and the hallucination of the current LLMs.
