🧮 SMT Solvers - hello · Scour

Hint-Based SMT Proof Reconstruction

arxiv.org·1h

🧩Constraint Programming

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

arxiv.org·1d

🧩Constraint Programming

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

🔍eBPF Verifier

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·2d

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

mrburkemath.blogspot.com·16h·

Discuss: Blogger

📐Linear Algebra

Simple Sudoku Solvers SII, EI: Dyalog APL

blog.veitheller.de·2d

🧩Constraint Programming

Rust async combinators for elegant and secure concurrency

kerkour.com·1d·

Discuss: r/rust

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

github.com·12h·

Discuss: r/cpp

Krylov Complexity of Purification

link.aps.org·19h

🔢Homomorphic Encryption

Hippocampus model implementing a Turing machine

pub.towardsai.net·2h

🧠Memory Models

Building a mini PyTorch in C++ from scratch as a high school student...

dev.to·17h·

Discuss: DEV

🧮Vector Databases

producthunt.com·1d

Subterms Modulo Theories I

philipzucker.com·3d

🔍Type Inference

Binary Algorithms

exystence.net·1d

⏭️Skip Lists

Building a Self-Healing Data Pipeline That Fixes Its Own Python Errors

towardsdatascience.com·17h

GNU C Language Manual

gnu.org·11h

🔨Compiler Design

Uncovering Unfaithful CoT in Deceptive Models

lesswrong.com·4h

🛡️AI Security

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·12h·

Discuss: Hacker News

🔢Numerical Methods

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·18h

🦀Rust Macros

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

osf.io·1d·

Discuss: DEV

🔍Datalog Engines

Loading more...