Low-level Proofs, Machine Code Correctness, Hardware-Software Interface, Formal Assembly
Breaking Disassembly — Abusing symbol resolution in Linux programs to obfuscate library calls ️🎭
blog.elmo.sg·5d
Evaluating generative AI models with Amazon Nova LLM-as-a-Judge on Amazon SageMaker AI
aws.amazon.com·7h
My favorite use-case for AI is writing logs
vickiboykis.com·2d
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·1h
The Age of Self-Evolving AI Is Here
towardsdatascience.com·3h
Loading...Loading more...