Type Systems, Formal Methods, Lambda Calculus, Category Theory
21st century IT is kayfabe: it's all fake, just for show
liam-on-linux.dreamwidth.org·1d
Why are US warships going to Venezuela?
aljazeera.com·59m
Machine Learning for Medicine Must Be Interpretable, Shareable, Reproducible and Accountable by Design
arxiv.org·3d
Rao Differential Privacy
arxiv.org·2d
Do Multimodal LLMs See Sentiment?
arxiv.org·2d
Loading...Loading more...