Type-level Programming, Proof-carrying Code, Agda, Type Safety
Analogs of binomial coefficients
johndcook.comยท1d
Discretizing and quantizing neural nets
danmackinlay.nameยท1d
This Week in Security: Sharepoint, Initramfs, and More
hackaday.comยท17h
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.orgยท2d
Living Memory Attacks: Code Injection Without Files
infosecwriteups.comยท1d
An Empirical Study of Complexity, Heterogeneity, and Compliance of GitHub Actions Workflows
arxiv.orgยท1d
PDB-Eval: An Evaluation of Large Multimodal Models for Description and Explanation of Personalized Driving Behavior
arxiv.orgยท1d
Loading...Loading more...