Type Systems, Formal Methods, Lambda Calculus, Category Theory
Considering Marx’s Ideas of a Non-Alienated Labor and Life As a Basis For a Socialist Humanist and Feminist Alternative to Capitalism
znetwork.org·1d
Weekly Review
harpers.org·1d
Thoughts on creating a tracking pointer class, part 13: Restoring the strong exception guarantee
devblogs.microsoft.com·13h
1950s petrol station wins photo of the year at architecture photography awards 2025
designboom.com·12h
How Miriam Toews Lives With the Unspeakable
theatlantic.com·14h
CyPortQA: Benchmarking Multimodal Large Language Models for Cyclone Preparedness in Port Operation
arxiv.org·2d
MobileDenseAttn:A Dual-Stream Architecture for Accurate and Interpretable Brain Tumor Detection
arxiv.org·23h
FLAegis: A Two-Layer Defense Framework for Federated Learning Against Poisoning Attacks
arxiv.org·23h
Evaluating Multilingual and Code-Switched Alignment in LLMs via Synthetic Natural Language Inference
arxiv.org·6d
Book Review: ‘Hothouse Bloom,’ by Austyn Wohlers
nytimes.com·1d
Loading...Loading more...