Homotopy Type Theory, Univalence, Path Types, Higher Inductive Types
Software convergence
underlap.orgยท3d
Episode 163 - Ever Heard of the PDP-11?
adventofcomputing.libsyn.comยท18h
The AI doomers are having their moment
businessinsider.comยท9h
Intuition for Pickโs Theorem
johndcook.comยท1d
TPLA: Tensor Parallel Latent Attention for Efficient Disaggregated Prefill \& Decode Inference
arxiv.orgยท13h
Deep learning-enabled virtual multiplexed immunostaining of label-free tissue for vascular invasion assessment
arxiv.orgยท13h
Persuasiveness and Bias in LLM: Investigating the Impact of Persuasiveness and Reinforcement of Bias in Language Models
arxiv.orgยท13h
Loading...Loading more...