Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring
arxiv.org·18h
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·11h
CodeSOD: Validation Trimmed Away
thedailywtf.com·16h
What I’ve learned over 3 years of writing code
blog.scottlogic.com·1d
Making a Language
thunderseethe.dev·56m
Alexis King’s Blog
lexi-lambda.github.io·2d
Understanding Poke methods
jemarch.net·1d
To assert() or not to assert()?
ilya-sher.org·2d
Loading...Loading more...