use LLMs to reimplement all kernel-mode software with formal verification https://t.co/DVEcrhqBf4

Posters: davidad. davidad

2 likes recorded by the source corpus.

Topics: Software, AI & LLMs

View Post: https://x.com/davidad/status/1814369164792082669