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