ZK-SenseLM: Verifiable Large-Model Wireless Sensing with Selective Abstention and Zero-Knowledge Attestation
arxiv.orgยท3d
๐Distributed Systems
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
๐ญProc Macros
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐ฆพRust ML
Flag this post
Weak-To-Strong Generalization
lesswrong.comยท12h
๐ฆพRust ML
Flag this post
Reflection for Aggregates (2020)
๐ฆพRust ML
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.orgยท2d
๐คAI
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
๐ฆพRust ML
Flag this post
Challenging the Fastest OSS Workflow Engine
โกAsync Rust
Flag this post
A DRL-Empowered Multi-Level Jamming Approach for Secure Semantic Communication
arxiv.orgยท2d
๐กNetwork Protocols
Flag this post
Robust GNN Watermarking via Implicit Perception of Topological Invariants
๐งฎLinear Algebra
Flag this post
Roadmap for Improving the Type Checker
๐ฆพRust ML
Flag this post
AI scrapers request commented scripts
๐คAI
Flag this post
Economics and Transformative AI (by Tom Cunningham)
lesswrong.comยท16h
๐คAI
Flag this post
Tackling the Algorithmic Control Crisis -- the Technical, Legal, and Ethical Challenges of Research into Algorithmic Agents
arxiv.orgยท3d
๐ฎGame Engines
Flag this post
Secretly Loyal AIs: Threat Vectors and Mitigation Strategies
lesswrong.comยท1d
๐Hardware Security
Flag this post
Loading...Loading more...