Type-level Programming, Proof-carrying Code, Agda, Type Safety
Álvaro’s Elevator Pitch
irreal.org·8h
liblcf v0.8.1 Integer Overflow in liblcf `ReadInt()` Leads to Out-of-Bounds Reads and Denial of Service
seclists.org·2d
SuryaBench: Benchmark Dataset for Advancing Machine Learning in Heliophysics and Space Weather Prediction
arxiv.org·20h
Second U.S. Malaria Case Not Tied to Travel Raises Fears of Local Transmission
scientificamerican.com·1d
Can LangExtract Turn Messy Clinical Notes into Structured Data?
towardsdatascience.com·2d
Urban AI Governance Must Embed Legal Reasonableness for Democratic and Sustainable Cities
arxiv.org·2d
Systematic FAIRness Assessment of Open Voice Biomarker Datasets for Mental Health and Neurodegenerative Diseases
arxiv.org·20h
Loading...Loading more...