Posts tagged kernel

• Gave My First Talk About Takibi at OCaml Meeting 2026 in Tokyo  ‒ August 22, 2026
  Presentation "Create your own programming language and OS using OCaml, LLVM, and Generative AI -- accessible to everyone"
• ATS2 can avoid some of FreeBSD Problem Reports  ‒ April 19, 2021
  Mechanically avoid 12% of latest FreeBSD Problem Reports without code review.
• ATS2 and VeriFast avoid some of FreeBSD vulnerabilities  ‒ October 14, 2020
  Mechanically avoid 16% of latest FreeBSD vulnerabilities without code review.