Solving the NYTimes Pips puzzle with a constraint solver
blog.adafruit.com·1d
🎯Constraint Programming
Flag this post
Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
🗄️Database Theory
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
📈Complexity Theory
Flag this post
Mastering the ‘O’ in SOLID: Applying the Open/Closed Principle in Real-World Code
👐Open Source Software
Flag this post
📢 New Series: Neuro-Symbolic Wednesday
🕸️Graph Theory
Flag this post
Some thoughts on AI and coding
infoworld.com·4h
🧮Programming Language Theory
Flag this post
DynBERG: Dynamic BERT-based Graph neural network for financial fraud detection
arxiv.org·1d
🔗Parser Combinators
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·2d
🎲Probabilistic Programming
Flag this post
Don't Just Search, Understand: Semantic Path Planning Agent for Spherical Tensegrity Robots in Unknown Environments
arxiv.org·1d
🧭SMT Solvers
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·8h
🏗Computer Architecture
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·1d
🧭SMT Solvers
Flag this post
Loading...Loading more...