🧩 Constraint Programming - hello · Scour

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems

arxiv.org·1d

🧮SMT Solvers

Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons

arxiv.org·47m

🧮SMT Solvers

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·12h·

Discuss: Hacker News

🔢Numerical Methods

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧮SMT Solvers

**Abstract:** This paper introduces a novel approach to compositional resolution within constructive arithmetic, termed Syntactic Resonance Networks (SRN). A...

freederia.com·2d

🧮SMT Solvers

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·15h·

Discuss: Blogger

📐Linear Algebra

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

Majority Element II Coding Problem Solution

dev.to·22h·

Discuss: DEV

📦Succinct Data Structures

Production-Ready ML Projects: Why Structure Matters More Than Your Model

pub.towardsai.net

·1h

Iterative multi-word anagram solver

boulter.com·1d

🔤Suffix Automata

Binary Algorithms

exystence.net·1d

⏭️Skip Lists

istmarc/tenseur: C++23 Tensor, neural networks and mathematical library

github.com·11h·

Discuss: r/cpp

producthunt.com·1d

Semidefinite programming relaxations for quantum correlations

link.aps.org·23h

⚛️Quantum Computing

DELTA-X: An Invariant, Auditable Reasoning Framework for Humans and AI

osf.io·1d·

Discuss: DEV

🔍Datalog Engines

COBRA-k: A powerful framework bridging constraint-based and kinetic metabolic modeling

science.org·15h

📮Multi-producer Queues

Conversation: LLMs and the what/how loop

martinfowler.com·15h

⚙️Systems Programming

Can AI help ‘fix’ the patent system?

blogs.gnome.org·11h

💬Prompt Engineering

Making a Language

thunderseethe.dev·7h

🔨Compiler Design

Google Releases FunctionGemma Model

i-programmer.info·13h

Loading more...