My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
The Illustrated NeurIPS 2025: A Visual Map of the AI Frontier
newsletter.languagemodels.co·1d
🔲Cellular Automata
Flag this post
Interpretable Machine Learning for Reservoir Water Temperatures in the U.S. Red River Basin of the South
arxiv.org·15h
✓Automated Theorem Proving
Flag this post
An Empirical Investigation of the Experiences of Dyslexic Software Engineers
arxiv.org·15h
🔤DSLs
Flag this post
Towards Automated Petrography
arxiv.org·15h
🔲Cellular Automata
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·15h
🔲Cellular Automata
Flag this post
HyFormer-Net: A Synergistic CNN-Transformer with Interpretable Multi-Scale Fusion for Breast Lesion Segmentation and Classification in Ultrasound Images
arxiv.org·15h
🎨GADTs
Flag this post
Automated Sentiment-Driven Resource Allocation for Community Resilience Planning
🩹Self-Healing Systems
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·15h
🔀OCaml Multicore
Flag this post
KAT-GNN: A Knowledge-Augmented Temporal Graph Neural Network for Risk Prediction in Electronic Health Records
arxiv.org·15h
📚Automata Learning
Flag this post
Optimizing Native Sparse Attention with Latent Attention and Local Global Alternating Strategies
arxiv.org·15h
📚Automata Learning
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·15h
λFunctional Programming
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
🎮Verification Games
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·1d
🐫OCaml
Flag this post
Loading...Loading more...