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
Why stop at 1 million tokens when you can have 10? My journey to extreme context on a gaming GPU. [P]
💾Retro Computing
Flag this post
Confounding Factors in Relating Model Performance to Morphology
arxiv.org·11h
🧩Parser Combinators
Flag this post
A Dual Large Language Models Architecture with Herald Guided Prompts for Parallel Fine Grained Traffic Signal Control
arxiv.org·11h
🔄Finite State Machines
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·1d
🧩Parser Combinators
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·11h
🔍CBMC
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·11h
🔁Fixed-Point Theory
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·11h
📐Linear Algebra
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·11h
📐Linear Algebra
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·11h
🔲Cellular Automata
Flag this post
Application architecture design template
🔤Language Design
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
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·11h
🔲Cellular Automata
Flag this post
Loading...Loading more...