🧩 Constraint Solvers - 2601 · Scour

MysticCodingCat/CUDA-Native-HUBO: A GPU-native solver for 3-way combinatorial optimization (HUBO). Achieving digital-annealer-level performance on a single RTX 3060 Ti 🔄Subinterpreters

github.com·1d·Hacker News

Optimising a Pipelined RISC-V Core: From Naive Pipeline to Near-Superscalar Performance 🚀Code Motion

mummanajagadeesh.github.io·3d·Lobsters, Hacker News

Same Outcomes, Different Journeys: A Trace-Level Framework for Comparing Human and GUI-Agent Behavior in Production Search Systems 💬Prompt Engineering

arxiv.org·12h

LLM-referred traffic converts at 30-40% — and most enterprises aren't optimizing for it 🔎Information Retrieval

venturebeat.com·2d

Why Lean? 🎮Language Ergonomics

leodemoura.github.io·6d·Lobsters, Hacker News

Starter Story on X: "This guy cracked Reddit before anyone else figured it out. $0 to $30,000 MRR in 4 months. I sat down with @romanbuildsaas for a few hours. ... ⚡Live Coding

x.com·2d·X

The Traveling Thief Problem with Time Windows: Benchmarks and Heuristics 🚂Error Propagation

arxiv.org·1d

Show HN: Meta-agent: self-improving agent harnesses from live traces 🔮Metacircular Evaluators

github.com·3d·Hacker News

AEO in 2026: How to Get Your Content Cited by ChatGPT, Perplexity, and AI Search 🔎Information Retrieval

virtualuncle.com·3d·Hacker News

Rethinking Generalization in Reasoning SFT: A Conditional Analysis on Optimization, Data, and Model Capability 🧠Symbolic AI

arxiv.org·1d

vijayvkrishnan/openmix: Open-source framework for computational formulation science from ingredient validation to autonomous mixture optimization. The missing infrastructure layer between single-molecule tools (RDKit) and real-world formulation. ✨Effect Inference

github.com·1d·Hacker News

Body fat and risk of all-cause mortality: a systematic review and dose-response meta-analysis of prospective cohort studies | International Journal of Obesity ✨Effect Inference

nature.com

·6d

AgentOpt v0.1 Technical Report: Client-Side Optimization for LLM-Based Agent 🔄Subinterpreters

arxiv.org·1d

Coz: Causal profiling that measures optimization potential 🎲Probabilistic Programming

github.com·1d·Hacker News

Benchmarking LLMs with Marimo Pair 🌙Lua

ericmjl.github.io·18h·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔄Subinterpreters

pvk.ca·21h·Hacker News

Structural Segmentation of the Minimum Set Cover Problem: Exploiting Universe Decomposability for Metaheuristic Optimization ⚡Partial Evaluation

arxiv.org·3d

COSMO-Agent: Tool-Augmented Agent for Closed-loop Optimization,Simulation,and Modeling Orchestration 🧠Symbolic AI

arxiv.org·2d

Incremental Lambda Calculus 🔗Dependent Types

inc-lc.github.io·7h·Hacker News

The acyclic e-graph: Cranelift's mid-end optimizer 🚀Code Motion

cfallin.org·11h·Lobsters, Hacker News, r/rust

Loading more...