Logic, Model Theory, Compositional Meaning, Type Theory
LLVMCGO25 - CARTS: Enabling Event-Driven Task and Data Block Compilation for Distributed HPC
blog.llvm.org·1d
Tools for AI assisted Software development
feed.thoughtbot.com·1d
Text-Attributed Graph Anomaly Detection via Multi-Scale Cross- and Uni-Modal Contrastive Learning
arxiv.org·23h
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·4d
Research Areas in Information Theory and Cryptography (The Alignment Project by UK AISI)
lesswrong.com·3d
Loading...Loading more...