🎯 Constraint Programming - CWhiting · Scour

A Constraint Programming Approach for $n$-Day Lookahead Playoff Clinching 🎲Probabilistic Programming

Building Vector Similarity Search in PostgreSQL with Pgvector 📐Vector Databases

machinelearningmastery.com·2d·Hacker News

Training SID-1 to beat GPT-5 at search with 1k+ QPS RL 🔎AI Search

turbopuffer.com·1d·Hacker News

Thinking in States 🔍Logic Puzzles

metalevel.at·3d·Lobsters

OBELISK: Efficient Offline Query Planning with Bayesian Optimization-Informed Language Model Reasoning 🧠Query Planners

The hard core of alignment (is robustifying RL) 🛡️AI Safety

lesswrong.com·6d

Programming Z3 ✅Format Verification

z3prover.github.io·5d·Hacker News

Agentic AI search with deterministic guardrails in Elasticsearch for safe query execution 🧠Query Planners

Courses 📋AGENTS.md

thecourseshelf.com·4d

Satisfiability for Knowing How over Linear Plans is NP-complete 🔮Proof Search

Resolving deletion in AVL trees 📚Index Structures

·4d·DEV

Satisfiability Modulo Extensional Constant Arrays (Extended Version) 🔮Proof Search

Understanding CDCL Solvers via Scalability Studies and Proofdoors 🔀Parallel Algorithms

Super-linear Lower Bounds for CSP Non-Redundancy via Shrinking Instances 🖧Distributed Systems

Adaptive Generate-Rank-Verify: Inference-Time Search with Costly Verification ⚡LLM Optimization

Optimized projection-free algorithms for online learning: construction and worst-case analysis ⚡LLM Optimization

Latent Heuristic Search: Continuous Optimization for Automated Algorithm Design ⚡LLM Optimization

Competitive Search with a Faulty Satnav (GPS): When Probability Matching is Rational 🧭Navigation Algorithms

Multi-Criteria Integer Programming Model for Route Planning in an Off-Road Combat Environment 🧭Navigation Algorithms

Memory-Guided Tree Search with Cross-Branch Knowledge Transfer for LLM Solver Synthesis 🤖LLM

Log in to enable infinite scrolling