xavxav

blog about
  • Visions of the future: formal verification in Rust
  • ПП-BESM: Progress Report 2
  • ПП-BESM: Progress Report
  • ПП-BESM
  • This week in Ill: Error Messages
  • Debugging your own language
  • why compilers