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
On Async Mutexes
๐OCaml Multicore
Flag this post
Honest take: I tested 12+ AI vibe coding tools, but this one actually surprised me
๐งDevOps
Flag this post
Roadmap for Improving the Type Checker
๐Type Inference
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.orgยท14h
๐ฒCellular Automata
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.orgยท14h
๐ฒCellular Automata
Flag this post
My Thoughts on the 2025 Stack Overflow Survey: The Hype, the Reality, the Gap
๐งDevOps
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.orgยท14h
๐งฉParser Combinators
Flag this post
Automated Defect Prediction via Cross-Entropy Regularized Graph Neural Networks for Microservice Architectures
๐Refinement Types
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.orgยท14h
๐งฉParser Combinators
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.orgยท14h
๐Automata Learning
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.orgยท14h
๐OCaml Multicore
Flag this post
DEER: Disentangled Mixture of Experts with Instance-Adaptive Routing for Generalizable Machine-Generated Text Detection
arxiv.orgยท14h
๐งฉParser Combinators
Flag this post
PlotCraft: Pushing the Limits of LLMs for Complex and Interactive Data Visualization
arxiv.orgยท14h
๐OCaml Multicore
Flag this post
Loading...Loading more...