TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
Testing AWS EventBridge for Cross-Region Event Replication
blog.devops.dev·22h
1Password
corrode.dev·3d
PsyLite Technical Report
arxiv.org·2d
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·5d
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·4d
20+ Years in Tech: Things We Wish We Knew Sooner • Daniel Terhorst-North & Kevlin Henney • GOTO 2024
youtube.com·3d
Loading...Loading more...