Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking
Modern (Kernel) Low Fragmentation Heap Exploitation
r0keb.github.io·1d
Can small AI models think as well as large ones?
seangoedecke.com·23h
Worth Reading 072725
rule11.tech·51m
Cactus Language • Pragmatics 3
inquiryintoinquiry.com·11h
Reasoning about Rare-Event Reachability in Stochastic Vector Addition Systems via Affine Vector Spaces
arxiv.org·3d
What’s the purpose of a theorem? (Hint: It’s not what you think.)
statmodeling.stat.columbia.edu·1d
Computed GOTO, in MS BASIC
masswerk.at·1d
Loading...Loading more...