GHC: From Bug to Merge
🏢Jane Street Core
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Fix: externalizing network I/O in serverless computing
arxiv.org·2h
🐳Containerization
Flag this post
Reversal Invariance in Autoregressive Language Models
arxiv.org·2h
📚Automata Learning
Flag this post
Automatically Finding Rule-Based Neurons in OthelloGPT
arxiv.org·2h
📚Automata Learning
Flag this post
LLM-Driven Cost-Effective Requirements Change Impact Analysis
arxiv.org·2h
📦Opam
Flag this post
Production-Ready Rate Limiter in Go: From Side Project to Distributed System
🏃Escape Analysis
Flag this post
Towards Reliable Pediatric Brain Tumor Segmentation: Task-Specific nnU-Net Enhancements
arxiv.org·2h
🎨GADTs
Flag this post
Simplifying Preference Elicitation in Local Energy Markets: Combinatorial Clock Exchange
arxiv.org·1d
💎Refinement Types
Flag this post
Math anxiety and associative knowledge structure are entwined in psychology students but not in Large Language Models like GPT-3.5 and GPT-4o
arxiv.org·2h
➡️Category Theory
Flag this post
Iterative Foundation Model Fine-Tuning on Multiple Rewards
arxiv.org·2h
🎯Hindley-Milner
Flag this post
Simple Additions, Substantial Gains: Expanding Scripts, Languages, and Lineage Coverage in URIEL+
arxiv.org·1d
🧩Parser Combinators
Flag this post
Loading...Loading more...