Music in rust with tunes
💎Refinement Types
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.com·1d
⏱️Computational Complexity
Flag this post
Oops, My UUIDs Collided
🎯GADT
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
❄️Nixified Development
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·5h
🔍CBMC
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🏗️Dune
Flag this post
Rouille – Rust Programming, in French
🔀OCaml Multicore
Flag this post
DialectalArabicMMLU: Benchmarking Dialectal Capabilities in Arabic and Multilingual Language Models
arxiv.org·5h
🧩Parser Combinators
Flag this post
Lack of Social Grace is a Lack of Skill
lesswrong.com·5h
≤Order Theory
Flag this post
Intervaltree with Rust Back End
🏗️Dune
Flag this post
Functional embeddings enable Aggregation of multi-area SEEG recordings over subjects and sessions
arxiv.org·5h
🧩Parser Combinators
Flag this post
Loading...Loading more...