Protocol Typing, Communication Safety, Pi Calculus, Concurrent Types
Typename syntax and resolution in ClojureCLR
dmiller.github.ioยท2d
Truth Without Comprehension: A BlueSky Agenda for Steering the Fourth Mathematical Crisis
arxiv.orgยท9h
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.orgยท9h
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.orgยท16h
Prompt-with-Me: in-IDE Structured Prompt Management for LLM-Driven Software Engineering
arxiv.orgยท9h
Loading...Loading more...