Raito Bezarius

Lix (that weird Nix fork) developer and abyss domain expert, I dabble humbly in the arts of applied formal verification to Rust programs.


URLs for Raito Bezarius

No URLs found.


Events for Raito Bezarius

Ever heard of formal verification? A field where you apply computers to verify that even more computers work. It's used in so-called "mission critical" lines (planes, etc.), here you will get updated on what can be done with formal verification and how you can get started with this. It will focus on the Lean theorem prover, a recent albeit very interesting software fostering a large community of mathematicians working like hackers in a monorepo of mathematics (mathlib).

Read more

Schedule:

  • Sunday, Jul 21st, 2024, 14:20 (CEST) - Sunday, Jul 21st, 2024, 14:30 (CEST)