Improving Emacs' iCalendar Support
🐫Embedded OCaml
Flag this post
Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·18h
🔧DevOps
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
🏗️Dune
Flag this post
Roadmap for Improving the Type Checker
🔍Type Inference
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·2h
📐Linear Algebra
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·2h
📐Linear Algebra
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·2h
🔲Cellular Automata
Flag this post
Application architecture design template
🔤Language Design
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·2h
🔲Cellular Automata
Flag this post
ParlaSpeech 3.0: Richly Annotated Spoken Parliamentary Corpora of Croatian, Czech, Polish, and Serbian
arxiv.org·2h
🧩Parser Combinators
Flag this post
🧠 Mastering Goroutines in Go: The Power of Lightweight Concurrency.
λFunctional Programming
Flag this post
OmniBrainBench: A Comprehensive Multimodal Benchmark for Brain Imaging Analysis Across Multi-stage Clinical Tasks
arxiv.org·2h
🔀OCaml Multicore
Flag this post
FLoRA: Fused forward-backward adapters for parameter efficient fine-tuning and reducing inference-time latencies of LLMs
arxiv.org·2h
📚Automata Learning
Flag this post
AraFinNews: Arabic Financial Summarisation with Domain-Adapted LLMs
arxiv.org·2h
🧩Parser Combinators
Flag this post
Loading...Loading more...