Idris, Agda, Proof Assistants, Type-Level Programming
PostGIS: A powerful geospatial extension for PostgreSQL
developers.redhat.comยท1d
From Manual Practice to Automated Chaos
info.aiim.orgยท1d
Verification of OS artifacts without stateful keyrings (asg2025)
cdn.media.ccc.deยท3d
Contacting the small web
bojidar-bg.devยท5h
Foreground vs. Background: Analyzing Typographic Attack Placement in Autonomous Driving Systems
hackernoon.comยท2d
Seeing Before Reasoning: A Unified Framework for Generalizable and Explainable Fake Image Detection
arxiv.orgยท2d
The QCET Taxonomy of Standard Quality Criterion Names and Definitions for the Evaluation of NLP Systems
arxiv.orgยท4d
LLVM Weekly - #413, November 29th 2021
llvmweekly.orgยท1d
Knowledge-Level Consistency Reinforcement Learning: Dual-Fact Alignment for Long-Form Factuality
arxiv.orgยท3d
LLVM Weekly - #408, October 25th 2021
llvmweekly.orgยท1d
LLVM Weekly - #375, March 8th 2021
llvmweekly.orgยท1d
LLVM Weekly - #418, January 3rd 2022
llvmweekly.orgยท1d
Loading...Loading more...