Large-scale Verification, Proof Maintenance, Formal Development, Mathematical Software
Vibe coding complex changes in Rust
youtube.comยท1d
Documented my journey from monolith hell to event-driven bliss (with actual code, not just pretty diagrams)
medium.comยท3d
Loading...Loading more...