Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Google's MCP Toolbox for Databases: A Technical Deep Dive for Engineering Teams
👁️System Observability
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔀OCaml Multicore
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·3d
⚡Process Calculi
Flag this post
Learning When to Quit in Sales Conversations
arxiv.org·3d
🎮Verification Games
Flag this post
I Built a File-Hiding App Because I Didn't Know Any Better (And It Actually Works!)
💾Retro Computing
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·3d
📐Linear Algebra
Flag this post
CARMA: Comprehensive Automatically-annotated Reddit Mental Health Dataset for Arabic
arxiv.org·1d
🧩Parser Combinators
Flag this post
Physics-Aware Neural Networks: Banishing Simulation Ghosts by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Alternative Fairness and Accuracy Optimization in Criminal Justice
arxiv.org·2h
👁️Observability
Flag this post
Learning from Single Timestamps: Complexity Estimation in Laparoscopic Cholecystectomy
arxiv.org·2h
📐Linear Algebra
Flag this post
Leaving Open Philanthropy, going to Anthropic
lesswrong.com·3d
🔲Cellular Automata
Flag this post
Reevaluating Self-Consistency Scaling in Multi-Agent Systems
arxiv.org·3d
🔲Cellular Automata
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·3d
λFunctional Programming
Flag this post
A Framework Based on Graph Cellular Automata for Similarity Evaluation in Urban Spatial Networks
arxiv.org·3d
🔲Cellular Automata
Flag this post
Loading...Loading more...