Type Systems, Lambda Calculus, Semantics, Monads
SEPT. 3rd COLLOQUIUM: Eric Zaslow (Northwestern University)
math.columbia.edu·4d
RUSTSEC-2025-0054: Vulnerability in array-queue
rustsec.org·7h
From Lahore to Sydney, a Muslim feminist’s debut novel rebels against the suffocation of safety
theconversation.com·19h
The Relativity of Wrong
travelbetweenthepages.com·15h
“Shrinking Your Backend: Deploying NestJS to AWS Lambda Like a Pro”
blog.devops.dev·1d
Byte Tank - Pedro Lopes Blog
lopespm.com·3d
Joy & Curiosity #52
registerspill.thorstenball.com·1d
Observation of universal non-Gaussian statistics of the order parameter across a continuous phase transition
arxiv.org·15h
Carbon Removal India Alliance: India’s Carbon & CDR Policy Update H1 – 2025
cleantechnica.com·3h
NFL Week 1 Predictions: Projecting Every Game on Week 1 Schedule
sportsnaut.com·5h
DeepConf can greatly reduce computational effort in language model reasoning tasks
the-decoder.com·1d
Addressing accuracy and hallucination of LLMs in Alzheimer's disease research through knowledge graphs
arxiv.org·15h
Loading...Loading more...