Type Synthesis, Type Checking, Local Inference, Elaboration
Dingbats > emoji?
rubenerd.com·22h
Wanted: CIT-102 keyboard
twostopbits.com·22h
I’m a Screenwriter. Is It All Right if I Use A.I.? - The New York Times
news.google.com·10h
Everyone seems to want AI in their feeds - Morning Brew
news.google.com·16h
ActiNet: Activity intensity classification of wrist-worn accelerometers using self-supervised deep learning
arxiv.org·1d
From 2D to 3D, Deep Learning-based Shape Reconstruction in Magnetic Resonance Imaging: A Review
arxiv.org·1d
More Than One Teacher: Adaptive Multi-Guidance Policy Optimization for Diverse Exploration
arxiv.org·1d
LLVM Weekly - #145, Oct 10th 2016
llvmweekly.org·2d
Loading...Loading more...