Ask HN: Has anyone used LLMs to audit TrueCrypt for backdoors?
1•dlphii•42m ago
TrueCrypt was discontinued in 2014 under mysterious circumstances, prompting speculation about possible US government involvement. Now that LLMs can help with source code analysis, has anyone revisited the code and found evidence of a backdoor or other signs of government interference?