Martin-LΓΆf Types, Intensional Equality, Proof Objects, Program Extraction
Arcan September Hackathon #2
arcan-fe.comΒ·7h
Pre-viva Talk - 02/10/2025
informatics.ed.ac.ukΒ·2d
ICPC medals for OpenAI and Gemini
simonwillison.netΒ·6h
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.orgΒ·2d
A Transformer-Based Cross-Platform Analysis of Public Discourse on the 15-Minute City Paradigm
arxiv.orgΒ·2d
Durable Engines of Discovery
cacm.acm.orgΒ·11h
Loading...Loading more...