mmcloughlin

Recent Submissions

1. 1. ▲ Crosslink – Persistent Memory for Human-Agent Development (forecast.bio) 5 points · 1 month ago · 0 comments
2. 2. ▲ Scaling Instruction-Selection Verification Against Authoritative ISA Semantics (doi.org) 3 points · 6 months ago · 0 comments
3. 3. ▲ Verus: Verified Rust for low-level systems code (github.com) 158 points · 1 year ago · 48 comments
4. 4. ▲ Hwwasm: Experiment in Hardware Intrinsics for WebAssembly (github.com) 2 points · 1 year ago · 0 comments
5. 5. ▲ 3 Professional Regrets from My PhD (jameslarisch.com) 2 points · 1 year ago · 0 comments
6. 6. ▲ Geomys, a blueprint for a sustainable open-source maintenance firm (words.filippo.io) 204 points · 1 year ago · 18 comments
7. 7. ▲ Tiny Tensor Compiler (intel.github.io) 1 point · 1 year ago · 0 comments
8. 8. ▲ Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (arxiv.org) 2 points · 2 years ago · 0 comments
9. 9. ▲ Ground-Up AArch64 (2021) (binary.ninja) 2 points · 3 years ago · 0 comments
10. 10. ▲ Show HN: Profile: Simple Profiling for Go (github.com) 4 points · 4 years ago · 0 comments