Type Synthesis, Type Checking, Local Inference, Elaboration
I tried a weird 16-key keyboard, and it made me rethink phone typing
androidpolice.com·1d
mathematics of the impossible: Revision. Feedback welcome especially on chapters 1,2,3
emanueleviola.wordpress.com·2d
An Invitation to Extend Grace and Openness – instead of 'No AI Shaming'
blog.mahabali.me·17h
Desbordante/desbordante-core v2.4.0
github.com·3d
Synthetic Data Generation Methods for LLMs: A Comprehensive Guide
pub.towardsai.net·7h
Towards fairer public transit: Real-time tensor-based multimodal fare evasion and fraud detection
arxiv.org·17h
Better Than "Better Than Nothing": Design Strategies for Enculturated Empathetic AI Robot Companions for Older Adults
arxiv.org·17h
LLVM Weekly - #357, November 2nd 2020
llvmweekly.org·1d
LLVM Weekly - #145, Oct 10th 2016
llvmweekly.org·1d
Loading...Loading more...