mmcloughlin
- Karma
- 644
- Created
- 9 years ago
Recent Submissions
- 1. ▲ Intel previews future instruction-set documentaton (intel.github.io)
- 2. ▲ Crosslink – Persistent Memory for Human-Agent Development (forecast.bio)
- 3. ▲ Scaling Instruction-Selection Verification Against Authoritative ISA Semantics (doi.org)
- 4. ▲ Verus: Verified Rust for low-level systems code (github.com)
- 5. ▲ Hwwasm: Experiment in Hardware Intrinsics for WebAssembly (github.com)
- 6. ▲ 3 Professional Regrets from My PhD (jameslarisch.com)
- 7. ▲ Geomys, a blueprint for a sustainable open-source maintenance firm (words.filippo.io)
- 8. ▲ Tiny Tensor Compiler (intel.github.io)
- 9. ▲ Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (arxiv.org)
- 10. ▲ Ground-Up AArch64 (2021) (binary.ninja)