Improving Emacs' iCalendar Support
🐫Embedded OCaml
Flag this post
Writing a Data Science Book with Quarto (Using Jupyter Notebooks or Pandoc)
💎Refinement Types
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
On Async Mutexes
🔀OCaml Multicore
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
🏗️Dune
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
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
💎Refinement Types
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·18h
🔀OCaml Multicore
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·18h
📚Automata Learning
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·18h
🧩Parser Combinators
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.org·18h
🧩Parser Combinators
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.org·18h
🔀OCaml Multicore
Flag this post
Bio-Inspired Neuron Synapse Optimization for Adaptive Learning and Smart Decision-Making
arxiv.org·18h
🩹Self-Healing Systems
Flag this post
Gen AI in Automotive: Applications, Challenges, and Opportunities with a Case study on In-Vehicle Experience
arxiv.org·18h
🩹Self-Healing Systems
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
📚Automata Learning
Flag this post
Self-Improving Vision-Language-Action Models with Data Generation via Residual RL
arxiv.org·18h
📚Automata Learning
Flag this post
Legible vs. Illegible AI Safety Problems
lesswrong.com·2h
🐫Embedded OCaml
Flag this post
Loading...Loading more...