type theory, safety, lifetimes, plt, syntax, macros
Holding Myself Accountable for Next Steps
tbr.bearblog.dev·1d
NIST Finalizes ‘Lightweight Cryptography’ Standard to Protect Small Devices
i-programmer.info·1d
Q-BEAST: A Practical Course on Experimental Evaluation and Characterization of Quantum Computing Systems
arxiv.org·19h
Know Me by My Pulse: Toward Practical Continuous Authentication on Wearable Devices via Wrist-Worn PPG
arxiv.org·1d
Loading...Loading more...