TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·17h
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·6h
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·6h
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·3d
Loading...Loading more...