Type Inference, Elaboration, Synthesis, Checking Modes
Notes on an overheard conversation between a prescriptivist and a descriptivist
boston.conman.org·2d
Introduction - Jujutsu for everyone
jj-for-everyone.github.io·1h
Domain Generalization in-the-Wild: Disentangling Classification from Domain-Aware Representations
arxiv.org·1d
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
Data-Driven Bifurcation Handling in Physics-Based Reduced-Order Vascular Hemodynamic Models
arxiv.org·1d
Loading...Loading more...