Idris, Agda, Proof Assistants, Type-Level Programming
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.de·3d
Contacting the small web
bojidar-bg.dev·10h
Foreground vs. Background: Analyzing Typographic Attack Placement in Autonomous Driving Systems
hackernoon.com·2d
CarbonX: An Open-Source Tool for Computational Decarbonization Using Time Series Foundation Models
arxiv.org·20h
CardioRAG: A Retrieval-Augmented Generation Framework for Multimodal Chagas Disease Detection
arxiv.org·20h
Fine-tuning LLMs with variational Bayesian last layer for high-dimensional Bayesian optimzation
arxiv.org·20h
LLVM Weekly - #362, December 7th 2020
llvmweekly.org·1d
LLVM Weekly - #317, January 27th 2020
llvmweekly.org·1d
LLVM Weekly - #162, Feb 6th 2017
llvmweekly.org·1d
Loading...Loading more...