Chercheur en informatique inculte, tout à fait mainstream et à la pensée banale. Uncultured research scientist in computer science. Totally mainstream and with banal thoughts. he/him/whatever
Chercheur en informatique inculte, tout à fait mainstream et à la pensée banale. Uncultured research scientist in computer science. Totally mainstream and with banal thoughts. he/him/whatever
Many misguided (intentionally or otherwise) things have been said about the discovery of kernel bugs in Rocq using a LLM.
For instance, some people have mentioned CompCert and use for Airbus. Well, I don't think these kernel bugs have any relevance for this.
Loading comments...