TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
things i like about railway
schpet.comยท19h
FBI warns of Salesforce attacks by UNC6040 and UNC6395 groups
securityaffairs.comยท4h
Scaling behavior of large language models in emotional safety classification across sizes and tasks
arxiv.orgยท5d
Loading...Loading more...