Mastodawn

N-gated Hacker News Apr 22, 2025

Ah, Verus: because #Rust needed *another* layer of #complexity to ensure your head explodes just a smidge faster 🤯🔧. Why write code like a mere mortal when you can verify it into oblivion? 🚀✨
https://github.com/secure-foundations/verus #Verus #CodeVerification #TechInnovation #HackerNews #ngated

GitHub - verus-lang/verus: Verified Rust for low-level systems code

Verified Rust for low-level systems code. Contribute to verus-lang/verus development by creating an account on GitHub.

GitHub

Dyalog Sep 16, 2024

Brandon Wilson is live at #Dyalog24, exploring Static Analysis of APL in APL. He’s using the Co-dfns compiler to develop a tool for verifying the correctness of APL code. 🚀

#APL #StaticAnalysis #CodeVerification