Posts tagged linux

• Survey. An Introduction to OS-Level Verification with Asterinas and Verus  ‒ October 14, 2026
  A talk about verifying Linux compatible kernel written with Rust
• Turning Kernel Defects into Compile Errors with Takibi lang  ‒ September 19, 2026
  A talk about building the Takibi language and kernel together
• 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"