Martin-LĂśf Types, Intensional Equality, Proof Objects, Program Extraction
enjoy-digital/litex
github.com¡19h
Analogy-Driven Financial Chain-of-Thought (AD-FCoT): A Prompting Approach for Financial Sentiment Analysis
arxiv.org¡17h
Durable Engines of Discovery
cacm.acm.org¡3h
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org¡1d
libwmf v0.2.13 Integer Overflow in libwmf Left-Shift Operations (wmf.c, fig.c, svg.c)
seclists.org¡1d
Loading...Loading more...