1Crosslink – Persistent Memory for Human-Agent Development (opens in new tab)(forecast.bio)5mmcloughlin5d ago0
2Scaling Instruction-Selection Verification Against Authoritative ISA Semantics (opens in new tab)(doi.org)3mmcloughlin5mo ago0
3Verus: Verified Rust for low-level systems code (opens in new tab)(github.com)158mmcloughlin11mo ago48
4Hwwasm: Experiment in Hardware Intrinsics for WebAssembly (opens in new tab)(github.com)2mmcloughlin1y ago0
6Geomys, a blueprint for a sustainable open-source maintenance firm (opens in new tab)(words.filippo.io)204mmcloughlin1y ago18
8Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization (opens in new tab)(arxiv.org)2mmcloughlin2y ago0
11Show HN: Cryptographic Addition Chain Generation in Go (opens in new tab)(github.com)10mmcloughlin5y ago0
12It’s OK for your open source library to be a bit shitty (2015) (opens in new tab)(drmaciver.com)650mmcloughlin5y ago345
13Fun with branch misprediction in LLVM test-suite 7zip benchmark (opens in new tab)(sujankh.github.io)1mmcloughlin6y ago0
14Show HN: Mathfmt: Document mathematical Go code beautifully (opens in new tab)(github.com)3mmcloughlin6y ago0
15Mathfmt: Document mathematical Go code beautifully (opens in new tab)(github.com)1mmcloughlin6y ago0
