Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
An engineer’s path from data loss to software preservation
softwareheritage.org·1d
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·5d
Can We Predict Alignment Before Models Finish Thinking? Towards Monitoring Misaligned Reasoning Models
arxiv.org·18h
Redefining Data Operations With Data Flow Programming in CocoIndex
hackernoon.com·10h
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·18h
Loading...Loading more...