Type Synthesis, Type Checking, Local Inference, Elaboration
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·16h
results on cataloguing digital resources
zoeloukia.bearblog.dev·16h
Building Smarter MCP Servers — From Theory to Practice
clever-cloud.com·2d
Synthetic Data Generation Methods for LLMs: A Comprehensive Guide
pub.towardsai.net·5h
Towards fairer public transit: Real-time tensor-based multimodal fare evasion and fraud detection
arxiv.org·15h
Better Than "Better Than Nothing": Design Strategies for Enculturated Empathetic AI Robot Companions for Older Adults
arxiv.org·15h
[Linkpost] A Field Guide to Writing Styles
lesswrong.com·1d
LLVM Weekly - #310, December 9th 2019
llvmweekly.org·1d
LLVM Weekly - #392, July 5th 2021
llvmweekly.org·1d
Uncertain Updates: June 2025
lesswrong.com·15h
Loading...Loading more...