Roadmap for Improving the Type Checker
๐Type Inference
Flag this post
Reflection for Aggregates (2020)
๐ขAlgebraic Data Types
Flag this post
[D][P] PKBoost v2 is out! An entropy-guided boosting library with a focus on drift adaptation and multiclass/regression support.
๐ฏHindley-Milner
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
๐งฎLambda Calculus
Flag this post
Between Rules and Meaning: Building a Website That Understands Language
๐งฉParser Combinators
Flag this post
Loquetier: A Virtualized Multi-LoRA Framework for Unified LLM Fine-tuning and Serving
arxiv.orgยท1d
๐ซOCaml
Flag this post
Neural Green's Functions
arxiv.orgยท4h
๐Linear Algebra
Flag this post
Perceived Femininity in Singing Voice: Analysis and Prediction
arxiv.orgยท4h
๐Linear Algebra
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
๐ขAlgebraic Data Types
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.orgยท2d
๐ซOCaml
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.orgยท1d
โExistential Types
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.orgยท1d
โฑ๏ธComputational Complexity
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.orgยท1d
๐ฏHindley-Milner
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.orgยท4h
๐CBMC
Flag this post
Loading...Loading more...