Type-level Programming, Proof-carrying Code, Agda, Type Safety
To Philosophers of Easy Virtue (guest post)
dailynous.comΒ·18h
Modern (Kernel) Low Fragmentation Heap Exploitation
r0keb.github.ioΒ·3d
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.orgΒ·2h
A Modified Adaptive Data-Enabled Policy Optimization Control to Resolve State Perturbations
arxiv.orgΒ·1d
Is Pydantic as safe as It Is popular?
nocomplexity.comΒ·21h
Loading...Loading more...