🧩 Constraint Solvers - abnv · Scour

bqn-smt 🔢Algebraic Datatypes

codeberg.org·2d·Lobsters·

Tell HN: We built our own SAT solver for SHA-256 🧩SAT Solvers

news.ycombinator.com·5d·Hacker News·

NMR-Solver: automated structure elucidation via large-scale spectral matching and physics-guided fragment optimization 🔢Algebraic Datatypes

nature.com·15h·

armgabrielyan/autoloop: Agent-agnostic tools for intelligent iterative optimization loops. Works with Claude Code, Codex, Cursor, OpenCode, Gemini CLI and more. Inspired by Karpathy's autoresearch. 🚂Cranelift IR

github.com·3h·Hacker News·

CP-Based Lot Scheduling Solutions For a Semiconductor Manufacturing (Infineon, U. of Klagenfurt) 🎨Graph Coloring

semiengineering.com·2d·

Meta-Harness: End-to-End Optimization of Model Harnesses 🔮Metacircular Evaluators

yoonholee.com·3d·Hacker News·

A scalable, approximate optimization approach for random forests under polytopic constraints 🌲Deforestation

sciencedirect.com·1d·

The Internalization of Gradients: From Prebiotic Chemistry to Mesa-Optimizers 🗺️Region Polymorphism

lesswrong.com·2d·

Iteratively optimizing an SPSC queue 🎯Ring Buffers

blog.c21-mac.com·4d·r/cpp·

OpenClaw Auto-Tuner: Simulation-Based Optimization for Agent System Configuration 🔮Metacircular Evaluators

zflow.ai·1d·DEV·

Optimizing inspector assignments using SAS Optimization in federal and state meat processing facilities ⚡JIT Optimizations

blogs.sas.com·1d·

Tame the Tape: Open-Source Dotterboard for Bulk SMT Parts 🤖Embedded Go

hackaday.com·3d·

Beyond ML Training — Autoresearch as a Universal Optimization Pattern 🌱Minimal ML

dgallitelli95.medium.com

·1d·

Article: Optimization in Automated Driving: From Complexity to Real-Time Engineering 🌊Loop Invariant Motion

infoq.com·3d·

The Path Towards Binary Tries 2: How Fast Is the Binary Trie Today? MPT vs. BTree 🐹Minimal Go

ethresear.ch·2d·

Multi Objective Optimization: Why real world problem-solving needs more than a single metric 🚂Error Propagation

medium.com·2d·

Niche Optimization in Rust 🦀Rust Macros

medium.com·5d·

Prefix caching for LLM inference optimization 🧠Memory Models

bentoml.com·2d·Hacker News·

A parallel magnetic tunnel junction-based probabilistic Ising processor for efficient quadratic optimization 📡Async Channels

nature.com·4d·

Real-time backpressure optimization for direct air-cooled units driven by digital twin technology and adversarial reinforcement learning ⚡Control Synthesis

sciencedirect.com·5d·

Loading more...