Constraint Solvers

Feeds to Scour
SubscribedAll
Scoured 73 posts in 6.9 ms

Planted-Solution Pauli Hamiltonians as a Quantum Benchmarking Primitive

 🧮SMT Solvers  Content type: Academic
arxiv.org·
Less-relevant results

Show HN: JazzBench, an LLM reasoning benchmark using jazz improvisation

 📏ANN Benchmarks  Content type: Blog
flatnine.co··Hacker News

News for May 2026 | Property Testing Review

 🐛Fuzzing
ptreview.sublinear.info·

Scientists tracked strange winds on giant exoplanets and found a hidden magnetic clue

 ⚡Performance
earth.com·

AI worldview convergence claim weakens as high-dimensional math skews similarity scores

 📐Linearizability
techxplore.com·

#401

 🔄Replication
weeknotes.barrucadu.co.uk·

Bloom Filter Trick Reduces 170 Object-Storage Reads to One (2.6s → 89ms)

 🌸Bloom Filters  Content type: Blog
openobserve.ai··Hacker News

Where the f*ck is the Excalidraw markup table?

 📐Formal Methods  Content type: News  Content type: Blog
larkmatter.substack.com··Substack

Hardening Two Multi Tenant SaaS APIs

 📝Write-Ahead Logging  Content type: Blog
medium.com·

Noise-Adaptive High-Probability Regret Bounds for Online Convex Optimization

 💰Cost-Based Optimization  Content type: Academic
arxiv.org·

Cooperative Capitalism Is the Last Coherent Economic Path Crypto Has Left

 📐Formal Methods
ethresear.ch·

Inside the New X Labs Funding Model for Quantum and Photonics

 📐Formal Methods
spectrum.ieee.org
·

New comment by xk4rim in "Ask HN: Who wants to be hired? (June 2026)"

 📝Write-Ahead Logging  Content type: Discussion
news.ycombinator.com··Hacker News

Beyond the Corporate Tunnel: Why WireGuard and DPNs Are Replacing the Centralised VPN

 📐Formal Methods  Content type: Blog
medium.com·

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

 📐Formal Methods
universetoday.com··Hacker News

PL-KKT-hPINN: Enforcing Nonlinear Equality Constraints on Neural Networks via Piecewise-Linear Projection

 🧮SMT Solvers  Content type: Academic
arxiv.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 📐Formal Methods  Content type: Code
github.com··Hacker News

Adaptive Model Predictive Control of Nonlinear Generic Urban Air Mobility Using Linear Parameter-Varying Systems

 ⚙️Adaptive Execution  Content type: Academic
arxiv.org·

MDP-GRPO: Stabilized Group Relative Policy Optimization for Multi-Constraint Instruction Following

 🧮SMT Solvers  Content type: Academic
arxiv.org·

Mankirat47/Dao-Heart-3.13: An inspectable, symbolic value governance layer for AI, simulate then commit guards for warmth, agency, identity, and honesty, with falsifiable benchmarks.

 📐Linear Algebra  Content type: Code
github.com··Hacker News
Sign up or log in to see more results
Sign UpLogin

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help