My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
A DRL-Empowered Multi-Level Jamming Approach for Secure Semantic Communication
arxiv.org·1d
❓Existential Types
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
λFunctional Programming
Flag this post
Making MLS More Decentralized
🛡️seL4
Flag this post
Security Holes Found in OpenAI's ChatGPT Atlas Browser (and Perplexity's Comet)
it.slashdot.org·3h
🛡️macOS Security
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·8h
❄️Nixified Development
Flag this post
Automated Semantic Validation of Modular Software Architectures via Hyper-Graph Resonance
🔄Reproducible Builds
Flag this post
From Visibility to Verification: The Second Phase of AI Surface Governance
🎮Verification Games
Flag this post
Ajla Tutorial
🔬Static Analysis
Flag this post
Loading...Loading more...