Y Hacker News new | ask | show | jobs

user: mmcloughlin created: 2017-07-06 karma: 638 submissions: Crosslink – Persistent Memory for Human-Agent Development 5 points | 0 comments Scaling Instruction-Selection Verification Against Authoritative ISA Semantics 3 points | 0 comments Verus: Verified Rust for low-level systems code 158 points | 48 comments Hwwasm: Experiment in Hardware Intrinsics for WebAssembly 2 points | 0 comments 0 points | 0 comments 3 Professional Regrets from My PhD 2 points | 0 comments Geomys, a blueprint for a sustainable open-source maintenance firm 204 points | 18 comments Tiny Tensor Compiler 1 points | 0 comments Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization 2 points | 0 comments Ground-Up AArch64 (2021) 2 points | 0 comments 0 points | 0 comments Show HN: Profile: Simple Profiling for Go 4 points | 0 comments Show HN: Cryptographic Addition Chain Generation in Go 10 points | 0 comments It’s OK for your open source library to be a bit shitty (2015) 650 points | 345 comments Fun with branch misprediction in LLVM test-suite 7zip benchmark 1 points | 0 comments Show HN: Mathfmt: Document mathematical Go code beautifully 3 points | 0 comments Mathfmt: Document mathematical Go code beautifully 1 points | 0 comments Grep from First Principles, in Golang 2 points | 0 comments Go on not so small hardware 2 points | 0 comments 0 points | 0 comments Show HN: Reveal code line-by-line in LaTeX presentations 1 points | 0 comments 0 points | 0 comments Show HN: Fuzzing Go Crypto 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments