matu3bas Blog
Posts
20240420 -
Python shennanigans.
20240420 -
Zig shennanigans.
20240428 wip, overview + state of art pointers complex -
Basic C89 to C23 semantic shennanigans.
20240415 wip -
Some practical C++ footgun avoidance.
not started -
Shennanigans with Shell and Neovim.
not started, notes -
Why formal modeling matters.
not started, ideas unclear how to limit scope -
Idealized systems and refinement to build correct systems.
not started, notes on design problems -
What is generally formalized and potentially verified about CPUs?
not started, notes on design problems -
What is generally formalized and potentially verified about kernels?
not started, unclear -
Possible design constrains on user space.
not started, notes -
Build systems idealized and in practice
not started, notes -
Continuos Integration idealized and in practice.
not started, notes -
Debugging idealized and in practice.
not started, ideas -
Network protocols idealized and in practice.
not started, notes-
Optimal incremental verification.
Handwritten until there are more entries.
Impressum, Datenschutz